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-3697786-1338125279/watcher-3697786-1338125279 -o /tmp/evaluation-result-3697786-1338125279/solver-3697786-1338125279 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3697786-1338125279.opb 921721309 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: 4.86 3.69 2.71 3/179 10693
/proc/meminfo: memFree=27200884/32873844 swapFree=7620/7620
[pid=10693] ppid=10691 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10693/stat : 10693 (npSolver-pbo-It) S 10691 10693 10269 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278656974 9367552 274 33554432000 4194304 5064252 140736608901856 140736608900768 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10693/statm: 2287 274 233 213 0 72 0
[startup+0.0470201 s]
/proc/loadavg: 4.86 3.69 2.71 3/179 10693
/proc/meminfo: memFree=27200884/32873844 swapFree=7620/7620
[pid=10693] ppid=10691 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10693/stat : 10693 (npSolver-pbo-It) S 10691 10693 10269 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278656974 9367552 274 33554432000 4194304 5064252 140736608901856 140736608900768 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10693/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100236 s]
/proc/loadavg: 4.86 3.69 2.71 3/179 10693
/proc/meminfo: memFree=27200884/32873844 swapFree=7620/7620
[pid=10693] ppid=10691 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10693/stat : 10693 (npSolver-pbo-It) S 10691 10693 10269 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278656974 9367552 274 33554432000 4194304 5064252 140736608901856 140736608900768 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10693/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300234 s]
/proc/loadavg: 4.86 3.69 2.71 3/179 10693
/proc/meminfo: memFree=27200884/32873844 swapFree=7620/7620
[pid=10693] ppid=10691 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10693/stat : 10693 (npSolver-pbo-It) S 10691 10693 10269 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278656974 9367552 274 33554432000 4194304 5064252 140736608901856 140736608900768 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10693/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700196 s]
/proc/loadavg: 4.86 3.69 2.71 3/179 10693
/proc/meminfo: memFree=27200884/32873844 swapFree=7620/7620
[pid=10693] ppid=10691 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10693/stat : 10693 (npSolver-pbo-It) S 10691 10693 10269 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278656974 9367552 274 33554432000 4194304 5064252 140736608901856 140736608900768 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10693/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50023 s]
/proc/loadavg: 4.86 3.69 2.71 3/181 10695
/proc/meminfo: memFree=27164584/32873844 swapFree=7620/7620
[pid=10693] ppid=10691 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10693/stat : 10693 (npSolver-pbo-It) S 10691 10693 10269 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278656974 9367552 274 33554432000 4194304 5064252 140736608901856 140736608900768 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10693/statm: 2287 274 233 213 0 72 0
[pid=10694] ppid=10693 vsize=57668 CPUtime=1.48 cores=1,3,5,7
/proc/10694/stat : 10694 (npSolver-pbo) R 10693 10693 10269 0 -1 4202496 8920 0 0 0 147 1 0 0 20 0 1 0 278656975 59052032 12559 33554432000 4194304 5992684 140734770209664 140734770205784 5179600 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10694/statm: 14417 12559 148 440 0 13973 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 66816
[startup+3.10028 s]
/proc/loadavg: 4.86 3.69 2.71 3/181 10695
/proc/meminfo: memFree=27143740/32873844 swapFree=7620/7620
[pid=10693] ppid=10691 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10693/stat : 10693 (npSolver-pbo-It) S 10691 10693 10269 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278656974 9367552 274 33554432000 4194304 5064252 140736608901856 140736608900768 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10693/statm: 2287 274 233 213 0 72 0
[pid=10694] ppid=10693 vsize=82244 CPUtime=3.09 cores=1,3,5,7
/proc/10694/stat : 10694 (npSolver-pbo) R 10693 10693 10269 0 -1 4202496 10133 0 0 0 306 3 0 0 20 0 1 0 278656975 84217856 16315 33554432000 4194304 5992684 140734770209664 140734770205784 5179600 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10694/statm: 20561 16315 148 440 0 20117 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 91392
[startup+6.30022 s]
/proc/loadavg: 4.63 3.66 2.71 3/181 10695
/proc/meminfo: memFree=27112336/32873844 swapFree=7620/7620
[pid=10693] ppid=10691 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10693/stat : 10693 (npSolver-pbo-It) S 10691 10693 10269 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278656974 9367552 274 33554432000 4194304 5064252 140736608901856 140736608900768 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10693/statm: 2287 274 233 213 0 72 0
[pid=10694] ppid=10693 vsize=115012 CPUtime=6.28 cores=1,3,5,7
/proc/10694/stat : 10694 (npSolver-pbo) R 10693 10693 10269 0 -1 4202496 10697 0 0 0 623 5 0 0 20 0 1 0 278656975 117772288 23506 33554432000 4194304 5992684 140734770209664 140734770205784 5179600 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10694/statm: 28753 23506 148 440 0 28309 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 124160
[startup+12.7003 s]
/proc/loadavg: 4.42 3.63 2.71 3/181 10695
/proc/meminfo: memFree=27008648/32873844 swapFree=7620/7620
[pid=10693] ppid=10691 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10693/stat : 10693 (npSolver-pbo-It) S 10691 10693 10269 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278656974 9367552 274 33554432000 4194304 5064252 140736608901856 140736608900768 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10693/statm: 2287 274 233 213 0 72 0
[pid=10694] ppid=10693 vsize=329592 CPUtime=12.69 cores=1,3,5,7
/proc/10694/stat : 10694 (npSolver-pbo) R 10693 10693 10269 0 -1 4202496 15920 0 0 0 1254 15 0 0 20 0 1 0 278656975 337502208 50095 33554432000 4194304 5992684 140734770209664 140734770205784 5179600 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10694/statm: 82398 50095 148 440 0 81954 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 338740
[startup+25.5003 s]
/proc/loadavg: 3.88 3.55 2.69 3/181 10695
/proc/meminfo: memFree=26210700/32873844 swapFree=7620/7620
[pid=10693] ppid=10691 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10693/stat : 10693 (npSolver-pbo-It) S 10691 10693 10269 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278656974 9367552 274 33554432000 4194304 5064252 140736608901856 140736608900768 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10693/statm: 2287 274 233 213 0 72 0
[pid=10694] ppid=10693 vsize=1431812 CPUtime=25.48 cores=1,3,5,7
/proc/10694/stat : 10694 (npSolver-pbo) R 10693 10693 10269 0 -1 4202496 98794 0 0 0 2497 51 0 0 20 0 1 0 278656975 1466175488 270607 33554432000 4194304 5992684 140734770209664 140734770201704 4227664 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10694/statm: 357953 270607 173 440 0 357509 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1440960
[startup+51.1003 s]
/proc/loadavg: 3.24 3.42 2.67 3/181 10695
/proc/meminfo: memFree=23904940/32873844 swapFree=7620/7620
[pid=10693] ppid=10691 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10693/stat : 10693 (npSolver-pbo-It) S 10691 10693 10269 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278656974 9367552 274 33554432000 4194304 5064252 140736608901856 140736608900768 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10693/statm: 2287 274 233 213 0 72 0
[pid=10694] ppid=10693 vsize=3360944 CPUtime=51.08 cores=1,3,5,7
/proc/10694/stat : 10694 (npSolver-pbo) R 10693 10693 10269 0 -1 4202496 320612 0 0 0 4979 129 0 0 20 0 1 0 278656975 3441606656 827129 33554432000 4194304 5992684 140734770209664 140734770202408 5044393 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10694/statm: 840236 827129 173 440 0 839792 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 3370092
[startup+102.3 s]
/proc/loadavg: 2.54 3.20 2.64 3/180 10695
/proc/meminfo: memFree=19593832/32873844 swapFree=7620/7620
[pid=10693] ppid=10691 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10693/stat : 10693 (npSolver-pbo-It) S 10691 10693 10269 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278656974 9367552 274 33554432000 4194304 5064252 140736608901856 140736608900768 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10693/statm: 2287 274 233 213 0 72 0
[pid=10694] ppid=10693 vsize=11373052 CPUtime=102.28 cores=1,3,5,7
/proc/10694/stat : 10694 (npSolver-pbo) R 10693 10693 10269 0 -1 4202496 756156 0 0 0 9884 344 0 0 20 0 1 0 278656975 11646005248 1915725 33554432000 4194304 5992684 140734770209664 140734770202408 4523474 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10694/statm: 2843263 1915725 173 440 0 2842819 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 11382200
[startup+162.3 s]
/proc/loadavg: 3.95 3.47 2.76 2/182 10699
/proc/meminfo: memFree=9836912/32873844 swapFree=7620/7620
[pid=10693] ppid=10691 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10693/stat : 10693 (npSolver-pbo-It) S 10691 10693 10269 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278656974 9367552 274 33554432000 4194304 5064252 140736608901856 140736608900768 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10693/statm: 2287 274 233 213 0 72 0
[pid=10694] ppid=10693 vsize=11666564 CPUtime=110.38 cores=1,3,5,7
/proc/10694/stat : 10694 (npSolver-pbo) S 10693 10693 10269 0 -1 4204032 810292 0 0 0 10321 717 0 0 20 0 1 0 278656975 11946561536 2036291 33554432000 4194304 5992684 140734770209664 140734770205320 5240597 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/10694/statm: 2916641 2036291 223 440 0 2916197 0
Current children cumulated CPU time (s) 110.38
Current children cumulated vsize (KiB) 11675712
heavy processes:
%CPU=28 pid=10696 uid=0 cmd=
[startup+222.307 s]
/proc/loadavg: 4.52 3.74 2.90 2/181 10699
/proc/meminfo: memFree=5903248/32873844 swapFree=7620/7620
[pid=10693] ppid=10691 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10693/stat : 10693 (npSolver-pbo-It) S 10691 10693 10269 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278656974 9367552 274 33554432000 4194304 5064252 140736608901856 140736608900768 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10693/statm: 2287 274 233 213 0 72 0
[pid=10694] ppid=10693 vsize=11666564 CPUtime=111.35 cores=1,3,5,7
/proc/10694/stat : 10694 (npSolver-pbo) S 10693 10693 10269 0 -1 4204032 810292 0 0 0 10321 814 0 0 20 0 1 0 278656975 11946561536 2036291 33554432000 4194304 5992684 140734770209664 140734770205320 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/10694/statm: 2916641 2036291 223 440 0 2916197 0
Current children cumulated CPU time (s) 111.35
Current children cumulated vsize (KiB) 11675712
heavy processes:
%CPU=20 pid=10696 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 10694 6 506 18446744073709551615
[startup+282.3 s]
/proc/loadavg: 4.72 3.94 3.02 2/181 10700
/proc/meminfo: memFree=3853168/32873844 swapFree=7620/7620
[pid=10693] ppid=10691 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10693/stat : 10693 (npSolver-pbo-It) S 10691 10693 10269 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278656974 9367552 274 33554432000 4194304 5064252 140736608901856 140736608900768 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10693/statm: 2287 274 233 213 0 72 0
[pid=10694] ppid=10693 vsize=11666564 CPUtime=111.99 cores=1,3,5,7
/proc/10694/stat : 10694 (npSolver-pbo) S 10693 10693 10269 0 -1 4204032 810292 0 0 0 10321 878 0 0 20 0 1 0 278656975 11946561536 2036291 33554432000 4194304 5992684 140734770209664 140734770205320 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/10694/statm: 2916641 2036291 223 440 0 2916197 0
Current children cumulated CPU time (s) 111.99
Current children cumulated vsize (KiB) 11675712
heavy processes:
%CPU=15 pid=10696 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 10694 6 506 18446744073709551615
[startup+342.3 s]
/proc/loadavg: 5.00 4.16 3.15 2/181 10700
/proc/meminfo: memFree=3857752/32873844 swapFree=7620/7620
[pid=10693] ppid=10691 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10693/stat : 10693 (npSolver-pbo-It) S 10691 10693 10269 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278656974 9367552 274 33554432000 4194304 5064252 140736608901856 140736608900768 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10693/statm: 2287 274 233 213 0 72 0
[pid=10694] ppid=10693 vsize=11666564 CPUtime=111.99 cores=1,3,5,7
/proc/10694/stat : 10694 (npSolver-pbo) S 10693 10693 10269 0 -1 4204032 810292 0 0 0 10321 878 0 0 20 0 1 0 278656975 11946561536 2036291 33554432000 4194304 5992684 140734770209664 140734770205320 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/10694/statm: 2916641 2036291 223 440 0 2916197 0
Current children cumulated CPU time (s) 111.99
Current children cumulated vsize (KiB) 11675712
heavy processes:
%CPU=11 pid=10696 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 10694 6 506 18446744073709551615
Solver just ended. Dumping a history of the last processes samples
[startup+344.4 s]
/proc/loadavg: 4.92 4.16 3.15 2/181 10700
/proc/meminfo: memFree=3857576/32873844 swapFree=7620/7620
[pid=10693] ppid=10691 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10693/stat : 10693 (npSolver-pbo-It) S 10691 10693 10269 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278656974 9367552 274 33554432000 4194304 5064252 140736608901856 140736608900768 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10693/statm: 2287 274 233 213 0 72 0
[pid=10694] ppid=10693 vsize=11666564 CPUtime=111.99 cores=1,3,5,7
/proc/10694/stat : 10694 (npSolver-pbo) S 10693 10693 10269 0 -1 4204032 810292 0 0 0 10321 878 0 0 20 0 1 0 278656975 11946561536 2036291 33554432000 4194304 5992684 140734770209664 140734770205320 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/10694/statm: 2916641 2036291 223 440 0 2916197 0
Current children cumulated CPU time (s) 111.99
Current children cumulated vsize (KiB) 11675712
[startup+347.6 s]
/proc/loadavg: 4.92 4.16 3.15 2/181 10700
/proc/meminfo: memFree=3861064/32873844 swapFree=7620/7620
[pid=10693] ppid=10691 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10693/stat : 10693 (npSolver-pbo-It) S 10691 10693 10269 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278656974 9367552 274 33554432000 4194304 5064252 140736608901856 140736608900768 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10693/statm: 2287 274 233 213 0 72 0
[pid=10694] ppid=10693 vsize=11666564 CPUtime=111.99 cores=1,3,5,7
/proc/10694/stat : 10694 (npSolver-pbo) S 10693 10693 10269 0 -1 4204032 810292 0 0 0 10321 878 0 0 20 0 1 0 278656975 11946561536 2036291 33554432000 4194304 5992684 140734770209664 140734770205320 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/10694/statm: 2916641 2036291 223 440 0 2916197 0
Current children cumulated CPU time (s) 111.99
Current children cumulated vsize (KiB) 11675712
[startup+349.2 s]
/proc/loadavg: 4.93 4.17 3.16 2/181 10700
/proc/meminfo: memFree=3860940/32873844 swapFree=7620/7620
[pid=10693] ppid=10691 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10693/stat : 10693 (npSolver-pbo-It) S 10691 10693 10269 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278656974 9367552 274 33554432000 4194304 5064252 140736608901856 140736608900768 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10693/statm: 2287 274 233 213 0 72 0
[pid=10694] ppid=10693 vsize=11666564 CPUtime=111.99 cores=1,3,5,7
/proc/10694/stat : 10694 (npSolver-pbo) S 10693 10693 10269 0 -1 4204032 810292 0 0 0 10321 878 0 0 20 0 1 0 278656975 11946561536 2036291 33554432000 4194304 5992684 140734770209664 140734770205320 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/10694/statm: 2916641 2036291 223 440 0 2916197 0
Current children cumulated CPU time (s) 111.99
Current children cumulated vsize (KiB) 11675712
[startup+350 s]
/proc/loadavg: 4.93 4.17 3.16 3/181 10700
/proc/meminfo: memFree=4049420/32873844 swapFree=7620/7620
[pid=10693] ppid=10691 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10693/stat : 10693 (npSolver-pbo-It) S 10691 10693 10269 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278656974 9367552 274 33554432000 4194304 5064252 140736608901856 140736608900768 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10693/statm: 2287 274 233 213 0 72 0
[pid=10694] ppid=10693 vsize=0 CPUtime=112 cores=1,3,5,7
/proc/10694/stat : 10694 (npSolver-pbo) R 10693 10693 10269 0 -1 4204036 810292 0 0 0 10321 879 0 0 20 0 1 0 278656975 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10694/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 112
Current children cumulated vsize (KiB) 9148
[startup+350.2 s]
/proc/loadavg: 4.93 4.17 3.16 3/181 10700
/proc/meminfo: memFree=4049420/32873844 swapFree=7620/7620
[pid=10693] ppid=10691 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10693/stat : 10693 (npSolver-pbo-It) S 10691 10693 10269 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278656974 9367552 274 33554432000 4194304 5064252 140736608901856 140736608900768 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10693/statm: 2287 274 233 213 0 72 0
[pid=10694] ppid=10693 vsize=0 CPUtime=112.2 cores=1,3,5,7
/proc/10694/stat : 10694 (npSolver-pbo) R 10693 10693 10269 0 -1 4204036 810292 0 0 0 10321 899 0 0 20 0 1 0 278656975 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10694/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 112.2
Current children cumulated vsize (KiB) 9148
Child status: 0
Real time (s): 350.206
CPU time (s): 112.209
CPU user time (s): 103.21
CPU system time (s): 8.99863
CPU usage (%): 32.0408
Max. virtual memory (cumulated for all children) (KiB): 15260416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 103.21
system time used= 8.99863
maximum resident set size= 11055736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 810665
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1793139
involuntary context switches= 177
runsolver used 0.658899 second user time and 1.59076 second system time
The end