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-3698608-1338077110/watcher-3698608-1338077110 -o /tmp/evaluation-result-3698608-1338077110/solver-3698608-1338077110 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3698608-1338077110.opb 1879150823 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.00 2.00 2.00 3/180 8258
/proc/meminfo: memFree=28052780/32873844 swapFree=7124/7124
[pid=8258] ppid=8256 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8258/stat : 8258 (npSolver-pbo-It) S 8256 8258 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273836433 9367552 275 33554432000 4194304 5064252 140736642670976 140736642669888 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8258/statm: 2287 275 233 213 0 72 0
[startup+0.101646 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 8258
/proc/meminfo: memFree=28052780/32873844 swapFree=7124/7124
[pid=8258] ppid=8256 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8258/stat : 8258 (npSolver-pbo-It) S 8256 8258 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273836433 9367552 275 33554432000 4194304 5064252 140736642670976 140736642669888 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8258/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.200315 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 8258
/proc/meminfo: memFree=28052780/32873844 swapFree=7124/7124
[pid=8258] ppid=8256 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8258/stat : 8258 (npSolver-pbo-It) S 8256 8258 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273836433 9367552 275 33554432000 4194304 5064252 140736642670976 140736642669888 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8258/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300323 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 8258
/proc/meminfo: memFree=28052780/32873844 swapFree=7124/7124
[pid=8258] ppid=8256 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8258/stat : 8258 (npSolver-pbo-It) S 8256 8258 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273836433 9367552 275 33554432000 4194304 5064252 140736642670976 140736642669888 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8258/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700265 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 8258
/proc/meminfo: memFree=28052780/32873844 swapFree=7124/7124
[pid=8258] ppid=8256 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8258/stat : 8258 (npSolver-pbo-It) S 8256 8258 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273836433 9367552 275 33554432000 4194304 5064252 140736642670976 140736642669888 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8258/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8275
/proc/meminfo: memFree=28030976/32873844 swapFree=7124/7124
[pid=8258] ppid=8256 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8258/stat : 8258 (npSolver-pbo-It) S 8256 8258 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273836433 9367552 275 33554432000 4194304 5064252 140736642670976 140736642669888 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8258/statm: 2287 275 233 213 0 72 0
[pid=8259] ppid=8258 vsize=7836 CPUtime=1.46 cores=0,2,4,6
/proc/8259/stat : 8259 (npSolver-pbo) S 8258 8258 4265 0 -1 4202496 6068 29588 0 0 26 10 98 12 20 0 1 0 273836434 8024064 1556 33554432000 4194304 5992684 140736184426240 140736184412072 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/8259/statm: 1959 1556 181 440 0 1515 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 16984
[startup+3.10017 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8277
/proc/meminfo: memFree=28032032/32873844 swapFree=7124/7124
[pid=8258] ppid=8256 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8258/stat : 8258 (npSolver-pbo-It) S 8256 8258 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273836433 9367552 275 33554432000 4194304 5064252 140736642670976 140736642669888 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8258/statm: 2287 275 233 213 0 72 0
[pid=8259] ppid=8258 vsize=7836 CPUtime=2.22 cores=0,2,4,6
/proc/8259/stat : 8259 (npSolver-pbo) S 8258 8258 4265 0 -1 4202496 6821 33658 0 0 28 10 171 13 20 0 1 0 273836434 8024064 1561 33554432000 4194304 5992684 140736184426240 140736184412072 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/8259/statm: 1959 1561 181 440 0 1515 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 16984
heavy processes:
[startup+6.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8279
/proc/meminfo: memFree=28021176/32873844 swapFree=7124/7124
[pid=8258] ppid=8256 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8258/stat : 8258 (npSolver-pbo-It) S 8256 8258 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273836433 9367552 275 33554432000 4194304 5064252 140736642670976 140736642669888 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8258/statm: 2287 275 233 213 0 72 0
[pid=8259] ppid=8258 vsize=7836 CPUtime=2.22 cores=0,2,4,6
/proc/8259/stat : 8259 (npSolver-pbo) S 8258 8258 4265 0 -1 4202496 6821 33658 0 0 28 10 171 13 20 0 1 0 273836434 8024064 1561 33554432000 4194304 5992684 140736184426240 140736184412072 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/8259/statm: 1959 1561 181 440 0 1515 0
[pid=8279] ppid=8259 vsize=30500 CPUtime=4.03 cores=0,2,4,6
/proc/8279/stat : 8279 (glucosInc) R 8259 8258 4265 0 -1 4202496 6837 0 0 0 402 1 0 0 20 0 1 0 273836659 31232000 6590 33554432000 4194304 5654031 140733765398880 140733765386696 4216577 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8279/statm: 7625 6590 142 357 0 7265 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 47484
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8283
/proc/meminfo: memFree=27997752/32873844 swapFree=7124/7124
[pid=8258] ppid=8256 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8258/stat : 8258 (npSolver-pbo-It) S 8256 8258 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273836433 9367552 275 33554432000 4194304 5064252 140736642670976 140736642669888 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8258/statm: 2287 275 233 213 0 72 0
[pid=8259] ppid=8258 vsize=7836 CPUtime=11.64 cores=0,2,4,6
/proc/8259/stat : 8259 (npSolver-pbo) S 8258 8258 4265 0 -1 4202496 8266 48659 0 0 34 11 1102 17 20 0 1 0 273836434 8024064 1561 33554432000 4194304 5992684 140736184426240 140736184412072 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/8259/statm: 1959 1561 181 440 0 1515 0
[pid=8283] ppid=8259 vsize=17704 CPUtime=1.01 cores=0,2,4,6
/proc/8283/stat : 8283 (glucosInc) R 8259 8258 4265 0 -1 4202496 4394 0 0 0 101 0 0 0 20 0 1 0 273837601 18128896 3564 33554432000 4194304 5654031 140735794090832 140735794078648 4208659 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8283/statm: 4426 3564 142 357 0 4066 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 34688
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8283
/proc/meminfo: memFree=28001484/32873844 swapFree=7124/7124
[pid=8258] ppid=8256 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8258/stat : 8258 (npSolver-pbo-It) S 8256 8258 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273836433 9367552 275 33554432000 4194304 5064252 140736642670976 140736642669888 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8258/statm: 2287 275 233 213 0 72 0
[pid=8259] ppid=8258 vsize=7836 CPUtime=11.64 cores=0,2,4,6
/proc/8259/stat : 8259 (npSolver-pbo) S 8258 8258 4265 0 -1 4202496 8266 48659 0 0 34 11 1102 17 20 0 1 0 273836434 8024064 1561 33554432000 4194304 5992684 140736184426240 140736184412072 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/8259/statm: 1959 1561 181 440 0 1515 0
[pid=8283] ppid=8259 vsize=46484 CPUtime=13.81 cores=0,2,4,6
/proc/8283/stat : 8283 (glucosInc) R 8259 8258 4265 0 -1 4202496 8539 0 0 0 1379 2 0 0 20 0 1 0 273837601 47599616 10406 33554432000 4194304 5654031 140735794090832 140735794078648 4215097 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8283/statm: 11621 10406 142 357 0 11261 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 63468
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8283
/proc/meminfo: memFree=27955748/32873844 swapFree=7124/7124
[pid=8258] ppid=8256 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8258/stat : 8258 (npSolver-pbo-It) S 8256 8258 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273836433 9367552 275 33554432000 4194304 5064252 140736642670976 140736642669888 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8258/statm: 2287 275 233 213 0 72 0
[pid=8259] ppid=8258 vsize=7836 CPUtime=11.64 cores=0,2,4,6
/proc/8259/stat : 8259 (npSolver-pbo) S 8258 8258 4265 0 -1 4202496 8266 48659 0 0 34 11 1102 17 20 0 1 0 273836434 8024064 1561 33554432000 4194304 5992684 140736184426240 140736184412072 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/8259/statm: 1959 1561 181 440 0 1515 0
[pid=8283] ppid=8259 vsize=65492 CPUtime=39.4 cores=0,2,4,6
/proc/8283/stat : 8283 (glucosInc) R 8259 8258 4265 0 -1 4202496 10279 0 0 0 3937 3 0 0 20 0 1 0 273837601 67063808 13991 33554432000 4194304 5654031 140735794090832 140735794078648 4215097 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8283/statm: 16373 13991 142 357 0 16013 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 82476
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8283
/proc/meminfo: memFree=27978708/32873844 swapFree=7124/7124
[pid=8258] ppid=8256 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8258/stat : 8258 (npSolver-pbo-It) S 8256 8258 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273836433 9367552 275 33554432000 4194304 5064252 140736642670976 140736642669888 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8258/statm: 2287 275 233 213 0 72 0
[pid=8259] ppid=8258 vsize=7836 CPUtime=11.64 cores=0,2,4,6
/proc/8259/stat : 8259 (npSolver-pbo) S 8258 8258 4265 0 -1 4202496 8266 48659 0 0 34 11 1102 17 20 0 1 0 273836434 8024064 1561 33554432000 4194304 5992684 140736184426240 140736184412072 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/8259/statm: 1959 1561 181 440 0 1515 0
[pid=8283] ppid=8259 vsize=65492 CPUtime=90.59 cores=0,2,4,6
/proc/8283/stat : 8283 (glucosInc) R 8259 8258 4265 0 -1 4202496 10743 0 0 0 9055 4 0 0 20 0 1 0 273837601 67063808 15809 33554432000 4194304 5654031 140735794090832 140735794078648 4215188 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8283/statm: 16373 15809 142 357 0 16013 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 82476
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8285
/proc/meminfo: memFree=27993544/32873844 swapFree=7124/7124
[pid=8258] ppid=8256 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8258/stat : 8258 (npSolver-pbo-It) S 8256 8258 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273836433 9367552 275 33554432000 4194304 5064252 140736642670976 140736642669888 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8258/statm: 2287 275 233 213 0 72 0
[pid=8259] ppid=8258 vsize=7836 CPUtime=125.12 cores=0,2,4,6
/proc/8259/stat : 8259 (npSolver-pbo) S 8258 8258 4265 0 -1 4202496 8957 60266 0 0 37 11 12441 23 20 0 1 0 273836434 8024064 1561 33554432000 4194304 5992684 140736184426240 140736184412072 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/8259/statm: 1959 1561 181 440 0 1515 0
[pid=8285] ppid=8259 vsize=76984 CPUtime=37.1 cores=0,2,4,6
/proc/8285/stat : 8285 (glucosInc) R 8259 8258 4265 0 -1 4202496 8694 0 0 0 3707 3 0 0 20 0 1 0 273848952 78831616 13226 33554432000 4194304 5654031 140736642536560 140736642524376 4232984 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8285/statm: 19246 13226 142 357 0 18886 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 93968
[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8286
/proc/meminfo: memFree=27947920/32873844 swapFree=7124/7124
[pid=8258] ppid=8256 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8258/stat : 8258 (npSolver-pbo-It) S 8256 8258 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273836433 9367552 275 33554432000 4194304 5064252 140736642670976 140736642669888 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8258/statm: 2287 275 233 213 0 72 0
[pid=8259] ppid=8258 vsize=7836 CPUtime=125.12 cores=0,2,4,6
/proc/8259/stat : 8259 (npSolver-pbo) S 8258 8258 4265 0 -1 4202496 8957 60266 0 0 37 11 12441 23 20 0 1 0 273836434 8024064 1561 33554432000 4194304 5992684 140736184426240 140736184412072 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/8259/statm: 1959 1561 181 440 0 1515 0
[pid=8285] ppid=8259 vsize=76984 CPUtime=97.09 cores=0,2,4,6
/proc/8285/stat : 8285 (glucosInc) R 8259 8258 4265 0 -1 4202496 8909 0 0 0 9706 3 0 0 20 0 1 0 273848952 78831616 14265 33554432000 4194304 5654031 140736642536560 140736642524376 4215009 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8285/statm: 19246 14265 142 357 0 18886 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 93968
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8286
/proc/meminfo: memFree=27940164/32873844 swapFree=7124/7124
[pid=8258] ppid=8256 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8258/stat : 8258 (npSolver-pbo-It) S 8256 8258 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273836433 9367552 275 33554432000 4194304 5064252 140736642670976 140736642669888 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8258/statm: 2287 275 233 213 0 72 0
################
# More data... #
################
/proc/meminfo: memFree=27994140/32873844 swapFree=7124/7124
[pid=8258] ppid=8256 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8258/stat : 8258 (npSolver-pbo-It) S 8256 8258 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273836433 9367552 275 33554432000 4194304 5064252 140736642670976 140736642669888 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8258/statm: 2287 275 233 213 0 72 0
[pid=8259] ppid=8258 vsize=7836 CPUtime=125.12 cores=0,2,4,6
/proc/8259/stat : 8259 (npSolver-pbo) S 8258 8258 4265 0 -1 4202496 8957 60266 0 0 37 11 12441 23 20 0 1 0 273836434 8024064 1561 33554432000 4194304 5992684 140736184426240 140736184412072 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/8259/statm: 1959 1561 181 440 0 1515 0
[pid=8285] ppid=8259 vsize=109308 CPUtime=1176.91 cores=0,2,4,6
/proc/8285/stat : 8285 (glucosInc) R 8259 8258 4265 0 -1 4202496 31362 0 0 0 117640 51 0 0 20 0 1 0 273848952 111931392 26763 33554432000 4194304 5654031 140736642536560 140736642524376 4216325 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8285/statm: 27327 26763 142 357 0 26967 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 126292
[startup+1362.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/183 8356
/proc/meminfo: memFree=27923644/32873844 swapFree=7124/7124
[pid=8258] ppid=8256 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8258/stat : 8258 (npSolver-pbo-It) S 8256 8258 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273836433 9367552 275 33554432000 4194304 5064252 140736642670976 140736642669888 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8258/statm: 2287 275 233 213 0 72 0
[pid=8259] ppid=8258 vsize=7836 CPUtime=125.12 cores=0,2,4,6
/proc/8259/stat : 8259 (npSolver-pbo) S 8258 8258 4265 0 -1 4202496 8957 60266 0 0 37 11 12441 23 20 0 1 0 273836434 8024064 1561 33554432000 4194304 5992684 140736184426240 140736184412072 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/8259/statm: 1959 1561 181 440 0 1515 0
[pid=8285] ppid=8259 vsize=189448 CPUtime=1236.9 cores=0,2,4,6
/proc/8285/stat : 8285 (glucosInc) R 8259 8258 4265 0 -1 4202496 32167 0 0 0 123637 53 0 0 20 0 1 0 273848952 193994752 40848 33554432000 4194304 5654031 140736642536560 140736642524376 4232984 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8285/statm: 47362 40848 142 357 0 47002 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 206432
[startup+1422.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 8356
/proc/meminfo: memFree=27917936/32873844 swapFree=7124/7124
[pid=8258] ppid=8256 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8258/stat : 8258 (npSolver-pbo-It) S 8256 8258 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273836433 9367552 275 33554432000 4194304 5064252 140736642670976 140736642669888 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8258/statm: 2287 275 233 213 0 72 0
[pid=8259] ppid=8258 vsize=7836 CPUtime=125.12 cores=0,2,4,6
/proc/8259/stat : 8259 (npSolver-pbo) S 8258 8258 4265 0 -1 4202496 8957 60266 0 0 37 11 12441 23 20 0 1 0 273836434 8024064 1561 33554432000 4194304 5992684 140736184426240 140736184412072 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/8259/statm: 1959 1561 181 440 0 1515 0
[pid=8285] ppid=8259 vsize=158628 CPUtime=1296.9 cores=0,2,4,6
/proc/8285/stat : 8285 (glucosInc) R 8259 8258 4265 0 -1 4202496 32527 0 0 0 129636 54 0 0 20 0 1 0 273848952 162435072 38874 33554432000 4194304 5654031 140736642536560 140736642524376 4215374 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8285/statm: 39657 38874 142 357 0 39297 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 175612
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 8357
/proc/meminfo: memFree=27907776/32873844 swapFree=7124/7124
[pid=8258] ppid=8256 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8258/stat : 8258 (npSolver-pbo-It) S 8256 8258 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273836433 9367552 275 33554432000 4194304 5064252 140736642670976 140736642669888 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8258/statm: 2287 275 233 213 0 72 0
[pid=8259] ppid=8258 vsize=7836 CPUtime=125.12 cores=0,2,4,6
/proc/8259/stat : 8259 (npSolver-pbo) S 8258 8258 4265 0 -1 4202496 8957 60266 0 0 37 11 12441 23 20 0 1 0 273836434 8024064 1561 33554432000 4194304 5992684 140736184426240 140736184412072 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/8259/statm: 1959 1561 181 440 0 1515 0
[pid=8285] ppid=8259 vsize=158628 CPUtime=1356.88 cores=0,2,4,6
/proc/8285/stat : 8285 (glucosInc) R 8259 8258 4265 0 -1 4202496 33185 0 0 0 135632 56 0 0 20 0 1 0 273848952 162435072 36685 33554432000 4194304 5654031 140736642536560 140736642524376 4216337 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8285/statm: 39657 36685 142 357 0 39297 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 175612
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/184 8362
/proc/meminfo: memFree=28000940/32873844 swapFree=7124/7124
[pid=8258] ppid=8256 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8258/stat : 8258 (npSolver-pbo-It) S 8256 8258 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273836433 9367552 275 33554432000 4194304 5064252 140736642670976 140736642669888 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8258/statm: 2287 275 233 213 0 72 0
[pid=8259] ppid=8258 vsize=7836 CPUtime=125.12 cores=0,2,4,6
/proc/8259/stat : 8259 (npSolver-pbo) S 8258 8258 4265 0 -1 4202496 8957 60266 0 0 37 11 12441 23 20 0 1 0 273836434 8024064 1561 33554432000 4194304 5992684 140736184426240 140736184412072 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/8259/statm: 1959 1561 181 440 0 1515 0
[pid=8285] ppid=8259 vsize=109308 CPUtime=1416.88 cores=0,2,4,6
/proc/8285/stat : 8285 (glucosInc) R 8259 8258 4265 0 -1 4202496 33780 0 0 0 141631 57 0 0 20 0 1 0 273848952 111931392 26764 33554432000 4194304 5654031 140736642536560 140736642534584 4215353 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8285/statm: 27327 26764 142 357 0 26967 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 126292
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8362
/proc/meminfo: memFree=27917788/32873844 swapFree=7124/7124
[pid=8258] ppid=8256 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8258/stat : 8258 (npSolver-pbo-It) S 8256 8258 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273836433 9367552 275 33554432000 4194304 5064252 140736642670976 140736642669888 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8258/statm: 2287 275 233 213 0 72 0
[pid=8259] ppid=8258 vsize=7836 CPUtime=125.12 cores=0,2,4,6
/proc/8259/stat : 8259 (npSolver-pbo) S 8258 8258 4265 0 -1 4202496 8957 60266 0 0 37 11 12441 23 20 0 1 0 273836434 8024064 1561 33554432000 4194304 5992684 140736184426240 140736184412072 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/8259/statm: 1959 1561 181 440 0 1515 0
[pid=8285] ppid=8259 vsize=189448 CPUtime=1476.86 cores=0,2,4,6
/proc/8285/stat : 8285 (glucosInc) R 8259 8258 4265 0 -1 4202496 34583 0 0 0 147628 58 0 0 20 0 1 0 273848952 193994752 40336 33554432000 4194304 5654031 140736642536560 140736642524376 4215200 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8285/statm: 47362 40336 142 357 0 47002 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 206432
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8362
/proc/meminfo: memFree=27929336/32873844 swapFree=7124/7124
[pid=8258] ppid=8256 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8258/stat : 8258 (npSolver-pbo-It) S 8256 8258 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273836433 9367552 275 33554432000 4194304 5064252 140736642670976 140736642669888 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8258/statm: 2287 275 233 213 0 72 0
[pid=8259] ppid=8258 vsize=7836 CPUtime=125.12 cores=0,2,4,6
/proc/8259/stat : 8259 (npSolver-pbo) S 8258 8258 4265 0 -1 4202496 8957 60266 0 0 37 11 12441 23 20 0 1 0 273836434 8024064 1561 33554432000 4194304 5992684 140736184426240 140736184412072 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/8259/statm: 1959 1561 181 440 0 1515 0
[pid=8285] ppid=8259 vsize=158628 CPUtime=1536.85 cores=0,2,4,6
/proc/8285/stat : 8285 (glucosInc) R 8259 8258 4265 0 -1 4202496 34800 0 0 0 153626 59 0 0 20 0 1 0 273848952 162435072 37197 33554432000 4194304 5654031 140736642536560 140736642524376 4215009 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8285/statm: 39657 37197 142 357 0 39297 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 175612
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8362
/proc/meminfo: memFree=27957592/32873844 swapFree=7124/7124
[pid=8258] ppid=8256 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8258/stat : 8258 (npSolver-pbo-It) S 8256 8258 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273836433 9367552 275 33554432000 4194304 5064252 140736642670976 140736642669888 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8258/statm: 2287 275 233 213 0 72 0
[pid=8259] ppid=8258 vsize=7836 CPUtime=125.12 cores=0,2,4,6
/proc/8259/stat : 8259 (npSolver-pbo) S 8258 8258 4265 0 -1 4202496 8957 60266 0 0 37 11 12441 23 20 0 1 0 273836434 8024064 1561 33554432000 4194304 5992684 140736184426240 140736184412072 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/8259/statm: 1959 1561 181 440 0 1515 0
[pid=8285] ppid=8259 vsize=109308 CPUtime=1596.84 cores=0,2,4,6
/proc/8285/stat : 8285 (glucosInc) R 8259 8258 4265 0 -1 4202496 35394 0 0 0 159624 60 0 0 20 0 1 0 273848952 111931392 26764 33554432000 4194304 5654031 140736642536560 140736642534584 4233148 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8285/statm: 27327 26764 142 357 0 26967 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 126292
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8363
/proc/meminfo: memFree=27855132/32873844 swapFree=7124/7124
[pid=8258] ppid=8256 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8258/stat : 8258 (npSolver-pbo-It) S 8256 8258 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273836433 9367552 275 33554432000 4194304 5064252 140736642670976 140736642669888 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8258/statm: 2287 275 233 213 0 72 0
[pid=8259] ppid=8258 vsize=7836 CPUtime=125.12 cores=0,2,4,6
/proc/8259/stat : 8259 (npSolver-pbo) S 8258 8258 4265 0 -1 4202496 8957 60266 0 0 37 11 12441 23 20 0 1 0 273836434 8024064 1561 33554432000 4194304 5992684 140736184426240 140736184412072 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/8259/statm: 1959 1561 181 440 0 1515 0
[pid=8285] ppid=8259 vsize=239536 CPUtime=1656.84 cores=0,2,4,6
/proc/8285/stat : 8285 (glucosInc) R 8259 8258 4265 0 -1 4202496 37030 0 0 0 165621 63 0 0 20 0 1 0 273848952 245284864 51389 33554432000 4194304 5654031 140736642536560 140736642524376 4232821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8285/statm: 59884 51389 142 357 0 59524 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 256520
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8363
/proc/meminfo: memFree=27886768/32873844 swapFree=7124/7124
[pid=8258] ppid=8256 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8258/stat : 8258 (npSolver-pbo-It) S 8256 8258 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273836433 9367552 275 33554432000 4194304 5064252 140736642670976 140736642669888 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8258/statm: 2287 275 233 213 0 72 0
[pid=8259] ppid=8258 vsize=7836 CPUtime=125.12 cores=0,2,4,6
/proc/8259/stat : 8259 (npSolver-pbo) S 8258 8258 4265 0 -1 4202496 8957 60266 0 0 37 11 12441 23 20 0 1 0 273836434 8024064 1561 33554432000 4194304 5992684 140736184426240 140736184412072 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/8259/statm: 1959 1561 181 440 0 1515 0
[pid=8285] ppid=8259 vsize=189448 CPUtime=1674.94 cores=0,2,4,6
/proc/8285/stat : 8285 (glucosInc) R 8259 8258 4265 0 -1 4202496 37686 0 0 0 167430 64 0 0 20 0 1 0 273848952 193994752 39170 33554432000 4194304 5654031 140736642536560 140736642534648 4232821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8285/statm: 47362 39170 142 357 0 47002 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 206432
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.00 2.00 2.00 3/183 8363
/proc/meminfo: memFree=27886768/32873844 swapFree=7124/7124
[pid=8258] ppid=8256 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8258/stat : 8258 (npSolver-pbo-It) S 8256 8258 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273836433 9367552 275 33554432000 4194304 5064252 140736642670976 140736642669888 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8258/statm: 2287 275 233 213 0 72 0
[pid=8259] ppid=8258 vsize=7836 CPUtime=125.12 cores=0,2,4,6
/proc/8259/stat : 8259 (npSolver-pbo) S 8258 8258 4265 0 -1 4202496 8957 60266 0 0 37 11 12441 23 20 0 1 0 273836434 8024064 1561 33554432000 4194304 5992684 140736184426240 140736184412072 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/8259/statm: 1959 1561 181 440 0 1515 0
[pid=8285] ppid=8259 vsize=189448 CPUtime=1674.94 cores=0,2,4,6
/proc/8285/stat : 8285 (glucosInc) R 8259 8258 4265 0 -1 4202496 37686 0 0 0 167430 64 0 0 20 0 1 0 273848952 193994752 39170 33554432000 4194304 5654031 140736642536560 140736642534648 4232821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8285/statm: 47362 39170 142 357 0 47002 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 206432
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.09
CPU user time (s): 1799.09
CPU system time (s): 1.00185
CPU usage (%): 99.9822
Max. virtual memory (cumulated for all children) (KiB): 256520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.09
system time used= 1.00185
maximum resident set size= 207604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107290
page faults= 0
swaps= 0
block input operations= 0
block output operations= 32824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 997
involuntary context switches= 2304
runsolver used 3.59645 second user time and 9.2066 second system time
The end