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-3738145-1339248882/watcher-3738145-1339248882 -o /tmp/evaluation-result-3738145-1339248882/solver-3738145-1339248882 -C 1800 -W 1900 -M 15500 run HOME/instance-3738145-1339248882.opb
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: 7.66 6.13 5.91 3/177 26706
/proc/meminfo: memFree=29589228/32873844 swapFree=7632/7632
[pid=26706] ppid=26704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26706/stat : 26706 (run) S 26704 26706 26012 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391013094 9367552 270 33554432000 4194304 5064252 140737267733968 140737267732880 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26706/statm: 2287 270 229 213 0 72 0
[startup+0.095617 s]
/proc/loadavg: 7.66 6.13 5.91 3/177 26706
/proc/meminfo: memFree=29589228/32873844 swapFree=7632/7632
[pid=26706] ppid=26704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26706/stat : 26706 (run) S 26704 26706 26012 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391013094 9367552 270 33554432000 4194304 5064252 140737267733968 140737267732880 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26706/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100272 s]
/proc/loadavg: 7.66 6.13 5.91 3/177 26706
/proc/meminfo: memFree=29589228/32873844 swapFree=7632/7632
[pid=26706] ppid=26704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26706/stat : 26706 (run) S 26704 26706 26012 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391013094 9367552 270 33554432000 4194304 5064252 140737267733968 140737267732880 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26706/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300251 s]
/proc/loadavg: 7.66 6.13 5.91 3/177 26706
/proc/meminfo: memFree=29589228/32873844 swapFree=7632/7632
[pid=26706] ppid=26704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26706/stat : 26706 (run) S 26704 26706 26012 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391013094 9367552 270 33554432000 4194304 5064252 140737267733968 140737267732880 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26706/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700237 s]
/proc/loadavg: 7.66 6.13 5.91 3/177 26706
/proc/meminfo: memFree=29589228/32873844 swapFree=7632/7632
[pid=26706] ppid=26704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26706/stat : 26706 (run) S 26704 26706 26012 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391013094 9367552 270 33554432000 4194304 5064252 140737267733968 140737267732880 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26706/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50024 s]
/proc/loadavg: 7.20 6.06 5.88 3/179 26708
/proc/meminfo: memFree=29564768/32873844 swapFree=7632/7632
[pid=26706] ppid=26704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26706/stat : 26706 (run) S 26704 26706 26012 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391013094 9367552 270 33554432000 4194304 5064252 140737267733968 140737267732880 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26706/statm: 2287 270 229 213 0 72 0
[pid=26707] ppid=26706 vsize=58012 CPUtime=1.49 cores=1,3,5,7
/proc/26707/stat : 26707 (pb_cplex) R 26706 26706 26012 0 -1 4202496 9625 0 0 0 147 2 0 0 20 0 1 0 391013094 59404288 6896 33554432000 134512640 146736320 4291080160 4291075176 136015570 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/26707/statm: 14503 6896 789 2985 0 11437 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 67160
[startup+3.10024 s]
/proc/loadavg: 7.20 6.06 5.88 3/179 26708
/proc/meminfo: memFree=29564272/32873844 swapFree=7632/7632
[pid=26706] ppid=26704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26706/stat : 26706 (run) S 26704 26706 26012 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391013094 9367552 270 33554432000 4194304 5064252 140737267733968 140737267732880 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26706/statm: 2287 270 229 213 0 72 0
[pid=26707] ppid=26706 vsize=58172 CPUtime=3.09 cores=1,3,5,7
/proc/26707/stat : 26707 (pb_cplex) R 26706 26706 26012 0 -1 4202496 9695 0 0 0 307 2 0 0 20 0 1 0 391013094 59568128 6966 33554432000 134512640 146736320 4291080160 4291074472 135982933 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/26707/statm: 14543 6966 789 2985 0 11477 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 67320
[startup+6.30024 s]
/proc/loadavg: 7.20 6.06 5.88 3/179 26708
/proc/meminfo: memFree=29563652/32873844 swapFree=7632/7632
[pid=26706] ppid=26704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26706/stat : 26706 (run) S 26704 26706 26012 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391013094 9367552 270 33554432000 4194304 5064252 140737267733968 140737267732880 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26706/statm: 2287 270 229 213 0 72 0
[pid=26707] ppid=26706 vsize=58172 CPUtime=6.29 cores=1,3,5,7
/proc/26707/stat : 26707 (pb_cplex) R 26706 26706 26012 0 -1 4202496 9695 0 0 0 626 3 0 0 20 0 1 0 391013094 59568128 6966 33554432000 134512640 146736320 4291080160 4291075340 136237001 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/26707/statm: 14543 6966 789 2985 0 11477 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 67320
[startup+12.7002 s]
/proc/loadavg: 6.40 5.93 5.84 3/179 26708
/proc/meminfo: memFree=29561344/32873844 swapFree=7632/7632
[pid=26706] ppid=26704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26706/stat : 26706 (run) S 26704 26706 26012 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391013094 9367552 270 33554432000 4194304 5064252 140737267733968 140737267732880 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26706/statm: 2287 270 229 213 0 72 0
[pid=26707] ppid=26706 vsize=61260 CPUtime=12.68 cores=1,3,5,7
/proc/26707/stat : 26707 (pb_cplex) R 26706 26706 26012 0 -1 4202496 10260 0 0 0 1264 4 0 0 20 0 1 0 391013094 62730240 7531 33554432000 134512640 146736320 4291080160 4291074544 136384892 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/26707/statm: 15315 7531 797 2985 0 12249 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 70408
[startup+25.5002 s]
/proc/loadavg: 5.72 5.80 5.80 3/179 26708
/proc/meminfo: memFree=29549120/32873844 swapFree=7632/7632
[pid=26706] ppid=26704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26706/stat : 26706 (run) S 26704 26706 26012 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391013094 9367552 270 33554432000 4194304 5064252 140737267733968 140737267732880 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26706/statm: 2287 270 229 213 0 72 0
[pid=26707] ppid=26706 vsize=76304 CPUtime=25.49 cores=1,3,5,7
/proc/26707/stat : 26707 (pb_cplex) R 26706 26706 26012 0 -1 4202496 15979 0 0 0 2542 7 0 0 20 0 1 0 391013094 78135296 10457 33554432000 134512640 146736320 4291080160 4291074248 139043583 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/26707/statm: 19076 10457 866 2985 0 16010 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 85452
[startup+51.1002 s]
/proc/loadavg: 4.45 5.49 5.70 3/179 26708
/proc/meminfo: memFree=29548300/32873844 swapFree=7632/7632
[pid=26706] ppid=26704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26706/stat : 26706 (run) S 26704 26706 26012 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391013094 9367552 270 33554432000 4194304 5064252 140737267733968 140737267732880 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26706/statm: 2287 270 229 213 0 72 0
[pid=26707] ppid=26706 vsize=76304 CPUtime=51.08 cores=1,3,5,7
/proc/26707/stat : 26707 (pb_cplex) R 26706 26706 26012 0 -1 4202496 33180 0 0 0 5097 11 0 0 20 0 1 0 391013094 78135296 10459 33554432000 134512640 146736320 4291080160 4291074380 136017611 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/26707/statm: 19076 10459 866 2985 0 16010 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 85452
[startup+102.307 s]
/proc/loadavg: 2.98 4.90 5.48 3/179 26709
/proc/meminfo: memFree=29538836/32873844 swapFree=7632/7632
[pid=26706] ppid=26704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26706/stat : 26706 (run) S 26704 26706 26012 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391013094 9367552 270 33554432000 4194304 5064252 140737267733968 140737267732880 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26706/statm: 2287 270 229 213 0 72 0
[pid=26707] ppid=26706 vsize=76336 CPUtime=102.28 cores=1,3,5,7
/proc/26707/stat : 26707 (pb_cplex) R 26706 26706 26012 0 -1 4202496 76795 0 0 0 10200 28 0 0 20 0 1 0 391013094 78168064 12590 33554432000 134512640 146736320 4291080160 4291074344 135983319 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/26707/statm: 19084 12590 909 2985 0 16018 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 85484
[startup+162.3 s]
/proc/loadavg: 2.36 4.37 5.26 3/179 26709
/proc/meminfo: memFree=29539024/32873844 swapFree=7632/7632
[pid=26706] ppid=26704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26706/stat : 26706 (run) S 26704 26706 26012 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391013094 9367552 270 33554432000 4194304 5064252 140737267733968 140737267732880 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26706/statm: 2287 270 229 213 0 72 0
[pid=26707] ppid=26706 vsize=77396 CPUtime=162.25 cores=1,3,5,7
/proc/26707/stat : 26707 (pb_cplex) R 26706 26706 26012 0 -1 4202496 122710 0 0 0 16188 37 0 0 20 0 1 0 391013094 79253504 12546 33554432000 134512640 146736320 4291080160 4291074248 139043579 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/26707/statm: 19349 12546 923 2985 0 16283 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 86544
[startup+222.3 s]
/proc/loadavg: 2.13 3.94 5.06 3/179 26709
/proc/meminfo: memFree=29540704/32873844 swapFree=7632/7632
[pid=26706] ppid=26704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26706/stat : 26706 (run) S 26704 26706 26012 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391013094 9367552 270 33554432000 4194304 5064252 140737267733968 140737267732880 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26706/statm: 2287 270 229 213 0 72 0
[pid=26707] ppid=26706 vsize=77136 CPUtime=222.25 cores=1,3,5,7
/proc/26707/stat : 26707 (pb_cplex) R 26706 26706 26012 0 -1 4202496 165908 0 0 0 22177 48 0 0 20 0 1 0 391013094 78987264 12513 33554432000 134512640 146736320 4291080160 4291074380 136017845 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/26707/statm: 19284 12513 923 2985 0 16218 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 86284
[startup+282.3 s]
/proc/loadavg: 2.05 3.58 4.86 3/179 26709
/proc/meminfo: memFree=29528092/32873844 swapFree=7632/7632
[pid=26706] ppid=26704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26706/stat : 26706 (run) S 26704 26706 26012 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391013094 9367552 270 33554432000 4194304 5064252 140737267733968 140737267732880 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26706/statm: 2287 270 229 213 0 72 0
[pid=26707] ppid=26706 vsize=95704 CPUtime=282.24 cores=1,3,5,7
/proc/26707/stat : 26707 (pb_cplex) R 26706 26706 26012 0 -1 4202496 210209 0 0 0 28165 59 0 0 20 0 1 0 391013094 98000896 15582 33554432000 134512640 146736320 4291080160 4291075996 136406491 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/26707/statm: 23926 15582 923 2985 0 20860 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 104852
[startup+342.3 s]
/proc/loadavg: 2.08 3.31 4.69 3/180 26712
/proc/meminfo: memFree=29537752/32873844 swapFree=7632/7632
[pid=26706] ppid=26704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26706/stat : 26706 (run) S 26704 26706 26012 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391013094 9367552 270 33554432000 4194304 5064252 140737267733968 140737267732880 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26706/statm: 2287 270 229 213 0 72 0
[pid=26707] ppid=26706 vsize=78200 CPUtime=342.22 cores=1,3,5,7
/proc/26707/stat : 26707 (pb_cplex) R 26706 26706 26012 0 -1 4202496 212711 0 0 0 34162 60 0 0 20 0 1 0 391013094 80076800 12955 33554432000 134512640 146736320 4291080160 4291074380 136017512 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/26707/statm: 19550 12955 923 2985 0 16484 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 87348
[startup+402.3 s]
/proc/loadavg: 2.07 3.08 4.52 3/179 26713
/proc/meminfo: memFree=29538684/32873844 swapFree=7632/7632
[pid=26706] ppid=26704 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.38 3.14 3.39 3/179 26776
/proc/meminfo: memFree=29403836/32873844 swapFree=7632/7632
[pid=26706] ppid=26704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26706/stat : 26706 (run) S 26704 26706 26012 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391013094 9367552 270 33554432000 4194304 5064252 140737267733968 140737267732880 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26706/statm: 2287 270 229 213 0 72 0
[pid=26707] ppid=26706 vsize=78568 CPUtime=1422.05 cores=1,3,5,7
/proc/26707/stat : 26707 (pb_cplex) R 26706 26706 26012 0 -1 4202496 868481 0 0 0 142002 203 0 0 20 0 1 0 391013094 80453632 12837 33554432000 134512640 146736320 4291080160 4291074248 139043566 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/26707/statm: 19642 12837 923 2985 0 16576 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 87716
[startup+1482.3 s]
/proc/loadavg: 2.14 2.93 3.30 3/179 26776
/proc/meminfo: memFree=29397084/32873844 swapFree=7632/7632
[pid=26706] ppid=26704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26706/stat : 26706 (run) S 26704 26706 26012 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391013094 9367552 270 33554432000 4194304 5064252 140737267733968 140737267732880 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26706/statm: 2287 270 229 213 0 72 0
[pid=26707] ppid=26706 vsize=77716 CPUtime=1482.03 cores=1,3,5,7
/proc/26707/stat : 26707 (pb_cplex) R 26706 26706 26012 0 -1 4202496 915251 0 0 0 147991 212 0 0 20 0 1 0 391013094 79581184 12583 33554432000 134512640 146736320 4291080160 4291074380 136017748 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/26707/statm: 19429 12583 923 2985 0 16363 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 86864
[startup+1542.3 s]
/proc/loadavg: 2.05 2.76 3.21 3/180 26779
/proc/meminfo: memFree=29394588/32873844 swapFree=7632/7632
[pid=26706] ppid=26704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26706/stat : 26706 (run) S 26704 26706 26012 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391013094 9367552 270 33554432000 4194304 5064252 140737267733968 140737267732880 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26706/statm: 2287 270 229 213 0 72 0
[pid=26707] ppid=26706 vsize=77864 CPUtime=1542.02 cores=1,3,5,7
/proc/26707/stat : 26707 (pb_cplex) R 26706 26706 26012 0 -1 4202496 956008 0 0 0 153980 222 0 0 20 0 1 0 391013094 79732736 12633 33554432000 134512640 146736320 4291080160 4291074380 136017777 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/26707/statm: 19466 12633 923 2985 0 16400 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 87012
[startup+1602.3 s]
/proc/loadavg: 2.02 2.62 3.14 3/180 26803
/proc/meminfo: memFree=29376696/32873844 swapFree=7632/7632
[pid=26706] ppid=26704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26706/stat : 26706 (run) S 26704 26706 26012 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391013094 9367552 270 33554432000 4194304 5064252 140737267733968 140737267732880 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26706/statm: 2287 270 229 213 0 72 0
[pid=26707] ppid=26706 vsize=78572 CPUtime=1602.02 cores=1,3,5,7
/proc/26707/stat : 26707 (pb_cplex) R 26706 26706 26012 0 -1 4202496 1002012 0 0 0 159970 232 0 0 20 0 1 0 391013094 80457728 12883 33554432000 134512640 146736320 4291080160 4291074380 136017505 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/26707/statm: 19643 12883 923 2985 0 16577 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 87720
[startup+1662.3 s]
/proc/loadavg: 2.00 2.50 3.06 3/180 26804
/proc/meminfo: memFree=29375828/32873844 swapFree=7632/7632
[pid=26706] ppid=26704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26706/stat : 26706 (run) S 26704 26706 26012 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391013094 9367552 270 33554432000 4194304 5064252 140737267733968 140737267732880 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26706/statm: 2287 270 229 213 0 72 0
[pid=26707] ppid=26706 vsize=78444 CPUtime=1662.01 cores=1,3,5,7
/proc/26707/stat : 26707 (pb_cplex) R 26706 26706 26012 0 -1 4202496 1047678 0 0 0 165960 241 0 0 20 0 1 0 391013094 80326656 13021 33554432000 134512640 146736320 4291080160 4291074380 136017763 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/26707/statm: 19611 13021 923 2985 0 16545 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 87592
[startup+1722.3 s]
/proc/loadavg: 2.00 2.41 2.99 3/179 26804
/proc/meminfo: memFree=29373976/32873844 swapFree=7632/7632
[pid=26706] ppid=26704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26706/stat : 26706 (run) S 26704 26706 26012 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391013094 9367552 270 33554432000 4194304 5064252 140737267733968 140737267732880 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26706/statm: 2287 270 229 213 0 72 0
[pid=26707] ppid=26706 vsize=77628 CPUtime=1722 cores=1,3,5,7
/proc/26707/stat : 26707 (pb_cplex) R 26706 26706 26012 0 -1 4202496 1095873 0 0 0 171948 252 0 0 20 0 1 0 391013094 79491072 12518 33554432000 134512640 146736320 4291080160 4291074816 139046530 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/26707/statm: 19407 12518 923 2985 0 16341 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 86776
[startup+1782.3 s]
/proc/loadavg: 2.00 2.33 2.93 3/186 26832
/proc/meminfo: memFree=28874372/32873844 swapFree=7632/7632
[pid=26706] ppid=26704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26706/stat : 26706 (run) S 26704 26706 26012 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391013094 9367552 270 33554432000 4194304 5064252 140737267733968 140737267732880 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26706/statm: 2287 270 229 213 0 72 0
[pid=26707] ppid=26706 vsize=78472 CPUtime=1781.98 cores=1,3,5,7
/proc/26707/stat : 26707 (pb_cplex) R 26706 26706 26012 0 -1 4202496 1135950 0 0 0 177938 260 0 0 20 0 1 0 391013094 80355328 12756 33554432000 134512640 146736320 4291080160 4291074380 136017763 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/26707/statm: 19618 12756 923 2985 0 16552 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 87620
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.32 2.92 3/186 26832
/proc/meminfo: memFree=28872440/32873844 swapFree=7632/7632
[pid=26706] ppid=26704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26706/stat : 26706 (run) S 26704 26706 26012 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391013094 9367552 270 33554432000 4194304 5064252 140737267733968 140737267732880 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26706/statm: 2287 270 229 213 0 72 0
[pid=26707] ppid=26706 vsize=78524 CPUtime=1791.59 cores=1,3,5,7
/proc/26707/stat : 26707 (pb_cplex) R 26706 26706 26012 0 -1 4202496 1135962 0 0 0 178899 260 0 0 20 0 1 0 391013094 80408576 12768 33554432000 134512640 146736320 4291080160 4291074380 136017845 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/26707/statm: 19631 12768 923 2985 0 16565 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 87672
[startup+1795.1 s]
/proc/loadavg: 2.00 2.32 2.92 3/186 26832
/proc/meminfo: memFree=28872440/32873844 swapFree=7632/7632
[pid=26706] ppid=26704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26706/stat : 26706 (run) S 26704 26706 26012 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391013094 9367552 270 33554432000 4194304 5064252 140737267733968 140737267732880 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26706/statm: 2287 270 229 213 0 72 0
[pid=26707] ppid=26706 vsize=78528 CPUtime=1794.78 cores=1,3,5,7
/proc/26707/stat : 26707 (pb_cplex) R 26706 26706 26012 0 -1 4202496 1135963 0 0 0 179218 260 0 0 20 0 1 0 391013094 80412672 12769 33554432000 134512640 146736320 4291080160 4291074216 136382166 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/26707/statm: 19632 12769 923 2985 0 16566 0
Current children cumulated CPU time (s) 1794.78
Current children cumulated vsize (KiB) 87676
[startup+1796.7 s]
/proc/loadavg: 2.00 2.32 2.92 3/186 26832
/proc/meminfo: memFree=28872440/32873844 swapFree=7632/7632
[pid=26706] ppid=26704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26706/stat : 26706 (run) S 26704 26706 26012 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391013094 9367552 270 33554432000 4194304 5064252 140737267733968 140737267732880 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26706/statm: 2287 270 229 213 0 72 0
[pid=26707] ppid=26706 vsize=78528 CPUtime=1796.38 cores=1,3,5,7
/proc/26707/stat : 26707 (pb_cplex) R 26706 26706 26012 0 -1 4202496 1135963 0 0 0 179378 260 0 0 20 0 1 0 391013094 80412672 12769 33554432000 134512640 146736320 4291080160 4291074068 136017763 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/26707/statm: 19632 12769 923 2985 0 16566 0
Current children cumulated CPU time (s) 1796.38
Current children cumulated vsize (KiB) 87676
[startup+1798.3 s]
/proc/loadavg: 2.00 2.32 2.91 3/186 26832
/proc/meminfo: memFree=28872440/32873844 swapFree=7632/7632
[pid=26706] ppid=26704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26706/stat : 26706 (run) S 26704 26706 26012 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391013094 9367552 270 33554432000 4194304 5064252 140737267733968 140737267732880 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26706/statm: 2287 270 229 213 0 72 0
[pid=26707] ppid=26706 vsize=78540 CPUtime=1797.98 cores=1,3,5,7
/proc/26707/stat : 26707 (pb_cplex) R 26706 26706 26012 0 -1 4202496 1135966 0 0 0 179538 260 0 0 20 0 1 0 391013094 80424960 12772 33554432000 134512640 146736320 4291080160 4291074380 136017763 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/26707/statm: 19635 12772 923 2985 0 16569 0
Current children cumulated CPU time (s) 1797.98
Current children cumulated vsize (KiB) 87688
[startup+1798.7 s]
/proc/loadavg: 2.00 2.32 2.91 3/186 26832
/proc/meminfo: memFree=28872440/32873844 swapFree=7632/7632
[pid=26706] ppid=26704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26706/stat : 26706 (run) S 26704 26706 26012 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391013094 9367552 270 33554432000 4194304 5064252 140737267733968 140737267732880 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26706/statm: 2287 270 229 213 0 72 0
[pid=26707] ppid=26706 vsize=78552 CPUtime=1798.38 cores=1,3,5,7
/proc/26707/stat : 26707 (pb_cplex) R 26706 26706 26012 0 -1 4202496 1135969 0 0 0 179578 260 0 0 20 0 1 0 391013094 80437248 12775 33554432000 134512640 146736320 4291080160 4291074768 136403109 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/26707/statm: 19638 12775 923 2985 0 16572 0
Current children cumulated CPU time (s) 1798.38
Current children cumulated vsize (KiB) 87700
[startup+1798.9 s]
/proc/loadavg: 2.00 2.32 2.91 3/186 26832
/proc/meminfo: memFree=28872440/32873844 swapFree=7632/7632
[pid=26706] ppid=26704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26706/stat : 26706 (run) S 26704 26706 26012 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391013094 9367552 270 33554432000 4194304 5064252 140737267733968 140737267732880 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26706/statm: 2287 270 229 213 0 72 0
[pid=26707] ppid=26706 vsize=78552 CPUtime=1798.58 cores=1,3,5,7
/proc/26707/stat : 26707 (pb_cplex) R 26706 26706 26012 0 -1 4202496 1135969 0 0 0 179598 260 0 0 20 0 1 0 391013094 80437248 12775 33554432000 134512640 146736320 4291080160 4291074380 136017755 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/26707/statm: 19638 12775 923 2985 0 16572 0
Current children cumulated CPU time (s) 1798.58
Current children cumulated vsize (KiB) 87700
[startup+1799 s]
/proc/loadavg: 2.00 2.32 2.91 3/186 26832
/proc/meminfo: memFree=28872440/32873844 swapFree=7632/7632
[pid=26706] ppid=26704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26706/stat : 26706 (run) S 26704 26706 26012 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391013094 9367552 270 33554432000 4194304 5064252 140737267733968 140737267732880 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26706/statm: 2287 270 229 213 0 72 0
[pid=26707] ppid=26706 vsize=78552 CPUtime=1798.68 cores=1,3,5,7
/proc/26707/stat : 26707 (pb_cplex) R 26706 26706 26012 0 -1 4202496 1135969 0 0 0 179608 260 0 0 20 0 1 0 391013094 80437248 12775 33554432000 134512640 146736320 4291080160 4291074380 136017516 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/26707/statm: 19638 12775 923 2985 0 16572 0
Current children cumulated CPU time (s) 1798.68
Current children cumulated vsize (KiB) 87700
Child status: 0
Real time (s): 1799.05
CPU time (s): 1798.74
CPU user time (s): 1796.12
CPU system time (s): 2.6136
CPU usage (%): 99.9829
Max. virtual memory (cumulated for all children) (KiB): 107316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.12
system time used= 2.6136
maximum resident set size= 65364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1136359
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= 51
involuntary context switches= 1857
runsolver used 3.16852 second user time and 7.55685 second system time
The end