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-3698542-1338080405/watcher-3698542-1338080405 -o /tmp/evaluation-result-3698542-1338080405/solver-3698542-1338080405 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3698542-1338080405.opb 2083116652 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 3/179 30348
/proc/meminfo: memFree=31330096/32873844 swapFree=7112/7112
[pid=30348] ppid=30346 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30348/stat : 30348 (npSolver-pbo-It) S 30346 30348 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274165434 9367552 274 33554432000 4194304 5064252 140736590900224 140736590899136 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30348/statm: 2287 274 233 213 0 72 0
[startup+0.071506 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 30348
/proc/meminfo: memFree=31330096/32873844 swapFree=7112/7112
[pid=30348] ppid=30346 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30348/stat : 30348 (npSolver-pbo-It) S 30346 30348 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274165434 9367552 274 33554432000 4194304 5064252 140736590900224 140736590899136 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30348/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10035 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 30348
/proc/meminfo: memFree=31330096/32873844 swapFree=7112/7112
[pid=30348] ppid=30346 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30348/stat : 30348 (npSolver-pbo-It) S 30346 30348 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274165434 9367552 274 33554432000 4194304 5064252 140736590900224 140736590899136 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30348/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300204 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 30348
/proc/meminfo: memFree=31330096/32873844 swapFree=7112/7112
[pid=30348] ppid=30346 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30348/stat : 30348 (npSolver-pbo-It) S 30346 30348 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274165434 9367552 274 33554432000 4194304 5064252 140736590900224 140736590899136 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30348/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700211 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 30348
/proc/meminfo: memFree=31330096/32873844 swapFree=7112/7112
[pid=30348] ppid=30346 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30348/stat : 30348 (npSolver-pbo-It) S 30346 30348 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274165434 9367552 274 33554432000 4194304 5064252 140736590900224 140736590899136 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30348/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50038 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 30352
/proc/meminfo: memFree=31267320/32873844 swapFree=7112/7112
[pid=30348] ppid=30346 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30348/stat : 30348 (npSolver-pbo-It) S 30346 30348 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274165434 9367552 274 33554432000 4194304 5064252 140736590900224 140736590899136 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30348/statm: 2287 274 233 213 0 72 0
[pid=30349] ppid=30348 vsize=11024 CPUtime=1.15 cores=1,3,5,7
/proc/30349/stat : 30349 (npSolver-pbo) S 30348 30348 25792 0 -1 4202496 3114 13117 0 0 8 1 96 10 20 0 1 0 274165434 11288576 2300 33554432000 4194304 5992684 140735306817840 140735306804104 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/30349/statm: 2756 2300 171 440 0 2312 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 20172
[startup+3.10042 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 30354
/proc/meminfo: memFree=31297704/32873844 swapFree=7112/7112
[pid=30348] ppid=30346 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30348/stat : 30348 (npSolver-pbo-It) S 30346 30348 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274165434 9367552 274 33554432000 4194304 5064252 140736590900224 140736590899136 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30348/statm: 2287 274 233 213 0 72 0
[pid=30349] ppid=30348 vsize=11024 CPUtime=1.15 cores=1,3,5,7
/proc/30349/stat : 30349 (npSolver-pbo) S 30348 30348 25792 0 -1 4202496 3114 13117 0 0 8 1 96 10 20 0 1 0 274165434 11288576 2300 33554432000 4194304 5992684 140735306817840 140735306804104 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/30349/statm: 2756 2300 171 440 0 2312 0
[pid=30354] ppid=30349 vsize=24828 CPUtime=1.9 cores=1,3,5,7
/proc/30354/stat : 30354 (glucosInc) R 30349 30348 25792 0 -1 4202496 4864 0 0 0 190 0 0 0 20 0 1 0 274165552 25423872 5086 33554432000 4194304 5654031 140733946679488 140733946667304 4232800 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30354/statm: 6207 5086 140 357 0 5847 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 45000
[startup+6.30042 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 30357
/proc/meminfo: memFree=31288720/32873844 swapFree=7112/7112
[pid=30348] ppid=30346 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30348/stat : 30348 (npSolver-pbo-It) S 30346 30348 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274165434 9367552 274 33554432000 4194304 5064252 140736590900224 140736590899136 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30348/statm: 2287 274 233 213 0 72 0
[pid=30349] ppid=30348 vsize=13352 CPUtime=4.89 cores=1,3,5,7
/proc/30349/stat : 30349 (npSolver-pbo) S 30348 30348 25792 0 -1 4202496 4029 19301 0 0 14 23 439 13 20 0 1 0 274165434 13672448 2868 33554432000 4194304 5992684 140735306817840 140735306803672 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/30349/statm: 3338 2868 181 440 0 2894 0
[pid=30357] ppid=30349 vsize=28248 CPUtime=1.37 cores=1,3,5,7
/proc/30357/stat : 30357 (glucosInc) R 30349 30348 25792 0 -1 4202496 5767 0 0 0 137 0 0 0 20 0 1 0 274165925 28925952 5959 33554432000 4194304 5654031 140734843162352 140734843160040 4208694 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30357/statm: 7062 5959 139 357 0 6702 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 50748
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 30359
/proc/meminfo: memFree=31285552/32873844 swapFree=7112/7112
[pid=30348] ppid=30346 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30348/stat : 30348 (npSolver-pbo-It) S 30346 30348 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274165434 9367552 274 33554432000 4194304 5064252 140736590900224 140736590899136 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30348/statm: 2287 274 233 213 0 72 0
[pid=30349] ppid=30348 vsize=14180 CPUtime=7.37 cores=1,3,5,7
/proc/30349/stat : 30349 (npSolver-pbo) S 30348 30348 25792 0 -1 4202496 5038 25781 0 0 16 24 683 14 20 0 1 0 274165434 14520320 3079 33554432000 4194304 5992684 140735306817840 140735306803672 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/30349/statm: 3545 3079 181 440 0 3101 0
[pid=30359] ppid=30349 vsize=29224 CPUtime=5.29 cores=1,3,5,7
/proc/30359/stat : 30359 (glucosInc) R 30349 30348 25792 0 -1 4202496 6838 0 0 0 528 1 0 0 20 0 1 0 274166174 29925376 6256 33554432000 4194304 5654031 140734254759312 140734254757208 4232477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30359/statm: 7306 6256 141 357 0 6946 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 52552
[startup+25.5004 s]
/proc/loadavg: 2.07 2.02 2.00 3/182 30363
/proc/meminfo: memFree=31284088/32873844 swapFree=7112/7112
[pid=30348] ppid=30346 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30348/stat : 30348 (npSolver-pbo-It) S 30346 30348 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274165434 9367552 274 33554432000 4194304 5064252 140736590900224 140736590899136 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30348/statm: 2287 274 233 213 0 72 0
[pid=30349] ppid=30348 vsize=14984 CPUtime=16.47 cores=1,3,5,7
/proc/30349/stat : 30349 (npSolver-pbo) S 30348 30348 25792 0 -1 4202496 7054 39783 0 0 20 24 1583 20 20 0 1 0 274165434 15343616 3210 33554432000 4194304 5992684 140735306817840 140735306803672 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/30349/statm: 3746 3210 181 440 0 3302 0
[pid=30363] ppid=30349 vsize=29952 CPUtime=8.99 cores=1,3,5,7
/proc/30363/stat : 30363 (glucosInc) R 30349 30348 25792 0 -1 4202496 7310 0 0 0 897 2 0 0 20 0 1 0 274167084 30670848 6516 33554432000 4194304 5654031 140734859134224 140734859122040 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30363/statm: 7488 6516 141 357 0 7128 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 54084
[startup+51.1004 s]
/proc/loadavg: 2.05 2.01 2.00 3/182 30363
/proc/meminfo: memFree=31270684/32873844 swapFree=7112/7112
[pid=30348] ppid=30346 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30348/stat : 30348 (npSolver-pbo-It) S 30346 30348 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274165434 9367552 274 33554432000 4194304 5064252 140736590900224 140736590899136 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30348/statm: 2287 274 233 213 0 72 0
[pid=30349] ppid=30348 vsize=14984 CPUtime=16.47 cores=1,3,5,7
/proc/30349/stat : 30349 (npSolver-pbo) S 30348 30348 25792 0 -1 4202496 7054 39783 0 0 20 24 1583 20 20 0 1 0 274165434 15343616 3210 33554432000 4194304 5992684 140735306817840 140735306803672 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/30349/statm: 3746 3210 181 440 0 3302 0
[pid=30363] ppid=30349 vsize=53844 CPUtime=34.58 cores=1,3,5,7
/proc/30363/stat : 30363 (glucosInc) R 30349 30348 25792 0 -1 4202496 9330 0 0 0 3455 3 0 0 20 0 1 0 274167084 55136256 11783 33554432000 4194304 5654031 140734859134224 140734859122040 4232528 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30363/statm: 13461 11783 141 357 0 13101 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 77976
[startup+102.307 s]
/proc/loadavg: 2.10 2.03 2.01 3/183 30387
/proc/meminfo: memFree=31258316/32873844 swapFree=7112/7112
[pid=30348] ppid=30346 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30348/stat : 30348 (npSolver-pbo-It) S 30346 30348 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274165434 9367552 274 33554432000 4194304 5064252 140736590900224 140736590899136 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30348/statm: 2287 274 233 213 0 72 0
[pid=30349] ppid=30348 vsize=14984 CPUtime=67.32 cores=1,3,5,7
/proc/30349/stat : 30349 (npSolver-pbo) S 30348 30348 25792 0 -1 4202496 7985 49989 0 0 22 25 6660 25 20 0 1 0 274165434 15343616 3210 33554432000 4194304 5992684 140735306817840 140735306803672 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/30349/statm: 3746 3210 181 440 0 3302 0
[pid=30387] ppid=30349 vsize=49440 CPUtime=34.93 cores=1,3,5,7
/proc/30387/stat : 30387 (glucosInc) R 30349 30348 25792 0 -1 4202496 9780 0 0 0 3490 3 0 0 20 0 1 0 274172170 50626560 11317 33554432000 4194304 5654031 140735730833744 140735730821560 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30387/statm: 12360 11317 141 357 0 12000 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 73572
[startup+162.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/182 30389
/proc/meminfo: memFree=31256656/32873844 swapFree=7112/7112
[pid=30348] ppid=30346 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30348/stat : 30348 (npSolver-pbo-It) S 30346 30348 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274165434 9367552 274 33554432000 4194304 5064252 140736590900224 140736590899136 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30348/statm: 2287 274 233 213 0 72 0
[pid=30349] ppid=30348 vsize=14984 CPUtime=129.47 cores=1,3,5,7
/proc/30349/stat : 30349 (npSolver-pbo) S 30348 30348 25792 0 -1 4202496 8916 60767 0 0 25 25 12867 30 20 0 1 0 274165434 15343616 3210 33554432000 4194304 5992684 140735306817840 140735306803672 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/30349/statm: 3746 3210 181 440 0 3302 0
[pid=30389] ppid=30349 vsize=45072 CPUtime=32.76 cores=1,3,5,7
/proc/30389/stat : 30389 (glucosInc) R 30349 30348 25792 0 -1 4202496 9140 0 0 0 3274 2 0 0 20 0 1 0 274178386 46153728 10258 33554432000 4194304 5654031 140737454631376 140737454619192 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30389/statm: 11268 10258 141 357 0 10908 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 69204
[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/182 30392
/proc/meminfo: memFree=31271980/32873844 swapFree=7112/7112
[pid=30348] ppid=30346 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30348/stat : 30348 (npSolver-pbo-It) S 30346 30348 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274165434 9367552 274 33554432000 4194304 5064252 140736590900224 140736590899136 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30348/statm: 2287 274 233 213 0 72 0
[pid=30349] ppid=30348 vsize=14984 CPUtime=200.08 cores=1,3,5,7
/proc/30349/stat : 30349 (npSolver-pbo) S 30348 30348 25792 0 -1 4202496 9845 71556 0 0 27 25 19922 34 20 0 1 0 274165434 15343616 3210 33554432000 4194304 5992684 140735306817840 140735306803672 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/30349/statm: 3746 3210 181 440 0 3302 0
[pid=30392] ppid=30349 vsize=45108 CPUtime=22.14 cores=1,3,5,7
/proc/30392/stat : 30392 (glucosInc) R 30349 30348 25792 0 -1 4202496 8314 0 0 0 2212 2 0 0 20 0 1 0 274185449 46190592 9562 33554432000 4194304 5654031 140735904341920 140735904329736 4232477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30392/statm: 11277 9562 141 357 0 10917 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 69240
[startup+282.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/182 30392
/proc/meminfo: memFree=31246956/32873844 swapFree=7112/7112
[pid=30348] ppid=30346 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=31372620/32873844 swapFree=7112/7112
[pid=30348] ppid=30346 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30348/stat : 30348 (npSolver-pbo-It) S 30346 30348 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274165434 9367552 274 33554432000 4194304 5064252 140736590900224 140736590899136 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30348/statm: 2287 274 233 213 0 72 0
[pid=30349] ppid=30348 vsize=14984 CPUtime=1003.86 cores=1,3,5,7
/proc/30349/stat : 30349 (npSolver-pbo) S 30348 30348 25792 0 -1 4202496 10775 92294 0 0 29 25 100277 55 20 0 1 0 274165434 15343616 3210 33554432000 4194304 5992684 140735306817840 140735306803672 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30349/statm: 3746 3210 181 440 0 3302 0
[pid=30452] ppid=30349 vsize=91840 CPUtime=238.18 cores=1,3,5,7
/proc/30452/stat : 30452 (glucosInc) R 30349 30348 25792 0 -1 4202496 12097 0 0 0 23811 7 0 0 20 0 1 0 274265840 94044160 22082 33554432000 4194304 5654031 140735655413248 140735655401064 4215132 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30452/statm: 22960 22082 141 357 0 22600 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 115972
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 30458
/proc/meminfo: memFree=31359824/32873844 swapFree=7112/7112
[pid=30348] ppid=30346 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30348/stat : 30348 (npSolver-pbo-It) S 30346 30348 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274165434 9367552 274 33554432000 4194304 5064252 140736590900224 140736590899136 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30348/statm: 2287 274 233 213 0 72 0
[pid=30349] ppid=30348 vsize=14984 CPUtime=1003.86 cores=1,3,5,7
/proc/30349/stat : 30349 (npSolver-pbo) S 30348 30348 25792 0 -1 4202496 10775 92294 0 0 29 25 100277 55 20 0 1 0 274165434 15343616 3210 33554432000 4194304 5992684 140735306817840 140735306803672 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30349/statm: 3746 3210 181 440 0 3302 0
[pid=30452] ppid=30349 vsize=124676 CPUtime=298.18 cores=1,3,5,7
/proc/30452/stat : 30452 (glucosInc) R 30349 30348 25792 0 -1 4202496 13045 0 0 0 29810 8 0 0 20 0 1 0 274265840 127668224 24540 33554432000 4194304 5654031 140735655413248 140735655401064 4216505 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30452/statm: 31169 24540 141 357 0 30809 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 148808
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 30458
/proc/meminfo: memFree=31311912/32873844 swapFree=7112/7112
[pid=30348] ppid=30346 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30348/stat : 30348 (npSolver-pbo-It) S 30346 30348 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274165434 9367552 274 33554432000 4194304 5064252 140736590900224 140736590899136 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30348/statm: 2287 274 233 213 0 72 0
[pid=30349] ppid=30348 vsize=14984 CPUtime=1003.86 cores=1,3,5,7
/proc/30349/stat : 30349 (npSolver-pbo) S 30348 30348 25792 0 -1 4202496 10775 92294 0 0 29 25 100277 55 20 0 1 0 274165434 15343616 3210 33554432000 4194304 5992684 140735306817840 140735306803672 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30349/statm: 3746 3210 181 440 0 3302 0
[pid=30452] ppid=30349 vsize=124676 CPUtime=358.16 cores=1,3,5,7
/proc/30452/stat : 30452 (glucosInc) R 30349 30348 25792 0 -1 4202496 13439 0 0 0 35807 9 0 0 20 0 1 0 274265840 127668224 26076 33554432000 4194304 5654031 140735655413248 140735655401064 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30452/statm: 31169 26076 141 357 0 30809 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 148808
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 30459
/proc/meminfo: memFree=31307940/32873844 swapFree=7112/7112
[pid=30348] ppid=30346 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30348/stat : 30348 (npSolver-pbo-It) S 30346 30348 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274165434 9367552 274 33554432000 4194304 5064252 140736590900224 140736590899136 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30348/statm: 2287 274 233 213 0 72 0
[pid=30349] ppid=30348 vsize=14984 CPUtime=1003.86 cores=1,3,5,7
/proc/30349/stat : 30349 (npSolver-pbo) S 30348 30348 25792 0 -1 4202496 10775 92294 0 0 29 25 100277 55 20 0 1 0 274165434 15343616 3210 33554432000 4194304 5992684 140735306817840 140735306803672 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30349/statm: 3746 3210 181 440 0 3302 0
[pid=30452] ppid=30349 vsize=124676 CPUtime=418.16 cores=1,3,5,7
/proc/30452/stat : 30452 (glucosInc) R 30349 30348 25792 0 -1 4202496 13832 0 0 0 41806 10 0 0 20 0 1 0 274265840 127668224 26076 33554432000 4194304 5654031 140735655413248 140735655401064 4208599 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30452/statm: 31169 26076 141 357 0 30809 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 148808
[startup+1482.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/182 30668
/proc/meminfo: memFree=31263020/32873844 swapFree=7112/7112
[pid=30348] ppid=30346 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30348/stat : 30348 (npSolver-pbo-It) S 30346 30348 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274165434 9367552 274 33554432000 4194304 5064252 140736590900224 140736590899136 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30348/statm: 2287 274 233 213 0 72 0
[pid=30349] ppid=30348 vsize=14984 CPUtime=1003.86 cores=1,3,5,7
/proc/30349/stat : 30349 (npSolver-pbo) S 30348 30348 25792 0 -1 4202496 10775 92294 0 0 29 25 100277 55 20 0 1 0 274165434 15343616 3210 33554432000 4194304 5992684 140735306817840 140735306803672 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30349/statm: 3746 3210 181 440 0 3302 0
[pid=30452] ppid=30349 vsize=173996 CPUtime=478.14 cores=1,3,5,7
/proc/30452/stat : 30452 (glucosInc) R 30349 30348 25792 0 -1 4202496 14618 0 0 0 47803 11 0 0 20 0 1 0 274265840 178171904 34644 33554432000 4194304 5654031 140735655413248 140735655401064 4232632 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30452/statm: 43499 34644 141 357 0 43139 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 198128
[startup+1542.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/181 30668
/proc/meminfo: memFree=31294988/32873844 swapFree=7112/7112
[pid=30348] ppid=30346 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30348/stat : 30348 (npSolver-pbo-It) S 30346 30348 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274165434 9367552 274 33554432000 4194304 5064252 140736590900224 140736590899136 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30348/statm: 2287 274 233 213 0 72 0
[pid=30349] ppid=30348 vsize=14984 CPUtime=1003.86 cores=1,3,5,7
/proc/30349/stat : 30349 (npSolver-pbo) S 30348 30348 25792 0 -1 4202496 10775 92294 0 0 29 25 100277 55 20 0 1 0 274165434 15343616 3210 33554432000 4194304 5992684 140735306817840 140735306803672 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30349/statm: 3746 3210 181 440 0 3302 0
[pid=30452] ppid=30349 vsize=124676 CPUtime=538.13 cores=1,3,5,7
/proc/30452/stat : 30452 (glucosInc) R 30349 30348 25792 0 -1 4202496 15014 0 0 0 53801 12 0 0 20 0 1 0 274265840 127668224 26076 33554432000 4194304 5654031 140735655413248 140735655401064 4208595 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30452/statm: 31169 26076 141 357 0 30809 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 148808
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 30668
/proc/meminfo: memFree=31251548/32873844 swapFree=7112/7112
[pid=30348] ppid=30346 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30348/stat : 30348 (npSolver-pbo-It) S 30346 30348 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274165434 9367552 274 33554432000 4194304 5064252 140736590900224 140736590899136 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30348/statm: 2287 274 233 213 0 72 0
[pid=30349] ppid=30348 vsize=14984 CPUtime=1003.86 cores=1,3,5,7
/proc/30349/stat : 30349 (npSolver-pbo) S 30348 30348 25792 0 -1 4202496 10775 92294 0 0 29 25 100277 55 20 0 1 0 274165434 15343616 3210 33554432000 4194304 5992684 140735306817840 140735306803672 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30349/statm: 3746 3210 181 440 0 3302 0
[pid=30452] ppid=30349 vsize=173996 CPUtime=598.12 cores=1,3,5,7
/proc/30452/stat : 30452 (glucosInc) R 30349 30348 25792 0 -1 4202496 15801 0 0 0 59799 13 0 0 20 0 1 0 274265840 178171904 34644 33554432000 4194304 5654031 140735655413248 140735655401064 4232800 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30452/statm: 43499 34644 141 357 0 43139 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 198128
[startup+1662.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/181 30670
/proc/meminfo: memFree=31348496/32873844 swapFree=7112/7112
[pid=30348] ppid=30346 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30348/stat : 30348 (npSolver-pbo-It) S 30346 30348 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274165434 9367552 274 33554432000 4194304 5064252 140736590900224 140736590899136 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30348/statm: 2287 274 233 213 0 72 0
[pid=30349] ppid=30348 vsize=14984 CPUtime=1003.86 cores=1,3,5,7
/proc/30349/stat : 30349 (npSolver-pbo) S 30348 30348 25792 0 -1 4202496 10775 92294 0 0 29 25 100277 55 20 0 1 0 274165434 15343616 3210 33554432000 4194304 5992684 140735306817840 140735306803672 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30349/statm: 3746 3210 181 440 0 3302 0
[pid=30452] ppid=30349 vsize=124676 CPUtime=658.12 cores=1,3,5,7
/proc/30452/stat : 30452 (glucosInc) R 30349 30348 25792 0 -1 4202496 16199 0 0 0 65798 14 0 0 20 0 1 0 274265840 127668224 26076 33554432000 4194304 5654031 140735655413248 140735655401064 4233021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30452/statm: 31169 26076 141 357 0 30809 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 148808
[startup+1722.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/180 30671
/proc/meminfo: memFree=31312688/32873844 swapFree=7112/7112
[pid=30348] ppid=30346 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30348/stat : 30348 (npSolver-pbo-It) S 30346 30348 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274165434 9367552 274 33554432000 4194304 5064252 140736590900224 140736590899136 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30348/statm: 2287 274 233 213 0 72 0
[pid=30349] ppid=30348 vsize=14984 CPUtime=1003.86 cores=1,3,5,7
/proc/30349/stat : 30349 (npSolver-pbo) S 30348 30348 25792 0 -1 4202496 10775 92294 0 0 29 25 100277 55 20 0 1 0 274165434 15343616 3210 33554432000 4194304 5992684 140735306817840 140735306803672 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30349/statm: 3746 3210 181 440 0 3302 0
[pid=30452] ppid=30349 vsize=173996 CPUtime=718.1 cores=1,3,5,7
/proc/30452/stat : 30452 (glucosInc) R 30349 30348 25792 0 -1 4202496 16985 0 0 0 71795 15 0 0 20 0 1 0 274265840 178171904 34132 33554432000 4194304 5654031 140735655413248 140735655401064 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30452/statm: 43499 34132 141 357 0 43139 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 198128
[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 30672
/proc/meminfo: memFree=31299572/32873844 swapFree=7112/7112
[pid=30348] ppid=30346 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30348/stat : 30348 (npSolver-pbo-It) S 30346 30348 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274165434 9367552 274 33554432000 4194304 5064252 140736590900224 140736590899136 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30348/statm: 2287 274 233 213 0 72 0
[pid=30349] ppid=30348 vsize=14984 CPUtime=1003.86 cores=1,3,5,7
/proc/30349/stat : 30349 (npSolver-pbo) S 30348 30348 25792 0 -1 4202496 10775 92294 0 0 29 25 100277 55 20 0 1 0 274165434 15343616 3210 33554432000 4194304 5992684 140735306817840 140735306803672 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30349/statm: 3746 3210 181 440 0 3302 0
[pid=30452] ppid=30349 vsize=173996 CPUtime=778.1 cores=1,3,5,7
/proc/30452/stat : 30452 (glucosInc) R 30349 30348 25792 0 -1 4202496 17385 0 0 0 77794 16 0 0 20 0 1 0 274265840 178171904 36180 33554432000 4194304 5654031 140735655413248 140735655401064 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30452/statm: 43499 36180 141 357 0 43139 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 198128
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.01 2.02 2.00 3/182 30675
/proc/meminfo: memFree=31318864/32873844 swapFree=7112/7112
[pid=30348] ppid=30346 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30348/stat : 30348 (npSolver-pbo-It) S 30346 30348 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274165434 9367552 274 33554432000 4194304 5064252 140736590900224 140736590899136 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30348/statm: 2287 274 233 213 0 72 0
[pid=30349] ppid=30348 vsize=14984 CPUtime=1003.86 cores=1,3,5,7
/proc/30349/stat : 30349 (npSolver-pbo) S 30348 30348 25792 0 -1 4202496 10775 92294 0 0 29 25 100277 55 20 0 1 0 274165434 15343616 3210 33554432000 4194304 5992684 140735306817840 140735306803672 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30349/statm: 3746 3210 181 440 0 3302 0
[pid=30452] ppid=30349 vsize=124676 CPUtime=796.2 cores=1,3,5,7
/proc/30452/stat : 30452 (glucosInc) R 30349 30348 25792 0 -1 4202496 17387 0 0 0 79604 16 0 0 20 0 1 0 274265840 127668224 26076 33554432000 4194304 5654031 140735655413248 140735655401064 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30452/statm: 31169 26076 141 357 0 30809 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 148808
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.09
CPU user time (s): 1799.12
CPU system time (s): 0.978851
CPU usage (%): 99.9824
Max. virtual memory (cumulated for all children) (KiB): 201044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.12
system time used= 0.978851
maximum resident set size= 170812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120836
page faults= 0
swaps= 0
block input operations= 0
block output operations= 73448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1134
involuntary context switches= 2743
runsolver used 3.14052 second user time and 8.50271 second system time
The end