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-3702815-1338054730/watcher-3702815-1338054730 -o /tmp/evaluation-result-3702815-1338054730/solver-3702815-1338054730 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702815-1338054730.opb 1143389311 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.00 2/171 28671
/proc/meminfo: memFree=27696804/32873844 swapFree=6592/6592
[pid=28671] ppid=28669 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28671/stat : 28671 (npSolver-pbo-It) S 28669 28671 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271597891 9367552 275 33554432000 4194304 5064252 140736143414720 140736143413632 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28671/statm: 2287 275 233 213 0 72 0
[startup+0.067037 s]
/proc/loadavg: 2.00 2.00 2.00 2/171 28671
/proc/meminfo: memFree=27696804/32873844 swapFree=6592/6592
[pid=28671] ppid=28669 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28671/stat : 28671 (npSolver-pbo-It) S 28669 28671 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271597891 9367552 275 33554432000 4194304 5064252 140736143414720 140736143413632 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28671/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100281 s]
/proc/loadavg: 2.00 2.00 2.00 2/171 28671
/proc/meminfo: memFree=27696804/32873844 swapFree=6592/6592
[pid=28671] ppid=28669 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28671/stat : 28671 (npSolver-pbo-It) S 28669 28671 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271597891 9367552 275 33554432000 4194304 5064252 140736143414720 140736143413632 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28671/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300195 s]
/proc/loadavg: 2.00 2.00 2.00 2/171 28671
/proc/meminfo: memFree=27696804/32873844 swapFree=6592/6592
[pid=28671] ppid=28669 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28671/stat : 28671 (npSolver-pbo-It) S 28669 28671 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271597891 9367552 275 33554432000 4194304 5064252 140736143414720 140736143413632 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28671/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70018 s]
/proc/loadavg: 2.00 2.00 2.00 2/171 28671
/proc/meminfo: memFree=27696804/32873844 swapFree=6592/6592
[pid=28671] ppid=28669 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28671/stat : 28671 (npSolver-pbo-It) S 28669 28671 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271597891 9367552 275 33554432000 4194304 5064252 140736143414720 140736143413632 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28671/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50031 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28702
/proc/meminfo: memFree=27616124/32873844 swapFree=6592/6592
[pid=28671] ppid=28669 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28671/stat : 28671 (npSolver-pbo-It) S 28669 28671 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271597891 9367552 275 33554432000 4194304 5064252 140736143414720 140736143413632 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28671/statm: 2287 275 233 213 0 72 0
[pid=28673] ppid=28671 vsize=2364 CPUtime=0.09 cores=1,3,5,7
/proc/28673/stat : 28673 (npSolver-pbo) S 28671 28671 28504 0 -1 4202496 2435 3638 0 0 6 1 1 1 20 0 1 0 271597891 2420736 305 33554432000 4194304 5992684 140734018566832 140734018552664 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/28673/statm: 591 305 193 440 0 147 0
[pid=28699] ppid=28673 vsize=35716 CPUtime=1.37 cores=1,3,5,7
/proc/28699/stat : 28699 (glucosInc) R 28673 28671 28504 0 -1 4202496 7372 0 0 0 137 0 0 0 20 0 1 0 271597902 36573184 8183 33554432000 4194304 5654031 140736624120288 140736624118056 4232784 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28699/statm: 8929 8183 140 357 0 8569 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 47228
[startup+3.10033 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28702
/proc/meminfo: memFree=27618108/32873844 swapFree=6592/6592
[pid=28671] ppid=28669 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28671/stat : 28671 (npSolver-pbo-It) S 28669 28671 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271597891 9367552 275 33554432000 4194304 5064252 140736143414720 140736143413632 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28671/statm: 2287 275 233 213 0 72 0
[pid=28673] ppid=28671 vsize=2364 CPUtime=0.09 cores=1,3,5,7
/proc/28673/stat : 28673 (npSolver-pbo) S 28671 28671 28504 0 -1 4202496 2435 3638 0 0 6 1 1 1 20 0 1 0 271597891 2420736 305 33554432000 4194304 5992684 140734018566832 140734018552664 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/28673/statm: 591 305 193 440 0 147 0
[pid=28699] ppid=28673 vsize=36612 CPUtime=2.98 cores=1,3,5,7
/proc/28699/stat : 28699 (glucosInc) R 28673 28671 28504 0 -1 4202496 8325 0 0 0 297 1 0 0 20 0 1 0 271597902 37490688 7924 33554432000 4194304 5654031 140736624120288 140736624118376 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28699/statm: 9153 7924 141 357 0 8793 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 48124
[startup+6.30035 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28702
/proc/meminfo: memFree=27598932/32873844 swapFree=6592/6592
[pid=28671] ppid=28669 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28671/stat : 28671 (npSolver-pbo-It) S 28669 28671 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271597891 9367552 275 33554432000 4194304 5064252 140736143414720 140736143413632 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28671/statm: 2287 275 233 213 0 72 0
[pid=28673] ppid=28671 vsize=2364 CPUtime=0.09 cores=1,3,5,7
/proc/28673/stat : 28673 (npSolver-pbo) S 28671 28671 28504 0 -1 4202496 2435 3638 0 0 6 1 1 1 20 0 1 0 271597891 2420736 305 33554432000 4194304 5992684 140734018566832 140734018552664 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/28673/statm: 591 305 193 440 0 147 0
[pid=28699] ppid=28673 vsize=52120 CPUtime=6.17 cores=1,3,5,7
/proc/28699/stat : 28699 (glucosInc) R 28673 28671 28504 0 -1 4202496 9466 0 0 0 616 1 0 0 20 0 1 0 271597902 53370880 11579 33554432000 4194304 5654031 140736624120288 140736624108104 4232421 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28699/statm: 13030 11579 142 357 0 12670 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 63632
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28704
/proc/meminfo: memFree=27603952/32873844 swapFree=6592/6592
[pid=28671] ppid=28669 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28671/stat : 28671 (npSolver-pbo-It) S 28669 28671 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271597891 9367552 275 33554432000 4194304 5064252 140736143414720 140736143413632 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28671/statm: 2287 275 233 213 0 72 0
[pid=28673] ppid=28671 vsize=3840 CPUtime=11.71 cores=1,3,5,7
/proc/28673/stat : 28673 (npSolver-pbo) S 28671 28671 28504 0 -1 4202496 5040 14079 0 0 12 2 1154 3 20 0 1 0 271597891 3932160 674 33554432000 4194304 5992684 140734018566832 140734018552664 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/28673/statm: 960 674 193 440 0 516 0
[pid=28704] ppid=28673 vsize=35464 CPUtime=0.93 cores=1,3,5,7
/proc/28704/stat : 28704 (glucosInc) R 28673 28671 28504 0 -1 4202496 7411 0 0 0 92 1 0 0 20 0 1 0 271599066 36315136 7693 33554432000 4194304 5654031 140733907798496 140733907796264 4232477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28704/statm: 8866 7693 131 357 0 8506 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 48452
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28704
/proc/meminfo: memFree=27533728/32873844 swapFree=6592/6592
[pid=28671] ppid=28669 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28671/stat : 28671 (npSolver-pbo-It) S 28669 28671 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271597891 9367552 275 33554432000 4194304 5064252 140736143414720 140736143413632 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28671/statm: 2287 275 233 213 0 72 0
[pid=28673] ppid=28671 vsize=3840 CPUtime=11.71 cores=1,3,5,7
/proc/28673/stat : 28673 (npSolver-pbo) S 28671 28671 28504 0 -1 4202496 5040 14079 0 0 12 2 1154 3 20 0 1 0 271597891 3932160 674 33554432000 4194304 5992684 140734018566832 140734018552664 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/28673/statm: 960 674 193 440 0 516 0
[pid=28704] ppid=28673 vsize=66280 CPUtime=13.73 cores=1,3,5,7
/proc/28704/stat : 28704 (glucosInc) R 28673 28671 28504 0 -1 4202496 11607 0 0 0 1370 3 0 0 20 0 1 0 271599066 67870720 15914 33554432000 4194304 5654031 140733907798496 140733907786312 4232707 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28704/statm: 16570 15914 141 357 0 16210 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 79268
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28704
/proc/meminfo: memFree=27469368/32873844 swapFree=6592/6592
[pid=28671] ppid=28669 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28671/stat : 28671 (npSolver-pbo-It) S 28669 28671 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271597891 9367552 275 33554432000 4194304 5064252 140736143414720 140736143413632 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28671/statm: 2287 275 233 213 0 72 0
[pid=28673] ppid=28671 vsize=3840 CPUtime=11.71 cores=1,3,5,7
/proc/28673/stat : 28673 (npSolver-pbo) S 28671 28671 28504 0 -1 4202496 5040 14079 0 0 12 2 1154 3 20 0 1 0 271597891 3932160 674 33554432000 4194304 5992684 140734018566832 140734018552664 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/28673/statm: 960 674 193 440 0 516 0
[pid=28704] ppid=28673 vsize=85136 CPUtime=39.33 cores=1,3,5,7
/proc/28704/stat : 28704 (glucosInc) R 28673 28671 28504 0 -1 4202496 12049 0 0 0 3929 4 0 0 20 0 1 0 271599066 87179264 20594 33554432000 4194304 5654031 140733907798496 140733907786312 4232916 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28704/statm: 21284 20594 142 357 0 20924 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 98124
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28705
/proc/meminfo: memFree=27503140/32873844 swapFree=6592/6592
[pid=28671] ppid=28669 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28671/stat : 28671 (npSolver-pbo-It) S 28669 28671 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271597891 9367552 275 33554432000 4194304 5064252 140736143414720 140736143413632 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28671/statm: 2287 275 233 213 0 72 0
[pid=28673] ppid=28671 vsize=3840 CPUtime=11.71 cores=1,3,5,7
/proc/28673/stat : 28673 (npSolver-pbo) S 28671 28671 28504 0 -1 4202496 5040 14079 0 0 12 2 1154 3 20 0 1 0 271597891 3932160 674 33554432000 4194304 5992684 140734018566832 140734018552664 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/28673/statm: 960 674 193 440 0 516 0
[pid=28704] ppid=28673 vsize=93808 CPUtime=90.52 cores=1,3,5,7
/proc/28704/stat : 28704 (glucosInc) R 28673 28671 28504 0 -1 4202496 14105 0 0 0 9046 6 0 0 20 0 1 0 271599066 96059392 22797 33554432000 4194304 5654031 140733907798496 140733907786312 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28704/statm: 23452 22797 142 357 0 23092 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 106796
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28705
/proc/meminfo: memFree=27434188/32873844 swapFree=6592/6592
[pid=28671] ppid=28669 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28671/stat : 28671 (npSolver-pbo-It) S 28669 28671 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271597891 9367552 275 33554432000 4194304 5064252 140736143414720 140736143413632 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28671/statm: 2287 275 233 213 0 72 0
[pid=28673] ppid=28671 vsize=3840 CPUtime=11.71 cores=1,3,5,7
/proc/28673/stat : 28673 (npSolver-pbo) S 28671 28671 28504 0 -1 4202496 5040 14079 0 0 12 2 1154 3 20 0 1 0 271597891 3932160 674 33554432000 4194304 5992684 140734018566832 140734018552664 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/28673/statm: 960 674 193 440 0 516 0
[pid=28704] ppid=28673 vsize=93808 CPUtime=150.5 cores=1,3,5,7
/proc/28704/stat : 28704 (glucosInc) R 28673 28671 28504 0 -1 4202496 16122 0 0 0 15041 9 0 0 20 0 1 0 271599066 96059392 22822 33554432000 4194304 5654031 140733907798496 140733907786312 4215097 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28704/statm: 23452 22822 142 357 0 23092 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 106796
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28705
/proc/meminfo: memFree=27436208/32873844 swapFree=6592/6592
[pid=28671] ppid=28669 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28671/stat : 28671 (npSolver-pbo-It) S 28669 28671 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271597891 9367552 275 33554432000 4194304 5064252 140736143414720 140736143413632 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28671/statm: 2287 275 233 213 0 72 0
[pid=28673] ppid=28671 vsize=3840 CPUtime=11.71 cores=1,3,5,7
/proc/28673/stat : 28673 (npSolver-pbo) S 28671 28671 28504 0 -1 4202496 5040 14079 0 0 12 2 1154 3 20 0 1 0 271597891 3932160 674 33554432000 4194304 5992684 140734018566832 140734018552664 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/28673/statm: 960 674 193 440 0 516 0
[pid=28704] ppid=28673 vsize=93808 CPUtime=210.48 cores=1,3,5,7
/proc/28704/stat : 28704 (glucosInc) R 28673 28671 28504 0 -1 4202496 18817 0 0 0 21034 14 0 0 20 0 1 0 271599066 96059392 22822 33554432000 4194304 5654031 140733907798496 140733907796520 4215064 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28704/statm: 23452 22822 142 357 0 23092 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 106796
[startup+282.3 s]
################
# More data... #
################
/proc/loadavg: 2.00 2.00 2.00 3/181 28741
/proc/meminfo: memFree=27216680/32873844 swapFree=6592/6592
[pid=28671] ppid=28669 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28671/stat : 28671 (npSolver-pbo-It) S 28669 28671 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271597891 9367552 275 33554432000 4194304 5064252 140736143414720 140736143413632 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28671/statm: 2287 275 233 213 0 72 0
[pid=28673] ppid=28671 vsize=3840 CPUtime=11.71 cores=1,3,5,7
/proc/28673/stat : 28673 (npSolver-pbo) S 28671 28671 28504 0 -1 4202496 5040 14079 0 0 12 2 1154 3 20 0 1 0 271597891 3932160 674 33554432000 4194304 5992684 140734018566832 140734018552664 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/28673/statm: 960 674 193 440 0 516 0
[pid=28704] ppid=28673 vsize=283676 CPUtime=1290.31 cores=1,3,5,7
/proc/28704/stat : 28704 (glucosInc) R 28673 28671 28504 0 -1 4202496 57938 0 0 0 128928 103 0 0 20 0 1 0 271599066 290484224 65547 33554432000 4194304 5654031 140733907798496 140733907786312 4214993 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28704/statm: 70919 65547 142 357 0 70559 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 296664
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28742
/proc/meminfo: memFree=27218880/32873844 swapFree=6592/6592
[pid=28671] ppid=28669 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28671/stat : 28671 (npSolver-pbo-It) S 28669 28671 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271597891 9367552 275 33554432000 4194304 5064252 140736143414720 140736143413632 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28671/statm: 2287 275 233 213 0 72 0
[pid=28673] ppid=28671 vsize=3840 CPUtime=11.71 cores=1,3,5,7
/proc/28673/stat : 28673 (npSolver-pbo) S 28671 28671 28504 0 -1 4202496 5040 14079 0 0 12 2 1154 3 20 0 1 0 271597891 3932160 674 33554432000 4194304 5992684 140734018566832 140734018552664 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/28673/statm: 960 674 193 440 0 516 0
[pid=28704] ppid=28673 vsize=380884 CPUtime=1350.3 cores=1,3,5,7
/proc/28704/stat : 28704 (glucosInc) R 28673 28671 28504 0 -1 4202496 60957 0 0 0 134922 108 0 0 20 0 1 0 271599066 390025216 76842 33554432000 4194304 5654031 140733907798496 140733907786312 4215091 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28704/statm: 95221 76842 142 357 0 94861 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 393872
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28742
/proc/meminfo: memFree=27230524/32873844 swapFree=6592/6592
[pid=28671] ppid=28669 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28671/stat : 28671 (npSolver-pbo-It) S 28669 28671 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271597891 9367552 275 33554432000 4194304 5064252 140736143414720 140736143413632 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28671/statm: 2287 275 233 213 0 72 0
[pid=28673] ppid=28671 vsize=3840 CPUtime=11.71 cores=1,3,5,7
/proc/28673/stat : 28673 (npSolver-pbo) S 28671 28671 28504 0 -1 4202496 5040 14079 0 0 12 2 1154 3 20 0 1 0 271597891 3932160 674 33554432000 4194304 5992684 140734018566832 140734018552664 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/28673/statm: 960 674 193 440 0 516 0
[pid=28704] ppid=28673 vsize=249408 CPUtime=1410.3 cores=1,3,5,7
/proc/28704/stat : 28704 (glucosInc) R 28673 28671 28504 0 -1 4202496 62078 0 0 0 140918 112 0 0 20 0 1 0 271599066 255393792 59133 33554432000 4194304 5654031 140733907798496 140733907786312 4232994 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28704/statm: 62352 59133 142 357 0 61992 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 262396
[startup+1482.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/181 28742
/proc/meminfo: memFree=27255556/32873844 swapFree=6592/6592
[pid=28671] ppid=28669 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28671/stat : 28671 (npSolver-pbo-It) S 28669 28671 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271597891 9367552 275 33554432000 4194304 5064252 140736143414720 140736143413632 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28671/statm: 2287 275 233 213 0 72 0
[pid=28673] ppid=28671 vsize=3840 CPUtime=11.71 cores=1,3,5,7
/proc/28673/stat : 28673 (npSolver-pbo) S 28671 28671 28504 0 -1 4202496 5040 14079 0 0 12 2 1154 3 20 0 1 0 271597891 3932160 674 33554432000 4194304 5992684 140734018566832 140734018552664 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/28673/statm: 960 674 193 440 0 516 0
[pid=28704] ppid=28673 vsize=169268 CPUtime=1470.28 cores=1,3,5,7
/proc/28704/stat : 28704 (glucosInc) R 28673 28671 28504 0 -1 4202496 63771 0 0 0 146912 116 0 0 20 0 1 0 271599066 173330432 41687 33554432000 4194304 5654031 140733907798496 140733907786312 4215055 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28704/statm: 42317 41687 142 357 0 41957 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 182256
[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 28742
/proc/meminfo: memFree=27284436/32873844 swapFree=6592/6592
[pid=28671] ppid=28669 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28671/stat : 28671 (npSolver-pbo-It) S 28669 28671 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271597891 9367552 275 33554432000 4194304 5064252 140736143414720 140736143413632 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28671/statm: 2287 275 233 213 0 72 0
[pid=28673] ppid=28671 vsize=3840 CPUtime=11.71 cores=1,3,5,7
/proc/28673/stat : 28673 (npSolver-pbo) S 28671 28671 28504 0 -1 4202496 5040 14079 0 0 12 2 1154 3 20 0 1 0 271597891 3932160 674 33554432000 4194304 5992684 140734018566832 140734018552664 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/28673/statm: 960 674 193 440 0 516 0
[pid=28704] ppid=28673 vsize=218588 CPUtime=1530.27 cores=1,3,5,7
/proc/28704/stat : 28704 (glucosInc) R 28673 28671 28504 0 -1 4202496 66217 0 0 0 152906 121 0 0 20 0 1 0 271599066 223834112 50874 33554432000 4194304 5654031 140733907798496 140733907796424 4215307 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28704/statm: 54647 50874 142 357 0 54287 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 231576
[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 28742
/proc/meminfo: memFree=27120344/32873844 swapFree=6592/6592
[pid=28671] ppid=28669 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28671/stat : 28671 (npSolver-pbo-It) S 28669 28671 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271597891 9367552 275 33554432000 4194304 5064252 140736143414720 140736143413632 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28671/statm: 2287 275 233 213 0 72 0
[pid=28673] ppid=28671 vsize=3840 CPUtime=11.71 cores=1,3,5,7
/proc/28673/stat : 28673 (npSolver-pbo) S 28671 28671 28504 0 -1 4202496 5040 14079 0 0 12 2 1154 3 20 0 1 0 271597891 3932160 674 33554432000 4194304 5992684 140734018566832 140734018552664 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/28673/statm: 960 674 193 440 0 516 0
[pid=28704] ppid=28673 vsize=380884 CPUtime=1590.26 cores=1,3,5,7
/proc/28704/stat : 28704 (glucosInc) R 28673 28671 28504 0 -1 4202496 67679 0 0 0 158901 125 0 0 20 0 1 0 271599066 390025216 84010 33554432000 4194304 5654031 140733907798496 140733907786312 4232518 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28704/statm: 95221 84010 142 357 0 94861 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 393872
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28743
/proc/meminfo: memFree=27127232/32873844 swapFree=6592/6592
[pid=28671] ppid=28669 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28671/stat : 28671 (npSolver-pbo-It) S 28669 28671 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271597891 9367552 275 33554432000 4194304 5064252 140736143414720 140736143413632 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28671/statm: 2287 275 233 213 0 72 0
[pid=28673] ppid=28671 vsize=3840 CPUtime=11.71 cores=1,3,5,7
/proc/28673/stat : 28673 (npSolver-pbo) S 28671 28671 28504 0 -1 4202496 5040 14079 0 0 12 2 1154 3 20 0 1 0 271597891 3932160 674 33554432000 4194304 5992684 140734018566832 140734018552664 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/28673/statm: 960 674 193 440 0 516 0
[pid=28704] ppid=28673 vsize=380884 CPUtime=1650.24 cores=1,3,5,7
/proc/28704/stat : 28704 (glucosInc) R 28673 28671 28504 0 -1 4202496 69642 0 0 0 164895 129 0 0 20 0 1 0 271599066 390025216 76330 33554432000 4194304 5654031 140733907798496 140733907786312 4232984 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28704/statm: 95221 76330 142 357 0 94861 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 393872
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 28746
/proc/meminfo: memFree=27139712/32873844 swapFree=6592/6592
[pid=28671] ppid=28669 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28671/stat : 28671 (npSolver-pbo-It) S 28669 28671 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271597891 9367552 275 33554432000 4194304 5064252 140736143414720 140736143413632 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28671/statm: 2287 275 233 213 0 72 0
[pid=28673] ppid=28671 vsize=3840 CPUtime=11.71 cores=1,3,5,7
/proc/28673/stat : 28673 (npSolver-pbo) S 28671 28671 28504 0 -1 4202496 5040 14079 0 0 12 2 1154 3 20 0 1 0 271597891 3932160 674 33554432000 4194304 5992684 140734018566832 140734018552664 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/28673/statm: 960 674 193 440 0 516 0
[pid=28704] ppid=28673 vsize=299496 CPUtime=1710.22 cores=1,3,5,7
/proc/28704/stat : 28704 (glucosInc) R 28673 28671 28504 0 -1 4202496 71090 0 0 0 170889 133 0 0 20 0 1 0 271599066 306683904 68650 33554432000 4194304 5654031 140733907798496 140733907786312 4232495 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28704/statm: 74874 68650 142 357 0 74514 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 312484
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28746
/proc/meminfo: memFree=27241336/32873844 swapFree=6592/6592
[pid=28671] ppid=28669 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28671/stat : 28671 (npSolver-pbo-It) S 28669 28671 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271597891 9367552 275 33554432000 4194304 5064252 140736143414720 140736143413632 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28671/statm: 2287 275 233 213 0 72 0
[pid=28673] ppid=28671 vsize=3840 CPUtime=11.71 cores=1,3,5,7
/proc/28673/stat : 28673 (npSolver-pbo) S 28671 28671 28504 0 -1 4202496 5040 14079 0 0 12 2 1154 3 20 0 1 0 271597891 3932160 674 33554432000 4194304 5992684 140734018566832 140734018552664 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/28673/statm: 960 674 193 440 0 516 0
[pid=28704] ppid=28673 vsize=299496 CPUtime=1770.22 cores=1,3,5,7
/proc/28704/stat : 28704 (glucosInc) R 28673 28671 28504 0 -1 4202496 73026 0 0 0 176884 138 0 0 20 0 1 0 271599066 306683904 64042 33554432000 4194304 5654031 140733907798496 140733907796584 4216031 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28704/statm: 74874 64042 142 357 0 74514 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 312484
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28746
/proc/meminfo: memFree=27143408/32873844 swapFree=6592/6592
[pid=28671] ppid=28669 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28671/stat : 28671 (npSolver-pbo-It) S 28669 28671 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271597891 9367552 275 33554432000 4194304 5064252 140736143414720 140736143413632 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28671/statm: 2287 275 233 213 0 72 0
[pid=28673] ppid=28671 vsize=3840 CPUtime=11.71 cores=1,3,5,7
/proc/28673/stat : 28673 (npSolver-pbo) S 28671 28671 28504 0 -1 4202496 5040 14079 0 0 12 2 1154 3 20 0 1 0 271597891 3932160 674 33554432000 4194304 5992684 140734018566832 140734018552664 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/28673/statm: 960 674 193 440 0 516 0
[pid=28704] ppid=28673 vsize=299496 CPUtime=1788.31 cores=1,3,5,7
/proc/28704/stat : 28704 (glucosInc) R 28673 28671 28504 0 -1 4202496 73045 0 0 0 178693 138 0 0 20 0 1 0 271599066 306683904 73770 33554432000 4194304 5654031 140733907798496 140733907786312 4232752 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28704/statm: 74874 73770 142 357 0 74514 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 312484
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 28671 and gives
# childrusage.ru_utime.tv_sec=11
# childrusage.ru_utime.tv_usec=677224
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=62990
# CPU time returned by wait4() is 11.7402
# while last known CPU time is 1800.02
#
# 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.02
CPU user time (s): 1798.59
CPU system time (s): 1.43
CPU usage (%): 99.9782
Max. virtual memory (cumulated for all children) (KiB): 393872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.6772
system time used= 0.06299
maximum resident set size= 48364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19493
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 217
involuntary context switches= 39
runsolver used 3.49247 second user time and 9.70952 second system time
The end