runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3697101-1338048810/watcher-3697101-1338048810 -o /tmp/evaluation-result-3697101-1338048810/solver-3697101-1338048810 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3697101-1338048810.opb 1216377449 HOME HOME
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 1.20 1.60 3/175 9088
/proc/meminfo: memFree=28997620/32873844 swapFree=7364/7364
[pid=9088] ppid=9086 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9088/stat : 9088 (npSolver-pbo-It) S 9086 9088 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271005898 9367552 274 33554432000 4194304 5064252 140735779115312 140735779114224 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9088/statm: 2287 274 233 213 0 72 0
[startup+0.0941269 s]
/proc/loadavg: 0.92 1.20 1.60 3/175 9088
/proc/meminfo: memFree=28997620/32873844 swapFree=7364/7364
[pid=9088] ppid=9086 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9088/stat : 9088 (npSolver-pbo-It) S 9086 9088 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271005898 9367552 274 33554432000 4194304 5064252 140735779115312 140735779114224 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9088/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100224 s]
/proc/loadavg: 0.92 1.20 1.60 3/175 9088
/proc/meminfo: memFree=28997620/32873844 swapFree=7364/7364
[pid=9088] ppid=9086 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9088/stat : 9088 (npSolver-pbo-It) S 9086 9088 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271005898 9367552 274 33554432000 4194304 5064252 140735779115312 140735779114224 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9088/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300185 s]
/proc/loadavg: 0.92 1.20 1.60 3/175 9088
/proc/meminfo: memFree=28997620/32873844 swapFree=7364/7364
[pid=9088] ppid=9086 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9088/stat : 9088 (npSolver-pbo-It) S 9086 9088 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271005898 9367552 274 33554432000 4194304 5064252 140735779115312 140735779114224 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9088/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700184 s]
/proc/loadavg: 0.92 1.20 1.60 3/175 9088
/proc/meminfo: memFree=28997620/32873844 swapFree=7364/7364
[pid=9088] ppid=9086 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9088/stat : 9088 (npSolver-pbo-It) S 9086 9088 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271005898 9367552 274 33554432000 4194304 5064252 140735779115312 140735779114224 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9088/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50025 s]
/proc/loadavg: 0.92 1.20 1.60 3/177 9090
/proc/meminfo: memFree=28945548/32873844 swapFree=7364/7364
[pid=9088] ppid=9086 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9088/stat : 9088 (npSolver-pbo-It) S 9086 9088 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271005898 9367552 274 33554432000 4194304 5064252 140735779115312 140735779114224 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9088/statm: 2287 274 233 213 0 72 0
[pid=9089] ppid=9088 vsize=10300 CPUtime=1.49 cores=1,3,5,7
/proc/9089/stat : 9089 (npSolver-pbo) R 9088 9088 9054 0 -1 4202496 2173 0 0 0 148 1 0 0 20 0 1 0 271005898 10547200 2157 33554432000 4194304 5992684 140734391734464 140734391730200 5044375 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9089/statm: 2575 2157 145 440 0 2131 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19448
[startup+3.10025 s]
/proc/loadavg: 0.92 1.20 1.60 3/181 9101
/proc/meminfo: memFree=28924352/32873844 swapFree=7364/7364
[pid=9088] ppid=9086 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9088/stat : 9088 (npSolver-pbo-It) S 9086 9088 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271005898 9367552 274 33554432000 4194304 5064252 140735779115312 140735779114224 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9088/statm: 2287 274 233 213 0 72 0
[pid=9089] ppid=9088 vsize=34876 CPUtime=3.09 cores=1,3,5,7
/proc/9089/stat : 9089 (npSolver-pbo) R 9088 9088 9054 0 -1 4202496 2812 0 0 0 306 3 0 0 20 0 1 0 271005898 35713024 4828 33554432000 4194304 5992684 140734391734464 140734391730584 4479660 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9089/statm: 8719 4828 145 440 0 8275 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 44024
[startup+6.30029 s]
/proc/loadavg: 1.01 1.21 1.60 3/181 9101
/proc/meminfo: memFree=28705472/32873844 swapFree=7364/7364
[pid=9088] ppid=9086 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9088/stat : 9088 (npSolver-pbo-It) S 9086 9088 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271005898 9367552 274 33554432000 4194304 5064252 140735779115312 140735779114224 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9088/statm: 2287 274 233 213 0 72 0
[pid=9089] ppid=9088 vsize=399004 CPUtime=6.28 cores=1,3,5,7
/proc/9089/stat : 9089 (npSolver-pbo) R 9088 9088 9054 0 -1 4202496 38166 0 0 0 614 14 0 0 20 0 1 0 271005898 408580096 70730 33554432000 4194304 5992684 140734391734464 140734391724968 4606732 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9089/statm: 99751 70730 160 440 0 99307 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 408152
[startup+12.7003 s]
/proc/loadavg: 1.09 1.22 1.60 3/181 9101
/proc/meminfo: memFree=27899448/32873844 swapFree=7364/7364
[pid=9088] ppid=9086 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9088/stat : 9088 (npSolver-pbo-It) S 9086 9088 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271005898 9367552 274 33554432000 4194304 5064252 140735779115312 140735779114224 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9088/statm: 2287 274 233 213 0 72 0
[pid=9089] ppid=9088 vsize=907592 CPUtime=12.68 cores=1,3,5,7
/proc/9089/stat : 9089 (npSolver-pbo) R 9088 9088 9054 0 -1 4202496 100571 0 0 0 1233 35 0 0 20 0 1 0 271005898 929374208 207613 33554432000 4194304 5992684 140734391734464 140734391724968 4571361 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9089/statm: 226898 207613 160 440 0 226454 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 916740
[startup+25.5003 s]
/proc/loadavg: 1.29 1.26 1.61 2/183 9103
/proc/meminfo: memFree=23480716/32873844 swapFree=7364/7364
[pid=9088] ppid=9086 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9088/stat : 9088 (npSolver-pbo-It) S 9086 9088 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271005898 9367552 274 33554432000 4194304 5064252 140735779115312 140735779114224 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9088/statm: 2287 274 233 213 0 72 0
[pid=9089] ppid=9088 vsize=1644944 CPUtime=19.27 cores=1,3,5,7
/proc/9089/stat : 9089 (npSolver-pbo) S 9088 9088 9054 0 -1 4204032 154799 0 0 0 1784 143 0 0 20 0 1 0 271005898 1684422656 326993 33554432000 4194304 5992684 140734391734464 140734391728408 4336000 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9089/statm: 411236 326993 166 440 0 410792 0
Current children cumulated CPU time (s) 19.27
Current children cumulated vsize (KiB) 1654092
heavy processes:
%CPU=68 pid=9102 uid=0 cmd=
[startup+51.1003 s]
/proc/loadavg: 2.21 1.48 1.67 2/183 9103
/proc/meminfo: memFree=21297596/32873844 swapFree=7364/7364
[pid=9088] ppid=9086 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9088/stat : 9088 (npSolver-pbo-It) S 9086 9088 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271005898 9367552 274 33554432000 4194304 5064252 140735779115312 140735779114224 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9088/statm: 2287 274 233 213 0 72 0
[pid=9089] ppid=9088 vsize=1644944 CPUtime=19.27 cores=1,3,5,7
/proc/9089/stat : 9089 (npSolver-pbo) S 9088 9088 9054 0 -1 4204032 154799 0 0 0 1784 143 0 0 20 0 1 0 271005898 1684422656 326993 33554432000 4194304 5992684 140734391734464 140734391728408 4336000 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9089/statm: 411236 326993 166 440 0 410792 0
Current children cumulated CPU time (s) 19.27
Current children cumulated vsize (KiB) 1654092
heavy processes:
%CPU=15 pid=9102 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 9089 11 506 18446744073709551615
[startup+102.3 s]
/proc/loadavg: 3.35 1.91 1.80 3/184 9104
/proc/meminfo: memFree=15253356/32873844 swapFree=7364/7364
[pid=9088] ppid=9086 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9088/stat : 9088 (npSolver-pbo-It) S 9086 9088 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271005898 9367552 274 33554432000 4194304 5064252 140735779115312 140735779114224 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9088/statm: 2287 274 233 213 0 72 0
[pid=9089] ppid=9088 vsize=1644944 CPUtime=19.27 cores=1,3,5,7
/proc/9089/stat : 9089 (npSolver-pbo) S 9088 9088 9054 0 -1 4204032 154799 0 0 0 1784 143 0 0 20 0 1 0 271005898 1684422656 326993 33554432000 4194304 5992684 140734391734464 140734391728408 4336000 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9089/statm: 411236 326993 166 440 0 410792 0
Current children cumulated CPU time (s) 19.27
Current children cumulated vsize (KiB) 1654092
heavy processes:
%CPU=20 pid=9104 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 9100 11 506 18446744073709551615
[startup+162.3 s]
/proc/loadavg: 3.87 2.32 1.95 1/184 9104
/proc/meminfo: memFree=13755292/32873844 swapFree=7364/7364
[pid=9088] ppid=9086 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9088/stat : 9088 (npSolver-pbo-It) S 9086 9088 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271005898 9367552 274 33554432000 4194304 5064252 140735779115312 140735779114224 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9088/statm: 2287 274 233 213 0 72 0
[pid=9089] ppid=9088 vsize=1644944 CPUtime=19.27 cores=1,3,5,7
/proc/9089/stat : 9089 (npSolver-pbo) S 9088 9088 9054 0 -1 4204032 154799 0 0 0 1784 143 0 0 20 0 1 0 271005898 1684422656 326993 33554432000 4194304 5992684 140734391734464 140734391728408 4336000 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9089/statm: 411236 326993 166 440 0 410792 0
Current children cumulated CPU time (s) 19.27
Current children cumulated vsize (KiB) 1654092
heavy processes:
%CPU=11 pid=9104 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 9100 11 506 18446744073709551615
Solver just ended. Dumping a history of the last processes samples
[startup+167.4 s]
/proc/loadavg: 3.96 2.36 1.97 1/184 9104
/proc/meminfo: memFree=13755168/32873844 swapFree=7364/7364
[pid=9088] ppid=9086 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9088/stat : 9088 (npSolver-pbo-It) S 9086 9088 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271005898 9367552 274 33554432000 4194304 5064252 140735779115312 140735779114224 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9088/statm: 2287 274 233 213 0 72 0
[pid=9089] ppid=9088 vsize=1644944 CPUtime=19.27 cores=1,3,5,7
/proc/9089/stat : 9089 (npSolver-pbo) S 9088 9088 9054 0 -1 4204032 154799 0 0 0 1784 143 0 0 20 0 1 0 271005898 1684422656 326993 33554432000 4194304 5992684 140734391734464 140734391728408 4336000 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9089/statm: 411236 326993 166 440 0 410792 0
Current children cumulated CPU time (s) 19.27
Current children cumulated vsize (KiB) 1654092
[startup+180.2 s]
/proc/loadavg: 3.97 2.44 2.00 1/184 9104
/proc/meminfo: memFree=13755632/32873844 swapFree=7364/7364
[pid=9088] ppid=9086 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9088/stat : 9088 (npSolver-pbo-It) S 9086 9088 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271005898 9367552 274 33554432000 4194304 5064252 140735779115312 140735779114224 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9088/statm: 2287 274 233 213 0 72 0
[pid=9089] ppid=9088 vsize=1644944 CPUtime=19.27 cores=1,3,5,7
/proc/9089/stat : 9089 (npSolver-pbo) S 9088 9088 9054 0 -1 4204032 154799 0 0 0 1784 143 0 0 20 0 1 0 271005898 1684422656 326993 33554432000 4194304 5992684 140734391734464 140734391728408 4336000 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9089/statm: 411236 326993 166 440 0 410792 0
Current children cumulated CPU time (s) 19.27
Current children cumulated vsize (KiB) 1654092
[startup+183.4 s]
/proc/loadavg: 3.97 2.44 2.00 1/184 9104
/proc/meminfo: memFree=13755632/32873844 swapFree=7364/7364
[pid=9088] ppid=9086 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9088/stat : 9088 (npSolver-pbo-It) S 9086 9088 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271005898 9367552 274 33554432000 4194304 5064252 140735779115312 140735779114224 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9088/statm: 2287 274 233 213 0 72 0
[pid=9089] ppid=9088 vsize=1644944 CPUtime=19.27 cores=1,3,5,7
/proc/9089/stat : 9089 (npSolver-pbo) S 9088 9088 9054 0 -1 4204032 154799 0 0 0 1784 143 0 0 20 0 1 0 271005898 1684422656 326993 33554432000 4194304 5992684 140734391734464 140734391728408 4336000 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9089/statm: 411236 326993 166 440 0 410792 0
Current children cumulated CPU time (s) 19.27
Current children cumulated vsize (KiB) 1654092
[startup+185 s]
/proc/loadavg: 3.97 2.47 2.01 1/184 9104
/proc/meminfo: memFree=13755136/32873844 swapFree=7364/7364
[pid=9088] ppid=9086 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9088/stat : 9088 (npSolver-pbo-It) S 9086 9088 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271005898 9367552 274 33554432000 4194304 5064252 140735779115312 140735779114224 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9088/statm: 2287 274 233 213 0 72 0
[pid=9089] ppid=9088 vsize=1644944 CPUtime=19.27 cores=1,3,5,7
/proc/9089/stat : 9089 (npSolver-pbo) S 9088 9088 9054 0 -1 4204032 154799 0 0 0 1784 143 0 0 20 0 1 0 271005898 1684422656 326993 33554432000 4194304 5992684 140734391734464 140734391728408 4336000 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9089/statm: 411236 326993 166 440 0 410792 0
Current children cumulated CPU time (s) 19.27
Current children cumulated vsize (KiB) 1654092
[startup+185.8 s]
/proc/loadavg: 3.97 2.47 2.01 1/184 9104
/proc/meminfo: memFree=13755012/32873844 swapFree=7364/7364
[pid=9088] ppid=9086 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9088/stat : 9088 (npSolver-pbo-It) S 9086 9088 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271005898 9367552 274 33554432000 4194304 5064252 140735779115312 140735779114224 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9088/statm: 2287 274 233 213 0 72 0
[pid=9089] ppid=9088 vsize=1644944 CPUtime=19.27 cores=1,3,5,7
/proc/9089/stat : 9089 (npSolver-pbo) S 9088 9088 9054 0 -1 4204032 154799 0 0 0 1784 143 0 0 20 0 1 0 271005898 1684422656 326993 33554432000 4194304 5992684 140734391734464 140734391728408 4336000 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9089/statm: 411236 326993 166 440 0 410792 0
Current children cumulated CPU time (s) 19.27
Current children cumulated vsize (KiB) 1654092
[startup+186.6 s]
/proc/loadavg: 3.97 2.47 2.01 1/184 9104
/proc/meminfo: memFree=13755012/32873844 swapFree=7364/7364
[pid=9088] ppid=9086 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9088/stat : 9088 (npSolver-pbo-It) S 9086 9088 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271005898 9367552 274 33554432000 4194304 5064252 140735779115312 140735779114224 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9088/statm: 2287 274 233 213 0 72 0
[pid=9089] ppid=9088 vsize=1644944 CPUtime=19.27 cores=1,3,5,7
/proc/9089/stat : 9089 (npSolver-pbo) S 9088 9088 9054 0 -1 4204032 154799 0 0 0 1784 143 0 0 20 0 1 0 271005898 1684422656 326993 33554432000 4194304 5992684 140734391734464 140734391728408 4336000 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9089/statm: 411236 326993 166 440 0 410792 0
Current children cumulated CPU time (s) 19.27
Current children cumulated vsize (KiB) 1654092
[startup+187.007 s]
/proc/loadavg: 3.97 2.47 2.01 3/178 9127
/proc/meminfo: memFree=23477324/32873844 swapFree=7364/7364
[pid=9088] ppid=9086 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9088/stat : 9088 (npSolver-pbo-It) S 9086 9088 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271005898 9367552 274 33554432000 4194304 5064252 140735779115312 140735779114224 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9088/statm: 2287 274 233 213 0 72 0
[pid=9089] ppid=9088 vsize=1644944 CPUtime=19.27 cores=1,3,5,7
/proc/9089/stat : 9089 (npSolver-pbo) S 9088 9088 9054 0 -1 4204032 154799 0 0 0 1784 143 0 0 20 0 1 0 271005898 1684422656 326993 33554432000 4194304 5992684 140734391734464 140734391728408 4336000 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9089/statm: 411236 326993 166 440 0 410792 0
Current children cumulated CPU time (s) 19.27
Current children cumulated vsize (KiB) 1654092
Child status: 0
Real time (s): 187.037
CPU time (s): 19.3011
CPU user time (s): 17.8423
CPU system time (s): 1.45878
CPU usage (%): 10.3194
Max. virtual memory (cumulated for all children) (KiB): 2027388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.8423
system time used= 1.45878
maximum resident set size= 1492648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155173
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 394148
involuntary context switches= 22
runsolver used 0.39094 second user time and 0.996848 second system time
The end