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-3697464-1338138042/watcher-3697464-1338138042 -o /tmp/evaluation-result-3697464-1338138042/solver-3697464-1338138042 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3697464-1338138042.opb 896583062 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: 2.48 2.27 2.10 3/177 3722
/proc/meminfo: memFree=29090592/32873852 swapFree=6856/6856
[pid=3722] ppid=3720 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3722/stat : 3722 (npSolver-pbo-It) S 3720 3722 1566 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279930355 9367552 275 33554432000 4194304 5064252 140733344388976 140733344387888 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3722/statm: 2287 275 233 213 0 72 0
[startup+0.0964891 s]
/proc/loadavg: 2.48 2.27 2.10 3/177 3722
/proc/meminfo: memFree=29090592/32873852 swapFree=6856/6856
[pid=3722] ppid=3720 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3722/stat : 3722 (npSolver-pbo-It) S 3720 3722 1566 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279930355 9367552 275 33554432000 4194304 5064252 140733344388976 140733344387888 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3722/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100271 s]
/proc/loadavg: 2.48 2.27 2.10 3/177 3722
/proc/meminfo: memFree=29090592/32873852 swapFree=6856/6856
[pid=3722] ppid=3720 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3722/stat : 3722 (npSolver-pbo-It) S 3720 3722 1566 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279930355 9367552 275 33554432000 4194304 5064252 140733344388976 140733344387888 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3722/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300227 s]
/proc/loadavg: 2.48 2.27 2.10 3/177 3722
/proc/meminfo: memFree=29090592/32873852 swapFree=6856/6856
[pid=3722] ppid=3720 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3722/stat : 3722 (npSolver-pbo-It) S 3720 3722 1566 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279930355 9367552 275 33554432000 4194304 5064252 140733344388976 140733344387888 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3722/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70023 s]
/proc/loadavg: 2.48 2.27 2.10 3/177 3722
/proc/meminfo: memFree=29090592/32873852 swapFree=6856/6856
[pid=3722] ppid=3720 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3722/stat : 3722 (npSolver-pbo-It) S 3720 3722 1566 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279930355 9367552 275 33554432000 4194304 5064252 140733344388976 140733344387888 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3722/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50026 s]
/proc/loadavg: 2.48 2.27 2.10 3/179 3724
/proc/meminfo: memFree=29077620/32873852 swapFree=6856/6856
[pid=3722] ppid=3720 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3722/stat : 3722 (npSolver-pbo-It) S 3720 3722 1566 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279930355 9367552 275 33554432000 4194304 5064252 140733344388976 140733344387888 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3722/statm: 2287 275 233 213 0 72 0
[pid=3723] ppid=3722 vsize=20036 CPUtime=1.49 cores=1,3,5,7
/proc/3723/stat : 3723 (npSolver-pbo) R 3722 3722 1566 0 -1 4202496 2895 0 0 0 148 1 0 0 20 0 1 0 279930355 20516864 3379 33554432000 4194304 5992684 140736459101872 140736459097992 5179600 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3723/statm: 5009 3379 145 440 0 4565 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 29184
[startup+3.10034 s]
/proc/loadavg: 2.52 2.29 2.10 3/179 3724
/proc/meminfo: memFree=29071100/32873852 swapFree=6856/6856
[pid=3722] ppid=3720 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3722/stat : 3722 (npSolver-pbo-It) S 3720 3722 1566 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279930355 9367552 275 33554432000 4194304 5064252 140733344388976 140733344387888 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3722/statm: 2287 275 233 213 0 72 0
[pid=3723] ppid=3722 vsize=36948 CPUtime=3.09 cores=1,3,5,7
/proc/3723/stat : 3723 (npSolver-pbo) R 3722 3722 1566 0 -1 4202496 3578 0 0 0 307 2 0 0 20 0 1 0 279930355 37834752 6098 33554432000 4194304 5992684 140736459101872 140736459097608 4957503 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3723/statm: 9237 6098 145 440 0 8793 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 46096
[startup+6.30027 s]
/proc/loadavg: 2.52 2.29 2.10 3/179 3724
/proc/meminfo: memFree=29046960/32873852 swapFree=6856/6856
[pid=3722] ppid=3720 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3722/stat : 3722 (npSolver-pbo-It) S 3720 3722 1566 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279930355 9367552 275 33554432000 4194304 5064252 140733344388976 140733344387888 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3722/statm: 2287 275 233 213 0 72 0
[pid=3723] ppid=3722 vsize=71036 CPUtime=6.29 cores=1,3,5,7
/proc/3723/stat : 3723 (npSolver-pbo) R 3722 3722 1566 0 -1 4202496 4430 0 0 0 625 4 0 0 20 0 1 0 279930355 72740864 11533 33554432000 4194304 5992684 140736459101872 140736459097608 5179600 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3723/statm: 17759 11533 145 440 0 17315 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 80184
[startup+12.7004 s]
/proc/loadavg: 2.44 2.28 2.10 3/180 3730
/proc/meminfo: memFree=28916104/32873852 swapFree=6856/6856
[pid=3722] ppid=3720 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3722/stat : 3722 (npSolver-pbo-It) S 3720 3722 1566 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279930355 9367552 275 33554432000 4194304 5064252 140733344388976 140733344387888 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3722/statm: 2287 275 233 213 0 72 0
[pid=3723] ppid=3722 vsize=103492 CPUtime=12.29 cores=1,3,5,7
/proc/3723/stat : 3723 (npSolver-pbo) R 3722 3722 1566 0 -1 4202496 12155 43362 0 0 751 17 415 46 20 0 1 0 279930355 105975808 23269 33554432000 4194304 5992684 140736459101872 140736459097672 4476926 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3723/statm: 25873 23269 172 440 0 25429 0
[pid=3730] ppid=3723 vsize=97516 CPUtime=0.38 cores=1,3,5,7
/proc/3730/stat : 3730 (glucosInc) S 3723 3722 1566 0 -1 4202496 18468 0 0 0 35 3 0 0 20 0 1 0 279931527 99856384 21811 33554432000 4194304 5654031 140737138506928 140737138505240 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/3730/statm: 24379 21811 147 357 0 24019 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 210156
Solver just ended. Dumping a history of the last processes samples
[startup+13.2003 s]
/proc/loadavg: 2.44 2.28 2.10 3/180 3730
/proc/meminfo: memFree=28916104/32873852 swapFree=6856/6856
[pid=3722] ppid=3720 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3722/stat : 3722 (npSolver-pbo-It) S 3720 3722 1566 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279930355 9367552 275 33554432000 4194304 5064252 140733344388976 140733344387888 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3722/statm: 2287 275 233 213 0 72 0
[pid=3723] ppid=3722 vsize=103492 CPUtime=12.79 cores=1,3,5,7
/proc/3723/stat : 3723 (npSolver-pbo) R 3722 3722 1566 0 -1 4202496 12155 43362 0 0 801 17 415 46 20 0 1 0 279930355 105975808 23269 33554432000 4194304 5992684 140736459101872 140736459096648 5179600 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3723/statm: 25873 23269 172 440 0 25429 0
[pid=3730] ppid=3723 vsize=97516 CPUtime=0.38 cores=1,3,5,7
/proc/3730/stat : 3730 (glucosInc) S 3723 3722 1566 0 -1 4202496 18468 0 0 0 35 3 0 0 20 0 1 0 279931527 99856384 21811 33554432000 4194304 5654031 140737138506928 140737138505240 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/3730/statm: 24379 21811 147 357 0 24019 0
Current children cumulated CPU time (s) 13.17
Current children cumulated vsize (KiB) 210156
[startup+14.8066 s]
/proc/loadavg: 2.44 2.28 2.10 3/180 3730
/proc/meminfo: memFree=28918460/32873852 swapFree=6856/6856
[pid=3722] ppid=3720 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3722/stat : 3722 (npSolver-pbo-It) S 3720 3722 1566 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279930355 9367552 275 33554432000 4194304 5064252 140733344388976 140733344387888 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3722/statm: 2287 275 233 213 0 72 0
[pid=3723] ppid=3722 vsize=103492 CPUtime=14.4 cores=1,3,5,7
/proc/3723/stat : 3723 (npSolver-pbo) R 3722 3722 1566 0 -1 4202496 12155 43362 0 0 961 18 415 46 20 0 1 0 279930355 105975808 23269 33554432000 4194304 5992684 140736459101872 140736459096648 5179600 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3723/statm: 25873 23269 172 440 0 25429 0
[pid=3730] ppid=3723 vsize=97516 CPUtime=0.38 cores=1,3,5,7
/proc/3730/stat : 3730 (glucosInc) S 3723 3722 1566 0 -1 4202496 18468 0 0 0 35 3 0 0 20 0 1 0 279931527 99856384 21811 33554432000 4194304 5654031 140737138506928 140737138505240 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/3730/statm: 24379 21811 147 357 0 24019 0
Current children cumulated CPU time (s) 14.78
Current children cumulated vsize (KiB) 210156
[startup+15.6004 s]
/proc/loadavg: 2.44 2.28 2.10 3/180 3730
/proc/meminfo: memFree=28918460/32873852 swapFree=6856/6856
[pid=3722] ppid=3720 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3722/stat : 3722 (npSolver-pbo-It) S 3720 3722 1566 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279930355 9367552 275 33554432000 4194304 5064252 140733344388976 140733344387888 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3722/statm: 2287 275 233 213 0 72 0
[pid=3723] ppid=3722 vsize=103496 CPUtime=14.87 cores=1,3,5,7
/proc/3723/stat : 3723 (npSolver-pbo) S 3722 3722 1566 0 -1 4204032 12169 43362 0 0 1001 25 415 46 20 0 1 0 279930355 105979904 23282 33554432000 4194304 5992684 140736459101872 140736459096408 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3723/statm: 25874 23282 184 440 0 25430 0
[pid=3730] ppid=3723 vsize=97516 CPUtime=0.38 cores=1,3,5,7
/proc/3730/stat : 3730 (glucosInc) S 3723 3722 1566 0 -1 4202496 18468 0 0 0 35 3 0 0 20 0 1 0 279931527 99856384 21811 33554432000 4194304 5654031 140737138506928 140737138505240 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/3730/statm: 24379 21811 147 357 0 24019 0
Current children cumulated CPU time (s) 15.25
Current children cumulated vsize (KiB) 210160
[startup+16.4004 s]
/proc/loadavg: 2.44 2.28 2.10 2/181 3731
/proc/meminfo: memFree=28723520/32873852 swapFree=6856/6856
[pid=3722] ppid=3720 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3722/stat : 3722 (npSolver-pbo-It) S 3720 3722 1566 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279930355 9367552 275 33554432000 4194304 5064252 140733344388976 140733344387888 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3722/statm: 2287 275 233 213 0 72 0
[pid=3723] ppid=3722 vsize=103496 CPUtime=14.87 cores=1,3,5,7
/proc/3723/stat : 3723 (npSolver-pbo) S 3722 3722 1566 0 -1 4204032 12169 43362 0 0 1001 25 415 46 20 0 1 0 279930355 105979904 23282 33554432000 4194304 5992684 140736459101872 140736459096408 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3723/statm: 25874 23282 184 440 0 25430 0
[pid=3730] ppid=3723 vsize=97516 CPUtime=0.38 cores=1,3,5,7
/proc/3730/stat : 3730 (glucosInc) S 3723 3722 1566 0 -1 4202496 18468 0 0 0 35 3 0 0 20 0 1 0 279931527 99856384 21811 33554432000 4194304 5654031 140737138506928 140737138505240 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/3730/statm: 24379 21811 147 357 0 24019 0
Current children cumulated CPU time (s) 15.25
Current children cumulated vsize (KiB) 210160
[startup+16.8004 s]
/proc/loadavg: 2.44 2.28 2.10 2/181 3731
/proc/meminfo: memFree=28723520/32873852 swapFree=6856/6856
[pid=3722] ppid=3720 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3722/stat : 3722 (npSolver-pbo-It) S 3720 3722 1566 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279930355 9367552 275 33554432000 4194304 5064252 140733344388976 140733344387888 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3722/statm: 2287 275 233 213 0 72 0
[pid=3723] ppid=3722 vsize=103496 CPUtime=14.87 cores=1,3,5,7
/proc/3723/stat : 3723 (npSolver-pbo) S 3722 3722 1566 0 -1 4204032 12169 43362 0 0 1001 25 415 46 20 0 1 0 279930355 105979904 23282 33554432000 4194304 5992684 140736459101872 140736459096408 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3723/statm: 25874 23282 184 440 0 25430 0
[pid=3730] ppid=3723 vsize=97516 CPUtime=0.38 cores=1,3,5,7
/proc/3730/stat : 3730 (glucosInc) S 3723 3722 1566 0 -1 4202496 18468 0 0 0 35 3 0 0 20 0 1 0 279931527 99856384 21811 33554432000 4194304 5654031 140737138506928 140737138505240 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/3730/statm: 24379 21811 147 357 0 24019 0
Current children cumulated CPU time (s) 15.25
Current children cumulated vsize (KiB) 210160
[startup+16.9004 s]
/proc/loadavg: 2.41 2.27 2.10 2/181 3753
/proc/meminfo: memFree=28726400/32873852 swapFree=6856/6856
[pid=3722] ppid=3720 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3722/stat : 3722 (npSolver-pbo-It) S 3720 3722 1566 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279930355 9367552 275 33554432000 4194304 5064252 140733344388976 140733344387888 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3722/statm: 2287 275 233 213 0 72 0
[pid=3723] ppid=3722 vsize=103496 CPUtime=14.87 cores=1,3,5,7
/proc/3723/stat : 3723 (npSolver-pbo) S 3722 3722 1566 0 -1 4204032 12169 43362 0 0 1001 25 415 46 20 0 1 0 279930355 105979904 23282 33554432000 4194304 5992684 140736459101872 140736459096408 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3723/statm: 25874 23282 184 440 0 25430 0
[pid=3730] ppid=3723 vsize=97516 CPUtime=0.38 cores=1,3,5,7
/proc/3730/stat : 3730 (glucosInc) S 3723 3722 1566 0 -1 4202496 18468 0 0 0 35 3 0 0 20 0 1 0 279931527 99856384 21811 33554432000 4194304 5654031 140737138506928 140737138505240 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/3730/statm: 24379 21811 147 357 0 24019 0
Current children cumulated CPU time (s) 15.25
Current children cumulated vsize (KiB) 210160
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3722 and gives
# childrusage.ru_utime.tv_sec=14
# childrusage.ru_utime.tv_usec=170845
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=726889
# CPU time returned by wait4() is 14.8977
# while last known CPU time is 15.25
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 16.9248
CPU time (s): 15.25
CPU user time (s): 14.51
CPU system time (s): 0.74
CPU usage (%): 90.1042
Max. virtual memory (cumulated for all children) (KiB): 399472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.1708
system time used= 0.726889
maximum resident set size= 289064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55906
page faults= 0
swaps= 0
block input operations= 0
block output operations= 140600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26051
involuntary context switches= 42
runsolver used 0.040993 second user time and 0.12898 second system time
The end