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-3698600-1338078654/watcher-3698600-1338078654 -o /tmp/evaluation-result-3698600-1338078654/solver-3698600-1338078654 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3698600-1338078654.opb 582874059 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.01 2/179 6235
/proc/meminfo: memFree=31337648/32873844 swapFree=7108/7108
[pid=6235] ppid=6233 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6235/stat : 6235 (npSolver-pbo-It) S 6233 6235 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273993998 9367552 275 33554432000 4194304 5064252 140735251672720 140735251671632 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6235/statm: 2287 275 233 213 0 72 0
[startup+0.0916411 s]
/proc/loadavg: 2.00 2.00 2.01 2/179 6235
/proc/meminfo: memFree=31337648/32873844 swapFree=7108/7108
[pid=6235] ppid=6233 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6235/stat : 6235 (npSolver-pbo-It) S 6233 6235 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273993998 9367552 275 33554432000 4194304 5064252 140735251672720 140735251671632 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6235/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100233 s]
/proc/loadavg: 2.00 2.00 2.01 2/179 6235
/proc/meminfo: memFree=31337648/32873844 swapFree=7108/7108
[pid=6235] ppid=6233 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6235/stat : 6235 (npSolver-pbo-It) S 6233 6235 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273993998 9367552 275 33554432000 4194304 5064252 140735251672720 140735251671632 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6235/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300225 s]
/proc/loadavg: 2.00 2.00 2.01 2/179 6235
/proc/meminfo: memFree=31337648/32873844 swapFree=7108/7108
[pid=6235] ppid=6233 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6235/stat : 6235 (npSolver-pbo-It) S 6233 6235 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273993998 9367552 275 33554432000 4194304 5064252 140735251672720 140735251671632 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6235/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700223 s]
/proc/loadavg: 2.00 2.00 2.01 2/179 6235
/proc/meminfo: memFree=31337648/32873844 swapFree=7108/7108
[pid=6235] ppid=6233 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6235/stat : 6235 (npSolver-pbo-It) S 6233 6235 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273993998 9367552 275 33554432000 4194304 5064252 140735251672720 140735251671632 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6235/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50026 s]
/proc/loadavg: 2.00 2.00 2.01 3/182 6252
/proc/meminfo: memFree=31326296/32873844 swapFree=7108/7108
[pid=6235] ppid=6233 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6235/stat : 6235 (npSolver-pbo-It) S 6233 6235 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273993998 9367552 275 33554432000 4194304 5064252 140735251672720 140735251671632 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6235/statm: 2287 275 233 213 0 72 0
[pid=6236] ppid=6235 vsize=3604 CPUtime=1.36 cores=0,2,4,6
/proc/6236/stat : 6236 (npSolver-pbo) S 6235 6235 2929 0 -1 4202496 2622 16219 0 0 7 2 123 4 20 0 1 0 273993998 3690496 501 33554432000 4194304 5992684 140734607553904 140734607539736 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/6236/statm: 901 501 181 440 0 457 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 12752
[startup+3.1003 s]
/proc/loadavg: 2.00 2.00 2.01 3/182 6258
/proc/meminfo: memFree=31324372/32873844 swapFree=7108/7108
[pid=6235] ppid=6233 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6235/stat : 6235 (npSolver-pbo-It) S 6233 6235 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273993998 9367552 275 33554432000 4194304 5064252 140735251672720 140735251671632 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6235/statm: 2287 275 233 213 0 72 0
[pid=6236] ppid=6235 vsize=3604 CPUtime=1.36 cores=0,2,4,6
/proc/6236/stat : 6236 (npSolver-pbo) S 6235 6235 2929 0 -1 4202496 2622 16219 0 0 7 2 123 4 20 0 1 0 273993998 3690496 501 33554432000 4194304 5992684 140734607553904 140734607539736 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/6236/statm: 901 501 181 440 0 457 0
[pid=6258] ppid=6236 vsize=14828 CPUtime=1.71 cores=0,2,4,6
/proc/6258/stat : 6258 (glucosInc) R 6236 6235 2929 0 -1 4202496 2847 0 0 0 171 0 0 0 20 0 1 0 273994136 15183872 2655 33554432000 4194304 5654031 140734855824960 140734855812776 4232453 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/6258/statm: 3707 2655 142 357 0 3347 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 27580
[startup+6.3003 s]
/proc/loadavg: 2.00 2.00 2.01 3/182 6258
/proc/meminfo: memFree=31421376/32873844 swapFree=7108/7108
[pid=6235] ppid=6233 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6235/stat : 6235 (npSolver-pbo-It) S 6233 6235 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273993998 9367552 275 33554432000 4194304 5064252 140735251672720 140735251671632 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6235/statm: 2287 275 233 213 0 72 0
[pid=6236] ppid=6235 vsize=3604 CPUtime=1.36 cores=0,2,4,6
/proc/6236/stat : 6236 (npSolver-pbo) S 6235 6235 2929 0 -1 4202496 2622 16219 0 0 7 2 123 4 20 0 1 0 273993998 3690496 501 33554432000 4194304 5992684 140734607553904 140734607539736 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/6236/statm: 901 501 181 440 0 457 0
[pid=6258] ppid=6236 vsize=16516 CPUtime=4.91 cores=0,2,4,6
/proc/6258/stat : 6258 (glucosInc) R 6236 6235 2929 0 -1 4202496 3818 0 0 0 491 0 0 0 20 0 1 0 273994136 16912384 3594 33554432000 4194304 5654031 140734855824960 140734855812776 4233173 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6258/statm: 4129 3594 142 357 0 3769 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 29268
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.01 3/181 6258
/proc/meminfo: memFree=31378580/32873844 swapFree=7108/7108
[pid=6235] ppid=6233 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6235/stat : 6235 (npSolver-pbo-It) S 6233 6235 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273993998 9367552 275 33554432000 4194304 5064252 140735251672720 140735251671632 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6235/statm: 2287 275 233 213 0 72 0
[pid=6236] ppid=6235 vsize=3604 CPUtime=1.36 cores=0,2,4,6
/proc/6236/stat : 6236 (npSolver-pbo) S 6235 6235 2929 0 -1 4202496 2622 16219 0 0 7 2 123 4 20 0 1 0 273993998 3690496 501 33554432000 4194304 5992684 140734607553904 140734607539736 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/6236/statm: 901 501 181 440 0 457 0
[pid=6258] ppid=6236 vsize=17548 CPUtime=11.32 cores=0,2,4,6
/proc/6258/stat : 6258 (glucosInc) R 6236 6235 2929 0 -1 4202496 4440 0 0 0 1131 1 0 0 20 0 1 0 273994136 17969152 3861 33554432000 4194304 5654031 140734855824960 140734855812776 4232912 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6258/statm: 4387 3861 142 357 0 4027 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 30300
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.01 3/181 6258
/proc/meminfo: memFree=31335028/32873844 swapFree=7108/7108
[pid=6235] ppid=6233 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6235/stat : 6235 (npSolver-pbo-It) S 6233 6235 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273993998 9367552 275 33554432000 4194304 5064252 140735251672720 140735251671632 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6235/statm: 2287 275 233 213 0 72 0
[pid=6236] ppid=6235 vsize=3604 CPUtime=1.36 cores=0,2,4,6
/proc/6236/stat : 6236 (npSolver-pbo) S 6235 6235 2929 0 -1 4202496 2622 16219 0 0 7 2 123 4 20 0 1 0 273993998 3690496 501 33554432000 4194304 5992684 140734607553904 140734607539736 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/6236/statm: 901 501 181 440 0 457 0
[pid=6258] ppid=6236 vsize=28044 CPUtime=24.11 cores=0,2,4,6
/proc/6258/stat : 6258 (glucosInc) R 6236 6235 2929 0 -1 4202496 5328 0 0 0 2410 1 0 0 20 0 1 0 273994136 28717056 6262 33554432000 4194304 5654031 140734855824960 140734855812776 4214977 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6258/statm: 7011 6262 142 357 0 6651 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 40796
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.01 3/181 6258
/proc/meminfo: memFree=31262536/32873844 swapFree=7108/7108
[pid=6235] ppid=6233 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6235/stat : 6235 (npSolver-pbo-It) S 6233 6235 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273993998 9367552 275 33554432000 4194304 5064252 140735251672720 140735251671632 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6235/statm: 2287 275 233 213 0 72 0
[pid=6236] ppid=6235 vsize=3604 CPUtime=1.36 cores=0,2,4,6
/proc/6236/stat : 6236 (npSolver-pbo) S 6235 6235 2929 0 -1 4202496 2622 16219 0 0 7 2 123 4 20 0 1 0 273993998 3690496 501 33554432000 4194304 5992684 140734607553904 140734607539736 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/6236/statm: 901 501 181 440 0 457 0
[pid=6258] ppid=6236 vsize=61044 CPUtime=49.7 cores=0,2,4,6
/proc/6258/stat : 6258 (glucosInc) R 6236 6235 2929 0 -1 4202496 6500 0 0 0 4969 1 0 0 20 0 1 0 273994136 62509056 10703 33554432000 4194304 5654031 140734855824960 140734855822840 4233464 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6258/statm: 15261 10703 142 357 0 14901 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 73796
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 6258
/proc/meminfo: memFree=31274748/32873844 swapFree=7108/7108
[pid=6235] ppid=6233 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6235/stat : 6235 (npSolver-pbo-It) S 6233 6235 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273993998 9367552 275 33554432000 4194304 5064252 140735251672720 140735251671632 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6235/statm: 2287 275 233 213 0 72 0
[pid=6236] ppid=6235 vsize=3604 CPUtime=1.36 cores=0,2,4,6
/proc/6236/stat : 6236 (npSolver-pbo) S 6235 6235 2929 0 -1 4202496 2622 16219 0 0 7 2 123 4 20 0 1 0 273993998 3690496 501 33554432000 4194304 5992684 140734607553904 140734607539736 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/6236/statm: 901 501 181 440 0 457 0
[pid=6258] ppid=6236 vsize=42872 CPUtime=100.9 cores=0,2,4,6
/proc/6258/stat : 6258 (glucosInc) R 6236 6235 2929 0 -1 4202496 7163 0 0 0 10088 2 0 0 20 0 1 0 273994136 43900928 10191 33554432000 4194304 5654031 140734855824960 140734855812776 4232984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6258/statm: 10718 10191 142 357 0 10358 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 55624
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 6259
/proc/meminfo: memFree=31173204/32873844 swapFree=7108/7108
[pid=6235] ppid=6233 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6235/stat : 6235 (npSolver-pbo-It) S 6233 6235 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273993998 9367552 275 33554432000 4194304 5064252 140735251672720 140735251671632 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6235/statm: 2287 275 233 213 0 72 0
[pid=6236] ppid=6235 vsize=3604 CPUtime=1.36 cores=0,2,4,6
/proc/6236/stat : 6236 (npSolver-pbo) S 6235 6235 2929 0 -1 4202496 2622 16219 0 0 7 2 123 4 20 0 1 0 273993998 3690496 501 33554432000 4194304 5992684 140734607553904 140734607539736 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/6236/statm: 901 501 181 440 0 457 0
[pid=6258] ppid=6236 vsize=73220 CPUtime=160.88 cores=0,2,4,6
/proc/6258/stat : 6258 (glucosInc) R 6236 6235 2929 0 -1 4202496 7689 0 0 0 16086 2 0 0 20 0 1 0 273994136 74977280 15044 33554432000 4194304 5654031 140734855824960 140734855812776 4232984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6258/statm: 18305 15044 142 357 0 17945 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 85972
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 6259
/proc/meminfo: memFree=31222532/32873844 swapFree=7108/7108
[pid=6235] ppid=6233 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6235/stat : 6235 (npSolver-pbo-It) S 6233 6235 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273993998 9367552 275 33554432000 4194304 5064252 140735251672720 140735251671632 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6235/statm: 2287 275 233 213 0 72 0
[pid=6236] ppid=6235 vsize=3604 CPUtime=1.36 cores=0,2,4,6
/proc/6236/stat : 6236 (npSolver-pbo) S 6235 6235 2929 0 -1 4202496 2622 16219 0 0 7 2 123 4 20 0 1 0 273993998 3690496 501 33554432000 4194304 5992684 140734607553904 140734607539736 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/6236/statm: 901 501 181 440 0 457 0
[pid=6258] ppid=6236 vsize=73220 CPUtime=220.87 cores=0,2,4,6
/proc/6258/stat : 6258 (glucosInc) R 6236 6235 2929 0 -1 4202496 8412 0 0 0 22085 2 0 0 20 0 1 0 273994136 74977280 16258 33554432000 4194304 5654031 140734855824960 140734855812776 4214996 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6258/statm: 18305 16258 142 357 0 17945 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 85972
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 6259
/proc/meminfo: memFree=31234496/32873844 swapFree=7108/7108
[pid=6235] ppid=6233 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/meminfo: memFree=31290776/32873844 swapFree=7108/7108
[pid=6235] ppid=6233 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6235/stat : 6235 (npSolver-pbo-It) S 6233 6235 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273993998 9367552 275 33554432000 4194304 5064252 140735251672720 140735251671632 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6235/statm: 2287 275 233 213 0 72 0
[pid=6236] ppid=6235 vsize=3604 CPUtime=1.36 cores=0,2,4,6
/proc/6236/stat : 6236 (npSolver-pbo) S 6235 6235 2929 0 -1 4202496 2622 16219 0 0 7 2 123 4 20 0 1 0 273993998 3690496 501 33554432000 4194304 5992684 140734607553904 140734607539736 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/6236/statm: 901 501 181 440 0 457 0
[pid=6258] ppid=6236 vsize=155860 CPUtime=1240.72 cores=0,2,4,6
/proc/6258/stat : 6258 (glucosInc) R 6236 6235 2929 0 -1 4202496 18564 0 0 0 124056 16 0 0 20 0 1 0 273994136 159600640 33620 33554432000 4194304 5654031 140734855824960 140734855812776 4215079 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6258/statm: 38965 33620 142 357 0 38605 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 168612
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 6349
/proc/meminfo: memFree=31340608/32873844 swapFree=7108/7108
[pid=6235] ppid=6233 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6235/stat : 6235 (npSolver-pbo-It) S 6233 6235 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273993998 9367552 275 33554432000 4194304 5064252 140735251672720 140735251671632 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6235/statm: 2287 275 233 213 0 72 0
[pid=6236] ppid=6235 vsize=3604 CPUtime=1.36 cores=0,2,4,6
/proc/6236/stat : 6236 (npSolver-pbo) S 6235 6235 2929 0 -1 4202496 2622 16219 0 0 7 2 123 4 20 0 1 0 273993998 3690496 501 33554432000 4194304 5992684 140734607553904 140734607539736 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/6236/statm: 901 501 181 440 0 457 0
[pid=6258] ppid=6236 vsize=106540 CPUtime=1300.71 cores=0,2,4,6
/proc/6258/stat : 6258 (glucosInc) R 6236 6235 2929 0 -1 4202496 18975 0 0 0 130054 17 0 0 20 0 1 0 273994136 109096960 21967 33554432000 4194304 5654031 140734855824960 140734855812776 4208659 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6258/statm: 26635 21967 142 357 0 26275 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 119292
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 6350
/proc/meminfo: memFree=31288316/32873844 swapFree=7108/7108
[pid=6235] ppid=6233 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6235/stat : 6235 (npSolver-pbo-It) S 6233 6235 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273993998 9367552 275 33554432000 4194304 5064252 140735251672720 140735251671632 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6235/statm: 2287 275 233 213 0 72 0
[pid=6236] ppid=6235 vsize=3604 CPUtime=1.36 cores=0,2,4,6
/proc/6236/stat : 6236 (npSolver-pbo) S 6235 6235 2929 0 -1 4202496 2622 16219 0 0 7 2 123 4 20 0 1 0 273993998 3690496 501 33554432000 4194304 5992684 140734607553904 140734607539736 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/6236/statm: 901 501 181 440 0 457 0
[pid=6258] ppid=6236 vsize=155860 CPUtime=1360.7 cores=0,2,4,6
/proc/6258/stat : 6258 (glucosInc) R 6236 6235 2929 0 -1 4202496 20381 0 0 0 136051 19 0 0 20 0 1 0 273994136 159600640 30548 33554432000 4194304 5654031 140734855824960 140734855822888 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6258/statm: 38965 30548 142 357 0 38605 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 168612
[startup+1422.31 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 6350
/proc/meminfo: memFree=31270200/32873844 swapFree=7108/7108
[pid=6235] ppid=6233 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6235/stat : 6235 (npSolver-pbo-It) S 6233 6235 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273993998 9367552 275 33554432000 4194304 5064252 140735251672720 140735251671632 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6235/statm: 2287 275 233 213 0 72 0
[pid=6236] ppid=6235 vsize=3604 CPUtime=1.36 cores=0,2,4,6
/proc/6236/stat : 6236 (npSolver-pbo) S 6235 6235 2929 0 -1 4202496 2622 16219 0 0 7 2 123 4 20 0 1 0 273993998 3690496 501 33554432000 4194304 5992684 140734607553904 140734607539736 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/6236/statm: 901 501 181 440 0 457 0
[pid=6258] ppid=6236 vsize=155860 CPUtime=1420.69 cores=0,2,4,6
/proc/6258/stat : 6258 (glucosInc) R 6236 6235 2929 0 -1 4202496 21169 0 0 0 142049 20 0 0 20 0 1 0 273994136 159600640 31060 33554432000 4194304 5654031 140734855824960 140734855812776 4232939 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6258/statm: 38965 31060 142 357 0 38605 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 168612
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 6350
/proc/meminfo: memFree=31267656/32873844 swapFree=7108/7108
[pid=6235] ppid=6233 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6235/stat : 6235 (npSolver-pbo-It) S 6233 6235 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273993998 9367552 275 33554432000 4194304 5064252 140735251672720 140735251671632 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6235/statm: 2287 275 233 213 0 72 0
[pid=6236] ppid=6235 vsize=3604 CPUtime=1.36 cores=0,2,4,6
/proc/6236/stat : 6236 (npSolver-pbo) S 6235 6235 2929 0 -1 4202496 2622 16219 0 0 7 2 123 4 20 0 1 0 273993998 3690496 501 33554432000 4194304 5992684 140734607553904 140734607539736 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/6236/statm: 901 501 181 440 0 457 0
[pid=6258] ppid=6236 vsize=155860 CPUtime=1480.68 cores=0,2,4,6
/proc/6258/stat : 6258 (glucosInc) R 6236 6235 2929 0 -1 4202496 21582 0 0 0 148047 21 0 0 20 0 1 0 273994136 159600640 31572 33554432000 4194304 5654031 140734855824960 140734855812776 4232925 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6258/statm: 38965 31572 142 357 0 38605 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 168612
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 6350
/proc/meminfo: memFree=31261216/32873844 swapFree=7108/7108
[pid=6235] ppid=6233 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6235/stat : 6235 (npSolver-pbo-It) S 6233 6235 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273993998 9367552 275 33554432000 4194304 5064252 140735251672720 140735251671632 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6235/statm: 2287 275 233 213 0 72 0
[pid=6236] ppid=6235 vsize=3604 CPUtime=1.36 cores=0,2,4,6
/proc/6236/stat : 6236 (npSolver-pbo) S 6235 6235 2929 0 -1 4202496 2622 16219 0 0 7 2 123 4 20 0 1 0 273993998 3690496 501 33554432000 4194304 5992684 140734607553904 140734607539736 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/6236/statm: 901 501 181 440 0 457 0
[pid=6258] ppid=6236 vsize=155860 CPUtime=1540.67 cores=0,2,4,6
/proc/6258/stat : 6258 (glucosInc) R 6236 6235 2929 0 -1 4202496 22313 0 0 0 154045 22 0 0 20 0 1 0 273994136 159600640 33108 33554432000 4194304 5654031 140734855824960 140734855812776 4215307 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6258/statm: 38965 33108 142 357 0 38605 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 168612
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 6350
/proc/meminfo: memFree=31257880/32873844 swapFree=7108/7108
[pid=6235] ppid=6233 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6235/stat : 6235 (npSolver-pbo-It) S 6233 6235 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273993998 9367552 275 33554432000 4194304 5064252 140735251672720 140735251671632 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6235/statm: 2287 275 233 213 0 72 0
[pid=6236] ppid=6235 vsize=3604 CPUtime=1.36 cores=0,2,4,6
/proc/6236/stat : 6236 (npSolver-pbo) S 6235 6235 2929 0 -1 4202496 2622 16219 0 0 7 2 123 4 20 0 1 0 273993998 3690496 501 33554432000 4194304 5992684 140734607553904 140734607539736 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/6236/statm: 901 501 181 440 0 457 0
[pid=6258] ppid=6236 vsize=155860 CPUtime=1600.66 cores=0,2,4,6
/proc/6258/stat : 6258 (glucosInc) R 6236 6235 2929 0 -1 4202496 23321 0 0 0 160042 24 0 0 20 0 1 0 273994136 159600640 34132 33554432000 4194304 5654031 140734855824960 140734855812776 4232932 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6258/statm: 38965 34132 142 357 0 38605 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 168612
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 6350
/proc/meminfo: memFree=31213224/32873844 swapFree=7108/7108
[pid=6235] ppid=6233 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6235/stat : 6235 (npSolver-pbo-It) S 6233 6235 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273993998 9367552 275 33554432000 4194304 5064252 140735251672720 140735251671632 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6235/statm: 2287 275 233 213 0 72 0
[pid=6236] ppid=6235 vsize=3604 CPUtime=1.36 cores=0,2,4,6
/proc/6236/stat : 6236 (npSolver-pbo) S 6235 6235 2929 0 -1 4202496 2622 16219 0 0 7 2 123 4 20 0 1 0 273993998 3690496 501 33554432000 4194304 5992684 140734607553904 140734607539736 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/6236/statm: 901 501 181 440 0 457 0
[pid=6258] ppid=6236 vsize=186680 CPUtime=1660.64 cores=0,2,4,6
/proc/6258/stat : 6258 (glucosInc) R 6236 6235 2929 0 -1 4202496 24798 0 0 0 166038 26 0 0 20 0 1 0 273994136 191160320 34595 33554432000 4194304 5654031 140734855824960 140734855823048 4232438 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6258/statm: 46670 34595 142 357 0 46310 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 199432
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 6351
/proc/meminfo: memFree=31257416/32873844 swapFree=7108/7108
[pid=6235] ppid=6233 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6235/stat : 6235 (npSolver-pbo-It) S 6233 6235 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273993998 9367552 275 33554432000 4194304 5064252 140735251672720 140735251671632 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6235/statm: 2287 275 233 213 0 72 0
[pid=6236] ppid=6235 vsize=3604 CPUtime=1.36 cores=0,2,4,6
/proc/6236/stat : 6236 (npSolver-pbo) S 6235 6235 2929 0 -1 4202496 2622 16219 0 0 7 2 123 4 20 0 1 0 273993998 3690496 501 33554432000 4194304 5992684 140734607553904 140734607539736 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/6236/statm: 901 501 181 440 0 457 0
[pid=6258] ppid=6236 vsize=155860 CPUtime=1720.63 cores=0,2,4,6
/proc/6258/stat : 6258 (glucosInc) R 6236 6235 2929 0 -1 4202496 25329 0 0 0 172036 27 0 0 20 0 1 0 273994136 159600640 33620 33554432000 4194304 5654031 140734855824960 140734855812776 4232862 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6258/statm: 38965 33620 142 357 0 38605 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 168612
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 6356
/proc/meminfo: memFree=31331848/32873844 swapFree=7108/7108
[pid=6235] ppid=6233 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6235/stat : 6235 (npSolver-pbo-It) S 6233 6235 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273993998 9367552 275 33554432000 4194304 5064252 140735251672720 140735251671632 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6235/statm: 2287 275 233 213 0 72 0
[pid=6236] ppid=6235 vsize=3604 CPUtime=1.36 cores=0,2,4,6
/proc/6236/stat : 6236 (npSolver-pbo) S 6235 6235 2929 0 -1 4202496 2622 16219 0 0 7 2 123 4 20 0 1 0 273993998 3690496 501 33554432000 4194304 5992684 140734607553904 140734607539736 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/6236/statm: 901 501 181 440 0 457 0
[pid=6258] ppid=6236 vsize=155860 CPUtime=1780.62 cores=0,2,4,6
/proc/6258/stat : 6258 (glucosInc) R 6236 6235 2929 0 -1 4202496 26331 0 0 0 178033 29 0 0 20 0 1 0 273994136 159600640 32084 33554432000 4194304 5654031 140734855824960 140734855812776 4232912 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6258/statm: 38965 32084 142 357 0 38605 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 168612
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 6356
/proc/meminfo: memFree=31320432/32873844 swapFree=7108/7108
[pid=6235] ppid=6233 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6235/stat : 6235 (npSolver-pbo-It) S 6233 6235 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273993998 9367552 275 33554432000 4194304 5064252 140735251672720 140735251671632 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6235/statm: 2287 275 233 213 0 72 0
[pid=6236] ppid=6235 vsize=3604 CPUtime=1.36 cores=0,2,4,6
/proc/6236/stat : 6236 (npSolver-pbo) S 6235 6235 2929 0 -1 4202496 2622 16219 0 0 7 2 123 4 20 0 1 0 273993998 3690496 501 33554432000 4194304 5992684 140734607553904 140734607539736 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/6236/statm: 901 501 181 440 0 457 0
[pid=6258] ppid=6236 vsize=155860 CPUtime=1798.74 cores=0,2,4,6
/proc/6258/stat : 6258 (glucosInc) R 6236 6235 2929 0 -1 4202496 26334 0 0 0 179844 30 0 0 20 0 1 0 273994136 159600640 33620 33554432000 4194304 5654031 140734855824960 140734855812776 4233173 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6258/statm: 38965 33620 142 357 0 38605 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 168612
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.12
CPU user time (s): 1799.75
CPU system time (s): 0.368943
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 199432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.75
system time used= 0.368943
maximum resident set size= 144988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45558
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 214
involuntary context switches= 1956
runsolver used 3.9624 second user time and 10.3184 second system time
The end