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-3737963-1339248842/watcher-3737963-1339248842 -o /tmp/evaluation-result-3737963-1339248842/solver-3737963-1339248842 -C 1800 -W 1900 -M 15500 run HOME/instance-3737963-1339248842.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: 2.58 4.28 5.46 3/177 20992
/proc/meminfo: memFree=31207388/32873648 swapFree=7376/7376
[pid=20992] ppid=20990 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20992/stat : 20992 (run) S 20990 20992 20024 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391010169 9367552 270 33554432000 4194304 5064252 140735199450768 140735199449680 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20992/statm: 2287 270 229 213 0 72 0
[startup+0.014054 s]
/proc/loadavg: 2.58 4.28 5.46 3/177 20992
/proc/meminfo: memFree=31207388/32873648 swapFree=7376/7376
[pid=20992] ppid=20990 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20992/stat : 20992 (run) S 20990 20992 20024 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391010169 9367552 270 33554432000 4194304 5064252 140735199450768 140735199449680 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20992/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100211 s]
/proc/loadavg: 2.58 4.28 5.46 3/177 20992
/proc/meminfo: memFree=31207388/32873648 swapFree=7376/7376
[pid=20992] ppid=20990 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20992/stat : 20992 (run) S 20990 20992 20024 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391010169 9367552 270 33554432000 4194304 5064252 140735199450768 140735199449680 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20992/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300229 s]
/proc/loadavg: 2.58 4.28 5.46 3/177 20992
/proc/meminfo: memFree=31207388/32873648 swapFree=7376/7376
[pid=20992] ppid=20990 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20992/stat : 20992 (run) S 20990 20992 20024 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391010169 9367552 270 33554432000 4194304 5064252 140735199450768 140735199449680 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20992/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700224 s]
/proc/loadavg: 2.58 4.28 5.46 3/177 20992
/proc/meminfo: memFree=31207388/32873648 swapFree=7376/7376
[pid=20992] ppid=20990 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20992/stat : 20992 (run) S 20990 20992 20024 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391010169 9367552 270 33554432000 4194304 5064252 140735199450768 140735199449680 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20992/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50027 s]
/proc/loadavg: 2.53 4.24 5.45 3/179 20994
/proc/meminfo: memFree=31198320/32873648 swapFree=7376/7376
[pid=20992] ppid=20990 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20992/stat : 20992 (run) S 20990 20992 20024 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391010169 9367552 270 33554432000 4194304 5064252 140735199450768 140735199449680 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20992/statm: 2287 270 229 213 0 72 0
[pid=20993] ppid=20992 vsize=25616 CPUtime=1.49 cores=0,2,4,6
/proc/20993/stat : 20993 (pb_cplex) R 20992 20992 20024 0 -1 4202496 3962 0 0 0 149 0 0 0 20 0 1 0 391010169 26230784 3178 33554432000 134512640 146736320 4290535248 4290529348 139028318 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/20993/statm: 6404 3178 829 2985 0 3338 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34764
[startup+3.10015 s]
/proc/loadavg: 2.53 4.24 5.45 3/179 20994
/proc/meminfo: memFree=31198468/32873648 swapFree=7376/7376
[pid=20992] ppid=20990 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20992/stat : 20992 (run) S 20990 20992 20024 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391010169 9367552 270 33554432000 4194304 5064252 140735199450768 140735199449680 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20992/statm: 2287 270 229 213 0 72 0
[pid=20993] ppid=20992 vsize=25740 CPUtime=3.08 cores=0,2,4,6
/proc/20993/stat : 20993 (pb_cplex) R 20992 20992 20024 0 -1 4202496 5302 0 0 0 308 0 0 0 20 0 1 0 391010169 26357760 3267 33554432000 134512640 146736320 4290535248 4290529020 136385179 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/20993/statm: 6435 3267 834 2985 0 3369 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 34888
[startup+6.30032 s]
/proc/loadavg: 2.97 4.31 5.46 7/186 21001
/proc/meminfo: memFree=31172248/32873648 swapFree=7376/7376
[pid=20992] ppid=20990 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20992/stat : 20992 (run) S 20990 20992 20024 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391010169 9367552 270 33554432000 4194304 5064252 140735199450768 140735199449680 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20992/statm: 2287 270 229 213 0 72 0
[pid=20993] ppid=20992 vsize=131416 CPUtime=10.6 cores=0,2,4,6
/proc/20993/stat : 20993 (pb_cplex) S 20992 20992 20024 0 -1 4202496 13110 0 0 0 1058 2 0 0 20 0 8 0 391010169 134569984 9707 33554432000 134512640 146736320 4290535248 4290531600 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20993/statm: 32854 9707 874 2985 0 29788 0
[pid=20993/tid=20995] ppid=20992 vsize=131416 CPUtime=0.32 cores=0,2,4,6
/proc/20993/task/20995/stat : 20995 (pb_cplex) S 20992 20992 20024 0 -1 4202560 559 0 0 0 32 0 0 0 20 0 8 0 391010592 134569984 9707 33554432000 134512640 146736320 4290535248 4149620368 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20993/tid=20996] ppid=20992 vsize=131416 CPUtime=0.74 cores=0,2,4,6
/proc/20993/task/20996/stat : 20996 (pb_cplex) S 20992 20992 20024 0 -1 4202560 636 0 0 0 74 0 0 0 20 0 8 0 391010592 134569984 9707 33554432000 134512640 146736320 4290535248 4139134608 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20993/tid=20997] ppid=20992 vsize=131416 CPUtime=0.43 cores=0,2,4,6
/proc/20993/task/20997/stat : 20997 (pb_cplex) S 20992 20992 20024 0 -1 4202560 684 0 0 0 43 0 0 0 20 0 8 0 391010592 134569984 9707 33554432000 134512640 146736320 4290535248 4128648848 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20993/tid=20998] ppid=20992 vsize=131416 CPUtime=0.79 cores=0,2,4,6
/proc/20993/task/20998/stat : 20998 (pb_cplex) S 20992 20992 20024 0 -1 4202560 630 0 0 0 79 0 0 0 20 0 8 0 391010592 134569984 9707 33554432000 134512640 146736320 4290535248 4118163088 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20993/tid=20999] ppid=20992 vsize=131416 CPUtime=0.86 cores=0,2,4,6
/proc/20993/task/20999/stat : 20999 (pb_cplex) S 20992 20992 20024 0 -1 4202560 537 0 0 0 86 0 0 0 20 0 8 0 391010592 134569984 9707 33554432000 134512640 146736320 4290535248 4107677328 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20993/tid=21000] ppid=20992 vsize=131416 CPUtime=1.24 cores=0,2,4,6
/proc/20993/task/21000/stat : 21000 (pb_cplex) S 20992 20992 20024 0 -1 4202560 729 0 0 0 124 0 0 0 20 0 8 0 391010592 134569984 9707 33554432000 134512640 146736320 4290535248 4097191568 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20993/tid=21001] ppid=20992 vsize=131416 CPUtime=1.4 cores=0,2,4,6
/proc/20993/task/21001/stat : 21001 (pb_cplex) R 20992 20992 20024 0 -1 4202560 817 0 0 0 140 0 0 0 20 0 8 0 391010592 134569984 9707 33554432000 134512640 146736320 4290535248 4086702296 136009173 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 10.6
Current children cumulated vsize (KiB) 140564
[startup+12.7004 s]
/proc/loadavg: 2.89 4.27 5.44 10/186 21001
/proc/meminfo: memFree=31169020/32873648 swapFree=7376/7376
[pid=20992] ppid=20990 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20992/stat : 20992 (run) S 20990 20992 20024 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391010169 9367552 270 33554432000 4194304 5064252 140735199450768 140735199449680 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20992/statm: 2287 270 229 213 0 72 0
[pid=20993] ppid=20992 vsize=131688 CPUtime=21.66 cores=0,2,4,6
/proc/20993/stat : 20993 (pb_cplex) R 20992 20992 20024 0 -1 4202496 13565 0 0 0 2163 3 0 0 20 0 8 0 391010169 134848512 10053 33554432000 134512640 146736320 4290535248 4290528080 136008093 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20993/statm: 32922 10053 877 2985 0 29856 0
[pid=20993/tid=20995] ppid=20992 vsize=131688 CPUtime=1.13 cores=0,2,4,6
/proc/20993/task/20995/stat : 20995 (pb_cplex) R 20992 20992 20024 0 -1 4202560 639 0 0 0 113 0 0 0 20 0 8 0 391010592 134848512 10053 33554432000 134512640 146736320 4290535248 4149617232 136403109 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=20993/tid=20996] ppid=20992 vsize=131688 CPUtime=1.6 cores=0,2,4,6
/proc/20993/task/20996/stat : 20996 (pb_cplex) R 20992 20992 20024 0 -1 4202560 677 0 0 0 160 0 0 0 20 0 8 0 391010592 134848512 10053 33554432000 134512640 146736320 4290535248 4139131472 136403109 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20993/tid=20997] ppid=20992 vsize=131688 CPUtime=1.25 cores=0,2,4,6
/proc/20993/task/20997/stat : 20997 (pb_cplex) R 20992 20992 20024 0 -1 4202560 828 0 0 0 125 0 0 0 20 0 8 0 391010592 134848512 10053 33554432000 134512640 146736320 4290535248 4128645120 136019038 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=20993/tid=20998] ppid=20992 vsize=131688 CPUtime=1.66 cores=0,2,4,6
/proc/20993/task/20998/stat : 20998 (pb_cplex) R 20992 20992 20024 0 -1 4202560 633 0 0 0 166 0 0 0 20 0 8 0 391010592 134848512 10053 33554432000 134512640 146736320 4290535248 4118159796 136400723 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=20993/tid=20999] ppid=20992 vsize=131688 CPUtime=1.53 cores=0,2,4,6
/proc/20993/task/20999/stat : 20999 (pb_cplex) R 20992 20992 20024 0 -1 4202560 592 0 0 0 153 0 0 0 20 0 8 0 391010592 134848512 10053 33554432000 134512640 146736320 4290535248 4107673808 136008065 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=20993/tid=21000] ppid=20992 vsize=131688 CPUtime=1.9 cores=0,2,4,6
/proc/20993/task/21000/stat : 21000 (pb_cplex) R 20992 20992 20024 0 -1 4202560 753 0 0 0 190 0 0 0 20 0 8 0 391010592 134848512 10053 33554432000 134512640 146736320 4290535248 4097188480 139046467 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=20993/tid=21001] ppid=20992 vsize=131688 CPUtime=6.97 cores=0,2,4,6
/proc/20993/task/21001/stat : 21001 (pb_cplex) R 20992 20992 20024 0 -1 4202560 917 0 0 0 697 0 0 0 20 0 8 0 391010592 134848512 10053 33554432000 134512640 146736320 4290535248 4086702288 136008042 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 21.66
Current children cumulated vsize (KiB) 140836
[startup+25.5004 s]
/proc/loadavg: 4.17 4.48 5.49 9/186 21001
/proc/meminfo: memFree=31165288/32873648 swapFree=7376/7376
[pid=20992] ppid=20990 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20992/stat : 20992 (run) S 20990 20992 20024 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391010169 9367552 270 33554432000 4194304 5064252 140735199450768 140735199449680 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20992/statm: 2287 270 229 213 0 72 0
[pid=20993] ppid=20992 vsize=132440 CPUtime=71.4 cores=0,2,4,6
/proc/20993/stat : 20993 (pb_cplex) S 20992 20992 20024 0 -1 4202496 14440 0 0 0 7135 5 0 0 20 0 8 0 391010169 135618560 11079 33554432000 134512640 146736320 4290535248 4290531600 144580073 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/20993/statm: 33110 11079 893 2985 0 30044 0
[pid=20993/tid=20995] ppid=20992 vsize=132440 CPUtime=7.76 cores=0,2,4,6
/proc/20993/task/20995/stat : 20995 (pb_cplex) R 20992 20992 20024 0 -1 4202560 771 0 0 0 776 0 0 0 20 0 8 0 391010592 135618560 11079 33554432000 134512640 146736320 4290535248 4149616920 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=20993/tid=20996] ppid=20992 vsize=132440 CPUtime=7.97 cores=0,2,4,6
/proc/20993/task/20996/stat : 20996 (pb_cplex) S 20992 20992 20024 0 -1 4202560 725 0 0 0 797 0 0 0 20 0 8 0 391010592 135618560 11079 33554432000 134512640 146736320 4290535248 4139134608 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20993/tid=20997] ppid=20992 vsize=132440 CPUtime=7.26 cores=0,2,4,6
/proc/20993/task/20997/stat : 20997 (pb_cplex) S 20992 20992 20024 0 -1 4202560 911 0 0 0 726 0 0 0 20 0 8 0 391010592 135618560 11079 33554432000 134512640 146736320 4290535248 4128648848 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20993/tid=20998] ppid=20992 vsize=132440 CPUtime=7.85 cores=0,2,4,6
/proc/20993/task/20998/stat : 20998 (pb_cplex) R 20992 20992 20024 0 -1 4202560 691 0 0 0 785 0 0 0 20 0 8 0 391010592 135618560 11079 33554432000 134512640 146736320 4290535248 4118159360 136019036 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=20993/tid=20999] ppid=20992 vsize=132440 CPUtime=7.47 cores=0,2,4,6
/proc/20993/task/20999/stat : 20999 (pb_cplex) R 20992 20992 20024 0 -1 4202560 624 0 0 0 747 0 0 0 20 0 8 0 391010592 135618560 11079 33554432000 134512640 146736320 4290535248 4107673388 135457476 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=20993/tid=21000] ppid=20992 vsize=132440 CPUtime=7.45 cores=0,2,4,6
/proc/20993/task/21000/stat : 21000 (pb_cplex) R 20992 20992 20024 0 -1 4202560 786 0 0 0 745 0 0 0 20 0 8 0 391010592 135618560 11079 33554432000 134512640 146736320 4290535248 4097188048 136008050 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20993/tid=21001] ppid=20992 vsize=132440 CPUtime=13.76 cores=0,2,4,6
/proc/20993/task/21001/stat : 21001 (pb_cplex) S 20992 20992 20024 0 -1 4202560 1307 0 0 0 1376 0 0 0 20 0 8 0 391010592 135618560 11079 33554432000 134512640 146736320 4290535248 4086705808 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 71.4
Current children cumulated vsize (KiB) 141588
[startup+51.1002 s]
/proc/loadavg: 3.83 4.39 5.43 3/179 21001
/proc/meminfo: memFree=31176684/32873648 swapFree=7376/7376
[pid=20992] ppid=20990 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20992/stat : 20992 (run) S 20990 20992 20024 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391010169 9367552 270 33554432000 4194304 5064252 140735199450768 140735199449680 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20992/statm: 2287 270 229 213 0 72 0
[pid=20993] ppid=20992 vsize=87160 CPUtime=120.81 cores=0,2,4,6
/proc/20993/stat : 20993 (pb_cplex) R 20992 20992 20024 0 -1 4202496 14701 0 0 0 12071 10 0 0 20 0 1 0 391010169 89251840 8360 33554432000 134512640 146736320 4290535248 4290529272 136475800 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/20993/statm: 21790 8360 899 2985 0 18724 0
Current children cumulated CPU time (s) 120.81
Current children cumulated vsize (KiB) 96308
[startup+102.307 s]
/proc/loadavg: 4.04 4.34 5.36 3/193 21029
/proc/meminfo: memFree=31029612/32873648 swapFree=7376/7376
[pid=20992] ppid=20990 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20992/stat : 20992 (run) S 20990 20992 20024 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391010169 9367552 270 33554432000 4194304 5064252 140735199450768 140735199449680 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20992/statm: 2287 270 229 213 0 72 0
[pid=20993] ppid=20992 vsize=236008 CPUtime=172.79 cores=0,2,4,6
/proc/20993/stat : 20993 (pb_cplex) R 20992 20992 20024 0 -1 4202496 38319 0 0 0 17259 20 0 0 20 0 8 0 391010169 241672192 31723 33554432000 134512640 146736320 4290535248 4290528080 136008335 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20993/statm: 59002 31723 911 2985 0 55936 0
[pid=20993/tid=21023] ppid=20992 vsize=236008 CPUtime=0 cores=0,2,4,6
/proc/20993/task/21023/stat : 21023 (pb_cplex) S 20992 20992 20024 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 391020020 241672192 31723 33554432000 134512640 146736320 4290535248 4067421840 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20993/tid=21024] ppid=20992 vsize=236008 CPUtime=0 cores=0,2,4,6
/proc/20993/task/21024/stat : 21024 (pb_cplex) S 20992 20992 20024 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 391020020 241672192 31723 33554432000 134512640 146736320 4290535248 4134330000 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20993/tid=21025] ppid=20992 vsize=236008 CPUtime=0 cores=0,2,4,6
/proc/20993/task/21025/stat : 21025 (pb_cplex) S 20992 20992 20024 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 391020020 241672192 31723 33554432000 134512640 146736320 4290535248 4144815760 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20993/tid=21026] ppid=20992 vsize=236008 CPUtime=0 cores=0,2,4,6
/proc/20993/task/21026/stat : 21026 (pb_cplex) S 20992 20992 20024 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 391020020 241672192 31723 33554432000 134512640 146736320 4290535248 4118163088 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20993/tid=21027] ppid=20992 vsize=236008 CPUtime=0 cores=0,2,4,6
/proc/20993/task/21027/stat : 21027 (pb_cplex) S 20992 20992 20024 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 391020020 241672192 31723 33554432000 134512640 146736320 4290535248 3981295248 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20993/tid=21028] ppid=20992 vsize=236008 CPUtime=0 cores=0,2,4,6
/proc/20993/task/21028/stat : 21028 (pb_cplex) S 20992 20992 20024 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 391020020 241672192 31723 33554432000 134512640 146736320 4290535248 3970809488 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20993/tid=21029] ppid=20992 vsize=236008 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/20993/statm: 66282 41174 919 2985 0 63216 0
[pid=20993/tid=21023] ppid=20992 vsize=265128 CPUtime=107.68 cores=0,2,4,6
/proc/20993/task/21023/stat : 21023 (pb_cplex) R 20992 20992 20024 0 -1 4202560 27865 0 0 0 10759 9 0 0 20 0 8 0 391020020 271491072 41174 33554432000 134512640 146736320 4290535248 4067417288 135468239 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=20993/tid=21024] ppid=20992 vsize=265128 CPUtime=70.03 cores=0,2,4,6
/proc/20993/task/21024/stat : 21024 (pb_cplex) R 20992 20992 20024 0 -1 4202560 5560 0 0 0 7000 3 0 0 20 0 8 0 391020020 271491072 41174 33554432000 134512640 146736320 4290535248 4134326340 136385179 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=20993/tid=21025] ppid=20992 vsize=265128 CPUtime=129.88 cores=0,2,4,6
/proc/20993/task/21025/stat : 21025 (pb_cplex) R 20992 20992 20024 0 -1 4202560 12129 0 0 0 12982 6 0 0 20 0 8 0 391020020 271491072 41174 33554432000 134512640 146736320 4290535248 4144812080 136384857 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20993/tid=21026] ppid=20992 vsize=265128 CPUtime=120.33 cores=0,2,4,6
/proc/20993/task/21026/stat : 21026 (pb_cplex) R 20992 20992 20024 0 -1 4202560 4643 0 0 0 12028 5 0 0 20 0 8 0 391020020 271491072 41174 33554432000 134512640 146736320 4290535248 4118160360 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=20993/tid=21027] ppid=20992 vsize=265128 CPUtime=84.98 cores=0,2,4,6
/proc/20993/task/21027/stat : 21027 (pb_cplex) R 20992 20992 20024 0 -1 4202560 1753 0 0 0 8495 3 0 0 20 0 8 0 391020020 271491072 41174 33554432000 134512640 146736320 4290535248 3981291728 136008050 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20993/tid=21028] ppid=20992 vsize=265128 CPUtime=117.67 cores=0,2,4,6
/proc/20993/task/21028/stat : 21028 (pb_cplex) R 20992 20992 20024 0 -1 4202560 17947 0 0 0 11761 6 0 0 20 0 8 0 391020020 271491072 41174 33554432000 134512640 146736320 4290535248 3970805832 139042885 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=20993/tid=21029] ppid=20992 vsize=265128 CPUtime=115.24 cores=0,2,4,6
/proc/20993/task/21029/stat : 21029 (pb_cplex) R 20992 20992 20024 0 -1 4202560 1598 0 0 0 11521 3 0 0 20 0 8 0 391020020 271491072 41174 33554432000 134512640 146736320 4290535248 3960320072 139042974 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1025.64
Current children cumulated vsize (KiB) 274276
[startup+402.3 s]
/proc/loadavg: 7.81 6.36 5.91 10/194 21033
/proc/meminfo: memFree=30974220/32873648 swapFree=7376/7376
[pid=20992] ppid=20990 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20992/stat : 20992 (run) S 20990 20992 20024 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391010169 9367552 270 33554432000 4194304 5064252 140735199450768 140735199449680 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20992/statm: 2287 270 229 213 0 72 0
[pid=20993] ppid=20992 vsize=267580 CPUtime=1241.75 cores=0,2,4,6
/proc/20993/stat : 20993 (pb_cplex) R 20992 20992 20024 0 -1 4202496 137476 0 0 0 124111 64 0 0 20 0 8 0 391010169 274001920 41941 33554432000 134512640 146736320 4290535248 4290528328 135999105 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20993/statm: 66895 41941 919 2985 0 63829 0
[pid=20993/tid=21023] ppid=20992 vsize=267580 CPUtime=135.5 cores=0,2,4,6
/proc/20993/task/21023/stat : 21023 (pb_cplex) R 20992 20992 20024 0 -1 4202560 33134 0 0 0 13539 11 0 0 20 0 8 0 391020020 274001920 41941 33554432000 134512640 146736320 4290535248 4067418112 136018924 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=20993/tid=21024] ppid=20992 vsize=267580 CPUtime=95.78 cores=0,2,4,6
/proc/20993/task/21024/stat : 21024 (pb_cplex) R 20992 20992 20024 0 -1 4202560 7032 0 0 0 9574 4 0 0 20 0 8 0 391020020 274001920 41941 33554432000 134512640 146736320 4290535248 4134326480 136008044 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=20993/tid=21025] ppid=20992 vsize=267580 CPUtime=154.67 cores=0,2,4,6
/proc/20993/task/21025/stat : 21025 (pb_cplex) R 20992 20992 20024 0 -1 4202560 12723 0 0 0 15460 7 0 0 20 0 8 0 391020020 274001920 41941 33554432000 134512640 146736320 4290535248 4144812240 136008050 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20993/tid=21026] ppid=20992 vsize=267580 CPUtime=144.43 cores=0,2,4,6
/proc/20993/task/21026/stat : 21026 (pb_cplex) R 20992 20992 20024 0 -1 4202560 4643 0 0 0 14437 6 0 0 20 0 8 0 391020020 274001920 41941 33554432000 134512640 146736320 4290535248 4118159360 136018936 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=20993/tid=21027] ppid=20992 vsize=267580 CPUtime=115.01 cores=0,2,4,6
/proc/20993/task/21027/stat : 21027 (pb_cplex) R 20992 20992 20024 0 -1 4202560 1810 0 0 0 11497 4 0 0 20 0 8 0 391020020 274001920 41941 33554432000 134512640 146736320 4290535248 3981289868 135465099 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=20993/tid=21028] ppid=20992 vsize=267580 CPUtime=143.65 cores=0,2,4,6
/proc/20993/task/21028/stat : 21028 (pb_cplex) R 20992 20992 20024 0 -1 4202560 23951 0 0 0 14356 9 0 0 20 0 8 0 391020020 274001920 41941 33554432000 134512640 146736320 4290535248 3970806352 136403109 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=20993/tid=21029] ppid=20992 vsize=267580 CPUtime=148.59 cores=0,2,4,6
/proc/20993/task/21029/stat : 21029 (pb_cplex) R 20992 20992 20024 0 -1 4202560 1637 0 0 0 14854 5 0 0 20 0 8 0 391020020 274001920 41941 33554432000 134512640 146736320 4290535248 3960320208 136008050 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1241.75
Current children cumulated vsize (KiB) 276728
[startup+462.3 s]
/proc/loadavg: 8.27 6.75 6.07 3/193 21034
/proc/meminfo: memFree=30963636/32873648 swapFree=7376/7376
[pid=20992] ppid=20990 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20992/stat : 20992 (run) S 20990 20992 20024 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391010169 9367552 270 33554432000 4194304 5064252 140735199450768 140735199449680 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20992/statm: 2287 270 229 213 0 72 0
[pid=20993] ppid=20992 vsize=279160 CPUtime=1470.85 cores=0,2,4,6
/proc/20993/stat : 20993 (pb_cplex) S 20992 20992 20024 0 -1 4202496 156992 0 0 0 147011 74 0 0 20 0 8 0 391010169 285859840 44236 33554432000 134512640 146736320 4290535248 4290531600 144580073 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/20993/statm: 69790 44236 919 2985 0 66724 0
[pid=20993/tid=21023] ppid=20992 vsize=279160 CPUtime=164.74 cores=0,2,4,6
/proc/20993/task/21023/stat : 21023 (pb_cplex) R 20992 20992 20024 0 -1 4202560 37514 0 0 0 16461 13 0 0 20 0 8 0 391020020 285859840 44236 33554432000 134512640 146736320 4290535248 4067418204 135855174 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20993/tid=21024] ppid=20992 vsize=279160 CPUtime=124.78 cores=0,2,4,6
/proc/20993/task/21024/stat : 21024 (pb_cplex) S 20992 20992 20024 0 -1 4202560 7395 0 0 0 12473 5 0 0 20 0 8 0 391020020 285859840 44236 33554432000 134512640 146736320 4290535248 4134330000 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20993/tid=21025] ppid=20992 vsize=279160 CPUtime=183.19 cores=0,2,4,6
/proc/20993/task/21025/stat : 21025 (pb_cplex) S 20992 20992 20024 0 -1 4202560 13155 0 0 0 18311 8 0 0 20 0 8 0 391020020 285859840 44236 33554432000 134512640 146736320 4290535248 4144815760 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20993/tid=21026] ppid=20992 vsize=279160 CPUtime=172.51 cores=0,2,4,6
/proc/20993/task/21026/stat : 21026 (pb_cplex) S 20992 20992 20024 0 -1 4202560 4643 0 0 0 17245 6 0 0 20 0 8 0 391020020 285859840 44236 33554432000 134512640 146736320 4290535248 4118163088 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20993/tid=21027] ppid=20992 vsize=279160 CPUtime=143.12 cores=0,2,4,6
/proc/20993/task/21027/stat : 21027 (pb_cplex) S 20992 20992 20024 0 -1 4202560 4462 0 0 0 14306 6 0 0 20 0 8 0 391020020 285859840 44236 33554432000 134512640 146736320 4290535248 3981295248 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20993/tid=21028] ppid=20992 vsize=279160 CPUtime=171.96 cores=0,2,4,6
/proc/20993/task/21028/stat : 21028 (pb_cplex) S 20992 20992 20024 0 -1 4202560 27915 0 0 0 17186 10 0 0 20 0 8 0 391020020 285859840 44236 33554432000 134512640 146736320 4290535248 3970809488 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20993/tid=21029] ppid=20992 vsize=279160 CPUtime=178.82 cores=0,2,4,6
/proc/20993/task/21029/stat : 21029 (pb_cplex) S 20992 20992 20024 0 -1 4202560 4915 0 0 0 17876 6 0 0 20 0 8 0 391020020 285859840 44236 33554432000 134512640 146736320 4290535248 3960323728 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1470.85
Current children cumulated vsize (KiB) 288308
[startup+522.3 s]
/proc/loadavg: 12.62 8.24 6.62 17/193 21034
/proc/meminfo: memFree=30899036/32873648 swapFree=7376/7376
[pid=20992] ppid=20990 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20992/stat : 20992 (run) S 20990 20992 20024 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391010169 9367552 270 33554432000 4194304 5064252 140735199450768 140735199449680 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20992/statm: 2287 270 229 213 0 72 0
[pid=20993] ppid=20992 vsize=278496 CPUtime=1702.78 cores=0,2,4,6
/proc/20993/stat : 20993 (pb_cplex) R 20992 20992 20024 0 -1 4202496 170229 0 0 0 170196 82 0 0 20 0 8 0 391010169 285179904 44094 33554432000 134512640 146736320 4290535248 4290526288 135459508 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20993/statm: 69624 44094 919 2985 0 66558 0
[pid=20993/tid=21023] ppid=20992 vsize=278496 CPUtime=193.91 cores=0,2,4,6
/proc/20993/task/21023/stat : 21023 (pb_cplex) R 20992 20992 20024 0 -1 4202560 41110 0 0 0 19376 15 0 0 20 0 8 0 391020020 285179904 44094 33554432000 134512640 146736320 4290535248 4067418112 136018919 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20993/tid=21024] ppid=20992 vsize=278496 CPUtime=154.21 cores=0,2,4,6
/proc/20993/task/21024/stat : 21024 (pb_cplex) R 20992 20992 20024 0 -1 4202560 7822 0 0 0 15414 7 0 0 20 0 8 0 391020020 285179904 44094 33554432000 134512640 146736320 4290535248 4134326364 135855162 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=20993/tid=21025] ppid=20992 vsize=278496 CPUtime=213.85 cores=0,2,4,6
/proc/20993/task/21025/stat : 21025 (pb_cplex) R 20992 20992 20024 0 -1 4202560 15980 0 0 0 21375 10 0 0 20 0 8 0 391020020 285179904 44094 33554432000 134512640 146736320 4290535248 4144812240 136008212 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=20993/tid=21026] ppid=20992 vsize=278496 CPUtime=201.49 cores=0,2,4,6
/proc/20993/task/21026/stat : 21026 (pb_cplex) R 20992 20992 20024 0 -1 4202560 4643 0 0 0 20141 8 0 0 20 0 8 0 391020020 285179904 44094 33554432000 134512640 146736320 4290535248 4118160000 139046527 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=20993/tid=21027] ppid=20992 vsize=278496 CPUtime=173.58 cores=0,2,4,6
/proc/20993/task/21027/stat : 21027 (pb_cplex) R 20992 20992 20024 0 -1 4202560 5447 0 0 0 17352 6 0 0 20 0 8 0 391020020 285179904 44094 33554432000 134512640 146736320 4290535248 3981291568 136384846 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=20993/tid=21028] ppid=20992 vsize=278496 CPUtime=197.73 cores=0,2,4,6
/proc/20993/task/21028/stat : 21028 (pb_cplex) R 20992 20992 20024 0 -1 4202560 27915 0 0 0 19761 12 0 0 20 0 8 0 391020020 285179904 44094 33554432000 134512640 146736320 4290535248 3970806216 136000811 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=20993/tid=21029] ppid=20992 vsize=278496 CPUtime=205.05 cores=0,2,4,6
/proc/20993/task/21029/stat : 21029 (pb_cplex) R 20992 20992 20024 0 -1 4202560 7910 0 0 0 20497 8 0 0 20 0 8 0 391020020 285179904 44094 33554432000 134512640 146736320 4290535248 3960318416 135459791 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1702.78
Current children cumulated vsize (KiB) 287644
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+547.7 s]
/proc/loadavg: 13.77 8.86 6.87 17/193 21034
/proc/meminfo: memFree=30896188/32873648 swapFree=7376/7376
[pid=20992] ppid=20990 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20992/stat : 20992 (run) S 20990 20992 20024 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391010169 9367552 270 33554432000 4194304 5064252 140735199450768 140735199449680 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20992/statm: 2287 270 229 213 0 72 0
[pid=20993] ppid=20992 vsize=279228 CPUtime=1800.4 cores=0,2,4,6
/proc/20993/stat : 20993 (pb_cplex) R 20992 20992 20024 0 -1 4202496 173974 0 0 0 179956 84 0 0 20 0 8 0 391010169 285929472 44326 33554432000 134512640 146736320 4290535248 4290527940 136385174 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/20993/statm: 69807 44326 919 2985 0 66741 0
[pid=20993/tid=21023] ppid=20992 vsize=279228 CPUtime=207.33 cores=0,2,4,6
/proc/20993/task/21023/stat : 21023 (pb_cplex) R 20992 20992 20024 0 -1 4202560 41118 0 0 0 20717 16 0 0 20 0 8 0 391020020 285929472 44326 33554432000 134512640 146736320 4290535248 4067418320 136008050 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=20993/tid=21024] ppid=20992 vsize=279228 CPUtime=165.74 cores=0,2,4,6
/proc/20993/task/21024/stat : 21024 (pb_cplex) R 20992 20992 20024 0 -1 4202560 8182 0 0 0 16566 8 0 0 20 0 8 0 391020020 285929472 44326 33554432000 134512640 146736320 4290535248 4134326480 136008056 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=20993/tid=21025] ppid=20992 vsize=279228 CPUtime=225.01 cores=0,2,4,6
/proc/20993/task/21025/stat : 21025 (pb_cplex) R 20992 20992 20024 0 -1 4202560 17860 0 0 0 22490 11 0 0 20 0 8 0 391020020 285929472 44326 33554432000 134512640 146736320 4290535248 4144812308 136003493 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=20993/tid=21026] ppid=20992 vsize=279228 CPUtime=214.42 cores=0,2,4,6
/proc/20993/task/21026/stat : 21026 (pb_cplex) R 20992 20992 20024 0 -1 4202560 4643 0 0 0 21434 8 0 0 20 0 8 0 391020020 285929472 44326 33554432000 134512640 146736320 4290535248 4118158516 138462896 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20993/tid=21027] ppid=20992 vsize=279228 CPUtime=185.57 cores=0,2,4,6
/proc/20993/task/21027/stat : 21027 (pb_cplex) R 20992 20992 20024 0 -1 4202560 6251 0 0 0 18550 7 0 0 20 0 8 0 391020020 285929472 44326 33554432000 134512640 146736320 4290535248 3981291936 136388288 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20993/tid=21028] ppid=20992 vsize=279228 CPUtime=211.73 cores=0,2,4,6
/proc/20993/task/21028/stat : 21028 (pb_cplex) R 20992 20992 20024 0 -1 4202560 27915 0 0 0 21161 12 0 0 20 0 8 0 391020020 285929472 44326 33554432000 134512640 146736320 4290535248 3970805968 136008157 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=20993/tid=21029] ppid=20992 vsize=279228 CPUtime=216.33 cores=0,2,4,6
/proc/20993/task/21029/stat : 21029 (pb_cplex) R 20992 20992 20024 0 -1 4202560 8401 0 0 0 21625 8 0 0 20 0 8 0 391020020 285929472 44326 33554432000 134512640 146736320 4290535248 3960320208 136008000 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.4
Current children cumulated vsize (KiB) 288376
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+547.7 s]
/proc/loadavg: 13.77 8.86 6.87 17/193 21034
/proc/meminfo: memFree=30896188/32873648 swapFree=7376/7376
[pid=20992] ppid=20990 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20992/stat : 20992 (run) S 20990 20992 20024 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391010169 9367552 270 33554432000 4194304 5064252 140735199450768 140735199449680 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20992/statm: 2287 270 229 213 0 72 0
[pid=20993] ppid=20992 vsize=279228 CPUtime=1800.4 cores=0,2,4,6
/proc/20993/stat : 20993 (pb_cplex) R 20992 20992 20024 0 -1 4202496 173974 0 0 0 179956 84 0 0 20 0 8 0 391010169 285929472 44326 33554432000 134512640 146736320 4290535248 4290527940 136385174 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/20993/statm: 69807 44326 919 2985 0 66741 0
[pid=20993/tid=21023] ppid=20992 vsize=279228 CPUtime=207.33 cores=0,2,4,6
/proc/20993/task/21023/stat : 21023 (pb_cplex) R 20992 20992 20024 0 -1 4202560 41118 0 0 0 20717 16 0 0 20 0 8 0 391020020 285929472 44326 33554432000 134512640 146736320 4290535248 4067418320 136008050 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=20993/tid=21024] ppid=20992 vsize=279228 CPUtime=165.74 cores=0,2,4,6
/proc/20993/task/21024/stat : 21024 (pb_cplex) R 20992 20992 20024 0 -1 4202560 8182 0 0 0 16566 8 0 0 20 0 8 0 391020020 285929472 44326 33554432000 134512640 146736320 4290535248 4134326480 136008056 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=20993/tid=21025] ppid=20992 vsize=279228 CPUtime=225.01 cores=0,2,4,6
/proc/20993/task/21025/stat : 21025 (pb_cplex) R 20992 20992 20024 0 -1 4202560 17860 0 0 0 22490 11 0 0 20 0 8 0 391020020 285929472 44326 33554432000 134512640 146736320 4290535248 4144812308 136003493 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=20993/tid=21026] ppid=20992 vsize=279228 CPUtime=214.42 cores=0,2,4,6
/proc/20993/task/21026/stat : 21026 (pb_cplex) R 20992 20992 20024 0 -1 4202560 4643 0 0 0 21434 8 0 0 20 0 8 0 391020020 285929472 44326 33554432000 134512640 146736320 4290535248 4118158516 138462896 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20993/tid=21027] ppid=20992 vsize=279228 CPUtime=185.57 cores=0,2,4,6
/proc/20993/task/21027/stat : 21027 (pb_cplex) R 20992 20992 20024 0 -1 4202560 6251 0 0 0 18550 7 0 0 20 0 8 0 391020020 285929472 44326 33554432000 134512640 146736320 4290535248 3981291936 136388288 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20993/tid=21028] ppid=20992 vsize=279228 CPUtime=211.73 cores=0,2,4,6
/proc/20993/task/21028/stat : 21028 (pb_cplex) R 20992 20992 20024 0 -1 4202560 27915 0 0 0 21161 12 0 0 20 0 8 0 391020020 285929472 44326 33554432000 134512640 146736320 4290535248 3970805968 136008157 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=20993/tid=21029] ppid=20992 vsize=279228 CPUtime=216.33 cores=0,2,4,6
/proc/20993/task/21029/stat : 21029 (pb_cplex) R 20992 20992 20024 0 -1 4202560 8401 0 0 0 21625 8 0 0 20 0 8 0 391020020 285929472 44326 33554432000 134512640 146736320 4290535248 3960320208 136008000 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.4
Current children cumulated vsize (KiB) 288376
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20992 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=999
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.4
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 547.732
CPU time (s): 1800.4
CPU user time (s): 1799.56
CPU system time (s): 0.84
CPU usage (%): 328.701
Max. virtual memory (cumulated for all children) (KiB): 291796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0
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.3438 second user time and 3.57346 second system time
The end