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-3751670-1339177351/watcher-3751670-1339177351 -o /tmp/evaluation-result-3751670-1339177351/solver-3751670-1339177351 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751670-1339177351.opb 670094455 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.00 2.00 2.02 3/178 25800
/proc/meminfo: memFree=24764800/32873844 swapFree=7644/7644
[pid=25800] ppid=25798 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25800/stat : 25800 (npSolver-pbo-It) S 25798 25800 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383859521 9367552 274 33554432000 4194304 5064252 140737386991344 140737386990256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25800/statm: 2287 274 233 213 0 72 0
[startup+0.082407 s]
/proc/loadavg: 2.00 2.00 2.02 3/178 25800
/proc/meminfo: memFree=24764800/32873844 swapFree=7644/7644
[pid=25800] ppid=25798 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25800/stat : 25800 (npSolver-pbo-It) S 25798 25800 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383859521 9367552 274 33554432000 4194304 5064252 140737386991344 140737386990256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25800/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100325 s]
/proc/loadavg: 2.00 2.00 2.02 3/178 25800
/proc/meminfo: memFree=24764800/32873844 swapFree=7644/7644
[pid=25800] ppid=25798 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25800/stat : 25800 (npSolver-pbo-It) S 25798 25800 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383859521 9367552 274 33554432000 4194304 5064252 140737386991344 140737386990256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25800/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300304 s]
/proc/loadavg: 2.00 2.00 2.02 3/178 25800
/proc/meminfo: memFree=24764800/32873844 swapFree=7644/7644
[pid=25800] ppid=25798 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25800/stat : 25800 (npSolver-pbo-It) S 25798 25800 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383859521 9367552 274 33554432000 4194304 5064252 140737386991344 140737386990256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25800/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700302 s]
/proc/loadavg: 2.00 2.00 2.02 3/178 25800
/proc/meminfo: memFree=24764800/32873844 swapFree=7644/7644
[pid=25800] ppid=25798 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25800/stat : 25800 (npSolver-pbo-It) S 25798 25800 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383859521 9367552 274 33554432000 4194304 5064252 140737386991344 140737386990256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25800/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50036 s]
/proc/loadavg: 2.00 2.00 2.02 3/180 25802
/proc/meminfo: memFree=24669000/32873844 swapFree=7644/7644
[pid=25800] ppid=25798 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25800/stat : 25800 (npSolver-pbo-It) S 25798 25800 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383859521 9367552 274 33554432000 4194304 5064252 140737386991344 140737386990256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25800/statm: 2287 274 233 213 0 72 0
[pid=25801] ppid=25800 vsize=180804 CPUtime=1.48 cores=1,3,5,7
/proc/25801/stat : 25801 (npSolver-pbo) R 25800 25800 24896 0 -1 4202496 9396 0 0 0 144 4 0 0 20 0 1 0 383859521 185143296 32322 33554432000 4194304 6004724 140734941505664 140734941500264 4534761 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25801/statm: 45201 32322 163 442 0 44755 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 189952
[startup+3.10036 s]
/proc/loadavg: 2.00 2.00 2.02 3/180 25802
/proc/meminfo: memFree=24590556/32873844 swapFree=7644/7644
[pid=25800] ppid=25798 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25800/stat : 25800 (npSolver-pbo-It) S 25798 25800 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383859521 9367552 274 33554432000 4194304 5064252 140737386991344 140737386990256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25800/statm: 2287 274 233 213 0 72 0
[pid=25801] ppid=25800 vsize=284528 CPUtime=2.72 cores=1,3,5,7
/proc/25801/stat : 25801 (npSolver-pbo) S 25800 25800 24896 0 -1 4202496 10505 0 0 0 238 34 0 0 20 0 1 0 383859521 291356672 40853 33554432000 4194304 6004724 140734941505664 140734941500128 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 3 0 0
/proc/25801/statm: 71132 40853 171 442 0 70686 0
Current children cumulated CPU time (s) 2.72
Current children cumulated vsize (KiB) 293676
[startup+6.30045 s]
/proc/loadavg: 2.00 2.00 2.02 3/182 25804
/proc/meminfo: memFree=23951996/32873844 swapFree=7644/7644
[pid=25800] ppid=25798 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25800/stat : 25800 (npSolver-pbo-It) S 25798 25800 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383859521 9367552 274 33554432000 4194304 5064252 140737386991344 140737386990256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25800/statm: 2287 274 233 213 0 72 0
[pid=25801] ppid=25800 vsize=284528 CPUtime=2.72 cores=1,3,5,7
/proc/25801/stat : 25801 (npSolver-pbo) S 25800 25800 24896 0 -1 4202496 10505 0 0 0 238 34 0 0 20 0 1 0 383859521 291356672 40853 33554432000 4194304 6004724 140734941505664 140734941500128 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 3 0 0
/proc/25801/statm: 71132 40853 171 442 0 70686 0
[pid=25803] ppid=25801 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25803/stat : 25803 (cp2_pre.sh) S 25801 25800 24896 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 383859797 9367552 277 33554432000 4194304 5064252 140734516310688 140734516309392 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25803/statm: 2287 277 234 213 0 72 0
[pid=25804] ppid=25803 vsize=644740 CPUtime=3.53 cores=1,3,5,7
/proc/25804/stat : 25804 (coprocessor) R 25803 25800 24896 0 -1 4202496 62951 0 0 0 331 22 0 0 20 0 1 0 383859797 660213760 143863 33554432000 4194304 6586260 140736581306240 140736581302504 5511711 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/25804/statm: 161185 143863 164 584 0 160597 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 947564
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.02 3/182 25804
/proc/meminfo: memFree=23681420/32873844 swapFree=7644/7644
[pid=25800] ppid=25798 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25800/stat : 25800 (npSolver-pbo-It) S 25798 25800 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383859521 9367552 274 33554432000 4194304 5064252 140737386991344 140737386990256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25800/statm: 2287 274 233 213 0 72 0
[pid=25801] ppid=25800 vsize=284528 CPUtime=2.72 cores=1,3,5,7
/proc/25801/stat : 25801 (npSolver-pbo) S 25800 25800 24896 0 -1 4202496 10505 0 0 0 238 34 0 0 20 0 1 0 383859521 291356672 40853 33554432000 4194304 6004724 140734941505664 140734941500128 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 3 0 0
/proc/25801/statm: 71132 40853 171 442 0 70686 0
[pid=25803] ppid=25801 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25803/stat : 25803 (cp2_pre.sh) S 25801 25800 24896 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 383859797 9367552 277 33554432000 4194304 5064252 140734516310688 140734516309392 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25803/statm: 2287 277 234 213 0 72 0
[pid=25804] ppid=25803 vsize=789164 CPUtime=9.93 cores=1,3,5,7
/proc/25804/stat : 25804 (coprocessor) R 25803 25800 24896 0 -1 4202496 86614 0 0 0 941 52 0 0 20 0 1 0 383859797 808103936 192207 33554432000 4194304 6586260 140736581306240 140736581301992 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/25804/statm: 197291 192207 199 584 0 196703 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 1091988
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.02 3/181 25806
/proc/meminfo: memFree=24270316/32873844 swapFree=7644/7644
[pid=25800] ppid=25798 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25800/stat : 25800 (npSolver-pbo-It) S 25798 25800 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383859521 9367552 274 33554432000 4194304 5064252 140737386991344 140737386990256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25800/statm: 2287 274 233 213 0 72 0
[pid=25801] ppid=25800 vsize=284528 CPUtime=14.36 cores=1,3,5,7
/proc/25801/stat : 25801 (npSolver-pbo) S 25800 25800 24896 0 -1 4202496 10522 87517 0 0 238 34 1098 66 20 0 1 0 383859521 291356672 40856 33554432000 4194304 6004724 140734941505664 140734941491944 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 3 0 0
/proc/25801/statm: 71132 40856 174 442 0 70686 0
[pid=25806] ppid=25801 vsize=294388 CPUtime=11.08 cores=1,3,5,7
/proc/25806/stat : 25806 (glucosInc) R 25801 25800 24896 0 -1 4202496 50673 0 0 0 1095 13 0 0 20 0 1 0 383860962 301453312 68808 33554432000 4194304 5654031 140736684913376 140736684911160 4232477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25806/statm: 73597 68808 139 357 0 73237 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 588064
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.02 3/181 25806
/proc/meminfo: memFree=24269588/32873844 swapFree=7644/7644
[pid=25800] ppid=25798 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25800/stat : 25800 (npSolver-pbo-It) S 25798 25800 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383859521 9367552 274 33554432000 4194304 5064252 140737386991344 140737386990256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25800/statm: 2287 274 233 213 0 72 0
[pid=25801] ppid=25800 vsize=284528 CPUtime=14.36 cores=1,3,5,7
/proc/25801/stat : 25801 (npSolver-pbo) S 25800 25800 24896 0 -1 4202496 10522 87517 0 0 238 34 1098 66 20 0 1 0 383859521 291356672 40856 33554432000 4194304 6004724 140734941505664 140734941491944 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 3 0 0
/proc/25801/statm: 71132 40856 174 442 0 70686 0
[pid=25806] ppid=25801 vsize=295444 CPUtime=36.68 cores=1,3,5,7
/proc/25806/stat : 25806 (glucosInc) R 25801 25800 24896 0 -1 4202496 50985 0 0 0 3655 13 0 0 20 0 1 0 383860962 302534656 69120 33554432000 4194304 5654031 140736684913376 140736684911160 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25806/statm: 73861 69120 139 357 0 73501 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 589120
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.01 3/181 25806
/proc/meminfo: memFree=24264840/32873844 swapFree=7644/7644
[pid=25800] ppid=25798 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25800/stat : 25800 (npSolver-pbo-It) S 25798 25800 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383859521 9367552 274 33554432000 4194304 5064252 140737386991344 140737386990256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25800/statm: 2287 274 233 213 0 72 0
[pid=25801] ppid=25800 vsize=284528 CPUtime=14.36 cores=1,3,5,7
/proc/25801/stat : 25801 (npSolver-pbo) S 25800 25800 24896 0 -1 4202496 10522 87517 0 0 238 34 1098 66 20 0 1 0 383859521 291356672 40856 33554432000 4194304 6004724 140734941505664 140734941491944 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 3 0 0
/proc/25801/statm: 71132 40856 174 442 0 70686 0
[pid=25806] ppid=25801 vsize=299404 CPUtime=87.88 cores=1,3,5,7
/proc/25806/stat : 25806 (glucosInc) R 25801 25800 24896 0 -1 4202496 52112 0 0 0 8774 14 0 0 20 0 1 0 383860962 306589696 70242 33554432000 4194304 5654031 140736684913376 140736684911160 4214616 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25806/statm: 74851 70242 139 357 0 74491 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 593080
[startup+162.3 s]
/proc/loadavg: 2.04 2.01 2.01 3/181 25806
/proc/meminfo: memFree=24263116/32873844 swapFree=7644/7644
[pid=25800] ppid=25798 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25800/stat : 25800 (npSolver-pbo-It) S 25798 25800 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383859521 9367552 274 33554432000 4194304 5064252 140737386991344 140737386990256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25800/statm: 2287 274 233 213 0 72 0
[pid=25801] ppid=25800 vsize=284528 CPUtime=14.36 cores=1,3,5,7
/proc/25801/stat : 25801 (npSolver-pbo) S 25800 25800 24896 0 -1 4202496 10522 87517 0 0 238 34 1098 66 20 0 1 0 383859521 291356672 40856 33554432000 4194304 6004724 140734941505664 140734941491944 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 3 0 0
/proc/25801/statm: 71132 40856 174 442 0 70686 0
[pid=25806] ppid=25801 vsize=300328 CPUtime=147.86 cores=1,3,5,7
/proc/25806/stat : 25806 (glucosInc) R 25801 25800 24896 0 -1 4202496 52339 0 0 0 14772 14 0 0 20 0 1 0 383860962 307535872 70469 33554432000 4194304 5654031 140736684913376 140736684911208 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25806/statm: 75082 70469 139 357 0 74722 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 594004
[startup+222.3 s]
/proc/loadavg: 2.07 2.02 2.01 3/181 25816
/proc/meminfo: memFree=23459720/32873844 swapFree=7644/7644
[pid=25800] ppid=25798 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25800/stat : 25800 (npSolver-pbo-It) S 25798 25800 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383859521 9367552 274 33554432000 4194304 5064252 140737386991344 140737386990256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25800/statm: 2287 274 233 213 0 72 0
[pid=25801] ppid=25800 vsize=308888 CPUtime=198.61 cores=1,3,5,7
/proc/25801/stat : 25801 (npSolver-pbo) S 25800 25800 24896 0 -1 4202496 24816 203382 0 0 660 447 18618 136 20 0 1 0 383859521 316301312 47004 33554432000 4194304 6004724 140734941505664 140734941491512 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 15 0 0
/proc/25801/statm: 77222 47004 200 442 0 76776 0
[pid=25816] ppid=25801 vsize=883424 CPUtime=23.46 cores=1,3,5,7
/proc/25816/stat : 25816 (glucosInc) R 25801 25800 24896 0 -1 4202496 118601 0 0 0 2302 44 0 0 20 0 1 0 383879404 904626176 189819 33554432000 4194304 5654031 140734202153376 140734202151160 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25816/statm: 220856 189819 141 357 0 220496 0
Current children cumulated CPU time (s) 222.07
Current children cumulated vsize (KiB) 1201460
[startup+282.3 s]
################
# More data... #
################
/proc/loadavg: 2.00 2.01 2.00 3/181 25930
/proc/meminfo: memFree=28518988/32873844 swapFree=7644/7644
[pid=25800] ppid=25798 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25800/stat : 25800 (npSolver-pbo-It) S 25798 25800 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383859521 9367552 274 33554432000 4194304 5064252 140737386991344 140737386990256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25800/statm: 2287 274 233 213 0 72 0
[pid=25801] ppid=25800 vsize=308888 CPUtime=198.61 cores=1,3,5,7
/proc/25801/stat : 25801 (npSolver-pbo) S 25800 25800 24896 0 -1 4202496 24816 203382 0 0 660 447 18618 136 20 0 1 0 383859521 316301312 47004 33554432000 4194304 6004724 140734941505664 140734941491512 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 15 0 0
/proc/25801/statm: 77222 47004 200 442 0 76776 0
[pid=25816] ppid=25801 vsize=1249972 CPUtime=1163.25 cores=1,3,5,7
/proc/25816/stat : 25816 (glucosInc) R 25801 25800 24896 0 -1 4202496 148985 0 0 0 116029 296 0 0 20 0 1 0 383879404 1279971328 260763 33554432000 4194304 5654031 140734202153376 140734202151400 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25816/statm: 312493 260763 141 357 0 312133 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1568008
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25932
/proc/meminfo: memFree=28275192/32873844 swapFree=7644/7644
[pid=25800] ppid=25798 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25800/stat : 25800 (npSolver-pbo-It) S 25798 25800 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383859521 9367552 274 33554432000 4194304 5064252 140737386991344 140737386990256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25800/statm: 2287 274 233 213 0 72 0
[pid=25801] ppid=25800 vsize=308888 CPUtime=198.61 cores=1,3,5,7
/proc/25801/stat : 25801 (npSolver-pbo) S 25800 25800 24896 0 -1 4202496 24816 203382 0 0 660 447 18618 136 20 0 1 0 383859521 316301312 47004 33554432000 4194304 6004724 140734941505664 140734941491512 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 15 0 0
/proc/25801/statm: 77222 47004 200 442 0 76776 0
[pid=25816] ppid=25801 vsize=1599476 CPUtime=1223.26 cores=1,3,5,7
/proc/25816/stat : 25816 (glucosInc) R 25801 25800 24896 0 -1 4202496 149854 0 0 0 122021 305 0 0 20 0 1 0 383879404 1637863424 332150 33554432000 4194304 5654031 140734202153376 140734202151160 4215121 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25816/statm: 399869 332150 141 357 0 399509 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1917512
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25935
/proc/meminfo: memFree=28547468/32873844 swapFree=7644/7644
[pid=25800] ppid=25798 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25800/stat : 25800 (npSolver-pbo-It) S 25798 25800 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383859521 9367552 274 33554432000 4194304 5064252 140737386991344 140737386990256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25800/statm: 2287 274 233 213 0 72 0
[pid=25801] ppid=25800 vsize=308888 CPUtime=198.61 cores=1,3,5,7
/proc/25801/stat : 25801 (npSolver-pbo) S 25800 25800 24896 0 -1 4202496 24816 203382 0 0 660 447 18618 136 20 0 1 0 383859521 316301312 47004 33554432000 4194304 6004724 140734941505664 140734941491512 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 15 0 0
/proc/25801/statm: 77222 47004 200 442 0 76776 0
[pid=25816] ppid=25801 vsize=1250416 CPUtime=1283.23 cores=1,3,5,7
/proc/25816/stat : 25816 (glucosInc) R 25801 25800 24896 0 -1 4202496 150831 0 0 0 128002 321 0 0 20 0 1 0 383879404 1280425984 274680 33554432000 4194304 5654031 140734202153376 140734202151400 4233467 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25816/statm: 312604 274680 141 357 0 312244 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1568452
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25935
/proc/meminfo: memFree=28222280/32873844 swapFree=7644/7644
[pid=25800] ppid=25798 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25800/stat : 25800 (npSolver-pbo-It) S 25798 25800 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383859521 9367552 274 33554432000 4194304 5064252 140737386991344 140737386990256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25800/statm: 2287 274 233 213 0 72 0
[pid=25801] ppid=25800 vsize=308888 CPUtime=198.61 cores=1,3,5,7
/proc/25801/stat : 25801 (npSolver-pbo) S 25800 25800 24896 0 -1 4202496 24816 203382 0 0 660 447 18618 136 20 0 1 0 383859521 316301312 47004 33554432000 4194304 6004724 140734941505664 140734941491512 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 15 0 0
/proc/25801/statm: 77222 47004 200 442 0 76776 0
[pid=25816] ppid=25801 vsize=1599664 CPUtime=1343.23 cores=1,3,5,7
/proc/25816/stat : 25816 (glucosInc) R 25801 25800 24896 0 -1 4202496 151681 0 0 0 133991 332 0 0 20 0 1 0 383879404 1638055936 347069 33554432000 4194304 5654031 140734202153376 140734202151464 4215040 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25816/statm: 399916 347069 141 357 0 399556 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1917700
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25935
/proc/meminfo: memFree=28458528/32873844 swapFree=7644/7644
[pid=25800] ppid=25798 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25800/stat : 25800 (npSolver-pbo-It) S 25798 25800 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383859521 9367552 274 33554432000 4194304 5064252 140737386991344 140737386990256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25800/statm: 2287 274 233 213 0 72 0
[pid=25801] ppid=25800 vsize=308888 CPUtime=198.61 cores=1,3,5,7
/proc/25801/stat : 25801 (npSolver-pbo) S 25800 25800 24896 0 -1 4202496 24816 203382 0 0 660 447 18618 136 20 0 1 0 383859521 316301312 47004 33554432000 4194304 6004724 140734941505664 140734941491512 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 15 0 0
/proc/25801/statm: 77222 47004 200 442 0 76776 0
[pid=25816] ppid=25801 vsize=1250796 CPUtime=1403.22 cores=1,3,5,7
/proc/25816/stat : 25816 (glucosInc) R 25801 25800 24896 0 -1 4202496 152905 0 0 0 139968 354 0 0 20 0 1 0 383879404 1280815104 280391 33554432000 4194304 5654031 140734202153376 140734202151400 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25816/statm: 312699 280391 141 357 0 312339 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1568832
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 25938
/proc/meminfo: memFree=28206868/32873844 swapFree=7644/7644
[pid=25800] ppid=25798 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25800/stat : 25800 (npSolver-pbo-It) S 25798 25800 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383859521 9367552 274 33554432000 4194304 5064252 140737386991344 140737386990256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25800/statm: 2287 274 233 213 0 72 0
[pid=25801] ppid=25800 vsize=308888 CPUtime=198.61 cores=1,3,5,7
/proc/25801/stat : 25801 (npSolver-pbo) S 25800 25800 24896 0 -1 4202496 24816 203382 0 0 660 447 18618 136 20 0 1 0 383859521 316301312 47004 33554432000 4194304 6004724 140734941505664 140734941491512 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 15 0 0
/proc/25801/statm: 77222 47004 200 442 0 76776 0
[pid=25816] ppid=25801 vsize=1600360 CPUtime=1463.21 cores=1,3,5,7
/proc/25816/stat : 25816 (glucosInc) R 25801 25800 24896 0 -1 4202496 153806 0 0 0 145957 364 0 0 20 0 1 0 383879404 1638768640 350788 33554432000 4194304 5654031 140734202153376 140734202151160 4232994 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25816/statm: 400090 350788 141 357 0 399730 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1918396
[startup+1722.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/181 25938
/proc/meminfo: memFree=28399924/32873844 swapFree=7644/7644
[pid=25800] ppid=25798 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25800/stat : 25800 (npSolver-pbo-It) S 25798 25800 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383859521 9367552 274 33554432000 4194304 5064252 140737386991344 140737386990256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25800/statm: 2287 274 233 213 0 72 0
[pid=25801] ppid=25800 vsize=308888 CPUtime=198.61 cores=1,3,5,7
/proc/25801/stat : 25801 (npSolver-pbo) S 25800 25800 24896 0 -1 4202496 24816 203382 0 0 660 447 18618 136 20 0 1 0 383859521 316301312 47004 33554432000 4194304 6004724 140734941505664 140734941491512 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 15 0 0
/proc/25801/statm: 77222 47004 200 442 0 76776 0
[pid=25816] ppid=25801 vsize=1251332 CPUtime=1523.2 cores=1,3,5,7
/proc/25816/stat : 25816 (glucosInc) R 25801 25800 24896 0 -1 4202496 155004 0 0 0 151936 384 0 0 20 0 1 0 383879404 1281363968 282091 33554432000 4194304 5654031 140734202153376 140734202151400 4215091 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25816/statm: 312833 282091 141 357 0 312473 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1569368
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 25939
/proc/meminfo: memFree=28086632/32873844 swapFree=7644/7644
[pid=25800] ppid=25798 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25800/stat : 25800 (npSolver-pbo-It) S 25798 25800 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383859521 9367552 274 33554432000 4194304 5064252 140737386991344 140737386990256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25800/statm: 2287 274 233 213 0 72 0
[pid=25801] ppid=25800 vsize=308888 CPUtime=198.61 cores=1,3,5,7
/proc/25801/stat : 25801 (npSolver-pbo) S 25800 25800 24896 0 -1 4202496 24816 203382 0 0 660 447 18618 136 20 0 1 0 383859521 316301312 47004 33554432000 4194304 6004724 140734941505664 140734941491512 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 15 0 0
/proc/25801/statm: 77222 47004 200 442 0 76776 0
[pid=25816] ppid=25801 vsize=1601192 CPUtime=1583.19 cores=1,3,5,7
/proc/25816/stat : 25816 (glucosInc) R 25801 25800 24896 0 -1 4202496 155966 0 0 0 157926 393 0 0 20 0 1 0 383879404 1639620608 351016 33554432000 4194304 5654031 140734202153376 140734202151160 4215040 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25816/statm: 400298 351016 141 357 0 399938 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1919228
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 25939
/proc/meminfo: memFree=27992424/32873844 swapFree=7644/7644
[pid=25800] ppid=25798 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25800/stat : 25800 (npSolver-pbo-It) S 25798 25800 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383859521 9367552 274 33554432000 4194304 5064252 140737386991344 140737386990256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25800/statm: 2287 274 233 213 0 72 0
[pid=25801] ppid=25800 vsize=308888 CPUtime=198.61 cores=1,3,5,7
/proc/25801/stat : 25801 (npSolver-pbo) S 25800 25800 24896 0 -1 4202496 24816 203382 0 0 660 447 18618 136 20 0 1 0 383859521 316301312 47004 33554432000 4194304 6004724 140734941505664 140734941491512 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 15 0 0
/proc/25801/statm: 77222 47004 200 442 0 76776 0
[pid=25816] ppid=25801 vsize=1601192 CPUtime=1601.4 cores=1,3,5,7
/proc/25816/stat : 25816 (glucosInc) R 25801 25800 24896 0 -1 4202496 156022 0 0 0 159745 395 0 0 20 0 1 0 383879404 1639620608 372534 33554432000 4194304 5654031 140734202153376 140734202151160 4232960 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25816/statm: 400298 372534 141 357 0 399938 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1919228
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 25939
/proc/meminfo: memFree=27992424/32873844 swapFree=7644/7644
[pid=25800] ppid=25798 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25800/stat : 25800 (npSolver-pbo-It) S 25798 25800 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383859521 9367552 274 33554432000 4194304 5064252 140737386991344 140737386990256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25800/statm: 2287 274 233 213 0 72 0
[pid=25801] ppid=25800 vsize=308888 CPUtime=198.61 cores=1,3,5,7
/proc/25801/stat : 25801 (npSolver-pbo) S 25800 25800 24896 0 -1 4202496 24816 203382 0 0 660 447 18618 136 20 0 1 0 383859521 316301312 47004 33554432000 4194304 6004724 140734941505664 140734941491512 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 15 0 0
/proc/25801/statm: 77222 47004 200 442 0 76776 0
[pid=25816] ppid=25801 vsize=1601192 CPUtime=1601.4 cores=1,3,5,7
/proc/25816/stat : 25816 (glucosInc) R 25801 25800 24896 0 -1 4202496 156022 0 0 0 159745 395 0 0 20 0 1 0 383879404 1639620608 372534 33554432000 4194304 5654031 140734202153376 140734202151160 4232960 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25816/statm: 400298 372534 141 357 0 399938 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1919228
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25800 and gives
# childrusage.ru_utime.tv_sec=192
# childrusage.ru_utime.tv_usec=787691
# childrusage.ru_stime.tv_sec=5
# childrusage.ru_stime.tv_usec=849110
# CPU time returned by wait4() is 198.637
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.52
CPU time (s): 1800.01
CPU user time (s): 1790.23
CPU system time (s): 9.78
CPU usage (%): 99.9719
Max. virtual memory (cumulated for all children) (KiB): 3044944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 192.788
system time used= 5.84911
maximum resident set size= 792732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 228572
page faults= 0
swaps= 0
block input operations= 16
block output operations= 1327688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1957
involuntary context switches= 1302
runsolver used 3.60445 second user time and 8.17876 second system time
The end