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-3748403-1339165052/watcher-3748403-1339165052 -o /tmp/evaluation-result-3748403-1339165052/solver-3748403-1339165052 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748403-1339165052.opb 2123002564 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.00 2.00 2.00 3/176 570
/proc/meminfo: memFree=30246772/32873852 swapFree=7632/7632
[pid=570] ppid=568 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/570/stat : 570 (npSolver-pbo-I.) S 568 570 28157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382631178 9367552 274 33554432000 4194304 5064252 140734654649072 140734654647984 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/570/statm: 2287 274 233 213 0 72 0
[startup+0.077979 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 570
/proc/meminfo: memFree=30246772/32873852 swapFree=7632/7632
[pid=570] ppid=568 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/570/stat : 570 (npSolver-pbo-I.) S 568 570 28157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382631178 9367552 274 33554432000 4194304 5064252 140734654649072 140734654647984 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/570/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100291 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 570
/proc/meminfo: memFree=30246772/32873852 swapFree=7632/7632
[pid=570] ppid=568 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/570/stat : 570 (npSolver-pbo-I.) S 568 570 28157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382631178 9367552 274 33554432000 4194304 5064252 140734654649072 140734654647984 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/570/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300267 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 570
/proc/meminfo: memFree=30246772/32873852 swapFree=7632/7632
[pid=570] ppid=568 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/570/stat : 570 (npSolver-pbo-I.) S 568 570 28157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382631178 9367552 274 33554432000 4194304 5064252 140734654649072 140734654647984 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/570/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700264 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 570
/proc/meminfo: memFree=30246772/32873852 swapFree=7632/7632
[pid=570] ppid=568 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/570/stat : 570 (npSolver-pbo-I.) S 568 570 28157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382631178 9367552 274 33554432000 4194304 5064252 140734654649072 140734654647984 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/570/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 572
/proc/meminfo: memFree=30167128/32873852 swapFree=7632/7632
[pid=570] ppid=568 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/570/stat : 570 (npSolver-pbo-I.) S 568 570 28157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382631178 9367552 274 33554432000 4194304 5064252 140734654649072 140734654647984 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/570/statm: 2287 274 233 213 0 72 0
[pid=571] ppid=570 vsize=105548 CPUtime=1.48 cores=0,2,4,6
/proc/571/stat : 571 (npSolver-pbo) R 570 570 28157 0 -1 4202496 23683 0 0 0 142 6 0 0 20 0 1 0 382631178 108081152 24282 33554432000 4194304 6004724 140734403065200 140734403061224 4966215 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/571/statm: 26387 24282 130 442 0 25941 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 114696
[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 572
/proc/meminfo: memFree=30125540/32873852 swapFree=7632/7632
[pid=570] ppid=568 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/570/stat : 570 (npSolver-pbo-I.) S 568 570 28157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382631178 9367552 274 33554432000 4194304 5064252 140734654649072 140734654647984 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/570/statm: 2287 274 233 213 0 72 0
[pid=571] ppid=570 vsize=190172 CPUtime=3.09 cores=0,2,4,6
/proc/571/stat : 571 (npSolver-pbo) R 570 570 28157 0 -1 4202496 44271 0 0 0 295 14 0 0 20 0 1 0 382631178 194736128 44870 33554432000 4194304 6004724 140734403065200 140734403061224 4490924 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/571/statm: 47543 44870 130 442 0 47097 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 199320
[startup+6.30026 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 572
/proc/meminfo: memFree=29961000/32873852 swapFree=7632/7632
[pid=570] ppid=568 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/570/stat : 570 (npSolver-pbo-I.) S 568 570 28157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382631178 9367552 274 33554432000 4194304 5064252 140734654649072 140734654647984 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/570/statm: 2287 274 233 213 0 72 0
[pid=571] ppid=570 vsize=354976 CPUtime=6.28 cores=0,2,4,6
/proc/571/stat : 571 (npSolver-pbo) R 570 570 28157 0 -1 4202496 84254 0 0 0 605 23 0 0 20 0 1 0 382631178 363495424 84853 33554432000 4194304 6004724 140734403065200 140734403060840 4399859 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/571/statm: 88744 84853 130 442 0 88298 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 364124
[startup+12.7003 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 572
/proc/meminfo: memFree=29628012/32873852 swapFree=7632/7632
[pid=570] ppid=568 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/570/stat : 570 (npSolver-pbo-I.) S 568 570 28157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382631178 9367552 274 33554432000 4194304 5064252 140734654649072 140734654647984 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/570/statm: 2287 274 233 213 0 72 0
[pid=571] ppid=570 vsize=976536 CPUtime=12.68 cores=0,2,4,6
/proc/571/stat : 571 (npSolver-pbo) R 570 570 28157 0 -1 4202496 228880 0 0 0 1222 46 0 0 20 0 1 0 382631178 999972864 234070 33554432000 4194304 6004724 140734403065200 140734403061224 4393128 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/571/statm: 244134 234080 130 442 0 243688 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 985684
[startup+25.5004 s]
/proc/loadavg: 2.06 2.01 2.00 3/178 573
/proc/meminfo: memFree=28099048/32873852 swapFree=7632/7632
[pid=570] ppid=568 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/570/stat : 570 (npSolver-pbo-I.) S 568 570 28157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382631178 9367552 274 33554432000 4194304 5064252 140734654649072 140734654647984 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/570/statm: 2287 274 233 213 0 72 0
[pid=571] ppid=570 vsize=2292224 CPUtime=25.49 cores=0,2,4,6
/proc/571/stat : 571 (npSolver-pbo) R 570 570 28157 0 -1 4202496 310178 0 0 0 2470 79 0 0 20 0 1 0 382631178 2347237376 543937 33554432000 4194304 6004724 140734403065200 140734403059800 4534728 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/571/statm: 573056 543937 154 442 0 572610 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2301372
[startup+51.1003 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 573
/proc/meminfo: memFree=26601032/32873852 swapFree=7632/7632
[pid=570] ppid=568 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/570/stat : 570 (npSolver-pbo-I.) S 568 570 28157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382631178 9367552 274 33554432000 4194304 5064252 140734654649072 140734654647984 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/570/statm: 2287 274 233 213 0 72 0
[pid=571] ppid=570 vsize=5437952 CPUtime=51.08 cores=0,2,4,6
/proc/571/stat : 571 (npSolver-pbo) R 570 570 28157 0 -1 4202496 313469 0 0 0 4961 147 0 0 20 0 1 0 382631178 5568462848 919233 33554432000 4194304 6004724 140734403065200 140734403058184 4579246 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/571/statm: 1359488 919233 154 442 0 1359042 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 5447100
[startup+102.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 573
/proc/meminfo: memFree=22637036/32873852 swapFree=7632/7632
[pid=570] ppid=568 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/570/stat : 570 (npSolver-pbo-I.) S 568 570 28157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382631178 9367552 274 33554432000 4194304 5064252 140734654649072 140734654647984 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/570/statm: 2287 274 233 213 0 72 0
[pid=571] ppid=570 vsize=9634600 CPUtime=102.27 cores=0,2,4,6
/proc/571/stat : 571 (npSolver-pbo) R 570 570 28157 0 -1 4202496 318531 0 0 0 9955 272 0 0 20 0 1 0 382631178 9865830400 1901323 33554432000 4194304 6004724 140734403065200 140734403059800 4534738 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/571/statm: 2408650 1901323 154 442 0 2408204 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 9643748
[startup+162.3 s]
/proc/loadavg: 3.59 2.42 2.14 2/180 577
/proc/meminfo: memFree=13037964/32873852 swapFree=7632/7632
[pid=570] ppid=568 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/570/stat : 570 (npSolver-pbo-I.) S 568 570 28157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382631178 9367552 274 33554432000 4194304 5064252 140734654649072 140734654647984 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/570/statm: 2287 274 233 213 0 72 0
[pid=571] ppid=570 vsize=9700136 CPUtime=111.45 cores=0,2,4,6
/proc/571/stat : 571 (npSolver-pbo) S 570 570 28157 0 -1 4204032 318888 0 0 0 10629 516 0 0 20 0 1 0 382631178 9932939264 2047315 33554432000 4194304 6004724 140734403065200 140734403060872 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/571/statm: 2425034 2047315 211 442 0 2424588 0
Current children cumulated CPU time (s) 111.45
Current children cumulated vsize (KiB) 9709284
heavy processes:
%CPU=29 pid=574 uid=0 cmd=
[startup+222.307 s]
/proc/loadavg: 4.45 2.87 2.31 2/179 577
/proc/meminfo: memFree=9825088/32873852 swapFree=7632/7632
[pid=570] ppid=568 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/570/stat : 570 (npSolver-pbo-I.) S 568 570 28157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382631178 9367552 274 33554432000 4194304 5064252 140734654649072 140734654647984 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/570/statm: 2287 274 233 213 0 72 0
[pid=571] ppid=570 vsize=9700136 CPUtime=112.34 cores=0,2,4,6
/proc/571/stat : 571 (npSolver-pbo) S 570 570 28157 0 -1 4204032 318888 0 0 0 10629 605 0 0 20 0 1 0 382631178 9932939264 2047315 33554432000 4194304 6004724 140734403065200 140734403060872 5251733 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/571/statm: 2425034 2047315 211 442 0 2424588 0
Current children cumulated CPU time (s) 112.34
Current children cumulated vsize (KiB) 9709284
heavy processes:
%CPU=19 pid=574 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 571 6 506 18446744073709551615
[startup+282.3 s]
/proc/loadavg: 4.57 3.21 2.46 2/179 577
/proc/meminfo: memFree=7011356/32873852 swapFree=7632/7632
[pid=570] ppid=568 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/570/stat : 570 (npSolver-pbo-I.) S 568 570 28157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382631178 9367552 274 33554432000 4194304 5064252 140734654649072 140734654647984 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/570/statm: 2287 274 233 213 0 72 0
[pid=571] ppid=570 vsize=9700136 CPUtime=113.02 cores=0,2,4,6
/proc/571/stat : 571 (npSolver-pbo) S 570 570 28157 0 -1 4204032 318888 0 0 0 10629 673 0 0 20 0 1 0 382631178 9932939264 2047315 33554432000 4194304 6004724 140734403065200 140734403060872 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/571/statm: 2425034 2047315 211 442 0 2424588 0
Current children cumulated CPU time (s) 113.02
Current children cumulated vsize (KiB) 9709284
heavy processes:
%CPU=15 pid=574 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 571 6 506 18446744073709551615
[startup+342.3 s]
/proc/loadavg: 4.87 3.55 2.62 2/179 578
/proc/meminfo: memFree=6916612/32873852 swapFree=7632/7632
[pid=570] ppid=568 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/570/stat : 570 (npSolver-pbo-I.) S 568 570 28157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382631178 9367552 274 33554432000 4194304 5064252 140734654649072 140734654647984 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/570/statm: 2287 274 233 213 0 72 0
[pid=571] ppid=570 vsize=9700136 CPUtime=113.03 cores=0,2,4,6
/proc/571/stat : 571 (npSolver-pbo) S 570 570 28157 0 -1 4204032 318888 0 0 0 10629 674 0 0 20 0 1 0 382631178 9932939264 2047315 33554432000 4194304 6004724 140734403065200 140734403060872 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/571/statm: 2425034 2047315 211 442 0 2424588 0
Current children cumulated CPU time (s) 113.03
Current children cumulated vsize (KiB) 9709284
heavy processes:
%CPU=12 pid=574 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 571 6 506 18446744073709551615
Solver just ended. Dumping a history of the last processes samples
[startup+360.9 s]
/proc/loadavg: 4.98 3.66 2.68 2/179 578
/proc/meminfo: memFree=6916828/32873852 swapFree=7632/7632
[pid=570] ppid=568 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/570/stat : 570 (npSolver-pbo-I.) S 568 570 28157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382631178 9367552 274 33554432000 4194304 5064252 140734654649072 140734654647984 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/570/statm: 2287 274 233 213 0 72 0
[pid=571] ppid=570 vsize=9700136 CPUtime=113.03 cores=0,2,4,6
/proc/571/stat : 571 (npSolver-pbo) S 570 570 28157 0 -1 4204032 318888 0 0 0 10629 674 0 0 20 0 1 0 382631178 9932939264 2047315 33554432000 4194304 6004724 140734403065200 140734403060872 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/571/statm: 2425034 2047315 211 442 0 2424588 0
Current children cumulated CPU time (s) 113.03
Current children cumulated vsize (KiB) 9709284
[startup+373.7 s]
/proc/loadavg: 4.98 3.70 2.70 2/179 578
/proc/meminfo: memFree=6910920/32873852 swapFree=7632/7632
[pid=570] ppid=568 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/570/stat : 570 (npSolver-pbo-I.) S 568 570 28157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382631178 9367552 274 33554432000 4194304 5064252 140734654649072 140734654647984 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/570/statm: 2287 274 233 213 0 72 0
[pid=571] ppid=570 vsize=9700136 CPUtime=113.03 cores=0,2,4,6
/proc/571/stat : 571 (npSolver-pbo) S 570 570 28157 0 -1 4204032 318888 0 0 0 10629 674 0 0 20 0 1 0 382631178 9932939264 2047315 33554432000 4194304 6004724 140734403065200 140734403060872 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/571/statm: 2425034 2047315 211 442 0 2424588 0
Current children cumulated CPU time (s) 113.03
Current children cumulated vsize (KiB) 9709284
[startup+380.1 s]
/proc/loadavg: 4.91 3.73 2.72 2/179 578
/proc/meminfo: memFree=6914748/32873852 swapFree=7632/7632
[pid=570] ppid=568 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/570/stat : 570 (npSolver-pbo-I.) S 568 570 28157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382631178 9367552 274 33554432000 4194304 5064252 140734654649072 140734654647984 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/570/statm: 2287 274 233 213 0 72 0
[pid=571] ppid=570 vsize=9700136 CPUtime=113.03 cores=0,2,4,6
/proc/571/stat : 571 (npSolver-pbo) S 570 570 28157 0 -1 4204032 318888 0 0 0 10629 674 0 0 20 0 1 0 382631178 9932939264 2047315 33554432000 4194304 6004724 140734403065200 140734403060872 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/571/statm: 2425034 2047315 211 442 0 2424588 0
Current children cumulated CPU time (s) 113.03
Current children cumulated vsize (KiB) 9709284
[startup+383.3 s]
/proc/loadavg: 4.91 3.73 2.72 2/179 578
/proc/meminfo: memFree=6915244/32873852 swapFree=7632/7632
[pid=570] ppid=568 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/570/stat : 570 (npSolver-pbo-I.) S 568 570 28157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382631178 9367552 274 33554432000 4194304 5064252 140734654649072 140734654647984 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/570/statm: 2287 274 233 213 0 72 0
[pid=571] ppid=570 vsize=9700136 CPUtime=113.03 cores=0,2,4,6
/proc/571/stat : 571 (npSolver-pbo) S 570 570 28157 0 -1 4204032 318888 0 0 0 10629 674 0 0 20 0 1 0 382631178 9932939264 2047315 33554432000 4194304 6004724 140734403065200 140734403060872 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/571/statm: 2425034 2047315 211 442 0 2424588 0
Current children cumulated CPU time (s) 113.03
Current children cumulated vsize (KiB) 9709284
[startup+384.9 s]
/proc/loadavg: 4.83 3.73 2.73 2/179 578
/proc/meminfo: memFree=6926244/32873852 swapFree=7632/7632
[pid=570] ppid=568 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/570/stat : 570 (npSolver-pbo-I.) S 568 570 28157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382631178 9367552 274 33554432000 4194304 5064252 140734654649072 140734654647984 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/570/statm: 2287 274 233 213 0 72 0
[pid=571] ppid=570 vsize=9700136 CPUtime=113.03 cores=0,2,4,6
/proc/571/stat : 571 (npSolver-pbo) S 570 570 28157 0 -1 4204032 318888 0 0 0 10629 674 0 0 20 0 1 0 382631178 9932939264 2047315 33554432000 4194304 6004724 140734403065200 140734403060872 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/571/statm: 2425034 2047315 211 442 0 2424588 0
Current children cumulated CPU time (s) 113.03
Current children cumulated vsize (KiB) 9709284
[startup+386.507 s]
/proc/loadavg: 4.83 3.73 2.73 2/179 578
/proc/meminfo: memFree=7102324/32873852 swapFree=7632/7632
[pid=570] ppid=568 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/570/stat : 570 (npSolver-pbo-I.) S 568 570 28157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382631178 9367552 274 33554432000 4194304 5064252 140734654649072 140734654647984 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/570/statm: 2287 274 233 213 0 72 0
[pid=571] ppid=570 vsize=9700136 CPUtime=113.03 cores=0,2,4,6
/proc/571/stat : 571 (npSolver-pbo) S 570 570 28157 0 -1 4204032 318888 0 0 0 10629 674 0 0 20 0 1 0 382631178 9932939264 2047315 33554432000 4194304 6004724 140734403065200 140734403060872 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/571/statm: 2425034 2047315 211 442 0 2424588 0
Current children cumulated CPU time (s) 113.03
Current children cumulated vsize (KiB) 9709284
[startup+386.9 s]
/proc/loadavg: 4.83 3.73 2.73 2/179 578
/proc/meminfo: memFree=7102324/32873852 swapFree=7632/7632
[pid=570] ppid=568 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/570/stat : 570 (npSolver-pbo-I.) S 568 570 28157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382631178 9367552 274 33554432000 4194304 5064252 140734654649072 140734654647984 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/570/statm: 2287 274 233 213 0 72 0
[pid=571] ppid=570 vsize=9700136 CPUtime=113.03 cores=0,2,4,6
/proc/571/stat : 571 (npSolver-pbo) S 570 570 28157 0 -1 4204032 318888 0 0 0 10629 674 0 0 20 0 1 0 382631178 9932939264 2047315 33554432000 4194304 6004724 140734403065200 140734403060872 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/571/statm: 2425034 2047315 211 442 0 2424588 0
Current children cumulated CPU time (s) 113.03
Current children cumulated vsize (KiB) 9709284
[startup+387.3 s]
/proc/loadavg: 4.83 3.73 2.73 2/179 578
/proc/meminfo: memFree=7102324/32873852 swapFree=7632/7632
[pid=570] ppid=568 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/570/stat : 570 (npSolver-pbo-I.) S 568 570 28157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382631178 9367552 274 33554432000 4194304 5064252 140734654649072 140734654647984 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/570/statm: 2287 274 233 213 0 72 0
[pid=571] ppid=570 vsize=9700136 CPUtime=113.03 cores=0,2,4,6
/proc/571/stat : 571 (npSolver-pbo) S 570 570 28157 0 -1 4204032 318888 0 0 0 10629 674 0 0 20 0 1 0 382631178 9932939264 2047315 33554432000 4194304 6004724 140734403065200 140734403060872 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/571/statm: 2425034 2047315 211 442 0 2424588 0
Current children cumulated CPU time (s) 113.03
Current children cumulated vsize (KiB) 9709284
Child status: 0
Real time (s): 387.385
CPU time (s): 113.11
CPU user time (s): 106.298
CPU system time (s): 6.81196
CPU usage (%): 29.1983
Max. virtual memory (cumulated for all children) (KiB): 13838052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 106.298
system time used= 6.81196
maximum resident set size= 9632812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 319263
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= 1815738
involuntary context switches= 199
runsolver used 0.85087 second user time and 2.03569 second system time
The end