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-3751008-1339123720/watcher-3751008-1339123720 -o /tmp/evaluation-result-3751008-1339123720/solver-3751008-1339123720 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751008-1339123720.opb 563530355 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.07 2.06 2.00 3/176 26506
/proc/meminfo: memFree=25798152/32873624 swapFree=7112/7112
[pid=26506] ppid=26504 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26506/stat : 26506 (npSolver-pbo-It) S 26504 26506 12376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378497454 9367552 275 33554432000 4194304 5064252 140733520639808 140733520638720 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26506/statm: 2287 275 233 213 0 72 0
[startup+0.024847 s]
/proc/loadavg: 2.07 2.06 2.00 3/176 26506
/proc/meminfo: memFree=25798152/32873624 swapFree=7112/7112
[pid=26506] ppid=26504 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26506/stat : 26506 (npSolver-pbo-It) S 26504 26506 12376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378497454 9367552 275 33554432000 4194304 5064252 140733520639808 140733520638720 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26506/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100277 s]
/proc/loadavg: 2.07 2.06 2.00 3/176 26506
/proc/meminfo: memFree=25798152/32873624 swapFree=7112/7112
[pid=26506] ppid=26504 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26506/stat : 26506 (npSolver-pbo-It) S 26504 26506 12376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378497454 9367552 275 33554432000 4194304 5064252 140733520639808 140733520638720 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26506/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300218 s]
/proc/loadavg: 2.07 2.06 2.00 3/176 26506
/proc/meminfo: memFree=25798152/32873624 swapFree=7112/7112
[pid=26506] ppid=26504 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26506/stat : 26506 (npSolver-pbo-It) S 26504 26506 12376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378497454 9367552 275 33554432000 4194304 5064252 140733520639808 140733520638720 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26506/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700163 s]
/proc/loadavg: 2.07 2.06 2.00 3/176 26506
/proc/meminfo: memFree=25798152/32873624 swapFree=7112/7112
[pid=26506] ppid=26504 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26506/stat : 26506 (npSolver-pbo-It) S 26504 26506 12376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378497454 9367552 275 33554432000 4194304 5064252 140733520639808 140733520638720 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26506/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.07 2.06 2.00 3/179 26512
/proc/meminfo: memFree=25788028/32873624 swapFree=7112/7112
[pid=26506] ppid=26504 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26506/stat : 26506 (npSolver-pbo-It) S 26504 26506 12376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378497454 9367552 275 33554432000 4194304 5064252 140733520639808 140733520638720 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26506/statm: 2287 275 233 213 0 72 0
[pid=26507] ppid=26506 vsize=5488 CPUtime=0.85 cores=1,3,5,7
/proc/26507/stat : 26507 (npSolver-pbo) S 26506 26506 12376 0 -1 4202496 10962 3226 0 0 63 2 19 1 20 0 1 0 378497454 5619712 1032 33554432000 4194304 6004724 140734935635696 140734935621976 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26507/statm: 1372 1032 167 442 0 926 0
[pid=26512] ppid=26507 vsize=7736 CPUtime=0.62 cores=1,3,5,7
/proc/26512/stat : 26512 (glucosInc) R 26507 26506 12376 0 -1 4202496 1621 0 0 0 62 0 0 0 20 0 1 0 378497541 7921664 1444 33554432000 4194304 5654031 140733506584352 140733506582040 4233229 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/26512/statm: 1934 1444 142 357 0 1574 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 22372
[startup+3.10024 s]
/proc/loadavg: 2.07 2.06 2.00 3/179 26512
/proc/meminfo: memFree=25787480/32873624 swapFree=7112/7112
[pid=26506] ppid=26504 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26506/stat : 26506 (npSolver-pbo-It) S 26504 26506 12376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378497454 9367552 275 33554432000 4194304 5064252 140733520639808 140733520638720 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26506/statm: 2287 275 233 213 0 72 0
[pid=26507] ppid=26506 vsize=5488 CPUtime=0.85 cores=1,3,5,7
/proc/26507/stat : 26507 (npSolver-pbo) S 26506 26506 12376 0 -1 4202496 10962 3226 0 0 63 2 19 1 20 0 1 0 378497454 5619712 1032 33554432000 4194304 6004724 140734935635696 140734935621976 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26507/statm: 1372 1032 167 442 0 926 0
[pid=26512] ppid=26507 vsize=12572 CPUtime=2.22 cores=1,3,5,7
/proc/26512/stat : 26512 (glucosInc) R 26507 26506 12376 0 -1 4202496 2904 0 0 0 222 0 0 0 20 0 1 0 378497541 12873728 2619 33554432000 4194304 5654031 140733506584352 140733506572168 4233232 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/26512/statm: 3143 2619 142 357 0 2783 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 27208
[startup+6.30026 s]
/proc/loadavg: 2.06 2.06 2.00 3/179 26512
/proc/meminfo: memFree=25778872/32873624 swapFree=7112/7112
[pid=26506] ppid=26504 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26506/stat : 26506 (npSolver-pbo-It) S 26504 26506 12376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378497454 9367552 275 33554432000 4194304 5064252 140733520639808 140733520638720 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26506/statm: 2287 275 233 213 0 72 0
[pid=26507] ppid=26506 vsize=5488 CPUtime=0.85 cores=1,3,5,7
/proc/26507/stat : 26507 (npSolver-pbo) S 26506 26506 12376 0 -1 4202496 10962 3226 0 0 63 2 19 1 20 0 1 0 378497454 5619712 1032 33554432000 4194304 6004724 140734935635696 140734935621976 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26507/statm: 1372 1032 167 442 0 926 0
[pid=26512] ppid=26507 vsize=14248 CPUtime=5.42 cores=1,3,5,7
/proc/26512/stat : 26512 (glucosInc) R 26507 26506 12376 0 -1 4202496 3460 0 0 0 542 0 0 0 20 0 1 0 378497541 14589952 3127 33554432000 4194304 5654031 140733506584352 140733506572168 4232883 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/26512/statm: 3562 3127 142 357 0 3202 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 28884
[startup+12.7002 s]
/proc/loadavg: 2.06 2.06 2.00 3/179 26512
/proc/meminfo: memFree=25770024/32873624 swapFree=7112/7112
[pid=26506] ppid=26504 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26506/stat : 26506 (npSolver-pbo-It) S 26504 26506 12376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378497454 9367552 275 33554432000 4194304 5064252 140733520639808 140733520638720 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26506/statm: 2287 275 233 213 0 72 0
[pid=26507] ppid=26506 vsize=5488 CPUtime=0.85 cores=1,3,5,7
/proc/26507/stat : 26507 (npSolver-pbo) S 26506 26506 12376 0 -1 4202496 10962 3226 0 0 63 2 19 1 20 0 1 0 378497454 5619712 1032 33554432000 4194304 6004724 140734935635696 140734935621976 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26507/statm: 1372 1032 167 442 0 926 0
[pid=26512] ppid=26507 vsize=24052 CPUtime=11.81 cores=1,3,5,7
/proc/26512/stat : 26512 (glucosInc) R 26507 26506 12376 0 -1 4202496 4738 0 0 0 1181 0 0 0 20 0 1 0 378497541 24629248 4715 33554432000 4194304 5654031 140733506584352 140733506572168 4233166 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/26512/statm: 6013 4715 142 357 0 5653 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 38688
[startup+25.5003 s]
/proc/loadavg: 2.11 2.07 2.01 3/179 26512
/proc/meminfo: memFree=25760488/32873624 swapFree=7112/7112
[pid=26506] ppid=26504 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26506/stat : 26506 (npSolver-pbo-It) S 26504 26506 12376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378497454 9367552 275 33554432000 4194304 5064252 140733520639808 140733520638720 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26506/statm: 2287 275 233 213 0 72 0
[pid=26507] ppid=26506 vsize=5488 CPUtime=0.85 cores=1,3,5,7
/proc/26507/stat : 26507 (npSolver-pbo) S 26506 26506 12376 0 -1 4202496 10962 3226 0 0 63 2 19 1 20 0 1 0 378497454 5619712 1032 33554432000 4194304 6004724 140734935635696 140734935621976 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26507/statm: 1372 1032 167 442 0 926 0
[pid=26512] ppid=26507 vsize=24052 CPUtime=24.61 cores=1,3,5,7
/proc/26512/stat : 26512 (glucosInc) R 26507 26506 12376 0 -1 4202496 6522 0 0 0 2460 1 0 0 20 0 1 0 378497541 24629248 5228 33554432000 4194304 5654031 140733506584352 140733506572168 4216105 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/26512/statm: 6013 5228 142 357 0 5653 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 38688
[startup+51.1002 s]
/proc/loadavg: 2.07 2.06 2.00 3/179 26512
/proc/meminfo: memFree=25758168/32873624 swapFree=7112/7112
[pid=26506] ppid=26504 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26506/stat : 26506 (npSolver-pbo-It) S 26504 26506 12376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378497454 9367552 275 33554432000 4194304 5064252 140733520639808 140733520638720 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26506/statm: 2287 275 233 213 0 72 0
[pid=26507] ppid=26506 vsize=5488 CPUtime=0.85 cores=1,3,5,7
/proc/26507/stat : 26507 (npSolver-pbo) S 26506 26506 12376 0 -1 4202496 10962 3226 0 0 63 2 19 1 20 0 1 0 378497454 5619712 1032 33554432000 4194304 6004724 140734935635696 140734935621976 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26507/statm: 1372 1032 167 442 0 926 0
[pid=26512] ppid=26507 vsize=54388 CPUtime=50.2 cores=1,3,5,7
/proc/26512/stat : 26512 (glucosInc) R 26507 26506 12376 0 -1 4202496 8330 0 0 0 5018 2 0 0 20 0 1 0 378497541 55693312 10350 33554432000 4194304 5654031 140733506584352 140733506572168 4232984 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/26512/statm: 13597 10350 142 357 0 13237 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 69024
[startup+102.306 s]
/proc/loadavg: 2.03 2.05 2.00 3/180 26515
/proc/meminfo: memFree=25727080/32873624 swapFree=7112/7112
[pid=26506] ppid=26504 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26506/stat : 26506 (npSolver-pbo-It) S 26504 26506 12376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378497454 9367552 275 33554432000 4194304 5064252 140733520639808 140733520638720 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26506/statm: 2287 275 233 213 0 72 0
[pid=26507] ppid=26506 vsize=5488 CPUtime=0.85 cores=1,3,5,7
/proc/26507/stat : 26507 (npSolver-pbo) S 26506 26506 12376 0 -1 4202496 10962 3226 0 0 63 2 19 1 20 0 1 0 378497454 5619712 1032 33554432000 4194304 6004724 140734935635696 140734935621976 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26507/statm: 1372 1032 167 442 0 926 0
[pid=26512] ppid=26507 vsize=54388 CPUtime=101.4 cores=1,3,5,7
/proc/26512/stat : 26512 (glucosInc) R 26507 26506 12376 0 -1 4202496 8605 0 0 0 10138 2 0 0 20 0 1 0 378497541 55693312 13171 33554432000 4194304 5654031 140733506584352 140733506572168 4215076 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26512/statm: 13597 13171 142 357 0 13237 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 69024
[startup+162.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/179 26515
/proc/meminfo: memFree=25706668/32873624 swapFree=7112/7112
[pid=26506] ppid=26504 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26506/stat : 26506 (npSolver-pbo-It) S 26504 26506 12376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378497454 9367552 275 33554432000 4194304 5064252 140733520639808 140733520638720 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26506/statm: 2287 275 233 213 0 72 0
[pid=26507] ppid=26506 vsize=5488 CPUtime=0.85 cores=1,3,5,7
/proc/26507/stat : 26507 (npSolver-pbo) S 26506 26506 12376 0 -1 4202496 10962 3226 0 0 63 2 19 1 20 0 1 0 378497454 5619712 1032 33554432000 4194304 6004724 140734935635696 140734935621976 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26507/statm: 1372 1032 167 442 0 926 0
[pid=26512] ppid=26507 vsize=73244 CPUtime=161.38 cores=1,3,5,7
/proc/26512/stat : 26512 (glucosInc) R 26507 26506 12376 0 -1 4202496 9567 0 0 0 16135 3 0 0 20 0 1 0 378497541 75001856 17841 33554432000 4194304 5654031 140733506584352 140733506572168 4232794 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26512/statm: 18311 17841 142 357 0 17951 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 87880
[startup+222.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 26516
/proc/meminfo: memFree=25709344/32873624 swapFree=7112/7112
[pid=26506] ppid=26504 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26506/stat : 26506 (npSolver-pbo-It) S 26504 26506 12376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378497454 9367552 275 33554432000 4194304 5064252 140733520639808 140733520638720 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26506/statm: 2287 275 233 213 0 72 0
[pid=26507] ppid=26506 vsize=5488 CPUtime=0.85 cores=1,3,5,7
/proc/26507/stat : 26507 (npSolver-pbo) S 26506 26506 12376 0 -1 4202496 10962 3226 0 0 63 2 19 1 20 0 1 0 378497454 5619712 1032 33554432000 4194304 6004724 140734935635696 140734935621976 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26507/statm: 1372 1032 167 442 0 926 0
[pid=26512] ppid=26507 vsize=73244 CPUtime=221.38 cores=1,3,5,7
/proc/26512/stat : 26512 (glucosInc) R 26507 26506 12376 0 -1 4202496 9567 0 0 0 22135 3 0 0 20 0 1 0 378497541 75001856 17841 33554432000 4194304 5654031 140733506584352 140733506572168 4232939 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26512/statm: 18311 17841 142 357 0 17951 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 87880
[startup+282.3 s]
################
# More data... #
################
/proc/loadavg: 2.00 2.00 2.00 3/180 26593
/proc/meminfo: memFree=26177184/32873624 swapFree=7112/7112
[pid=26506] ppid=26504 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26506/stat : 26506 (npSolver-pbo-It) S 26504 26506 12376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378497454 9367552 275 33554432000 4194304 5064252 140733520639808 140733520638720 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26506/statm: 2287 275 233 213 0 72 0
[pid=26507] ppid=26506 vsize=5488 CPUtime=0.85 cores=1,3,5,7
/proc/26507/stat : 26507 (npSolver-pbo) S 26506 26506 12376 0 -1 4202496 10962 3226 0 0 63 2 19 1 20 0 1 0 378497454 5619712 1032 33554432000 4194304 6004724 140734935635696 140734935621976 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26507/statm: 1372 1032 167 442 0 926 0
[pid=26512] ppid=26507 vsize=86244 CPUtime=1301.21 cores=1,3,5,7
/proc/26512/stat : 26512 (glucosInc) R 26507 26506 12376 0 -1 4202496 27072 0 0 0 130086 35 0 0 20 0 1 0 378497541 88313856 21135 33554432000 4194304 5654031 140733506584352 140733506572168 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26512/statm: 21561 21135 142 357 0 21201 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 100880
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26593
/proc/meminfo: memFree=26090460/32873624 swapFree=7112/7112
[pid=26506] ppid=26504 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26506/stat : 26506 (npSolver-pbo-It) S 26504 26506 12376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378497454 9367552 275 33554432000 4194304 5064252 140733520639808 140733520638720 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26506/statm: 2287 275 233 213 0 72 0
[pid=26507] ppid=26506 vsize=5488 CPUtime=0.85 cores=1,3,5,7
/proc/26507/stat : 26507 (npSolver-pbo) S 26506 26506 12376 0 -1 4202496 10962 3226 0 0 63 2 19 1 20 0 1 0 378497454 5619712 1032 33554432000 4194304 6004724 140734935635696 140734935621976 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26507/statm: 1372 1032 167 442 0 926 0
[pid=26512] ppid=26507 vsize=135564 CPUtime=1361.2 cores=1,3,5,7
/proc/26512/stat : 26512 (glucosInc) R 26507 26506 12376 0 -1 4202496 28167 0 0 0 136083 37 0 0 20 0 1 0 378497541 138817536 30329 33554432000 4194304 5654031 140733506584352 140733506572168 4232803 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26512/statm: 33891 30329 142 357 0 33531 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 150200
[startup+1422.31 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 26594
/proc/meminfo: memFree=26088416/32873624 swapFree=7112/7112
[pid=26506] ppid=26504 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26506/stat : 26506 (npSolver-pbo-It) S 26504 26506 12376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378497454 9367552 275 33554432000 4194304 5064252 140733520639808 140733520638720 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26506/statm: 2287 275 233 213 0 72 0
[pid=26507] ppid=26506 vsize=5488 CPUtime=0.85 cores=1,3,5,7
/proc/26507/stat : 26507 (npSolver-pbo) S 26506 26506 12376 0 -1 4202496 10962 3226 0 0 63 2 19 1 20 0 1 0 378497454 5619712 1032 33554432000 4194304 6004724 140734935635696 140734935621976 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26507/statm: 1372 1032 167 442 0 926 0
[pid=26512] ppid=26507 vsize=135564 CPUtime=1421.2 cores=1,3,5,7
/proc/26512/stat : 26512 (glucosInc) R 26507 26506 12376 0 -1 4202496 28759 0 0 0 142081 39 0 0 20 0 1 0 378497541 138817536 32377 33554432000 4194304 5654031 140733506584352 140733506572168 4232784 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26512/statm: 33891 32377 142 357 0 33531 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 150200
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 26594
/proc/meminfo: memFree=26087676/32873624 swapFree=7112/7112
[pid=26506] ppid=26504 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26506/stat : 26506 (npSolver-pbo-It) S 26504 26506 12376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378497454 9367552 275 33554432000 4194304 5064252 140733520639808 140733520638720 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26506/statm: 2287 275 233 213 0 72 0
[pid=26507] ppid=26506 vsize=5488 CPUtime=0.85 cores=1,3,5,7
/proc/26507/stat : 26507 (npSolver-pbo) S 26506 26506 12376 0 -1 4202496 10962 3226 0 0 63 2 19 1 20 0 1 0 378497454 5619712 1032 33554432000 4194304 6004724 140734935635696 140734935621976 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26507/statm: 1372 1032 167 442 0 926 0
[pid=26512] ppid=26507 vsize=166384 CPUtime=1481.18 cores=1,3,5,7
/proc/26512/stat : 26512 (glucosInc) R 26507 26506 12376 0 -1 4202496 29416 0 0 0 148077 41 0 0 20 0 1 0 378497541 170377216 35004 33554432000 4194304 5654031 140733506584352 140733506572168 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26512/statm: 41596 35004 142 357 0 41236 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 181020
[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 26594
/proc/meminfo: memFree=26121900/32873624 swapFree=7112/7112
[pid=26506] ppid=26504 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26506/stat : 26506 (npSolver-pbo-It) S 26504 26506 12376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378497454 9367552 275 33554432000 4194304 5064252 140733520639808 140733520638720 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26506/statm: 2287 275 233 213 0 72 0
[pid=26507] ppid=26506 vsize=5488 CPUtime=0.85 cores=1,3,5,7
/proc/26507/stat : 26507 (npSolver-pbo) S 26506 26506 12376 0 -1 4202496 10962 3226 0 0 63 2 19 1 20 0 1 0 378497454 5619712 1032 33554432000 4194304 6004724 140734935635696 140734935621976 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26507/statm: 1372 1032 167 442 0 926 0
[pid=26512] ppid=26507 vsize=166384 CPUtime=1541.17 cores=1,3,5,7
/proc/26512/stat : 26512 (glucosInc) R 26507 26506 12376 0 -1 4202496 30009 0 0 0 154074 43 0 0 20 0 1 0 378497541 170377216 37052 33554432000 4194304 5654031 140733506584352 140733506572168 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26512/statm: 41596 37052 142 357 0 41236 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 181020
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26594
/proc/meminfo: memFree=26038792/32873624 swapFree=7112/7112
[pid=26506] ppid=26504 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26506/stat : 26506 (npSolver-pbo-It) S 26504 26506 12376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378497454 9367552 275 33554432000 4194304 5064252 140733520639808 140733520638720 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26506/statm: 2287 275 233 213 0 72 0
[pid=26507] ppid=26506 vsize=5488 CPUtime=0.85 cores=1,3,5,7
/proc/26507/stat : 26507 (npSolver-pbo) S 26506 26506 12376 0 -1 4202496 10962 3226 0 0 63 2 19 1 20 0 1 0 378497454 5619712 1032 33554432000 4194304 6004724 140734935635696 140734935621976 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26507/statm: 1372 1032 167 442 0 926 0
[pid=26512] ppid=26507 vsize=166384 CPUtime=1601.14 cores=1,3,5,7
/proc/26512/stat : 26512 (glucosInc) R 26507 26506 12376 0 -1 4202496 30623 0 0 0 160070 44 0 0 20 0 1 0 378497541 170377216 38588 33554432000 4194304 5654031 140733506584352 140733506572168 4232984 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26512/statm: 41596 38588 142 357 0 41236 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 181020
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26594
/proc/meminfo: memFree=26020100/32873624 swapFree=7112/7112
[pid=26506] ppid=26504 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26506/stat : 26506 (npSolver-pbo-It) S 26504 26506 12376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378497454 9367552 275 33554432000 4194304 5064252 140733520639808 140733520638720 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26506/statm: 2287 275 233 213 0 72 0
[pid=26507] ppid=26506 vsize=5488 CPUtime=0.85 cores=1,3,5,7
/proc/26507/stat : 26507 (npSolver-pbo) S 26506 26506 12376 0 -1 4202496 10962 3226 0 0 63 2 19 1 20 0 1 0 378497454 5619712 1032 33554432000 4194304 6004724 140734935635696 140734935621976 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26507/statm: 1372 1032 167 442 0 926 0
[pid=26512] ppid=26507 vsize=86244 CPUtime=1661.14 cores=1,3,5,7
/proc/26512/stat : 26512 (glucosInc) R 26507 26506 12376 0 -1 4202496 31217 0 0 0 166067 47 0 0 20 0 1 0 378497541 88313856 21135 33554432000 4194304 5654031 140733506584352 140733506582376 4233194 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26512/statm: 21561 21135 142 357 0 21201 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 100880
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26594
/proc/meminfo: memFree=26079600/32873624 swapFree=7112/7112
[pid=26506] ppid=26504 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26506/stat : 26506 (npSolver-pbo-It) S 26504 26506 12376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378497454 9367552 275 33554432000 4194304 5064252 140733520639808 140733520638720 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26506/statm: 2287 275 233 213 0 72 0
[pid=26507] ppid=26506 vsize=5488 CPUtime=0.85 cores=1,3,5,7
/proc/26507/stat : 26507 (npSolver-pbo) S 26506 26506 12376 0 -1 4202496 10962 3226 0 0 63 2 19 1 20 0 1 0 378497454 5619712 1032 33554432000 4194304 6004724 140734935635696 140734935621976 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26507/statm: 1372 1032 167 442 0 926 0
[pid=26512] ppid=26507 vsize=86244 CPUtime=1721.13 cores=1,3,5,7
/proc/26512/stat : 26512 (glucosInc) R 26507 26506 12376 0 -1 4202496 31807 0 0 0 172065 48 0 0 20 0 1 0 378497541 88313856 21135 33554432000 4194304 5654031 140733506584352 140733506572168 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26512/statm: 21561 21135 142 357 0 21201 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 100880
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26595
/proc/meminfo: memFree=26077376/32873624 swapFree=7112/7112
[pid=26506] ppid=26504 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26506/stat : 26506 (npSolver-pbo-It) S 26504 26506 12376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378497454 9367552 275 33554432000 4194304 5064252 140733520639808 140733520638720 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26506/statm: 2287 275 233 213 0 72 0
[pid=26507] ppid=26506 vsize=5488 CPUtime=0.85 cores=1,3,5,7
/proc/26507/stat : 26507 (npSolver-pbo) S 26506 26506 12376 0 -1 4202496 10962 3226 0 0 63 2 19 1 20 0 1 0 378497454 5619712 1032 33554432000 4194304 6004724 140734935635696 140734935621976 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26507/statm: 1372 1032 167 442 0 926 0
[pid=26512] ppid=26507 vsize=86244 CPUtime=1781.12 cores=1,3,5,7
/proc/26512/stat : 26512 (glucosInc) R 26507 26506 12376 0 -1 4202496 32390 0 0 0 178062 50 0 0 20 0 1 0 378497541 88313856 21135 33554432000 4194304 5654031 140733506584352 140733506572168 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26512/statm: 21561 21135 142 357 0 21201 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 100880
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26595
/proc/meminfo: memFree=26117520/32873624 swapFree=7112/7112
[pid=26506] ppid=26504 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26506/stat : 26506 (npSolver-pbo-It) S 26504 26506 12376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378497454 9367552 275 33554432000 4194304 5064252 140733520639808 140733520638720 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26506/statm: 2287 275 233 213 0 72 0
[pid=26507] ppid=26506 vsize=5488 CPUtime=0.85 cores=1,3,5,7
/proc/26507/stat : 26507 (npSolver-pbo) S 26506 26506 12376 0 -1 4202496 10962 3226 0 0 63 2 19 1 20 0 1 0 378497454 5619712 1032 33554432000 4194304 6004724 140734935635696 140734935621976 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26507/statm: 1372 1032 167 442 0 926 0
[pid=26512] ppid=26507 vsize=135564 CPUtime=1799.22 cores=1,3,5,7
/proc/26512/stat : 26512 (glucosInc) R 26507 26506 12376 0 -1 4202496 32899 0 0 0 179872 50 0 0 20 0 1 0 378497541 138817536 31353 33554432000 4194304 5654031 140733506584352 140733506572168 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26512/statm: 33891 31353 142 357 0 33531 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 150200
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26506 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=834873
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=38994
# CPU time returned by wait4() is 0.873867
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.41
CPU time (s): 1800.07
CPU user time (s): 1799.54
CPU system time (s): 0.53
CPU usage (%): 99.9812
Max. virtual memory (cumulated for all children) (KiB): 181020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.834873
system time used= 0.038994
maximum resident set size= 65804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14564
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 9
runsolver used 2.76658 second user time and 7.06193 second system time
The end