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-3698137-1338067858/watcher-3698137-1338067858 -o /tmp/evaluation-result-3698137-1338067858/solver-3698137-1338067858 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3698137-1338067858.opb 1093927047 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.01 2.04 2.00 3/181 11847
/proc/meminfo: memFree=26472492/32873844 swapFree=7364/7364
[pid=11847] ppid=11845 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11847/stat : 11847 (npSolver-pbo-It) S 11845 11847 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272910626 9367552 274 33554432000 4194304 5064252 140736928427920 140736928426832 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11847/statm: 2287 274 233 213 0 72 0
[startup+0.076275 s]
/proc/loadavg: 2.01 2.04 2.00 3/181 11847
/proc/meminfo: memFree=26472492/32873844 swapFree=7364/7364
[pid=11847] ppid=11845 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11847/stat : 11847 (npSolver-pbo-It) S 11845 11847 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272910626 9367552 274 33554432000 4194304 5064252 140736928427920 140736928426832 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11847/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100204 s]
/proc/loadavg: 2.01 2.04 2.00 3/181 11847
/proc/meminfo: memFree=26472492/32873844 swapFree=7364/7364
[pid=11847] ppid=11845 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11847/stat : 11847 (npSolver-pbo-It) S 11845 11847 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272910626 9367552 274 33554432000 4194304 5064252 140736928427920 140736928426832 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11847/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300312 s]
/proc/loadavg: 2.01 2.04 2.00 3/181 11847
/proc/meminfo: memFree=26472492/32873844 swapFree=7364/7364
[pid=11847] ppid=11845 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11847/stat : 11847 (npSolver-pbo-It) S 11845 11847 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272910626 9367552 274 33554432000 4194304 5064252 140736928427920 140736928426832 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11847/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700298 s]
/proc/loadavg: 2.01 2.04 2.00 3/181 11847
/proc/meminfo: memFree=26472492/32873844 swapFree=7364/7364
[pid=11847] ppid=11845 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11847/stat : 11847 (npSolver-pbo-It) S 11845 11847 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272910626 9367552 274 33554432000 4194304 5064252 140736928427920 140736928426832 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11847/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50027 s]
/proc/loadavg: 2.01 2.04 2.00 3/184 11864
/proc/meminfo: memFree=26455736/32873844 swapFree=7364/7364
[pid=11847] ppid=11845 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11847/stat : 11847 (npSolver-pbo-It) S 11845 11847 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272910626 9367552 274 33554432000 4194304 5064252 140736928427920 140736928426832 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11847/statm: 2287 274 233 213 0 72 0
[pid=11848] ppid=11847 vsize=8232 CPUtime=1.05 cores=0,2,4,6
/proc/11848/stat : 11848 (npSolver-pbo) S 11847 11847 9054 0 -1 4202496 7966 22589 0 0 16 3 81 5 20 0 1 0 272910626 8429568 1595 33554432000 4194304 5992684 140734272508448 140734272494280 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/11848/statm: 2058 1595 180 440 0 1614 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 17380
[startup+3.10031 s]
/proc/loadavg: 2.01 2.04 2.00 3/184 11870
/proc/meminfo: memFree=26453556/32873844 swapFree=7364/7364
[pid=11847] ppid=11845 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11847/stat : 11847 (npSolver-pbo-It) S 11845 11847 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272910626 9367552 274 33554432000 4194304 5064252 140736928427920 140736928426832 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11847/statm: 2287 274 233 213 0 72 0
[pid=11848] ppid=11847 vsize=8232 CPUtime=1.81 cores=0,2,4,6
/proc/11848/stat : 11848 (npSolver-pbo) S 11847 11847 9054 0 -1 4202496 10202 28979 0 0 21 4 149 7 20 0 1 0 272910626 8429568 1595 33554432000 4194304 5992684 140734272508448 140734272494280 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/11848/statm: 2058 1595 180 440 0 1614 0
[pid=11870] ppid=11848 vsize=14452 CPUtime=1.27 cores=0,2,4,6
/proc/11870/stat : 11870 (glucosInc) R 11848 11847 9054 0 -1 4202496 3244 0 0 0 127 0 0 0 20 0 1 0 272910808 14798848 2899 33554432000 4194304 5654031 140736064334432 140736064322248 4232403 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11870/statm: 3613 2899 142 357 0 3253 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 31832
[startup+6.30028 s]
/proc/loadavg: 2.01 2.04 2.00 3/183 11872
/proc/meminfo: memFree=26453884/32873844 swapFree=7364/7364
[pid=11847] ppid=11845 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11847/stat : 11847 (npSolver-pbo-It) S 11845 11847 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272910626 9367552 274 33554432000 4194304 5064252 140736928427920 140736928426832 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11847/statm: 2287 274 233 213 0 72 0
[pid=11848] ppid=11847 vsize=8232 CPUtime=5.66 cores=0,2,4,6
/proc/11848/stat : 11848 (npSolver-pbo) S 11847 11847 9054 0 -1 4202496 12439 37665 0 0 25 4 528 9 20 0 1 0 272910626 8429568 1595 33554432000 4194304 5992684 140734272508448 140734272494280 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/11848/statm: 2058 1595 180 440 0 1614 0
Current children cumulated CPU time (s) 5.66
Current children cumulated vsize (KiB) 17380
[startup+12.7003 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 11876
/proc/meminfo: memFree=26449336/32873844 swapFree=7364/7364
[pid=11847] ppid=11845 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11847/stat : 11847 (npSolver-pbo-It) S 11845 11847 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272910626 9367552 274 33554432000 4194304 5064252 140736928427920 140736928426832 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11847/statm: 2287 274 233 213 0 72 0
[pid=11848] ppid=11847 vsize=8232 CPUtime=12.35 cores=0,2,4,6
/proc/11848/stat : 11848 (npSolver-pbo) S 11847 11847 9054 0 -1 4202496 14682 47461 0 0 29 5 1190 11 20 0 1 0 272910626 8429568 1595 33554432000 4194304 5992684 140734272508448 140734272494280 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/11848/statm: 2058 1595 180 440 0 1614 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 17380
[startup+25.5004 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 11878
/proc/meminfo: memFree=26444248/32873844 swapFree=7364/7364
[pid=11847] ppid=11845 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11847/stat : 11847 (npSolver-pbo-It) S 11845 11847 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272910626 9367552 274 33554432000 4194304 5064252 140736928427920 140736928426832 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11847/statm: 2287 274 233 213 0 72 0
[pid=11848] ppid=11847 vsize=8232 CPUtime=12.35 cores=0,2,4,6
/proc/11848/stat : 11848 (npSolver-pbo) S 11847 11847 9054 0 -1 4202496 14682 47461 0 0 29 5 1190 11 20 0 1 0 272910626 8429568 1595 33554432000 4194304 5992684 140734272508448 140734272494280 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/11848/statm: 2058 1595 180 440 0 1614 0
[pid=11878] ppid=11848 vsize=30028 CPUtime=13.11 cores=0,2,4,6
/proc/11878/stat : 11878 (glucosInc) R 11848 11847 9054 0 -1 4202496 5124 0 0 0 1311 0 0 0 20 0 1 0 272911864 30748672 6826 33554432000 4194304 5654031 140734136054208 140734136052136 4232551 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11878/statm: 7507 6826 142 357 0 7147 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 47408
[startup+51.1004 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 11880
/proc/meminfo: memFree=26437300/32873844 swapFree=7364/7364
[pid=11847] ppid=11845 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11847/stat : 11847 (npSolver-pbo-It) S 11845 11847 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272910626 9367552 274 33554432000 4194304 5064252 140736928427920 140736928426832 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11847/statm: 2287 274 233 213 0 72 0
[pid=11848] ppid=11847 vsize=8232 CPUtime=33.01 cores=0,2,4,6
/proc/11848/stat : 11848 (npSolver-pbo) S 11847 11847 9054 0 -1 4202496 15803 53368 0 0 31 5 3252 13 20 0 1 0 272910626 8429568 1595 33554432000 4194304 5992684 140734272508448 140734272494280 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/11848/statm: 2058 1595 180 440 0 1614 0
[pid=11880] ppid=11848 vsize=22960 CPUtime=18.06 cores=0,2,4,6
/proc/11880/stat : 11880 (glucosInc) R 11848 11847 9054 0 -1 4202496 6591 0 0 0 1805 1 0 0 20 0 1 0 272913929 23511040 5300 33554432000 4194304 5654031 140736724334592 140736724322408 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11880/statm: 5740 5300 142 357 0 5380 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 40340
[startup+102.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/183 11882
/proc/meminfo: memFree=26433704/32873844 swapFree=7364/7364
[pid=11847] ppid=11845 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11847/stat : 11847 (npSolver-pbo-It) S 11845 11847 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272910626 9367552 274 33554432000 4194304 5064252 140736928427920 140736928426832 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11847/statm: 2287 274 233 213 0 72 0
[pid=11848] ppid=11847 vsize=8232 CPUtime=68.68 cores=0,2,4,6
/proc/11848/stat : 11848 (npSolver-pbo) S 11847 11847 9054 0 -1 4202496 16923 61639 0 0 34 5 6815 14 20 0 1 0 272910626 8429568 1595 33554432000 4194304 5992684 140734272508448 140734272494280 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/11848/statm: 2058 1595 180 440 0 1614 0
[pid=11882] ppid=11848 vsize=27504 CPUtime=33.57 cores=0,2,4,6
/proc/11882/stat : 11882 (glucosInc) R 11848 11847 9054 0 -1 4202496 7359 0 0 0 3356 1 0 0 20 0 1 0 272917498 28164096 6410 33554432000 4194304 5654031 140735960242624 140735960230440 4232632 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11882/statm: 6876 6410 142 357 0 6516 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 44884
[startup+162.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 11882
/proc/meminfo: memFree=26415336/32873844 swapFree=7364/7364
[pid=11847] ppid=11845 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11847/stat : 11847 (npSolver-pbo-It) S 11845 11847 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272910626 9367552 274 33554432000 4194304 5064252 140736928427920 140736928426832 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11847/statm: 2287 274 233 213 0 72 0
[pid=11848] ppid=11847 vsize=8232 CPUtime=68.68 cores=0,2,4,6
/proc/11848/stat : 11848 (npSolver-pbo) S 11847 11847 9054 0 -1 4202496 16923 61639 0 0 34 5 6815 14 20 0 1 0 272910626 8429568 1595 33554432000 4194304 5992684 140734272508448 140734272494280 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/11848/statm: 2058 1595 180 440 0 1614 0
[pid=11882] ppid=11848 vsize=46180 CPUtime=93.56 cores=0,2,4,6
/proc/11882/stat : 11882 (glucosInc) R 11848 11847 9054 0 -1 4202496 7976 0 0 0 9354 2 0 0 20 0 1 0 272917498 47288320 11091 33554432000 4194304 5654031 140735960242624 140735960240424 4216456 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11882/statm: 11545 11091 142 357 0 11185 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 63560
[startup+222.307 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 11885
/proc/meminfo: memFree=26430104/32873844 swapFree=7364/7364
[pid=11847] ppid=11845 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11847/stat : 11847 (npSolver-pbo-It) S 11845 11847 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272910626 9367552 274 33554432000 4194304 5064252 140736928427920 140736928426832 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11847/statm: 2287 274 233 213 0 72 0
[pid=11848] ppid=11847 vsize=8232 CPUtime=207.06 cores=0,2,4,6
/proc/11848/stat : 11848 (npSolver-pbo) S 11847 11847 9054 0 -1 4202496 18044 70568 0 0 36 5 20648 17 20 0 1 0 272910626 8429568 1595 33554432000 4194304 5992684 140734272508448 140734272494280 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11848/statm: 2058 1595 180 440 0 1614 0
[pid=11885] ppid=11848 vsize=30032 CPUtime=15.15 cores=0,2,4,6
/proc/11885/stat : 11885 (glucosInc) R 11848 11847 9054 0 -1 4202496 6372 0 0 0 1514 1 0 0 20 0 1 0 272931338 30752768 6892 33554432000 4194304 5654031 140736796121984 140736796119912 4216577 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11885/statm: 7508 6892 142 357 0 7148 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 47412
[startup+282.3 s]
/proc/loadavg: 1.86 1.98 1.99 3/184 11947
/proc/meminfo: memFree=28905520/32873844 swapFree=7364/7364
[pid=11847] ppid=11845 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11847/stat : 11847 (npSolver-pbo-It) S 11845 11847 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272910626 9367552 274 33554432000 4194304 5064252 140736928427920 140736928426832 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11847/statm: 2287 274 233 213 0 72 0
[pid=11848] ppid=11847 vsize=8232 CPUtime=207.06 cores=0,2,4,6
/proc/11848/stat : 11848 (npSolver-pbo) S 11847 11847 9054 0 -1 4202496 18044 70568 0 0 36 5 20648 17 20 0 1 0 272910626 8429568 1595 33554432000 4194304 5992684 140734272508448 140734272494280 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11848/statm: 2058 1595 180 440 0 1614 0
[pid=11885] ppid=11848 vsize=43636 CPUtime=75.13 cores=0,2,4,6
################
# More data... #
################
/proc/meminfo: memFree=28851580/32873844 swapFree=7364/7364
[pid=11847] ppid=11845 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11847/stat : 11847 (npSolver-pbo-It) S 11845 11847 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272910626 9367552 274 33554432000 4194304 5064252 140736928427920 140736928426832 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11847/statm: 2287 274 233 213 0 72 0
[pid=11848] ppid=11847 vsize=8232 CPUtime=931.37 cores=0,2,4,6
/proc/11848/stat : 11848 (npSolver-pbo) S 11847 11847 9054 0 -1 4202496 18980 83251 0 0 38 5 93070 24 20 0 1 0 272910626 8429568 1595 33554432000 4194304 5992684 140734272508448 140734272494280 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11848/statm: 2058 1595 180 440 0 1614 0
[pid=11962] ppid=11848 vsize=64432 CPUtime=370.62 cores=0,2,4,6
/proc/11962/stat : 11962 (glucosInc) R 11848 11847 9054 0 -1 4202496 9747 0 0 0 37057 5 0 0 20 0 1 0 273003783 65978368 12896 33554432000 4194304 5654031 140736807170384 140736807168264 4232707 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11962/statm: 16108 12896 141 357 0 15748 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 81812
[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/184 11977
/proc/meminfo: memFree=28814336/32873844 swapFree=7364/7364
[pid=11847] ppid=11845 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11847/stat : 11847 (npSolver-pbo-It) S 11845 11847 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272910626 9367552 274 33554432000 4194304 5064252 140736928427920 140736928426832 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11847/statm: 2287 274 233 213 0 72 0
[pid=11848] ppid=11847 vsize=8232 CPUtime=931.37 cores=0,2,4,6
/proc/11848/stat : 11848 (npSolver-pbo) S 11847 11847 9054 0 -1 4202496 18980 83251 0 0 38 5 93070 24 20 0 1 0 272910626 8429568 1595 33554432000 4194304 5992684 140734272508448 140734272494280 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11848/statm: 2058 1595 180 440 0 1614 0
[pid=11962] ppid=11848 vsize=83696 CPUtime=430.61 cores=0,2,4,6
/proc/11962/stat : 11962 (glucosInc) R 11848 11847 9054 0 -1 4202496 10270 0 0 0 43056 5 0 0 20 0 1 0 273003783 85704704 19040 33554432000 4194304 5654031 140736807170384 140736807158200 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11962/statm: 20924 19040 141 357 0 20564 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 101076
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11978
/proc/meminfo: memFree=28804720/32873844 swapFree=7364/7364
[pid=11847] ppid=11845 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11847/stat : 11847 (npSolver-pbo-It) S 11845 11847 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272910626 9367552 274 33554432000 4194304 5064252 140736928427920 140736928426832 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11847/statm: 2287 274 233 213 0 72 0
[pid=11848] ppid=11847 vsize=8232 CPUtime=931.37 cores=0,2,4,6
/proc/11848/stat : 11848 (npSolver-pbo) S 11847 11847 9054 0 -1 4202496 18980 83251 0 0 38 5 93070 24 20 0 1 0 272910626 8429568 1595 33554432000 4194304 5992684 140734272508448 140734272494280 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11848/statm: 2058 1595 180 440 0 1614 0
[pid=11962] ppid=11848 vsize=83696 CPUtime=490.61 cores=0,2,4,6
/proc/11962/stat : 11962 (glucosInc) R 11848 11847 9054 0 -1 4202496 10272 0 0 0 49056 5 0 0 20 0 1 0 273003783 85704704 19552 33554432000 4194304 5654031 140736807170384 140736807158200 4232853 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11962/statm: 20924 19552 141 357 0 20564 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 101076
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11978
/proc/meminfo: memFree=28800004/32873844 swapFree=7364/7364
[pid=11847] ppid=11845 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11847/stat : 11847 (npSolver-pbo-It) S 11845 11847 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272910626 9367552 274 33554432000 4194304 5064252 140736928427920 140736928426832 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11847/statm: 2287 274 233 213 0 72 0
[pid=11848] ppid=11847 vsize=8232 CPUtime=931.37 cores=0,2,4,6
/proc/11848/stat : 11848 (npSolver-pbo) S 11847 11847 9054 0 -1 4202496 18980 83251 0 0 38 5 93070 24 20 0 1 0 272910626 8429568 1595 33554432000 4194304 5992684 140734272508448 140734272494280 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11848/statm: 2058 1595 180 440 0 1614 0
[pid=11962] ppid=11848 vsize=83696 CPUtime=550.59 cores=0,2,4,6
/proc/11962/stat : 11962 (glucosInc) R 11848 11847 9054 0 -1 4202496 10651 0 0 0 55054 5 0 0 20 0 1 0 273003783 85704704 20432 33554432000 4194304 5654031 140736807170384 140736807158200 4208659 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11962/statm: 20924 20432 141 357 0 20564 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 101076
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11978
/proc/meminfo: memFree=28782628/32873844 swapFree=7364/7364
[pid=11847] ppid=11845 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11847/stat : 11847 (npSolver-pbo-It) S 11845 11847 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272910626 9367552 274 33554432000 4194304 5064252 140736928427920 140736928426832 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11847/statm: 2287 274 233 213 0 72 0
[pid=11848] ppid=11847 vsize=8232 CPUtime=931.37 cores=0,2,4,6
/proc/11848/stat : 11848 (npSolver-pbo) S 11847 11847 9054 0 -1 4202496 18980 83251 0 0 38 5 93070 24 20 0 1 0 272910626 8429568 1595 33554432000 4194304 5992684 140734272508448 140734272494280 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11848/statm: 2058 1595 180 440 0 1614 0
[pid=11962] ppid=11848 vsize=95188 CPUtime=610.59 cores=0,2,4,6
/proc/11962/stat : 11962 (glucosInc) R 11848 11847 9054 0 -1 4202496 10974 0 0 0 61053 6 0 0 20 0 1 0 273003783 97472512 23305 33554432000 4194304 5654031 140736807170384 140736807168184 4215009 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11962/statm: 23797 23305 141 357 0 23437 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 112568
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11978
/proc/meminfo: memFree=28780580/32873844 swapFree=7364/7364
[pid=11847] ppid=11845 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11847/stat : 11847 (npSolver-pbo-It) S 11845 11847 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272910626 9367552 274 33554432000 4194304 5064252 140736928427920 140736928426832 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11847/statm: 2287 274 233 213 0 72 0
[pid=11848] ppid=11847 vsize=8232 CPUtime=931.37 cores=0,2,4,6
/proc/11848/stat : 11848 (npSolver-pbo) S 11847 11847 9054 0 -1 4202496 18980 83251 0 0 38 5 93070 24 20 0 1 0 272910626 8429568 1595 33554432000 4194304 5992684 140734272508448 140734272494280 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11848/statm: 2058 1595 180 440 0 1614 0
[pid=11962] ppid=11848 vsize=95188 CPUtime=670.58 cores=0,2,4,6
/proc/11962/stat : 11962 (glucosInc) R 11848 11847 9054 0 -1 4202496 10974 0 0 0 67052 6 0 0 20 0 1 0 273003783 97472512 23305 33554432000 4194304 5654031 140736807170384 140736807158200 4232744 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11962/statm: 23797 23305 141 357 0 23437 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 112568
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11978
/proc/meminfo: memFree=28780392/32873844 swapFree=7364/7364
[pid=11847] ppid=11845 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11847/stat : 11847 (npSolver-pbo-It) S 11845 11847 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272910626 9367552 274 33554432000 4194304 5064252 140736928427920 140736928426832 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11847/statm: 2287 274 233 213 0 72 0
[pid=11848] ppid=11847 vsize=8232 CPUtime=931.37 cores=0,2,4,6
/proc/11848/stat : 11848 (npSolver-pbo) S 11847 11847 9054 0 -1 4202496 18980 83251 0 0 38 5 93070 24 20 0 1 0 272910626 8429568 1595 33554432000 4194304 5992684 140734272508448 140734272494280 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11848/statm: 2058 1595 180 440 0 1614 0
[pid=11962] ppid=11848 vsize=95188 CPUtime=730.57 cores=0,2,4,6
/proc/11962/stat : 11962 (glucosInc) R 11848 11847 9054 0 -1 4202496 10974 0 0 0 73051 6 0 0 20 0 1 0 273003783 97472512 23355 33554432000 4194304 5654031 140736807170384 140736807158200 4232968 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11962/statm: 23797 23355 141 357 0 23437 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 112568
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11979
/proc/meminfo: memFree=28756188/32873844 swapFree=7364/7364
[pid=11847] ppid=11845 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11847/stat : 11847 (npSolver-pbo-It) S 11845 11847 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272910626 9367552 274 33554432000 4194304 5064252 140736928427920 140736928426832 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11847/statm: 2287 274 233 213 0 72 0
[pid=11848] ppid=11847 vsize=8232 CPUtime=931.37 cores=0,2,4,6
/proc/11848/stat : 11848 (npSolver-pbo) S 11847 11847 9054 0 -1 4202496 18980 83251 0 0 38 5 93070 24 20 0 1 0 272910626 8429568 1595 33554432000 4194304 5992684 140734272508448 140734272494280 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11848/statm: 2058 1595 180 440 0 1614 0
[pid=11962] ppid=11848 vsize=102372 CPUtime=790.55 cores=0,2,4,6
/proc/11962/stat : 11962 (glucosInc) R 11848 11847 9054 0 -1 4202496 11280 0 0 0 79049 6 0 0 20 0 1 0 273003783 104828928 25183 33554432000 4194304 5654031 140736807170384 140736807168184 4232453 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11962/statm: 25593 25183 141 357 0 25233 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 119752
[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/184 11982
/proc/meminfo: memFree=28755064/32873844 swapFree=7364/7364
[pid=11847] ppid=11845 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11847/stat : 11847 (npSolver-pbo-It) S 11845 11847 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272910626 9367552 274 33554432000 4194304 5064252 140736928427920 140736928426832 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11847/statm: 2287 274 233 213 0 72 0
[pid=11848] ppid=11847 vsize=8232 CPUtime=931.37 cores=0,2,4,6
/proc/11848/stat : 11848 (npSolver-pbo) S 11847 11847 9054 0 -1 4202496 18980 83251 0 0 38 5 93070 24 20 0 1 0 272910626 8429568 1595 33554432000 4194304 5992684 140734272508448 140734272494280 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11848/statm: 2058 1595 180 440 0 1614 0
[pid=11962] ppid=11848 vsize=102372 CPUtime=850.54 cores=0,2,4,6
/proc/11962/stat : 11962 (glucosInc) R 11848 11847 9054 0 -1 4202496 11346 0 0 0 85048 6 0 0 20 0 1 0 273003783 104828928 25183 33554432000 4194304 5654031 140736807170384 140736807168408 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11962/statm: 25593 25183 141 357 0 25233 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 119752
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.10 2.03 2.01 3/184 11982
/proc/meminfo: memFree=28755064/32873844 swapFree=7364/7364
[pid=11847] ppid=11845 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11847/stat : 11847 (npSolver-pbo-It) S 11845 11847 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272910626 9367552 274 33554432000 4194304 5064252 140736928427920 140736928426832 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11847/statm: 2287 274 233 213 0 72 0
[pid=11848] ppid=11847 vsize=8232 CPUtime=931.37 cores=0,2,4,6
/proc/11848/stat : 11848 (npSolver-pbo) S 11847 11847 9054 0 -1 4202496 18980 83251 0 0 38 5 93070 24 20 0 1 0 272910626 8429568 1595 33554432000 4194304 5992684 140734272508448 140734272494280 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11848/statm: 2058 1595 180 440 0 1614 0
[pid=11962] ppid=11848 vsize=102372 CPUtime=868.65 cores=0,2,4,6
/proc/11962/stat : 11962 (glucosInc) R 11848 11847 9054 0 -1 4202496 11346 0 0 0 86859 6 0 0 20 0 1 0 273003783 104828928 25183 33554432000 4194304 5654031 140736807170384 140736807168408 4232794 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11962/statm: 25593 25183 141 357 0 25233 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 119752
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.10 2.03 2.01 3/184 11982
/proc/meminfo: memFree=28755064/32873844 swapFree=7364/7364
[pid=11847] ppid=11845 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11847/stat : 11847 (npSolver-pbo-It) S 11845 11847 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272910626 9367552 274 33554432000 4194304 5064252 140736928427920 140736928426832 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11847/statm: 2287 274 233 213 0 72 0
[pid=11848] ppid=11847 vsize=8232 CPUtime=931.37 cores=0,2,4,6
/proc/11848/stat : 11848 (npSolver-pbo) S 11847 11847 9054 0 -1 4202496 18980 83251 0 0 38 5 93070 24 20 0 1 0 272910626 8429568 1595 33554432000 4194304 5992684 140734272508448 140734272494280 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11848/statm: 2058 1595 180 440 0 1614 0
[pid=11962] ppid=11848 vsize=102372 CPUtime=868.65 cores=0,2,4,6
/proc/11962/stat : 11962 (glucosInc) R 11848 11847 9054 0 -1 4202496 11346 0 0 0 86859 6 0 0 20 0 1 0 273003783 104828928 25183 33554432000 4194304 5654031 140736807170384 140736807168408 4232794 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11962/statm: 25593 25183 141 357 0 25233 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 119752
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.06
CPU user time (s): 1799.68
CPU system time (s): 0.372943
CPU usage (%): 99.9804
Max. virtual memory (cumulated for all children) (KiB): 190356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.68
system time used= 0.372943
maximum resident set size= 136740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113956
page faults= 0
swaps= 0
block input operations= 0
block output operations= 31400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1133
involuntary context switches= 2508
runsolver used 3.2835 second user time and 7.73882 second system time
The end