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-3746933-1339110454/watcher-3746933-1339110454 -o /tmp/evaluation-result-3746933-1339110454/solver-3746933-1339110454 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3746933-1339110454.opb 1936795924 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.02 2.02 2.18 3/175 9505
/proc/meminfo: memFree=31263472/32873852 swapFree=6864/6864
[pid=9505] ppid=9503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9505/stat : 9505 (npSolver-pbo-It) S 9503 9505 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377170924 9367552 274 33554432000 4194304 5064252 140736663592736 140736663591648 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9505/statm: 2287 274 233 213 0 72 0
[startup+0.085256 s]
/proc/loadavg: 2.02 2.02 2.18 3/175 9505
/proc/meminfo: memFree=31263472/32873852 swapFree=6864/6864
[pid=9505] ppid=9503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9505/stat : 9505 (npSolver-pbo-It) S 9503 9505 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377170924 9367552 274 33554432000 4194304 5064252 140736663592736 140736663591648 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9505/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100321 s]
/proc/loadavg: 2.02 2.02 2.18 3/175 9505
/proc/meminfo: memFree=31263472/32873852 swapFree=6864/6864
[pid=9505] ppid=9503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9505/stat : 9505 (npSolver-pbo-It) S 9503 9505 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377170924 9367552 274 33554432000 4194304 5064252 140736663592736 140736663591648 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9505/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300276 s]
/proc/loadavg: 2.02 2.02 2.18 3/175 9505
/proc/meminfo: memFree=31263472/32873852 swapFree=6864/6864
[pid=9505] ppid=9503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9505/stat : 9505 (npSolver-pbo-It) S 9503 9505 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377170924 9367552 274 33554432000 4194304 5064252 140736663592736 140736663591648 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9505/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70028 s]
/proc/loadavg: 2.02 2.02 2.18 3/175 9505
/proc/meminfo: memFree=31263472/32873852 swapFree=6864/6864
[pid=9505] ppid=9503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9505/stat : 9505 (npSolver-pbo-It) S 9503 9505 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377170924 9367552 274 33554432000 4194304 5064252 140736663592736 140736663591648 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9505/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50032 s]
/proc/loadavg: 2.02 2.02 2.18 3/177 9507
/proc/meminfo: memFree=31073180/32873852 swapFree=6864/6864
[pid=9505] ppid=9503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9505/stat : 9505 (npSolver-pbo-It) S 9503 9505 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377170924 9367552 274 33554432000 4194304 5064252 140736663592736 140736663591648 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9505/statm: 2287 274 233 213 0 72 0
[pid=9506] ppid=9505 vsize=171296 CPUtime=1.48 cores=0,2,4,6
/proc/9506/stat : 9506 (npSolver-pbo) R 9505 9505 7832 0 -1 4202496 25208 0 0 0 143 5 0 0 20 0 1 0 377170924 175407104 42355 33554432000 4194304 6004724 140735625642848 140735625637144 4536305 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9506/statm: 42824 42355 162 442 0 42378 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 180444
[startup+3.10031 s]
/proc/loadavg: 2.02 2.02 2.18 3/177 9507
/proc/meminfo: memFree=30865904/32873852 swapFree=6864/6864
[pid=9505] ppid=9503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9505/stat : 9505 (npSolver-pbo-It) S 9503 9505 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377170924 9367552 274 33554432000 4194304 5064252 140736663592736 140736663591648 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9505/statm: 2287 274 233 213 0 72 0
[pid=9506] ppid=9505 vsize=400672 CPUtime=3.09 cores=0,2,4,6
/proc/9506/stat : 9506 (npSolver-pbo) R 9505 9505 7832 0 -1 4202496 26907 0 0 0 299 10 0 0 20 0 1 0 377170924 410288128 70003 33554432000 4194304 6004724 140735625642848 140735625637448 4582623 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9506/statm: 100168 70003 162 442 0 99722 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 409820
[startup+6.30032 s]
/proc/loadavg: 2.02 2.02 2.18 3/177 9507
/proc/meminfo: memFree=30370164/32873852 swapFree=6864/6864
[pid=9505] ppid=9503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9505/stat : 9505 (npSolver-pbo-It) S 9503 9505 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377170924 9367552 274 33554432000 4194304 5064252 140736663592736 140736663591648 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9505/statm: 2287 274 233 213 0 72 0
[pid=9506] ppid=9505 vsize=662816 CPUtime=6.28 cores=0,2,4,6
/proc/9506/stat : 9506 (npSolver-pbo) R 9505 9505 7832 0 -1 4202496 27662 0 0 0 610 18 0 0 20 0 1 0 377170924 678723584 129395 33554432000 4194304 6004724 140735625642848 140735625637656 4209506 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9506/statm: 165704 129395 162 442 0 165258 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 671964
[startup+12.7003 s]
/proc/loadavg: 2.02 2.02 2.18 3/179 9509
/proc/meminfo: memFree=28383132/32873852 swapFree=6864/6864
[pid=9505] ppid=9503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9505/stat : 9505 (npSolver-pbo-It) S 9503 9505 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377170924 9367552 274 33554432000 4194304 5064252 140736663592736 140736663591648 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9505/statm: 2287 274 233 213 0 72 0
[pid=9506] ppid=9505 vsize=1187104 CPUtime=12.68 cores=0,2,4,6
/proc/9506/stat : 9506 (npSolver-pbo) R 9505 9505 7832 0 -1 4202496 28670 0 0 0 1235 33 0 0 20 0 1 0 377170924 1215594496 252787 33554432000 4194304 6004724 140735625642848 140735625637448 4582601 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9506/statm: 296776 252787 162 442 0 296330 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1196252
[startup+25.5003 s]
/proc/loadavg: 2.30 2.08 2.20 3/181 9511
/proc/meminfo: memFree=24767388/32873852 swapFree=6864/6864
[pid=9505] ppid=9503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9505/stat : 9505 (npSolver-pbo-It) S 9503 9505 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377170924 9367552 274 33554432000 4194304 5064252 140736663592736 140736663591648 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9505/statm: 2287 274 233 213 0 72 0
[pid=9506] ppid=9505 vsize=1187104 CPUtime=16.23 cores=0,2,4,6
/proc/9506/stat : 9506 (npSolver-pbo) S 9505 9505 7832 0 -1 4202496 29402 0 0 0 1441 182 0 0 20 0 1 0 377170924 1215594496 290171 33554432000 4194304 6004724 140735625642848 140735625637312 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9506/statm: 296776 290171 170 442 0 296330 0
[pid=9510] ppid=9506 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9510/stat : 9510 (cp2_pre.sh) S 9506 9505 7832 0 -1 4202496 606 0 0 0 0 0 0 0 20 0 1 0 377172548 9367552 276 33554432000 4194304 5064252 140734417002080 140734417000784 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9510/statm: 2287 276 234 213 0 72 0
[pid=9511] ppid=9510 vsize=991704 CPUtime=9.24 cores=0,2,4,6
/proc/9511/stat : 9511 (coprocessor) R 9510 9505 7832 0 -1 4202496 19490 0 0 0 883 41 0 0 20 0 1 0 377172549 1015504896 234982 33554432000 4194304 6586260 140736144831632 140736144828392 5732400 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/9511/statm: 247926 234982 137 584 0 247338 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 2197104
[startup+51.1004 s]
/proc/loadavg: 2.60 2.17 2.22 3/181 9512
/proc/meminfo: memFree=23044632/32873852 swapFree=6864/6864
[pid=9505] ppid=9503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9505/stat : 9505 (npSolver-pbo-It) S 9503 9505 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377170924 9367552 274 33554432000 4194304 5064252 140736663592736 140736663591648 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9505/statm: 2287 274 233 213 0 72 0
[pid=9506] ppid=9505 vsize=1187104 CPUtime=16.23 cores=0,2,4,6
/proc/9506/stat : 9506 (npSolver-pbo) S 9505 9505 7832 0 -1 4202496 29402 0 0 0 1441 182 0 0 20 0 1 0 377170924 1215594496 290171 33554432000 4194304 6004724 140735625642848 140735625637312 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9506/statm: 296776 290171 170 442 0 296330 0
[pid=9510] ppid=9506 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9510/stat : 9510 (cp2_pre.sh) S 9506 9505 7832 0 -1 4202496 606 0 0 0 0 0 0 0 20 0 1 0 377172548 9367552 276 33554432000 4194304 5064252 140734417002080 140734417000784 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9510/statm: 2287 276 234 213 0 72 0
[pid=9511] ppid=9510 vsize=1913620 CPUtime=34.71 cores=0,2,4,6
/proc/9511/stat : 9511 (coprocessor) R 9510 9505 7832 0 -1 4202496 24118 0 0 0 3297 174 0 0 20 0 1 0 377172549 1959546880 404152 33554432000 4194304 6586260 140736144831632 140736144827384 5732496 0 0 4096 8404994 0 0 0 17 2 0 0 10 0 0
/proc/9511/statm: 478405 404152 158 584 0 477817 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 3119020
[startup+102.306 s]
/proc/loadavg: 2.52 2.23 2.24 3/179 9516
/proc/meminfo: memFree=23049140/32873852 swapFree=6864/6864
[pid=9505] ppid=9503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9505/stat : 9505 (npSolver-pbo-It) S 9503 9505 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377170924 9367552 274 33554432000 4194304 5064252 140736663592736 140736663591648 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9505/statm: 2287 274 233 213 0 72 0
[pid=9506] ppid=9505 vsize=1187104 CPUtime=66.27 cores=0,2,4,6
/proc/9506/stat : 9506 (npSolver-pbo) S 9505 9505 7832 0 -1 4202496 29418 25018 0 0 1441 183 4716 287 20 0 1 0 377170924 1215594496 290174 33554432000 4194304 6004724 140735625642848 140735625629128 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9506/statm: 296776 290174 173 442 0 296330 0
[pid=9516] ppid=9506 vsize=2749044 CPUtime=35.79 cores=0,2,4,6
/proc/9516/stat : 9516 (glucosInc) R 9506 9505 7832 0 -1 4202496 273391 0 0 0 3479 100 0 0 20 0 1 0 377177573 2815021056 572963 33554432000 4194304 5654031 140734458850336 140734458848104 4208595 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9516/statm: 687261 572963 131 357 0 686901 0
Current children cumulated CPU time (s) 102.06
Current children cumulated vsize (KiB) 3945296
[startup+162.3 s]
/proc/loadavg: 2.19 2.19 2.22 3/180 9519
/proc/meminfo: memFree=23009760/32873852 swapFree=6864/6864
[pid=9505] ppid=9503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9505/stat : 9505 (npSolver-pbo-It) S 9503 9505 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377170924 9367552 274 33554432000 4194304 5064252 140736663592736 140736663591648 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9505/statm: 2287 274 233 213 0 72 0
[pid=9506] ppid=9505 vsize=1187104 CPUtime=66.27 cores=0,2,4,6
/proc/9506/stat : 9506 (npSolver-pbo) S 9505 9505 7832 0 -1 4202496 29418 25018 0 0 1441 183 4716 287 20 0 1 0 377170924 1215594496 290174 33554432000 4194304 6004724 140735625642848 140735625629128 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9506/statm: 296776 290174 173 442 0 296330 0
[pid=9516] ppid=9506 vsize=2768892 CPUtime=95.78 cores=0,2,4,6
/proc/9516/stat : 9516 (glucosInc) R 9506 9505 7832 0 -1 4202496 273927 0 0 0 9477 101 0 0 20 0 1 0 377177573 2835345408 575032 33554432000 4194304 5654031 140734458850336 140734458838152 4232707 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9516/statm: 692223 575032 140 357 0 691863 0
Current children cumulated CPU time (s) 162.05
Current children cumulated vsize (KiB) 3965144
[startup+222.3 s]
/proc/loadavg: 2.13 2.17 2.21 3/179 9519
/proc/meminfo: memFree=22963976/32873852 swapFree=6864/6864
[pid=9505] ppid=9503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9505/stat : 9505 (npSolver-pbo-It) S 9503 9505 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377170924 9367552 274 33554432000 4194304 5064252 140736663592736 140736663591648 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9505/statm: 2287 274 233 213 0 72 0
[pid=9506] ppid=9505 vsize=1187104 CPUtime=66.27 cores=0,2,4,6
/proc/9506/stat : 9506 (npSolver-pbo) S 9505 9505 7832 0 -1 4202496 29418 25018 0 0 1441 183 4716 287 20 0 1 0 377170924 1215594496 290174 33554432000 4194304 6004724 140735625642848 140735625629128 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9506/statm: 296776 290174 173 442 0 296330 0
[pid=9516] ppid=9506 vsize=2792412 CPUtime=155.76 cores=0,2,4,6
/proc/9516/stat : 9516 (glucosInc) R 9506 9505 7832 0 -1 4202496 274594 0 0 0 15475 101 0 0 20 0 1 0 377177573 2859429888 580298 33554432000 4194304 5654031 140734458850336 140734458838152 4232767 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9516/statm: 698103 580298 140 357 0 697743 0
Current children cumulated CPU time (s) 222.03
Current children cumulated vsize (KiB) 3988664
[startup+282.3 s]
/proc/loadavg: 2.05 2.13 2.19 3/179 9519
/proc/meminfo: memFree=22957708/32873852 swapFree=6864/6864
[pid=9505] ppid=9503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9505/stat : 9505 (npSolver-pbo-It) S 9503 9505 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377170924 9367552 274 33554432000 4194304 5064252 140736663592736 140736663591648 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9505/statm: 2287 274 233 213 0 72 0
[pid=9506] ppid=9505 vsize=1187104 CPUtime=66.27 cores=0,2,4,6
################
# More data... #
################
/proc/meminfo: memFree=22929896/32873852 swapFree=6864/6864
[pid=9505] ppid=9503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9505/stat : 9505 (npSolver-pbo-It) S 9503 9505 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377170924 9367552 274 33554432000 4194304 5064252 140736663592736 140736663591648 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9505/statm: 2287 274 233 213 0 72 0
[pid=9506] ppid=9505 vsize=1187104 CPUtime=66.27 cores=0,2,4,6
/proc/9506/stat : 9506 (npSolver-pbo) S 9505 9505 7832 0 -1 4202496 29418 25018 0 0 1441 183 4716 287 20 0 1 0 377170924 1215594496 290174 33554432000 4194304 6004724 140735625642848 140735625629128 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9506/statm: 296776 290174 173 442 0 296330 0
[pid=9516] ppid=9506 vsize=2792412 CPUtime=1295.6 cores=0,2,4,6
/proc/9516/stat : 9516 (glucosInc) R 9506 9505 7832 0 -1 4202496 274738 0 0 0 129457 103 0 0 20 0 1 0 377177573 2859429888 584530 33554432000 4194304 5654031 140734458850336 140734458838152 4232821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9516/statm: 698103 584530 141 357 0 697743 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 3988664
[startup+1422.31 s]
/proc/loadavg: 2.06 2.02 2.04 3/179 9530
/proc/meminfo: memFree=22929904/32873852 swapFree=6864/6864
[pid=9505] ppid=9503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9505/stat : 9505 (npSolver-pbo-It) S 9503 9505 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377170924 9367552 274 33554432000 4194304 5064252 140736663592736 140736663591648 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9505/statm: 2287 274 233 213 0 72 0
[pid=9506] ppid=9505 vsize=1187104 CPUtime=66.27 cores=0,2,4,6
/proc/9506/stat : 9506 (npSolver-pbo) S 9505 9505 7832 0 -1 4202496 29418 25018 0 0 1441 183 4716 287 20 0 1 0 377170924 1215594496 290174 33554432000 4194304 6004724 140735625642848 140735625629128 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9506/statm: 296776 290174 173 442 0 296330 0
[pid=9516] ppid=9506 vsize=2792412 CPUtime=1355.59 cores=0,2,4,6
/proc/9516/stat : 9516 (glucosInc) R 9506 9505 7832 0 -1 4202496 274738 0 0 0 135456 103 0 0 20 0 1 0 377177573 2859429888 584530 33554432000 4194304 5654031 140734458850336 140734458838152 4232477 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9516/statm: 698103 584530 141 357 0 697743 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 3988664
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.03 3/179 9530
/proc/meminfo: memFree=22929712/32873852 swapFree=6864/6864
[pid=9505] ppid=9503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9505/stat : 9505 (npSolver-pbo-It) S 9503 9505 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377170924 9367552 274 33554432000 4194304 5064252 140736663592736 140736663591648 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9505/statm: 2287 274 233 213 0 72 0
[pid=9506] ppid=9505 vsize=1187104 CPUtime=66.27 cores=0,2,4,6
/proc/9506/stat : 9506 (npSolver-pbo) S 9505 9505 7832 0 -1 4202496 29418 25018 0 0 1441 183 4716 287 20 0 1 0 377170924 1215594496 290174 33554432000 4194304 6004724 140735625642848 140735625629128 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9506/statm: 296776 290174 173 442 0 296330 0
[pid=9516] ppid=9506 vsize=2792412 CPUtime=1415.57 cores=0,2,4,6
/proc/9516/stat : 9516 (glucosInc) R 9506 9505 7832 0 -1 4202496 274738 0 0 0 141454 103 0 0 20 0 1 0 377177573 2859429888 584530 33554432000 4194304 5654031 140734458850336 140734458838152 4232710 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9516/statm: 698103 584530 141 357 0 697743 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 3988664
[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 2.03 3/179 9530
/proc/meminfo: memFree=22929988/32873852 swapFree=6864/6864
[pid=9505] ppid=9503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9505/stat : 9505 (npSolver-pbo-It) S 9503 9505 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377170924 9367552 274 33554432000 4194304 5064252 140736663592736 140736663591648 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9505/statm: 2287 274 233 213 0 72 0
[pid=9506] ppid=9505 vsize=1187104 CPUtime=66.27 cores=0,2,4,6
/proc/9506/stat : 9506 (npSolver-pbo) S 9505 9505 7832 0 -1 4202496 29418 25018 0 0 1441 183 4716 287 20 0 1 0 377170924 1215594496 290174 33554432000 4194304 6004724 140735625642848 140735625629128 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9506/statm: 296776 290174 173 442 0 296330 0
[pid=9516] ppid=9506 vsize=2792412 CPUtime=1475.56 cores=0,2,4,6
/proc/9516/stat : 9516 (glucosInc) R 9506 9505 7832 0 -1 4202496 274738 0 0 0 147453 103 0 0 20 0 1 0 377177573 2859429888 584530 33554432000 4194304 5654031 140734458850336 140734458838152 4232477 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9516/statm: 698103 584530 141 357 0 697743 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 3988664
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/180 9532
/proc/meminfo: memFree=22927588/32873852 swapFree=6864/6864
[pid=9505] ppid=9503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9505/stat : 9505 (npSolver-pbo-It) S 9503 9505 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377170924 9367552 274 33554432000 4194304 5064252 140736663592736 140736663591648 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9505/statm: 2287 274 233 213 0 72 0
[pid=9506] ppid=9505 vsize=1187104 CPUtime=66.27 cores=0,2,4,6
/proc/9506/stat : 9506 (npSolver-pbo) S 9505 9505 7832 0 -1 4202496 29418 25018 0 0 1441 183 4716 287 20 0 1 0 377170924 1215594496 290174 33554432000 4194304 6004724 140735625642848 140735625629128 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9506/statm: 296776 290174 173 442 0 296330 0
[pid=9516] ppid=9506 vsize=2792412 CPUtime=1535.55 cores=0,2,4,6
/proc/9516/stat : 9516 (glucosInc) R 9506 9505 7832 0 -1 4202496 274738 0 0 0 153452 103 0 0 20 0 1 0 377177573 2859429888 584530 33554432000 4194304 5654031 140734458850336 140734458838152 4208659 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9516/statm: 698103 584530 141 357 0 697743 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 3988664
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 9532
/proc/meminfo: memFree=22921920/32873852 swapFree=6864/6864
[pid=9505] ppid=9503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9505/stat : 9505 (npSolver-pbo-It) S 9503 9505 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377170924 9367552 274 33554432000 4194304 5064252 140736663592736 140736663591648 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9505/statm: 2287 274 233 213 0 72 0
[pid=9506] ppid=9505 vsize=1187104 CPUtime=66.27 cores=0,2,4,6
/proc/9506/stat : 9506 (npSolver-pbo) S 9505 9505 7832 0 -1 4202496 29418 25018 0 0 1441 183 4716 287 20 0 1 0 377170924 1215594496 290174 33554432000 4194304 6004724 140735625642848 140735625629128 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9506/statm: 296776 290174 173 442 0 296330 0
[pid=9516] ppid=9506 vsize=2792412 CPUtime=1595.54 cores=0,2,4,6
/proc/9516/stat : 9516 (glucosInc) R 9506 9505 7832 0 -1 4202496 274766 0 0 0 159451 103 0 0 20 0 1 0 377177573 2859429888 585069 33554432000 4194304 5654031 140734458850336 140734458838152 4232477 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9516/statm: 698103 585069 141 357 0 697743 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 3988664
[startup+1722.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 9532
/proc/meminfo: memFree=22917608/32873852 swapFree=6864/6864
[pid=9505] ppid=9503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9505/stat : 9505 (npSolver-pbo-It) S 9503 9505 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377170924 9367552 274 33554432000 4194304 5064252 140736663592736 140736663591648 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9505/statm: 2287 274 233 213 0 72 0
[pid=9506] ppid=9505 vsize=1187104 CPUtime=66.27 cores=0,2,4,6
/proc/9506/stat : 9506 (npSolver-pbo) S 9505 9505 7832 0 -1 4202496 29418 25018 0 0 1441 183 4716 287 20 0 1 0 377170924 1215594496 290174 33554432000 4194304 6004724 140735625642848 140735625629128 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9506/statm: 296776 290174 173 442 0 296330 0
[pid=9516] ppid=9506 vsize=2792412 CPUtime=1655.54 cores=0,2,4,6
/proc/9516/stat : 9516 (glucosInc) R 9506 9505 7832 0 -1 4202496 274766 0 0 0 165451 103 0 0 20 0 1 0 377177573 2859429888 585069 33554432000 4194304 5654031 140734458850336 140734458838152 4232775 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9516/statm: 698103 585069 141 357 0 697743 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 3988664
[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.01 3/179 9532
/proc/meminfo: memFree=22913172/32873852 swapFree=6864/6864
[pid=9505] ppid=9503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9505/stat : 9505 (npSolver-pbo-It) S 9503 9505 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377170924 9367552 274 33554432000 4194304 5064252 140736663592736 140736663591648 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9505/statm: 2287 274 233 213 0 72 0
[pid=9506] ppid=9505 vsize=1187104 CPUtime=66.27 cores=0,2,4,6
/proc/9506/stat : 9506 (npSolver-pbo) S 9505 9505 7832 0 -1 4202496 29418 25018 0 0 1441 183 4716 287 20 0 1 0 377170924 1215594496 290174 33554432000 4194304 6004724 140735625642848 140735625629128 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9506/statm: 296776 290174 173 442 0 296330 0
[pid=9516] ppid=9506 vsize=2792412 CPUtime=1715.53 cores=0,2,4,6
/proc/9516/stat : 9516 (glucosInc) R 9506 9505 7832 0 -1 4202496 274767 0 0 0 171450 103 0 0 20 0 1 0 377177573 2859429888 585070 33554432000 4194304 5654031 140734458850336 140734458838152 4232495 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9516/statm: 698103 585070 141 357 0 697743 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 3988664
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.94 1.99 2.00 2/171 9557
/proc/meminfo: memFree=27392728/32873852 swapFree=6864/6864
[pid=9505] ppid=9503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9505/stat : 9505 (npSolver-pbo-It) S 9503 9505 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377170924 9367552 274 33554432000 4194304 5064252 140736663592736 140736663591648 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9505/statm: 2287 274 233 213 0 72 0
[pid=9506] ppid=9505 vsize=1187104 CPUtime=66.27 cores=0,2,4,6
/proc/9506/stat : 9506 (npSolver-pbo) S 9505 9505 7832 0 -1 4202496 29418 25018 0 0 1441 183 4716 287 20 0 1 0 377170924 1215594496 290174 33554432000 4194304 6004724 140735625642848 140735625629128 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9506/statm: 296776 290174 173 442 0 296330 0
[pid=9516] ppid=9506 vsize=2792412 CPUtime=1733.83 cores=0,2,4,6
/proc/9516/stat : 9516 (glucosInc) R 9506 9505 7832 0 -1 4202496 274772 0 0 0 173280 103 0 0 20 0 1 0 377177573 2859429888 585070 33554432000 4194304 5654031 140734458850336 140734458838152 4232775 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9516/statm: 698103 585070 141 357 0 697743 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 3988664
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.6 s]
/proc/loadavg: 1.94 1.99 2.00 2/171 9557
/proc/meminfo: memFree=27392728/32873852 swapFree=6864/6864
[pid=9505] ppid=9503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9505/stat : 9505 (npSolver-pbo-It) S 9503 9505 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377170924 9367552 274 33554432000 4194304 5064252 140736663592736 140736663591648 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9505/statm: 2287 274 233 213 0 72 0
[pid=9506] ppid=9505 vsize=1187104 CPUtime=66.27 cores=0,2,4,6
/proc/9506/stat : 9506 (npSolver-pbo) S 9505 9505 7832 0 -1 4202496 29418 25018 0 0 1441 183 4716 287 20 0 1 0 377170924 1215594496 290174 33554432000 4194304 6004724 140735625642848 140735625629128 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9506/statm: 296776 290174 173 442 0 296330 0
[pid=9516] ppid=9506 vsize=2792412 CPUtime=1733.83 cores=0,2,4,6
/proc/9516/stat : 9516 (glucosInc) R 9506 9505 7832 0 -1 4202496 274772 0 0 0 173280 103 0 0 20 0 1 0 377177573 2859429888 585070 33554432000 4194304 5654031 140734458850336 140734458838152 4232775 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9516/statm: 698103 585070 141 357 0 697743 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 3988664
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9505 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.62
CPU time (s): 1800.1
CPU user time (s): 1794.37
CPU system time (s): 5.73
CPU usage (%): 99.971
Max. virtual memory (cumulated for all children) (KiB): 3988664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 1096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 358
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 1
runsolver used 3.75043 second user time and 10.1445 second system time
The end