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-3748320-1339133752/watcher-3748320-1339133752 -o /tmp/evaluation-result-3748320-1339133752/solver-3748320-1339133752 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748320-1339133752.opb 1920969636 HOME HOME
running on 4 cores: 0,2,4,6
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: 2.02 2.01 2.00 3/178 20442
/proc/meminfo: memFree=26479504/32873844 swapFree=9160/9160
[pid=20442] ppid=20440 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20442/stat : 20442 (npSolver-pbo-I.) S 20440 20442 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379500043 9367552 275 33554432000 4194304 5064252 140734675039744 140734675038656 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20442/statm: 2287 275 233 213 0 72 0
[startup+0.0147441 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 20442
/proc/meminfo: memFree=26479504/32873844 swapFree=9160/9160
[pid=20442] ppid=20440 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20442/stat : 20442 (npSolver-pbo-I.) S 20440 20442 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379500043 9367552 275 33554432000 4194304 5064252 140734675039744 140734675038656 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20442/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100257 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 20442
/proc/meminfo: memFree=26479504/32873844 swapFree=9160/9160
[pid=20442] ppid=20440 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20442/stat : 20442 (npSolver-pbo-I.) S 20440 20442 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379500043 9367552 275 33554432000 4194304 5064252 140734675039744 140734675038656 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20442/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.388532 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 20442
/proc/meminfo: memFree=26479504/32873844 swapFree=9160/9160
[pid=20442] ppid=20440 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20442/stat : 20442 (npSolver-pbo-I.) S 20440 20442 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379500043 9367552 275 33554432000 4194304 5064252 140734675039744 140734675038656 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20442/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700209 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 20442
/proc/meminfo: memFree=26479504/32873844 swapFree=9160/9160
[pid=20442] ppid=20440 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20442/stat : 20442 (npSolver-pbo-I.) S 20440 20442 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379500043 9367552 275 33554432000 4194304 5064252 140734675039744 140734675038656 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20442/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50025 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 20444
/proc/meminfo: memFree=26381320/32873844 swapFree=9160/9160
[pid=20442] ppid=20440 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20442/stat : 20442 (npSolver-pbo-I.) S 20440 20442 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379500043 9367552 275 33554432000 4194304 5064252 140734675039744 140734675038656 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20442/statm: 2287 275 233 213 0 72 0
[pid=20443] ppid=20442 vsize=114944 CPUtime=1.49 cores=0,2,4,6
/proc/20443/stat : 20443 (npSolver-pbo) R 20442 20442 10841 0 -1 4202496 10964 0 0 0 145 4 0 0 20 0 1 0 379500043 117702656 27179 33554432000 4194304 6004724 140735131525376 140735131521400 4397963 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/20443/statm: 28736 27179 130 442 0 28290 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 124092
[startup+3.10024 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 20444
/proc/meminfo: memFree=26337788/32873844 swapFree=9160/9160
[pid=20442] ppid=20440 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20442/stat : 20442 (npSolver-pbo-I.) S 20440 20442 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379500043 9367552 275 33554432000 4194304 5064252 140734675039744 140734675038656 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20442/statm: 2287 275 233 213 0 72 0
[pid=20443] ppid=20442 vsize=199268 CPUtime=3.09 cores=0,2,4,6
/proc/20443/stat : 20443 (npSolver-pbo) R 20442 20442 10841 0 -1 4202496 31160 0 0 0 302 7 0 0 20 0 1 0 379500043 204050432 47375 33554432000 4194304 6004724 140735131525376 140735131521400 4560527 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/20443/statm: 49817 47375 130 442 0 49371 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 208416
[startup+6.30027 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 20444
/proc/meminfo: memFree=26074880/32873844 swapFree=9160/9160
[pid=20442] ppid=20440 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20442/stat : 20442 (npSolver-pbo-I.) S 20440 20442 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379500043 9367552 275 33554432000 4194304 5064252 140734675039744 140734675038656 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20442/statm: 2287 275 233 213 0 72 0
[pid=20443] ppid=20442 vsize=543128 CPUtime=6.28 cores=0,2,4,6
/proc/20443/stat : 20443 (npSolver-pbo) R 20442 20442 10841 0 -1 4202496 88803 0 0 0 611 17 0 0 20 0 1 0 379500043 556163072 128751 33554432000 4194304 6004724 140735131525376 140735131519656 4534738 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/20443/statm: 135782 128751 154 442 0 135336 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 552276
[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 20444
/proc/meminfo: memFree=25164100/32873844 swapFree=9160/9160
[pid=20442] ppid=20440 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20442/stat : 20442 (npSolver-pbo-I.) S 20440 20442 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379500043 9367552 275 33554432000 4194304 5064252 140734675039744 140734675038656 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20442/statm: 2287 275 233 213 0 72 0
[pid=20443] ppid=20442 vsize=1460632 CPUtime=12.68 cores=0,2,4,6
/proc/20443/stat : 20443 (npSolver-pbo) R 20442 20442 10841 0 -1 4202496 91008 0 0 0 1230 38 0 0 20 0 1 0 379500043 1495687168 243439 33554432000 4194304 6004724 140735131525376 140735131519976 4579893 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/20443/statm: 365158 243439 154 442 0 364712 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1469780
[startup+25.5003 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 20444
/proc/meminfo: memFree=24583832/32873844 swapFree=9160/9160
[pid=20442] ppid=20440 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20442/stat : 20442 (npSolver-pbo-I.) S 20440 20442 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379500043 9367552 275 33554432000 4194304 5064252 140734675039744 140734675038656 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20442/statm: 2287 275 233 213 0 72 0
[pid=20443] ppid=20442 vsize=2509208 CPUtime=25.48 cores=0,2,4,6
/proc/20443/stat : 20443 (npSolver-pbo) R 20442 20442 10841 0 -1 4202496 92489 0 0 0 2479 69 0 0 20 0 1 0 379500043 2569428992 477935 33554432000 4194304 6004724 140735131525376 140735131519976 4582670 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/20443/statm: 627302 477935 154 442 0 626856 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 2518356
[startup+51.1004 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 20444
/proc/meminfo: memFree=22546820/32873844 swapFree=9160/9160
[pid=20442] ppid=20440 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20442/stat : 20442 (npSolver-pbo-I.) S 20440 20442 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379500043 9367552 275 33554432000 4194304 5064252 140734675039744 140734675038656 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20442/statm: 2287 275 233 213 0 72 0
[pid=20443] ppid=20442 vsize=4606360 CPUtime=51.08 cores=0,2,4,6
/proc/20443/stat : 20443 (npSolver-pbo) R 20442 20442 10841 0 -1 4202496 95030 0 0 0 4977 131 0 0 20 0 1 0 379500043 4716912640 993007 33554432000 4194304 6004724 140735131525376 140735131519976 4579232 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20443/statm: 1151590 993007 154 442 0 1151144 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 4615508
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20444
/proc/meminfo: memFree=18329872/32873844 swapFree=9160/9160
[pid=20442] ppid=20440 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20442/stat : 20442 (npSolver-pbo-I.) S 20440 20442 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379500043 9367552 275 33554432000 4194304 5064252 140734675039744 140734675038656 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20442/statm: 2287 275 233 213 0 72 0
[pid=20443] ppid=20442 vsize=8800664 CPUtime=102.27 cores=0,2,4,6
/proc/20443/stat : 20443 (npSolver-pbo) R 20442 20442 10841 0 -1 4202496 99623 0 0 0 9961 266 0 0 20 0 1 0 379500043 9011879936 2034415 33554432000 4194304 6004724 140735131525376 140735131519976 4536089 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20443/statm: 2200166 2034415 154 442 0 2199720 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 8809812
[startup+162.3 s]
/proc/loadavg: 2.46 2.10 2.03 2/181 20445
/proc/meminfo: memFree=10759672/32873844 swapFree=9160/9160
[pid=20442] ppid=20440 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20442/stat : 20442 (npSolver-pbo-I.) S 20440 20442 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379500043 9367552 275 33554432000 4194304 5064252 140734675039744 140734675038656 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20442/statm: 2287 275 233 213 0 72 0
[pid=20443] ppid=20442 vsize=8866200 CPUtime=147.99 cores=0,2,4,6
/proc/20443/stat : 20443 (npSolver-pbo) S 20442 20442 10841 0 -1 4204032 220496 0 0 0 14314 485 0 0 20 0 1 0 379500043 9078988800 2202668 33554432000 4194304 6004724 140735131525376 140735131521048 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/20443/statm: 2216550 2202668 212 442 0 2216104 0
Current children cumulated CPU time (s) 147.99
Current children cumulated vsize (KiB) 8875348
[startup+222.307 s]
/proc/loadavg: 4.28 2.68 2.24 2/181 20446
/proc/meminfo: memFree=7391888/32873844 swapFree=9160/9160
[pid=20442] ppid=20440 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20442/stat : 20442 (npSolver-pbo-I.) S 20440 20442 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379500043 9367552 275 33554432000 4194304 5064252 140734675039744 140734675038656 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20442/statm: 2287 275 233 213 0 72 0
[pid=20443] ppid=20442 vsize=8866200 CPUtime=152.1 cores=0,2,4,6
/proc/20443/stat : 20443 (npSolver-pbo) S 20442 20442 10841 0 -1 4204032 220496 0 0 0 14314 896 0 0 20 0 1 0 379500043 9078988800 2203216 33554432000 4194304 6004724 140735131525376 140735131521048 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/20443/statm: 2216550 2203216 212 442 0 2216104 0
Current children cumulated CPU time (s) 152.1
Current children cumulated vsize (KiB) 8875348
heavy processes:
%CPU=25 pid=20445 uid=0 cmd=
[startup+282.3 s]
/proc/loadavg: 5.00 3.18 2.43 2/182 20449
/proc/meminfo: memFree=3881764/32873844 swapFree=9160/9160
[pid=20442] ppid=20440 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20442/stat : 20442 (npSolver-pbo-I.) S 20440 20442 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379500043 9367552 275 33554432000 4194304 5064252 140734675039744 140734675038656 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20442/statm: 2287 275 233 213 0 72 0
[pid=20443] ppid=20442 vsize=8866200 CPUtime=157.7 cores=0,2,4,6
/proc/20443/stat : 20443 (npSolver-pbo) S 20442 20442 10841 0 -1 4204032 220496 0 0 0 14314 1456 0 0 20 0 1 0 379500043 9078988800 2203333 33554432000 4194304 6004724 140735131525376 140735131521048 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/20443/statm: 2216550 2203333 212 442 0 2216104 0
Current children cumulated CPU time (s) 157.7
Current children cumulated vsize (KiB) 8875348
heavy processes:
%CPU=19 pid=20445 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 20443 6 506 18446744073709551615
[startup+342.3 s]
/proc/loadavg: 5.13 3.54 2.60 2/181 20498
/proc/meminfo: memFree=2740088/32873844 swapFree=9160/9160
[pid=20442] ppid=20440 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20442/stat : 20442 (npSolver-pbo-I.) S 20440 20442 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379500043 9367552 275 33554432000 4194304 5064252 140734675039744 140734675038656 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20442/statm: 2287 275 233 213 0 72 0
[pid=20443] ppid=20442 vsize=8866200 CPUtime=159.65 cores=0,2,4,6
/proc/20443/stat : 20443 (npSolver-pbo) S 20442 20442 10841 0 -1 4204032 220496 0 0 0 14314 1651 0 0 20 0 1 0 379500043 9078988800 2203652 33554432000 4194304 6004724 140735131525376 140735131521048 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/20443/statm: 2216550 2203652 212 442 0 2216104 0
Current children cumulated CPU time (s) 159.65
Current children cumulated vsize (KiB) 8875348
heavy processes:
%CPU=14 pid=20445 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 20443 6 506 18446744073709551615
[startup+402.3 s]
/proc/loadavg: 5.12 3.82 2.75 2/181 20502
/proc/meminfo: memFree=2727292/32873844 swapFree=9160/9160
[pid=20442] ppid=20440 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20442/stat : 20442 (npSolver-pbo-I.) S 20440 20442 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379500043 9367552 275 33554432000 4194304 5064252 140734675039744 140734675038656 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20442/statm: 2287 275 233 213 0 72 0
[pid=20443] ppid=20442 vsize=8866200 CPUtime=159.65 cores=0,2,4,6
/proc/20443/stat : 20443 (npSolver-pbo) S 20442 20442 10841 0 -1 4204032 220496 0 0 0 14314 1651 0 0 20 0 1 0 379500043 9078988800 2203652 33554432000 4194304 6004724 140735131525376 140735131521048 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/20443/statm: 2216550 2203652 212 442 0 2216104 0
Current children cumulated CPU time (s) 159.65
Current children cumulated vsize (KiB) 8875348
heavy processes:
%CPU=11 pid=20445 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 20443 6 506 18446744073709551615
Solver just ended. Dumping a history of the last processes samples
[startup+404 s]
/proc/loadavg: 5.12 3.82 2.75 2/181 20502
/proc/meminfo: memFree=2726176/32873844 swapFree=9160/9160
[pid=20442] ppid=20440 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20442/stat : 20442 (npSolver-pbo-I.) S 20440 20442 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379500043 9367552 275 33554432000 4194304 5064252 140734675039744 140734675038656 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20442/statm: 2287 275 233 213 0 72 0
[pid=20443] ppid=20442 vsize=8866200 CPUtime=159.65 cores=0,2,4,6
/proc/20443/stat : 20443 (npSolver-pbo) S 20442 20442 10841 0 -1 4204032 220496 0 0 0 14314 1651 0 0 20 0 1 0 379500043 9078988800 2203652 33554432000 4194304 6004724 140735131525376 140735131521048 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/20443/statm: 2216550 2203652 212 442 0 2216104 0
Current children cumulated CPU time (s) 159.65
Current children cumulated vsize (KiB) 8875348
[startup+407.2 s]
/proc/loadavg: 5.11 3.84 2.76 2/181 20502
/proc/meminfo: memFree=2723996/32873844 swapFree=9160/9160
[pid=20442] ppid=20440 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20442/stat : 20442 (npSolver-pbo-I.) S 20440 20442 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379500043 9367552 275 33554432000 4194304 5064252 140734675039744 140734675038656 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20442/statm: 2287 275 233 213 0 72 0
[pid=20443] ppid=20442 vsize=8866200 CPUtime=159.65 cores=0,2,4,6
/proc/20443/stat : 20443 (npSolver-pbo) S 20442 20442 10841 0 -1 4204032 220496 0 0 0 14314 1651 0 0 20 0 1 0 379500043 9078988800 2203652 33554432000 4194304 6004724 140735131525376 140735131521048 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/20443/statm: 2216550 2203652 212 442 0 2216104 0
Current children cumulated CPU time (s) 159.65
Current children cumulated vsize (KiB) 8875348
[startup+410.4 s]
/proc/loadavg: 5.10 3.86 2.78 2/181 20504
/proc/meminfo: memFree=2731364/32873844 swapFree=9160/9160
[pid=20442] ppid=20440 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20442/stat : 20442 (npSolver-pbo-I.) S 20440 20442 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379500043 9367552 275 33554432000 4194304 5064252 140734675039744 140734675038656 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20442/statm: 2287 275 233 213 0 72 0
[pid=20443] ppid=20442 vsize=8866200 CPUtime=159.65 cores=0,2,4,6
/proc/20443/stat : 20443 (npSolver-pbo) S 20442 20442 10841 0 -1 4204032 220496 0 0 0 14314 1651 0 0 20 0 1 0 379500043 9078988800 2203652 33554432000 4194304 6004724 140735131525376 140735131521048 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/20443/statm: 2216550 2203652 212 442 0 2216104 0
Current children cumulated CPU time (s) 159.65
Current children cumulated vsize (KiB) 8875348
[startup+412 s]
/proc/loadavg: 5.10 3.86 2.78 2/181 20504
/proc/meminfo: memFree=2729876/32873844 swapFree=9160/9160
[pid=20442] ppid=20440 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20442/stat : 20442 (npSolver-pbo-I.) S 20440 20442 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379500043 9367552 275 33554432000 4194304 5064252 140734675039744 140734675038656 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20442/statm: 2287 275 233 213 0 72 0
[pid=20443] ppid=20442 vsize=8866200 CPUtime=159.65 cores=0,2,4,6
/proc/20443/stat : 20443 (npSolver-pbo) S 20442 20442 10841 0 -1 4204032 220496 0 0 0 14314 1651 0 0 20 0 1 0 379500043 9078988800 2203652 33554432000 4194304 6004724 140735131525376 140735131521048 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/20443/statm: 2216550 2203652 212 442 0 2216104 0
Current children cumulated CPU time (s) 159.65
Current children cumulated vsize (KiB) 8875348
[startup+412.4 s]
/proc/loadavg: 5.10 3.86 2.78 2/181 20504
/proc/meminfo: memFree=2729008/32873844 swapFree=9160/9160
[pid=20442] ppid=20440 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20442/stat : 20442 (npSolver-pbo-I.) S 20440 20442 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379500043 9367552 275 33554432000 4194304 5064252 140734675039744 140734675038656 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20442/statm: 2287 275 233 213 0 72 0
[pid=20443] ppid=20442 vsize=8866200 CPUtime=159.65 cores=0,2,4,6
/proc/20443/stat : 20443 (npSolver-pbo) S 20442 20442 10841 0 -1 4204032 220496 0 0 0 14314 1651 0 0 20 0 1 0 379500043 9078988800 2203652 33554432000 4194304 6004724 140735131525376 140735131521048 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/20443/statm: 2216550 2203652 212 442 0 2216104 0
Current children cumulated CPU time (s) 159.65
Current children cumulated vsize (KiB) 8875348
[startup+412.8 s]
/proc/loadavg: 5.10 3.86 2.78 2/181 20504
/proc/meminfo: memFree=2729008/32873844 swapFree=9160/9160
[pid=20442] ppid=20440 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20442/stat : 20442 (npSolver-pbo-I.) S 20440 20442 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379500043 9367552 275 33554432000 4194304 5064252 140734675039744 140734675038656 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20442/statm: 2287 275 233 213 0 72 0
[pid=20443] ppid=20442 vsize=8866200 CPUtime=159.65 cores=0,2,4,6
/proc/20443/stat : 20443 (npSolver-pbo) S 20442 20442 10841 0 -1 4204032 220496 0 0 0 14314 1651 0 0 20 0 1 0 379500043 9078988800 2203652 33554432000 4194304 6004724 140735131525376 140735131521048 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/20443/statm: 2216550 2203652 212 442 0 2216104 0
Current children cumulated CPU time (s) 159.65
Current children cumulated vsize (KiB) 8875348
[startup+412.9 s]
/proc/loadavg: 5.10 3.86 2.78 2/181 20504
/proc/meminfo: memFree=2729008/32873844 swapFree=9160/9160
[pid=20442] ppid=20440 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20442/stat : 20442 (npSolver-pbo-I.) S 20440 20442 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379500043 9367552 275 33554432000 4194304 5064252 140734675039744 140734675038656 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20442/statm: 2287 275 233 213 0 72 0
[pid=20443] ppid=20442 vsize=0 CPUtime=159.66 cores=0,2,4,6
/proc/20443/stat : 20443 (npSolver-pbo) R 20442 20442 10841 0 -1 4204036 220496 0 0 0 14314 1652 0 0 20 0 1 0 379500043 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20443/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 159.66
Current children cumulated vsize (KiB) 9148
Child status: 0
Real time (s): 412.923
CPU time (s): 159.691
CPU user time (s): 143.143
CPU system time (s): 16.5475
CPU usage (%): 38.6732
Max. virtual memory (cumulated for all children) (KiB): 13004116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 143.143
system time used= 16.5475
maximum resident set size= 8814608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 220871
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= 1815914
involuntary context switches= 234
runsolver used 0.650901 second user time and 1.62875 second system time
The end