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-3747930-1339111298/watcher-3747930-1339111298 -o /tmp/evaluation-result-3747930-1339111298/solver-3747930-1339111298 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3747930-1339111298.opb 1368475780 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: 1.38 1.67 1.86 4/181 9623
/proc/meminfo: memFree=30887788/32873844 swapFree=7124/7124
[pid=9623] ppid=9621 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9623/stat : 9623 (npSolver-pbo-I.) S 9621 9623 8001 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 21096749 9367552 275 33554432000 4194304 5064252 140736359203888 140736359202800 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9623/statm: 2287 275 233 213 0 72 0
[startup+0.037763 s]
/proc/loadavg: 1.38 1.67 1.86 4/181 9623
/proc/meminfo: memFree=30887788/32873844 swapFree=7124/7124
[pid=9623] ppid=9621 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9623/stat : 9623 (npSolver-pbo-I.) S 9621 9623 8001 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 21096749 9367552 275 33554432000 4194304 5064252 140736359203888 140736359202800 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9623/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10014 s]
/proc/loadavg: 1.38 1.67 1.86 4/181 9623
/proc/meminfo: memFree=30887788/32873844 swapFree=7124/7124
[pid=9623] ppid=9621 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9623/stat : 9623 (npSolver-pbo-I.) S 9621 9623 8001 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 21096749 9367552 275 33554432000 4194304 5064252 140736359203888 140736359202800 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9623/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300147 s]
/proc/loadavg: 1.38 1.67 1.86 4/181 9623
/proc/meminfo: memFree=30887788/32873844 swapFree=7124/7124
[pid=9623] ppid=9621 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9623/stat : 9623 (npSolver-pbo-I.) S 9621 9623 8001 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 21096749 9367552 275 33554432000 4194304 5064252 140736359203888 140736359202800 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9623/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70019 s]
/proc/loadavg: 1.38 1.67 1.86 4/181 9623
/proc/meminfo: memFree=30887788/32873844 swapFree=7124/7124
[pid=9623] ppid=9621 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9623/stat : 9623 (npSolver-pbo-I.) S 9621 9623 8001 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 21096749 9367552 275 33554432000 4194304 5064252 140736359203888 140736359202800 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9623/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5003 s]
/proc/loadavg: 1.38 1.67 1.86 3/184 9629
/proc/meminfo: memFree=30882896/32873844 swapFree=7124/7124
[pid=9623] ppid=9621 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9623/stat : 9623 (npSolver-pbo-I.) S 9621 9623 8001 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 21096749 9367552 275 33554432000 4194304 5064252 140736359203888 140736359202800 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9623/statm: 2287 275 233 213 0 72 0
[pid=9624] ppid=9623 vsize=2744 CPUtime=0.26 cores=0,2,4,6
/proc/9624/stat : 9624 (npSolver-pbo) S 9623 9623 8001 0 -1 4202496 1954 2274 0 0 1 0 25 0 20 0 1 0 21096749 2809856 364 33554432000 4194304 6004724 140736914234976 140736914221256 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9624/statm: 686 364 167 442 0 240 0
[pid=9629] ppid=9624 vsize=8912 CPUtime=1.2 cores=0,2,4,6
/proc/9629/stat : 9629 (glucosInc) R 9624 9623 8001 0 -1 4202496 2589 0 0 0 120 0 0 0 20 0 1 0 21096778 9125888 1107 33554432000 4194304 5654031 140735149449088 140735149447176 4232453 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9629/statm: 2228 1107 141 357 0 1868 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 20804
[startup+3.10027 s]
/proc/loadavg: 1.38 1.67 1.86 3/184 9629
/proc/meminfo: memFree=30878060/32873844 swapFree=7124/7124
[pid=9623] ppid=9621 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9623/stat : 9623 (npSolver-pbo-I.) S 9621 9623 8001 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 21096749 9367552 275 33554432000 4194304 5064252 140736359203888 140736359202800 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9623/statm: 2287 275 233 213 0 72 0
[pid=9624] ppid=9623 vsize=2744 CPUtime=0.26 cores=0,2,4,6
/proc/9624/stat : 9624 (npSolver-pbo) S 9623 9623 8001 0 -1 4202496 1954 2274 0 0 1 0 25 0 20 0 1 0 21096749 2809856 364 33554432000 4194304 6004724 140736914234976 140736914221256 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9624/statm: 686 364 167 442 0 240 0
[pid=9629] ppid=9624 vsize=11696 CPUtime=2.8 cores=0,2,4,6
/proc/9629/stat : 9629 (glucosInc) R 9624 9623 8001 0 -1 4202496 3743 0 0 0 280 0 0 0 20 0 1 0 21096778 11976704 2428 33554432000 4194304 5654031 140735149449088 140735149447016 4232509 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9629/statm: 2924 2428 141 357 0 2564 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 23588
[startup+6.30031 s]
/proc/loadavg: 1.43 1.68 1.86 3/184 9629
/proc/meminfo: memFree=30870400/32873844 swapFree=7124/7124
[pid=9623] ppid=9621 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9623/stat : 9623 (npSolver-pbo-I.) S 9621 9623 8001 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 21096749 9367552 275 33554432000 4194304 5064252 140736359203888 140736359202800 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9623/statm: 2287 275 233 213 0 72 0
[pid=9624] ppid=9623 vsize=2744 CPUtime=0.26 cores=0,2,4,6
/proc/9624/stat : 9624 (npSolver-pbo) S 9623 9623 8001 0 -1 4202496 1954 2274 0 0 1 0 25 0 20 0 1 0 21096749 2809856 364 33554432000 4194304 6004724 140736914234976 140736914221256 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9624/statm: 686 364 167 442 0 240 0
[pid=9629] ppid=9624 vsize=18768 CPUtime=6.01 cores=0,2,4,6
/proc/9629/stat : 9629 (glucosInc) R 9624 9623 8001 0 -1 4202496 4498 0 0 0 600 1 0 0 20 0 1 0 21096778 19218432 4198 33554432000 4194304 5654031 140735149449088 140735149446968 4232973 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9629/statm: 4692 4198 141 357 0 4332 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 30660
[startup+12.7003 s]
/proc/loadavg: 1.48 1.68 1.86 3/184 9629
/proc/meminfo: memFree=30862632/32873844 swapFree=7124/7124
[pid=9623] ppid=9621 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9623/stat : 9623 (npSolver-pbo-I.) S 9621 9623 8001 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 21096749 9367552 275 33554432000 4194304 5064252 140736359203888 140736359202800 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9623/statm: 2287 275 233 213 0 72 0
[pid=9624] ppid=9623 vsize=2744 CPUtime=0.26 cores=0,2,4,6
/proc/9624/stat : 9624 (npSolver-pbo) S 9623 9623 8001 0 -1 4202496 1954 2274 0 0 1 0 25 0 20 0 1 0 21096749 2809856 364 33554432000 4194304 6004724 140736914234976 140736914221256 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9624/statm: 686 364 167 442 0 240 0
[pid=9629] ppid=9624 vsize=21512 CPUtime=12.4 cores=0,2,4,6
/proc/9629/stat : 9629 (glucosInc) R 9624 9623 8001 0 -1 4202496 5186 0 0 0 1239 1 0 0 20 0 1 0 21096778 22028288 4867 33554432000 4194304 5654031 140735149449088 140735149446888 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9629/statm: 5378 4867 141 357 0 5018 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 33404
[startup+25.5003 s]
/proc/loadavg: 1.75 1.73 1.87 3/184 9629
/proc/meminfo: memFree=30849608/32873844 swapFree=7124/7124
[pid=9623] ppid=9621 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9623/stat : 9623 (npSolver-pbo-I.) S 9621 9623 8001 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 21096749 9367552 275 33554432000 4194304 5064252 140736359203888 140736359202800 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9623/statm: 2287 275 233 213 0 72 0
[pid=9624] ppid=9623 vsize=2744 CPUtime=0.26 cores=0,2,4,6
/proc/9624/stat : 9624 (npSolver-pbo) S 9623 9623 8001 0 -1 4202496 1954 2274 0 0 1 0 25 0 20 0 1 0 21096749 2809856 364 33554432000 4194304 6004724 140736914234976 140736914221256 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9624/statm: 686 364 167 442 0 240 0
[pid=9629] ppid=9624 vsize=49088 CPUtime=25.19 cores=0,2,4,6
/proc/9629/stat : 9629 (glucosInc) R 9624 9623 8001 0 -1 4202496 6523 0 0 0 2518 1 0 0 20 0 1 0 21096778 50266112 7874 33554432000 4194304 5654031 140735149449088 140735149446968 4233204 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9629/statm: 12272 7874 141 357 0 11912 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 60980
[startup+51.1004 s]
/proc/loadavg: 1.83 1.75 1.88 3/184 9674
/proc/meminfo: memFree=30849004/32873844 swapFree=7124/7124
[pid=9623] ppid=9621 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9623/stat : 9623 (npSolver-pbo-I.) S 9621 9623 8001 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 21096749 9367552 275 33554432000 4194304 5064252 140736359203888 140736359202800 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9623/statm: 2287 275 233 213 0 72 0
[pid=9624] ppid=9623 vsize=2744 CPUtime=0.26 cores=0,2,4,6
/proc/9624/stat : 9624 (npSolver-pbo) S 9623 9623 8001 0 -1 4202496 1954 2274 0 0 1 0 25 0 20 0 1 0 21096749 2809856 364 33554432000 4194304 6004724 140736914234976 140736914221256 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9624/statm: 686 364 167 442 0 240 0
[pid=9629] ppid=9624 vsize=49088 CPUtime=50.8 cores=0,2,4,6
/proc/9629/stat : 9629 (glucosInc) R 9624 9623 8001 0 -1 4202496 6857 0 0 0 5078 2 0 0 20 0 1 0 21096778 50266112 11781 33554432000 4194304 5654031 140735149449088 140735149446968 4233232 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9629/statm: 12272 11781 141 357 0 11912 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 60980
[startup+102.307 s]
/proc/loadavg: 1.92 1.79 1.88 3/184 9674
/proc/meminfo: memFree=30807292/32873844 swapFree=7124/7124
[pid=9623] ppid=9621 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9623/stat : 9623 (npSolver-pbo-I.) S 9621 9623 8001 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 21096749 9367552 275 33554432000 4194304 5064252 140736359203888 140736359202800 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9623/statm: 2287 275 233 213 0 72 0
[pid=9624] ppid=9623 vsize=2744 CPUtime=0.26 cores=0,2,4,6
/proc/9624/stat : 9624 (npSolver-pbo) S 9623 9623 8001 0 -1 4202496 1954 2274 0 0 1 0 25 0 20 0 1 0 21096749 2809856 364 33554432000 4194304 6004724 140736914234976 140736914221256 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9624/statm: 686 364 167 442 0 240 0
[pid=9629] ppid=9624 vsize=67944 CPUtime=101.99 cores=0,2,4,6
/proc/9629/stat : 9629 (glucosInc) R 9624 9623 8001 0 -1 4202496 7896 0 0 0 10197 2 0 0 20 0 1 0 21096778 69574656 16451 33554432000 4194304 5654031 140735149449088 140735149446968 4232984 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9629/statm: 16986 16451 141 357 0 16626 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 79836
[startup+162.3 s]
/proc/loadavg: 1.97 1.82 1.89 3/183 9674
/proc/meminfo: memFree=30795576/32873844 swapFree=7124/7124
[pid=9623] ppid=9621 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9623/stat : 9623 (npSolver-pbo-I.) S 9621 9623 8001 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 21096749 9367552 275 33554432000 4194304 5064252 140736359203888 140736359202800 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9623/statm: 2287 275 233 213 0 72 0
[pid=9624] ppid=9623 vsize=2744 CPUtime=0.26 cores=0,2,4,6
/proc/9624/stat : 9624 (npSolver-pbo) S 9623 9623 8001 0 -1 4202496 1954 2274 0 0 1 0 25 0 20 0 1 0 21096749 2809856 364 33554432000 4194304 6004724 140736914234976 140736914221256 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9624/statm: 686 364 167 442 0 240 0
[pid=9629] ppid=9624 vsize=67944 CPUtime=161.97 cores=0,2,4,6
/proc/9629/stat : 9629 (glucosInc) R 9624 9623 8001 0 -1 4202496 7896 0 0 0 16195 2 0 0 20 0 1 0 21096778 69574656 16495 33554432000 4194304 5654031 140735149449088 140735149446968 4233204 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9629/statm: 16986 16495 141 357 0 16626 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 79836
[startup+222.3 s]
/proc/loadavg: 2.06 1.87 1.90 3/184 9719
/proc/meminfo: memFree=30840500/32873844 swapFree=7124/7124
[pid=9623] ppid=9621 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9623/stat : 9623 (npSolver-pbo-I.) S 9621 9623 8001 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 21096749 9367552 275 33554432000 4194304 5064252 140736359203888 140736359202800 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9623/statm: 2287 275 233 213 0 72 0
[pid=9624] ppid=9623 vsize=2744 CPUtime=0.26 cores=0,2,4,6
/proc/9624/stat : 9624 (npSolver-pbo) S 9623 9623 8001 0 -1 4202496 1954 2274 0 0 1 0 25 0 20 0 1 0 21096749 2809856 364 33554432000 4194304 6004724 140736914234976 140736914221256 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9624/statm: 686 364 167 442 0 240 0
[pid=9629] ppid=9624 vsize=38100 CPUtime=221.97 cores=0,2,4,6
/proc/9629/stat : 9629 (glucosInc) R 9624 9623 8001 0 -1 4202496 8139 0 0 0 22194 3 0 0 20 0 1 0 21096778 39014400 7217 33554432000 4194304 5654031 140735149449088 140735149447000 4233204 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9629/statm: 9525 7217 141 357 0 9165 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 49992
[startup+282.3 s]
################
# More data... #
################
/proc/loadavg: 2.00 1.99 1.93 3/183 9729
/proc/meminfo: memFree=30705320/32873844 swapFree=7124/7124
[pid=9623] ppid=9621 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9623/stat : 9623 (npSolver-pbo-I.) S 9621 9623 8001 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 21096749 9367552 275 33554432000 4194304 5064252 140736359203888 140736359202800 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9623/statm: 2287 275 233 213 0 72 0
[pid=9624] ppid=9623 vsize=2744 CPUtime=0.26 cores=0,2,4,6
/proc/9624/stat : 9624 (npSolver-pbo) S 9623 9623 8001 0 -1 4202496 1954 2274 0 0 1 0 25 0 20 0 1 0 21096749 2809856 364 33554432000 4194304 6004724 140736914234976 140736914221256 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9624/statm: 686 364 167 442 0 240 0
[pid=9629] ppid=9624 vsize=92624 CPUtime=1301.8 cores=0,2,4,6
/proc/9629/stat : 9629 (glucosInc) R 9624 9623 8001 0 -1 4202496 17013 0 0 0 130149 31 0 0 20 0 1 0 21096778 94846976 22665 33554432000 4194304 5654031 140735149449088 140735149447112 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9629/statm: 23156 22665 141 357 0 22796 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 104516
[startup+1362.3 s]
/proc/loadavg: 2.00 1.99 1.93 3/183 9729
/proc/meminfo: memFree=30674368/32873844 swapFree=7124/7124
[pid=9623] ppid=9621 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9623/stat : 9623 (npSolver-pbo-I.) S 9621 9623 8001 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 21096749 9367552 275 33554432000 4194304 5064252 140736359203888 140736359202800 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9623/statm: 2287 275 233 213 0 72 0
[pid=9624] ppid=9623 vsize=2744 CPUtime=0.26 cores=0,2,4,6
/proc/9624/stat : 9624 (npSolver-pbo) S 9623 9623 8001 0 -1 4202496 1954 2274 0 0 1 0 25 0 20 0 1 0 21096749 2809856 364 33554432000 4194304 6004724 140736914234976 140736914221256 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9624/statm: 686 364 167 442 0 240 0
[pid=9629] ppid=9624 vsize=141944 CPUtime=1361.79 cores=0,2,4,6
/proc/9629/stat : 9629 (glucosInc) R 9624 9623 8001 0 -1 4202496 17748 0 0 0 136146 33 0 0 20 0 1 0 21096778 145350656 30911 33554432000 4194304 5654031 140735149449088 140735149447016 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9629/statm: 35486 30911 141 357 0 35126 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 153836
[startup+1422.31 s]
/proc/loadavg: 2.00 1.99 1.93 3/183 9729
/proc/meminfo: memFree=30659676/32873844 swapFree=7124/7124
[pid=9623] ppid=9621 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9623/stat : 9623 (npSolver-pbo-I.) S 9621 9623 8001 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 21096749 9367552 275 33554432000 4194304 5064252 140736359203888 140736359202800 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9623/statm: 2287 275 233 213 0 72 0
[pid=9624] ppid=9623 vsize=2744 CPUtime=0.26 cores=0,2,4,6
/proc/9624/stat : 9624 (npSolver-pbo) S 9623 9623 8001 0 -1 4202496 1954 2274 0 0 1 0 25 0 20 0 1 0 21096749 2809856 364 33554432000 4194304 6004724 140736914234976 140736914221256 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9624/statm: 686 364 167 442 0 240 0
[pid=9629] ppid=9624 vsize=141944 CPUtime=1421.78 cores=0,2,4,6
/proc/9629/stat : 9629 (glucosInc) R 9624 9623 8001 0 -1 4202496 18420 0 0 0 142143 35 0 0 20 0 1 0 21096778 145350656 33983 33554432000 4194304 5654031 140735149449088 140735149447016 4232794 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9629/statm: 35486 33983 141 357 0 35126 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 153836
[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.93 3/183 9729
/proc/meminfo: memFree=30620844/32873844 swapFree=7124/7124
[pid=9623] ppid=9621 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9623/stat : 9623 (npSolver-pbo-I.) S 9621 9623 8001 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 21096749 9367552 275 33554432000 4194304 5064252 140736359203888 140736359202800 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9623/statm: 2287 275 233 213 0 72 0
[pid=9624] ppid=9623 vsize=2744 CPUtime=0.26 cores=0,2,4,6
/proc/9624/stat : 9624 (npSolver-pbo) S 9623 9623 8001 0 -1 4202496 1954 2274 0 0 1 0 25 0 20 0 1 0 21096749 2809856 364 33554432000 4194304 6004724 140736914234976 140736914221256 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9624/statm: 686 364 167 442 0 240 0
[pid=9629] ppid=9624 vsize=172764 CPUtime=1481.77 cores=0,2,4,6
/proc/9629/stat : 9629 (glucosInc) R 9624 9623 8001 0 -1 4202496 19676 0 0 0 148140 37 0 0 20 0 1 0 21096778 176910336 36098 33554432000 4194304 5654031 140735149449088 140735149447176 4208595 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9629/statm: 43191 36098 141 357 0 42831 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 184656
[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 1.93 3/184 9730
/proc/meminfo: memFree=30635064/32873844 swapFree=7124/7124
[pid=9623] ppid=9621 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9623/stat : 9623 (npSolver-pbo-I.) S 9621 9623 8001 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 21096749 9367552 275 33554432000 4194304 5064252 140736359203888 140736359202800 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9623/statm: 2287 275 233 213 0 72 0
[pid=9624] ppid=9623 vsize=2744 CPUtime=0.26 cores=0,2,4,6
/proc/9624/stat : 9624 (npSolver-pbo) S 9623 9623 8001 0 -1 4202496 1954 2274 0 0 1 0 25 0 20 0 1 0 21096749 2809856 364 33554432000 4194304 6004724 140736914234976 140736914221256 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9624/statm: 686 364 167 442 0 240 0
[pid=9629] ppid=9624 vsize=172764 CPUtime=1541.76 cores=0,2,4,6
/proc/9629/stat : 9629 (glucosInc) R 9624 9623 8001 0 -1 4202496 20342 0 0 0 154137 39 0 0 20 0 1 0 21096778 176910336 35586 33554432000 4194304 5654031 140735149449088 140735149447176 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9629/statm: 43191 35586 141 357 0 42831 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 184656
[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.93 3/183 9731
/proc/meminfo: memFree=30634344/32873844 swapFree=7124/7124
[pid=9623] ppid=9621 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9623/stat : 9623 (npSolver-pbo-I.) S 9621 9623 8001 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 21096749 9367552 275 33554432000 4194304 5064252 140736359203888 140736359202800 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9623/statm: 2287 275 233 213 0 72 0
[pid=9624] ppid=9623 vsize=2744 CPUtime=0.26 cores=0,2,4,6
/proc/9624/stat : 9624 (npSolver-pbo) S 9623 9623 8001 0 -1 4202496 1954 2274 0 0 1 0 25 0 20 0 1 0 21096749 2809856 364 33554432000 4194304 6004724 140736914234976 140736914221256 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9624/statm: 686 364 167 442 0 240 0
[pid=9629] ppid=9624 vsize=172764 CPUtime=1601.75 cores=0,2,4,6
/proc/9629/stat : 9629 (glucosInc) R 9624 9623 8001 0 -1 4202496 21009 0 0 0 160134 41 0 0 20 0 1 0 21096778 176910336 35586 33554432000 4194304 5654031 140735149449088 140735149447176 4233204 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9629/statm: 43191 35586 141 357 0 42831 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 184656
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.93 3/183 9731
/proc/meminfo: memFree=30591660/32873844 swapFree=7124/7124
[pid=9623] ppid=9621 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9623/stat : 9623 (npSolver-pbo-I.) S 9621 9623 8001 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 21096749 9367552 275 33554432000 4194304 5064252 140736359203888 140736359202800 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9623/statm: 2287 275 233 213 0 72 0
[pid=9624] ppid=9623 vsize=2744 CPUtime=0.26 cores=0,2,4,6
/proc/9624/stat : 9624 (npSolver-pbo) S 9623 9623 8001 0 -1 4202496 1954 2274 0 0 1 0 25 0 20 0 1 0 21096749 2809856 364 33554432000 4194304 6004724 140736914234976 140736914221256 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9624/statm: 686 364 167 442 0 240 0
[pid=9629] ppid=9624 vsize=172764 CPUtime=1661.74 cores=0,2,4,6
/proc/9629/stat : 9629 (glucosInc) R 9624 9623 8001 0 -1 4202496 21679 0 0 0 166131 43 0 0 20 0 1 0 21096778 176910336 37634 33554432000 4194304 5654031 140735149449088 140735149447176 4217053 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9629/statm: 43191 37634 141 357 0 42831 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 184656
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.93 3/184 9734
/proc/meminfo: memFree=30649088/32873844 swapFree=7124/7124
[pid=9623] ppid=9621 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9623/stat : 9623 (npSolver-pbo-I.) S 9621 9623 8001 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 21096749 9367552 275 33554432000 4194304 5064252 140736359203888 140736359202800 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9623/statm: 2287 275 233 213 0 72 0
[pid=9624] ppid=9623 vsize=2744 CPUtime=0.26 cores=0,2,4,6
/proc/9624/stat : 9624 (npSolver-pbo) S 9623 9623 8001 0 -1 4202496 1954 2274 0 0 1 0 25 0 20 0 1 0 21096749 2809856 364 33554432000 4194304 6004724 140736914234976 140736914221256 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9624/statm: 686 364 167 442 0 240 0
[pid=9629] ppid=9624 vsize=92624 CPUtime=1721.73 cores=0,2,4,6
/proc/9629/stat : 9629 (glucosInc) R 9624 9623 8001 0 -1 4202496 22350 0 0 0 172128 45 0 0 20 0 1 0 21096778 94846976 22665 33554432000 4194304 5654031 140735149449088 140735149447112 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9629/statm: 23156 22665 141 357 0 22796 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 104516
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.93 3/183 9734
/proc/meminfo: memFree=30685728/32873844 swapFree=7124/7124
[pid=9623] ppid=9621 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9623/stat : 9623 (npSolver-pbo-I.) S 9621 9623 8001 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 21096749 9367552 275 33554432000 4194304 5064252 140736359203888 140736359202800 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9623/statm: 2287 275 233 213 0 72 0
[pid=9624] ppid=9623 vsize=2744 CPUtime=0.26 cores=0,2,4,6
/proc/9624/stat : 9624 (npSolver-pbo) S 9623 9623 8001 0 -1 4202496 1954 2274 0 0 1 0 25 0 20 0 1 0 21096749 2809856 364 33554432000 4194304 6004724 140736914234976 140736914221256 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9624/statm: 686 364 167 442 0 240 0
[pid=9629] ppid=9624 vsize=92624 CPUtime=1781.72 cores=0,2,4,6
/proc/9629/stat : 9629 (glucosInc) R 9624 9623 8001 0 -1 4202496 23024 0 0 0 178125 47 0 0 20 0 1 0 21096778 94846976 22665 33554432000 4194304 5654031 140735149449088 140735149447112 4232466 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9629/statm: 23156 22665 141 357 0 22796 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 104516
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 1.99 1.93 3/183 9734
/proc/meminfo: memFree=30648988/32873844 swapFree=7124/7124
[pid=9623] ppid=9621 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9623/stat : 9623 (npSolver-pbo-I.) S 9621 9623 8001 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 21096749 9367552 275 33554432000 4194304 5064252 140736359203888 140736359202800 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9623/statm: 2287 275 233 213 0 72 0
[pid=9624] ppid=9623 vsize=2744 CPUtime=0.26 cores=0,2,4,6
/proc/9624/stat : 9624 (npSolver-pbo) S 9623 9623 8001 0 -1 4202496 1954 2274 0 0 1 0 25 0 20 0 1 0 21096749 2809856 364 33554432000 4194304 6004724 140736914234976 140736914221256 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9624/statm: 686 364 167 442 0 240 0
[pid=9629] ppid=9624 vsize=92624 CPUtime=1799.83 cores=0,2,4,6
/proc/9629/stat : 9629 (glucosInc) R 9624 9623 8001 0 -1 4202496 23024 0 0 0 179936 47 0 0 20 0 1 0 21096778 94846976 22665 33554432000 4194304 5654031 140735149449088 140735149447112 4233168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9629/statm: 23156 22665 141 357 0 22796 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 104516
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 9623 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=267959
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=16997
# CPU time returned by wait4() is 0.284956
# while last known CPU time is 1800.09
#
# 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.09
CPU user time (s): 1799.62
CPU system time (s): 0.47
CPU usage (%): 99.9823
Max. virtual memory (cumulated for all children) (KiB): 184656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.267959
system time used= 0.016997
maximum resident set size= 29932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4604
page faults= 0
swaps= 0
block input operations= 0
block output operations= 536
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 11
runsolver used 2.72959 second user time and 7.10192 second system time
The end