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-3737128-1339248532/watcher-3737128-1339248532 -o /tmp/evaluation-result-3737128-1339248532/solver-3737128-1339248532 -C 1800 -W 1900 -M 15500 run HOME/instance-3737128-1339248532.opb
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: 10.52 5.82 4.74 10/184 17421
/proc/meminfo: memFree=26790684/32873648 swapFree=7376/7376
[pid=17421] ppid=17419 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17421/stat : 17421 (run) S 17419 17421 15880 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390978630 9367552 270 33554432000 4194304 5064252 140737350035248 140737350034160 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17421/statm: 2287 270 229 213 0 72 0
[startup+0.102791 s]
/proc/loadavg: 10.52 5.82 4.74 10/184 17421
/proc/meminfo: memFree=26790684/32873648 swapFree=7376/7376
[pid=17421] ppid=17419 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17421/stat : 17421 (run) S 17419 17421 15880 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390978630 9367552 270 33554432000 4194304 5064252 140737350035248 140737350034160 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17421/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.200139 s]
/proc/loadavg: 10.52 5.82 4.74 10/184 17421
/proc/meminfo: memFree=26790684/32873648 swapFree=7376/7376
[pid=17421] ppid=17419 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17421/stat : 17421 (run) S 17419 17421 15880 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390978630 9367552 270 33554432000 4194304 5064252 140737350035248 140737350034160 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17421/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300132 s]
/proc/loadavg: 10.52 5.82 4.74 10/184 17421
/proc/meminfo: memFree=26790684/32873648 swapFree=7376/7376
[pid=17421] ppid=17419 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17421/stat : 17421 (run) S 17419 17421 15880 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390978630 9367552 270 33554432000 4194304 5064252 140737350035248 140737350034160 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17421/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700169 s]
/proc/loadavg: 10.52 5.82 4.74 10/184 17421
/proc/meminfo: memFree=26790684/32873648 swapFree=7376/7376
[pid=17421] ppid=17419 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17421/stat : 17421 (run) S 17419 17421 15880 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390978630 9367552 270 33554432000 4194304 5064252 140737350035248 140737350034160 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17421/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50014 s]
/proc/loadavg: 10.40 5.87 4.77 10/186 17423
/proc/meminfo: memFree=26761180/32873648 swapFree=7376/7376
[pid=17421] ppid=17419 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17421/stat : 17421 (run) S 17419 17421 15880 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390978630 9367552 270 33554432000 4194304 5064252 140737350035248 140737350034160 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17421/statm: 2287 270 229 213 0 72 0
[pid=17422] ppid=17421 vsize=51224 CPUtime=1.49 cores=0,2,4,6
/proc/17422/stat : 17422 (pb_cplex) R 17421 17421 15880 0 -1 4202496 13061 0 0 0 147 2 0 0 20 0 1 0 390978630 52453376 8322 33554432000 134512640 146736320 4293656416 4293650964 135855165 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/17422/statm: 12806 8322 790 2985 0 9740 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 60372
[startup+3.10032 s]
/proc/loadavg: 10.40 5.87 4.77 5/186 17423
/proc/meminfo: memFree=26760312/32873648 swapFree=7376/7376
[pid=17421] ppid=17419 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17421/stat : 17421 (run) S 17419 17421 15880 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390978630 9367552 270 33554432000 4194304 5064252 140737350035248 140737350034160 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17421/statm: 2287 270 229 213 0 72 0
[pid=17422] ppid=17421 vsize=62132 CPUtime=3.09 cores=0,2,4,6
/proc/17422/stat : 17422 (pb_cplex) R 17421 17421 15880 0 -1 4202496 14921 0 0 0 307 2 0 0 20 0 1 0 390978630 63623168 10320 33554432000 134512640 146736320 4293656416 4293649436 135854189 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/17422/statm: 15533 10320 856 2985 0 12467 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 71280
[startup+6.30022 s]
/proc/loadavg: 10.40 5.87 4.77 5/186 17423
/proc/meminfo: memFree=26742840/32873648 swapFree=7376/7376
[pid=17421] ppid=17419 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17421/stat : 17421 (run) S 17419 17421 15880 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390978630 9367552 270 33554432000 4194304 5064252 140737350035248 140737350034160 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17421/statm: 2287 270 229 213 0 72 0
[pid=17422] ppid=17421 vsize=73176 CPUtime=6.29 cores=0,2,4,6
/proc/17422/stat : 17422 (pb_cplex) R 17421 17421 15880 0 -1 4202496 17008 0 0 0 627 2 0 0 20 0 1 0 390978630 74932224 12844 33554432000 134512640 146736320 4293656416 4293652240 137698794 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/17422/statm: 18294 12844 881 2985 0 15228 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 82324
[startup+12.7003 s]
/proc/loadavg: 9.17 5.76 4.74 10/186 17423
/proc/meminfo: memFree=26742284/32873648 swapFree=7376/7376
[pid=17421] ppid=17419 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17421/stat : 17421 (run) S 17419 17421 15880 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390978630 9367552 270 33554432000 4194304 5064252 140737350035248 140737350034160 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17421/statm: 2287 270 229 213 0 72 0
[pid=17422] ppid=17421 vsize=73176 CPUtime=12.69 cores=0,2,4,6
/proc/17422/stat : 17422 (pb_cplex) R 17421 17421 15880 0 -1 4202496 17044 0 0 0 1267 2 0 0 20 0 1 0 390978630 74932224 12880 33554432000 134512640 146736320 4293656416 4293652240 137698804 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/17422/statm: 18294 12880 881 2985 0 15228 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 82324
[startup+25.5002 s]
/proc/loadavg: 9.14 5.86 4.79 10/186 17423
/proc/meminfo: memFree=26735740/32873648 swapFree=7376/7376
[pid=17421] ppid=17419 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17421/stat : 17421 (run) S 17419 17421 15880 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390978630 9367552 270 33554432000 4194304 5064252 140737350035248 140737350034160 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17421/statm: 2287 270 229 213 0 72 0
[pid=17422] ppid=17421 vsize=83032 CPUtime=25.49 cores=0,2,4,6
/proc/17422/stat : 17422 (pb_cplex) R 17421 17421 15880 0 -1 4202496 24719 0 0 0 2545 4 0 0 20 0 1 0 390978630 85024768 14304 33554432000 134512640 146736320 4293656416 4293652240 137698804 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/17422/statm: 20758 14304 912 2985 0 17692 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 92180
[startup+51.1003 s]
/proc/loadavg: 8.93 6.12 4.90 10/186 17423
/proc/meminfo: memFree=26734924/32873648 swapFree=7376/7376
[pid=17421] ppid=17419 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17421/stat : 17421 (run) S 17419 17421 15880 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390978630 9367552 270 33554432000 4194304 5064252 140737350035248 140737350034160 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17421/statm: 2287 270 229 213 0 72 0
[pid=17422] ppid=17421 vsize=78064 CPUtime=51.08 cores=0,2,4,6
/proc/17422/stat : 17422 (pb_cplex) R 17421 17421 15880 0 -1 4202496 31660 0 0 0 5103 5 0 0 20 0 1 0 390978630 79937536 13685 33554432000 134512640 146736320 4293656416 4293652240 137698804 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/17422/statm: 19516 13685 912 2985 0 16450 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 87212
[startup+102.3 s]
/proc/loadavg: 7.59 6.18 4.98 10/187 17426
/proc/meminfo: memFree=26689392/32873648 swapFree=7376/7376
[pid=17421] ppid=17419 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17421/stat : 17421 (run) S 17419 17421 15880 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390978630 9367552 270 33554432000 4194304 5064252 140737350035248 140737350034160 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17421/statm: 2287 270 229 213 0 72 0
[pid=17422] ppid=17421 vsize=78260 CPUtime=102.28 cores=0,2,4,6
/proc/17422/stat : 17422 (pb_cplex) R 17421 17421 15880 0 -1 4202496 41950 0 0 0 10221 7 0 0 20 0 1 0 390978630 80138240 13986 33554432000 134512640 146736320 4293656416 4293652240 137698804 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/17422/statm: 19565 13986 912 2985 0 16499 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 87408
[startup+162.3 s]
/proc/loadavg: 8.48 6.69 5.23 10/186 17427
/proc/meminfo: memFree=26681496/32873648 swapFree=7376/7376
[pid=17421] ppid=17419 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17421/stat : 17421 (run) S 17419 17421 15880 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390978630 9367552 270 33554432000 4194304 5064252 140737350035248 140737350034160 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17421/statm: 2287 270 229 213 0 72 0
[pid=17422] ppid=17421 vsize=78452 CPUtime=162.26 cores=0,2,4,6
/proc/17422/stat : 17422 (pb_cplex) R 17421 17421 15880 0 -1 4202496 60508 0 0 0 16215 11 0 0 20 0 1 0 390978630 80334848 14180 33554432000 134512640 146736320 4293656416 4293652240 137698844 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/17422/statm: 19613 14180 912 2985 0 16547 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 87600
[startup+222.307 s]
/proc/loadavg: 7.68 6.81 5.37 10/193 17434
/proc/meminfo: memFree=26665752/32873648 swapFree=7376/7376
[pid=17421] ppid=17419 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17421/stat : 17421 (run) S 17419 17421 15880 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390978630 9367552 270 33554432000 4194304 5064252 140737350035248 140737350034160 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17421/statm: 2287 270 229 213 0 72 0
[pid=17422] ppid=17421 vsize=194548 CPUtime=222.26 cores=0,2,4,6
/proc/17422/stat : 17422 (pb_cplex) R 17421 17421 15880 0 -1 4202496 78703 0 0 0 22212 14 0 0 20 0 8 0 390978630 199217152 21960 33554432000 134512640 146736320 4293656416 4293649296 136008050 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17422/statm: 48637 21960 943 2985 0 45571 0
[pid=17422/tid=17428] ppid=17421 vsize=194548 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17428/stat : 17428 (pb_cplex) S 17421 17421 15880 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 390999684 199217152 21960 33554432000 134512640 146736320 4293656416 4101668496 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17422/tid=17429] ppid=17421 vsize=194548 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17429/stat : 17429 (pb_cplex) S 17421 17421 15880 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 390999684 199217152 21960 33554432000 134512640 146736320 4293656416 4091182736 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17422/tid=17430] ppid=17421 vsize=194548 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17430/stat : 17430 (pb_cplex) S 17421 17421 15880 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 390999684 199217152 21960 33554432000 134512640 146736320 4293656416 4080696976 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17422/tid=17431] ppid=17421 vsize=194548 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17431/stat : 17431 (pb_cplex) S 17421 17421 15880 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 390999684 199217152 21960 33554432000 134512640 146736320 4293656416 4070211216 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17422/tid=17432] ppid=17421 vsize=194548 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17432/stat : 17432 (pb_cplex) S 17421 17421 15880 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 390999684 199217152 21960 33554432000 134512640 146736320 4293656416 4059725456 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17422/tid=17433] ppid=17421 vsize=194548 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17433/stat : 17433 (pb_cplex) S 17421 17421 15880 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 390999684 199217152 21960 33554432000 134512640 146736320 4293656416 4049239696 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17422/tid=17434] ppid=17421 vsize=194548 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17434/stat : 17434 (pb_cplex) S 17421 17421 15880 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 390999684 199217152 21960 33554432000 134512640 146736320 4293656416 4038753936 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 203696
[startup+282.3 s]
/proc/loadavg: 11.06 7.89 5.82 12/193 17434
/proc/meminfo: memFree=26616528/32873648 swapFree=7376/7376
[pid=17421] ppid=17419 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17421/stat : 17421 (run) S 17419 17421 15880 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390978630 9367552 270 33554432000 4194304 5064252 140737350035248 140737350034160 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17421/statm: 2287 270 229 213 0 72 0
[pid=17422] ppid=17421 vsize=252548 CPUtime=431.08 cores=0,2,4,6
/proc/17422/stat : 17422 (pb_cplex) R 17421 17421 15880 0 -1 4202496 129728 0 0 0 43078 30 0 0 20 0 8 0 390978630 258609152 33526 33554432000 134512640 146736320 4293656416 4293649160 139042888 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17422/statm: 63137 33526 945 2985 0 60071 0
[pid=17422/tid=17428] ppid=17421 vsize=252548 CPUtime=32.71 cores=0,2,4,6
/proc/17422/task/17428/stat : 17428 (pb_cplex) R 17421 17421 15880 0 -1 4202560 2120 0 0 0 3271 0 0 0 20 0 8 0 390999684 258609152 33526 33554432000 134512640 146736320 4293656416 4101663832 136007616 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=17422/tid=17429] ppid=17421 vsize=252548 CPUtime=34.4 cores=0,2,4,6
/proc/17422/task/17429/stat : 17429 (pb_cplex) R 17421 17421 15880 0 -1 4202560 6954 0 0 0 3438 2 0 0 20 0 8 0 390999684 258609152 33526 33554432000 134512640 146736320 4293656416 4091179160 136007612 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17422/tid=17430] ppid=17421 vsize=252548 CPUtime=20.59 cores=0,2,4,6
################
# More data... #
################
/proc/17422/statm: 100473 62669 970 2985 0 97407 0
[pid=17422/tid=17570] ppid=17421 vsize=401892 CPUtime=3.77 cores=0,2,4,6
/proc/17422/task/17570/stat : 17570 (pb_cplex) R 17421 17421 15880 0 -1 4202560 5124 0 0 0 375 2 0 0 20 0 8 0 391026888 411537408 62669 33554432000 134512640 146736320 4293656416 4093112392 139042885 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=17422/tid=17571] ppid=17421 vsize=401892 CPUtime=3.88 cores=0,2,4,6
/proc/17422/task/17571/stat : 17571 (pb_cplex) R 17421 17421 15880 0 -1 4202560 5447 0 0 0 386 2 0 0 20 0 8 0 391026888 411537408 62669 33554432000 134512640 146736320 4293656416 4103597248 136400753 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17422/tid=17572] ppid=17421 vsize=401892 CPUtime=3.75 cores=0,2,4,6
/proc/17422/task/17572/stat : 17572 (pb_cplex) R 17421 17421 15880 0 -1 4202560 5094 0 0 0 375 0 0 0 20 0 8 0 391026888 411537408 62669 33554432000 134512640 146736320 4293656416 4114083208 135999699 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=17422/tid=17573] ppid=17421 vsize=401892 CPUtime=3.78 cores=0,2,4,6
/proc/17422/task/17573/stat : 17573 (pb_cplex) R 17421 17421 15880 0 -1 4202560 2166 0 0 0 378 0 0 0 20 0 8 0 391026888 411537408 62669 33554432000 134512640 146736320 4293656416 4070207400 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=17422/tid=17574] ppid=17421 vsize=401892 CPUtime=3.8 cores=0,2,4,6
/proc/17422/task/17574/stat : 17574 (pb_cplex) R 17421 17421 15880 0 -1 4202560 1735 0 0 0 380 0 0 0 20 0 8 0 391026888 411537408 62669 33554432000 134512640 146736320 4293656416 3905695952 136008058 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=17422/tid=17575] ppid=17421 vsize=401892 CPUtime=3.55 cores=0,2,4,6
/proc/17422/task/17575/stat : 17575 (pb_cplex) R 17421 17421 15880 0 -1 4202560 3048 0 0 0 355 0 0 0 20 0 8 0 391026888 411537408 62669 33554432000 134512640 146736320 4293656416 3895209488 136403112 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17422/tid=17576] ppid=17421 vsize=401892 CPUtime=3.56 cores=0,2,4,6
/proc/17422/task/17576/stat : 17576 (pb_cplex) R 17421 17421 15880 0 -1 4202560 1795 0 0 0 356 0 0 0 20 0 8 0 391026888 411537408 62669 33554432000 134512640 146736320 4293656416 3884724432 136008050 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 763.95
Current children cumulated vsize (KiB) 411040
[startup+582.3 s]
/proc/loadavg: 11.52 9.08 6.83 17/193 17590
/proc/meminfo: memFree=26495196/32873648 swapFree=7376/7376
[pid=17421] ppid=17419 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17421/stat : 17421 (run) S 17419 17421 15880 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390978630 9367552 270 33554432000 4194304 5064252 140737350035248 140737350034160 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17421/statm: 2287 270 229 213 0 72 0
[pid=17422] ppid=17421 vsize=399580 CPUtime=994.83 cores=0,2,4,6
/proc/17422/stat : 17422 (pb_cplex) R 17421 17421 15880 0 -1 4202496 360518 0 0 0 99377 106 0 0 20 0 8 0 390978630 409169920 63693 33554432000 134512640 146736320 4293656416 4293649296 136008050 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17422/statm: 99895 63693 970 2985 0 96829 0
[pid=17422/tid=17570] ppid=17421 vsize=399580 CPUtime=35.23 cores=0,2,4,6
/proc/17422/task/17570/stat : 17570 (pb_cplex) R 17421 17421 15880 0 -1 4202560 24549 0 0 0 3518 5 0 0 20 0 8 0 391026888 409169920 63693 33554432000 134512640 146736320 4293656416 4093111288 136475822 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=17422/tid=17571] ppid=17421 vsize=399580 CPUtime=32.74 cores=0,2,4,6
/proc/17422/task/17571/stat : 17571 (pb_cplex) R 17421 17421 15880 0 -1 4202560 22924 0 0 0 3268 6 0 0 20 0 8 0 391026888 409169920 63693 33554432000 134512640 146736320 4293656416 4103597448 136000401 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=17422/tid=17572] ppid=17421 vsize=399580 CPUtime=27.11 cores=0,2,4,6
/proc/17422/task/17572/stat : 17572 (pb_cplex) R 17421 17421 15880 0 -1 4202560 24271 0 0 0 2705 6 0 0 20 0 8 0 391026888 409169920 63693 33554432000 134512640 146736320 4293656416 4114082960 136008069 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17422/tid=17573] ppid=17421 vsize=399580 CPUtime=31.63 cores=0,2,4,6
/proc/17422/task/17573/stat : 17573 (pb_cplex) R 17421 17421 15880 0 -1 4202560 17830 0 0 0 3158 5 0 0 20 0 8 0 391026888 409169920 63693 33554432000 134512640 146736320 4293656416 4070206472 139042890 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=17422/tid=17574] ppid=17421 vsize=399580 CPUtime=33.3 cores=0,2,4,6
/proc/17422/task/17574/stat : 17574 (pb_cplex) R 17421 17421 15880 0 -1 4202560 20531 0 0 0 3324 6 0 0 20 0 8 0 391026888 409169920 63693 33554432000 134512640 146736320 4293656416 3905695816 139042883 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17422/tid=17575] ppid=17421 vsize=399580 CPUtime=30.79 cores=0,2,4,6
/proc/17422/task/17575/stat : 17575 (pb_cplex) R 17421 17421 15880 0 -1 4202560 11598 0 0 0 3075 4 0 0 20 0 8 0 391026888 409169920 63693 33554432000 134512640 146736320 4293656416 3895209104 136008069 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=17422/tid=17576] ppid=17421 vsize=399580 CPUtime=33.09 cores=0,2,4,6
/proc/17422/task/17576/stat : 17576 (pb_cplex) R 17421 17421 15880 0 -1 4202560 15381 0 0 0 3304 5 0 0 20 0 8 0 391026888 409169920 63693 33554432000 134512640 146736320 4293656416 3884724264 139044505 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 994.83
Current children cumulated vsize (KiB) 408728
[startup+642.3 s]
/proc/loadavg: 12.54 9.85 7.24 10/193 17590
/proc/meminfo: memFree=26484980/32873648 swapFree=7376/7376
[pid=17421] ppid=17419 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17421/stat : 17421 (run) S 17419 17421 15880 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390978630 9367552 270 33554432000 4194304 5064252 140737350035248 140737350034160 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17421/statm: 2287 270 229 213 0 72 0
[pid=17422] ppid=17421 vsize=408008 CPUtime=1230.68 cores=0,2,4,6
/proc/17422/stat : 17422 (pb_cplex) R 17421 17421 15880 0 -1 4202496 469095 0 0 0 122932 136 0 0 20 0 8 0 390978630 417800192 66247 33554432000 134512640 146736320 4293656416 4293648040 139044585 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17422/statm: 102002 66247 970 2985 0 98936 0
[pid=17422/tid=17570] ppid=17421 vsize=408008 CPUtime=65.99 cores=0,2,4,6
/proc/17422/task/17570/stat : 17570 (pb_cplex) S 17421 17421 15880 0 -1 4202560 42578 0 0 0 6588 11 0 0 20 0 8 0 391026888 417800192 66247 33554432000 134512640 146736320 4293656416 4093116048 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17422/tid=17571] ppid=17421 vsize=408008 CPUtime=66.32 cores=0,2,4,6
/proc/17422/task/17571/stat : 17571 (pb_cplex) R 17421 17421 15880 0 -1 4202560 32049 0 0 0 6622 10 0 0 20 0 8 0 391026888 417800192 66247 33554432000 134512640 146736320 4293656416 4103598288 136008309 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=17422/tid=17572] ppid=17421 vsize=408008 CPUtime=54.21 cores=0,2,4,6
/proc/17422/task/17572/stat : 17572 (pb_cplex) S 17421 17421 15880 0 -1 4202560 41022 0 0 0 5410 11 0 0 20 0 8 0 391026888 417800192 66247 33554432000 134512640 146736320 4293656416 4114087568 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17422/tid=17573] ppid=17421 vsize=408008 CPUtime=62.36 cores=0,2,4,6
/proc/17422/task/17573/stat : 17573 (pb_cplex) S 17421 17421 15880 0 -1 4202560 30227 0 0 0 6228 8 0 0 20 0 8 0 391026888 417800192 66247 33554432000 134512640 146736320 4293656416 4070211216 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17422/tid=17574] ppid=17421 vsize=408008 CPUtime=56.12 cores=0,2,4,6
/proc/17422/task/17574/stat : 17574 (pb_cplex) S 17421 17421 15880 0 -1 4202560 34918 0 0 0 5603 9 0 0 20 0 8 0 391026888 417800192 66247 33554432000 134512640 146736320 4293656416 3905699472 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17422/tid=17575] ppid=17421 vsize=408008 CPUtime=64.69 cores=0,2,4,6
/proc/17422/task/17575/stat : 17575 (pb_cplex) R 17421 17421 15880 0 -1 4202560 20560 0 0 0 6461 8 0 0 20 0 8 0 391026888 417800192 66247 33554432000 134512640 146736320 4293656416 3895210192 136008039 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17422/tid=17576] ppid=17421 vsize=408008 CPUtime=56.26 cores=0,2,4,6
/proc/17422/task/17576/stat : 17576 (pb_cplex) S 17421 17421 15880 0 -1 4202560 31365 0 0 0 5616 10 0 0 20 0 8 0 391026888 417800192 66247 33554432000 134512640 146736320 4293656416 3884727952 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1230.68
Current children cumulated vsize (KiB) 417156
[startup+702.3 s]
/proc/loadavg: 13.02 10.52 7.63 14/194 17593
/proc/meminfo: memFree=26481960/32873648 swapFree=7376/7376
[pid=17421] ppid=17419 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17421/stat : 17421 (run) S 17419 17421 15880 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390978630 9367552 270 33554432000 4194304 5064252 140737350035248 140737350034160 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17421/statm: 2287 270 229 213 0 72 0
[pid=17422] ppid=17421 vsize=405520 CPUtime=1459.26 cores=0,2,4,6
/proc/17422/stat : 17422 (pb_cplex) S 17421 17421 15880 0 -1 4202496 568439 0 0 0 145764 162 0 0 20 0 8 0 390978630 415252480 66041 33554432000 134512640 146736320 4293656416 4293652816 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17422/statm: 101380 66041 970 2985 0 98314 0
[pid=17422/tid=17570] ppid=17421 vsize=405520 CPUtime=95.27 cores=0,2,4,6
/proc/17422/task/17570/stat : 17570 (pb_cplex) R 17421 17421 15880 0 -1 4202560 56661 0 0 0 9512 15 0 0 20 0 8 0 391026888 415252480 66041 33554432000 134512640 146736320 4293656416 4093112528 136008065 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17422/tid=17571] ppid=17421 vsize=405520 CPUtime=97.8 cores=0,2,4,6
/proc/17422/task/17571/stat : 17571 (pb_cplex) R 17421 17421 15880 0 -1 4202560 49752 0 0 0 9765 15 0 0 20 0 8 0 391026888 415252480 66041 33554432000 134512640 146736320 4293656416 4103598152 139042902 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=17422/tid=17572] ppid=17421 vsize=405520 CPUtime=79.72 cores=0,2,4,6
/proc/17422/task/17572/stat : 17572 (pb_cplex) S 17421 17421 15880 0 -1 4202560 54005 0 0 0 7957 15 0 0 20 0 8 0 391026888 415252480 66041 33554432000 134512640 146736320 4293656416 4114087568 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17422/tid=17573] ppid=17421 vsize=405520 CPUtime=91.28 cores=0,2,4,6
/proc/17422/task/17573/stat : 17573 (pb_cplex) R 17421 17421 15880 0 -1 4202560 38749 0 0 0 9116 12 0 0 20 0 8 0 391026888 415252480 66041 33554432000 134512640 146736320 4293656416 4070208064 136001203 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=17422/tid=17574] ppid=17421 vsize=405520 CPUtime=85.7 cores=0,2,4,6
/proc/17422/task/17574/stat : 17574 (pb_cplex) R 17421 17421 15880 0 -1 4202560 45745 0 0 0 8557 13 0 0 20 0 8 0 391026888 415252480 66041 33554432000 134512640 146736320 4293656416 3905695656 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=17422/tid=17575] ppid=17421 vsize=405520 CPUtime=98.1 cores=0,2,4,6
/proc/17422/task/17575/stat : 17575 (pb_cplex) R 17421 17421 15880 0 -1 4202560 35993 0 0 0 9797 13 0 0 20 0 8 0 391026888 415252480 66041 33554432000 134512640 146736320 4293656416 3895209800 135526330 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17422/tid=17576] ppid=17421 vsize=405520 CPUtime=81.17 cores=0,2,4,6
/proc/17422/task/17576/stat : 17576 (pb_cplex) S 17421 17421 15880 0 -1 4202560 40861 0 0 0 8104 13 0 0 20 0 8 0 391026888 415252480 66041 33554432000 134512640 146736320 4293656416 3884727952 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1459.26
Current children cumulated vsize (KiB) 414668
[startup+762.3 s]
/proc/loadavg: 13.07 10.98 7.96 11/193 17594
/proc/meminfo: memFree=26468920/32873648 swapFree=7376/7376
[pid=17421] ppid=17419 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17421/stat : 17421 (run) S 17419 17421 15880 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390978630 9367552 270 33554432000 4194304 5064252 140737350035248 140737350034160 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17421/statm: 2287 270 229 213 0 72 0
[pid=17422] ppid=17421 vsize=409020 CPUtime=1663.75 cores=0,2,4,6
/proc/17422/stat : 17422 (pb_cplex) R 17421 17421 15880 0 -1 4202496 651246 0 0 0 166190 185 0 0 20 0 8 0 390978630 418836480 66782 33554432000 134512640 146736320 4293656416 4293649296 136008065 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17422/statm: 102255 66782 970 2985 0 99189 0
[pid=17422/tid=17570] ppid=17421 vsize=409020 CPUtime=123.48 cores=0,2,4,6
/proc/17422/task/17570/stat : 17570 (pb_cplex) S 17421 17421 15880 0 -1 4202560 70602 0 0 0 12330 18 0 0 20 0 8 0 391026888 418836480 66782 33554432000 134512640 146736320 4293656416 4093116048 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17422/tid=17571] ppid=17421 vsize=409020 CPUtime=122.19 cores=0,2,4,6
/proc/17422/task/17571/stat : 17571 (pb_cplex) S 17421 17421 15880 0 -1 4202560 63222 0 0 0 12201 18 0 0 20 0 8 0 391026888 418836480 66782 33554432000 134512640 146736320 4293656416 4103601808 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17422/tid=17572] ppid=17421 vsize=409020 CPUtime=104.88 cores=0,2,4,6
/proc/17422/task/17572/stat : 17572 (pb_cplex) S 17421 17421 15880 0 -1 4202560 62634 0 0 0 10471 17 0 0 20 0 8 0 391026888 418836480 66782 33554432000 134512640 146736320 4293656416 4114087568 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17422/tid=17573] ppid=17421 vsize=409020 CPUtime=111.14 cores=0,2,4,6
/proc/17422/task/17573/stat : 17573 (pb_cplex) S 17421 17421 15880 0 -1 4202560 48234 0 0 0 11100 14 0 0 20 0 8 0 391026888 418836480 66782 33554432000 134512640 146736320 4293656416 4070211216 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17422/tid=17574] ppid=17421 vsize=409020 CPUtime=114.07 cores=0,2,4,6
/proc/17422/task/17574/stat : 17574 (pb_cplex) R 17421 17421 15880 0 -1 4202560 58170 0 0 0 11390 17 0 0 20 0 8 0 391026888 418836480 66782 33554432000 134512640 146736320 4293656416 3905696336 136403112 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=17422/tid=17575] ppid=17421 vsize=409020 CPUtime=130.89 cores=0,2,4,6
/proc/17422/task/17575/stat : 17575 (pb_cplex) S 17421 17421 15880 0 -1 4202560 48327 0 0 0 13074 15 0 0 20 0 8 0 391026888 418836480 66782 33554432000 134512640 146736320 4293656416 3895213712 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17422/tid=17576] ppid=17421 vsize=409020 CPUtime=100.32 cores=0,2,4,6
/proc/17422/task/17576/stat : 17576 (pb_cplex) S 17421 17421 15880 0 -1 4202560 48653 0 0 0 10016 16 0 0 20 0 8 0 391026888 418836480 66782 33554432000 134512640 146736320 4293656416 3884727952 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1663.75
Current children cumulated vsize (KiB) 418168
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+801.9 s]
/proc/loadavg: 13.13 11.23 8.17 15/193 17594
/proc/meminfo: memFree=26461072/32873648 swapFree=7376/7376
[pid=17421] ppid=17419 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17421/stat : 17421 (run) S 17419 17421 15880 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390978630 9367552 270 33554432000 4194304 5064252 140737350035248 140737350034160 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17421/statm: 2287 270 229 213 0 72 0
[pid=17422] ppid=17421 vsize=419968 CPUtime=1800.23 cores=0,2,4,6
/proc/17422/stat : 17422 (pb_cplex) R 17421 17421 15880 0 -1 4202496 713406 0 0 0 179823 200 0 0 20 0 8 0 390978630 430047232 68879 33554432000 134512640 146736320 4293656416 4293649296 136008042 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17422/statm: 104992 68879 970 2985 0 101926 0
[pid=17422/tid=17570] ppid=17421 vsize=419968 CPUtime=139.26 cores=0,2,4,6
/proc/17422/task/17570/stat : 17570 (pb_cplex) R 17421 17421 15880 0 -1 4202560 76141 0 0 0 13906 20 0 0 20 0 8 0 391026888 430047232 68879 33554432000 134512640 146736320 4293656416 4093111384 136007650 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=17422/tid=17571] ppid=17421 vsize=419968 CPUtime=138.35 cores=0,2,4,6
/proc/17422/task/17571/stat : 17571 (pb_cplex) R 17421 17421 15880 0 -1 4202560 71582 0 0 0 13814 21 0 0 20 0 8 0 391026888 430047232 68879 33554432000 134512640 146736320 4293656416 4103598672 136403117 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17422/tid=17572] ppid=17421 vsize=419968 CPUtime=120.96 cores=0,2,4,6
/proc/17422/task/17572/stat : 17572 (pb_cplex) R 17421 17421 15880 0 -1 4202560 69364 0 0 0 12077 19 0 0 20 0 8 0 391026888 430047232 68879 33554432000 134512640 146736320 4293656416 4114083912 139042902 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=17422/tid=17573] ppid=17421 vsize=419968 CPUtime=127.56 cores=0,2,4,6
/proc/17422/task/17573/stat : 17573 (pb_cplex) R 17421 17421 15880 0 -1 4202560 55089 0 0 0 12740 16 0 0 20 0 8 0 391026888 430047232 68879 33554432000 134512640 146736320 4293656416 4070205548 135454087 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=17422/tid=17574] ppid=17421 vsize=419968 CPUtime=130.61 cores=0,2,4,6
/proc/17422/task/17574/stat : 17574 (pb_cplex) R 17421 17421 15880 0 -1 4202560 67269 0 0 0 13042 19 0 0 20 0 8 0 391026888 430047232 68879 33554432000 134512640 146736320 4293656416 3905694808 136007661 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=17422/tid=17575] ppid=17421 vsize=419968 CPUtime=147.05 cores=0,2,4,6
/proc/17422/task/17575/stat : 17575 (pb_cplex) R 17421 17421 15880 0 -1 4202560 59598 0 0 0 14687 18 0 0 20 0 8 0 391026888 430047232 68879 33554432000 134512640 146736320 4293656416 3895209488 136403109 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=17422/tid=17576] ppid=17421 vsize=419968 CPUtime=116.35 cores=0,2,4,6
/proc/17422/task/17576/stat : 17576 (pb_cplex) R 17421 17421 15880 0 -1 4202560 55381 0 0 0 11617 18 0 0 20 0 8 0 391026888 430047232 68879 33554432000 134512640 146736320 4293656416 3884723208 139042864 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 429116
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17421 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.23
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 801.932
CPU time (s): 1800.23
CPU user time (s): 1798.23
CPU system time (s): 2
CPU usage (%): 224.487
Max. virtual memory (cumulated for all children) (KiB): 446888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 1080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 354
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 1
runsolver used 1.77073 second user time and 4.84426 second system time
The end