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-3741135-1339249837/watcher-3741135-1339249837 -o /tmp/evaluation-result-3741135-1339249837/solver-3741135-1339249837 -C 1800 -W 1900 -M 15500 run HOME/instance-3741135-1339249837.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: 8.46 7.89 7.44 3/178 11939
/proc/meminfo: memFree=29258760/32873648 swapFree=7376/7376
[pid=11939] ppid=11937 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11939/stat : 11939 (run) S 11937 11939 10692 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391111043 9367552 270 33554432000 4194304 5064252 140734180232752 140734180231664 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11939/statm: 2287 270 229 213 0 72 0
[startup+0.0338769 s]
/proc/loadavg: 8.46 7.89 7.44 3/178 11939
/proc/meminfo: memFree=29258760/32873648 swapFree=7376/7376
[pid=11939] ppid=11937 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11939/stat : 11939 (run) S 11937 11939 10692 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391111043 9367552 270 33554432000 4194304 5064252 140734180232752 140734180231664 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11939/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100257 s]
/proc/loadavg: 8.46 7.89 7.44 3/178 11939
/proc/meminfo: memFree=29258760/32873648 swapFree=7376/7376
[pid=11939] ppid=11937 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11939/stat : 11939 (run) S 11937 11939 10692 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391111043 9367552 270 33554432000 4194304 5064252 140734180232752 140734180231664 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11939/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300232 s]
/proc/loadavg: 8.46 7.89 7.44 3/178 11939
/proc/meminfo: memFree=29258760/32873648 swapFree=7376/7376
[pid=11939] ppid=11937 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11939/stat : 11939 (run) S 11937 11939 10692 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391111043 9367552 270 33554432000 4194304 5064252 140734180232752 140734180231664 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11939/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700226 s]
/proc/loadavg: 8.46 7.89 7.44 3/178 11939
/proc/meminfo: memFree=29258760/32873648 swapFree=7376/7376
[pid=11939] ppid=11937 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11939/stat : 11939 (run) S 11937 11939 10692 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391111043 9367552 270 33554432000 4194304 5064252 140734180232752 140734180231664 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11939/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50031 s]
/proc/loadavg: 8.46 7.89 7.44 3/180 11941
/proc/meminfo: memFree=29179652/32873648 swapFree=7376/7376
[pid=11939] ppid=11937 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11939/stat : 11939 (run) S 11937 11939 10692 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391111043 9367552 270 33554432000 4194304 5064252 140734180232752 140734180231664 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11939/statm: 2287 270 229 213 0 72 0
[pid=11940] ppid=11939 vsize=100956 CPUtime=1.49 cores=0,2,4,6
/proc/11940/stat : 11940 (pb_cplex) R 11939 11939 10692 0 -1 4202496 30667 0 0 0 145 4 0 0 20 0 1 0 391111043 103378944 21993 33554432000 134512640 146736320 4288360880 4288358680 135795064 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/11940/statm: 25239 21993 571 2985 0 22173 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 110104
[startup+3.10036 s]
/proc/loadavg: 7.94 7.79 7.41 3/180 11941
/proc/meminfo: memFree=29140584/32873648 swapFree=7376/7376
[pid=11939] ppid=11937 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11939/stat : 11939 (run) S 11937 11939 10692 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391111043 9367552 270 33554432000 4194304 5064252 140734180232752 140734180231664 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11939/statm: 2287 270 229 213 0 72 0
[pid=11940] ppid=11939 vsize=258904 CPUtime=3.09 cores=0,2,4,6
/proc/11940/stat : 11940 (pb_cplex) R 11939 11939 10692 0 -1 4202496 67210 0 0 0 299 10 0 0 20 0 1 0 391111043 265117696 33189 33554432000 134512640 146736320 4288360880 4288356024 138667422 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/11940/statm: 64726 33189 711 2985 0 61660 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 268052
[startup+6.30035 s]
/proc/loadavg: 7.94 7.79 7.41 3/180 11941
/proc/meminfo: memFree=29036492/32873648 swapFree=7376/7376
[pid=11939] ppid=11937 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11939/stat : 11939 (run) S 11937 11939 10692 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391111043 9367552 270 33554432000 4194304 5064252 140734180232752 140734180231664 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11939/statm: 2287 270 229 213 0 72 0
[pid=11940] ppid=11939 vsize=381940 CPUtime=6.29 cores=0,2,4,6
/proc/11940/stat : 11940 (pb_cplex) R 11939 11939 10692 0 -1 4202496 119100 0 0 0 609 20 0 0 20 0 1 0 391111043 391106560 56160 33554432000 134512640 146736320 4288360880 4288355324 138666123 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/11940/statm: 95485 56160 826 2985 0 92419 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 391088
[startup+12.7004 s]
/proc/loadavg: 7.03 7.60 7.35 3/180 11941
/proc/meminfo: memFree=28988704/32873648 swapFree=7376/7376
[pid=11939] ppid=11937 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11939/stat : 11939 (run) S 11937 11939 10692 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391111043 9367552 270 33554432000 4194304 5064252 140734180232752 140734180231664 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11939/statm: 2287 270 229 213 0 72 0
[pid=11940] ppid=11939 vsize=438100 CPUtime=12.69 cores=0,2,4,6
/proc/11940/stat : 11940 (pb_cplex) R 11939 11939 10692 0 -1 4202496 161816 0 0 0 1240 29 0 0 20 0 1 0 391111043 448614400 67682 33554432000 134512640 146736320 4288360880 4288354880 135468751 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/11940/statm: 109525 67682 831 2985 0 106459 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 447248
[startup+25.5004 s]
/proc/loadavg: 6.25 7.42 7.30 3/179 11941
/proc/meminfo: memFree=29076188/32873648 swapFree=7376/7376
[pid=11939] ppid=11937 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11939/stat : 11939 (run) S 11937 11939 10692 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391111043 9367552 270 33554432000 4194304 5064252 140734180232752 140734180231664 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11939/statm: 2287 270 229 213 0 72 0
[pid=11940] ppid=11939 vsize=329296 CPUtime=25.48 cores=0,2,4,6
/proc/11940/stat : 11940 (pb_cplex) R 11939 11939 10692 0 -1 4202496 250893 0 0 0 2502 46 0 0 20 0 1 0 391111043 337199104 46390 33554432000 134512640 146736320 4288360880 4288355472 136403109 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/11940/statm: 82324 46390 837 2985 0 79258 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 338444
[startup+51.1004 s]
/proc/loadavg: 4.80 6.98 7.16 3/179 11941
/proc/meminfo: memFree=29067628/32873648 swapFree=7376/7376
[pid=11939] ppid=11937 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11939/stat : 11939 (run) S 11937 11939 10692 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391111043 9367552 270 33554432000 4194304 5064252 140734180232752 140734180231664 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11939/statm: 2287 270 229 213 0 72 0
[pid=11940] ppid=11939 vsize=334180 CPUtime=51.08 cores=0,2,4,6
/proc/11940/stat : 11940 (pb_cplex) R 11939 11939 10692 0 -1 4202496 281467 0 0 0 5054 54 0 0 20 0 1 0 391111043 342200320 48086 33554432000 134512640 146736320 4288360880 4288354952 139043568 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/11940/statm: 83545 48086 840 2985 0 80479 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 343328
[startup+102.307 s]
/proc/loadavg: 3.12 6.14 6.86 3/179 11942
/proc/meminfo: memFree=29059628/32873648 swapFree=7376/7376
[pid=11939] ppid=11937 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11939/stat : 11939 (run) S 11937 11939 10692 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391111043 9367552 270 33554432000 4194304 5064252 140734180232752 140734180231664 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11939/statm: 2287 270 229 213 0 72 0
[pid=11940] ppid=11939 vsize=338200 CPUtime=102.28 cores=0,2,4,6
/proc/11940/stat : 11940 (pb_cplex) R 11939 11939 10692 0 -1 4202496 290398 0 0 0 10172 56 0 0 20 0 1 0 391111043 346316800 48748 33554432000 134512640 146736320 4288360880 4288355084 136017793 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/11940/statm: 84550 48748 840 2985 0 81484 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 347348
[startup+162.3 s]
/proc/loadavg: 2.44 5.44 6.57 3/179 11942
/proc/meminfo: memFree=29050564/32873648 swapFree=7376/7376
[pid=11939] ppid=11937 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11939/stat : 11939 (run) S 11937 11939 10692 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391111043 9367552 270 33554432000 4194304 5064252 140734180232752 140734180231664 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11939/statm: 2287 270 229 213 0 72 0
[pid=11940] ppid=11939 vsize=339824 CPUtime=162.26 cores=0,2,4,6
/proc/11940/stat : 11940 (pb_cplex) R 11939 11939 10692 0 -1 4202496 299891 0 0 0 16167 59 0 0 20 0 1 0 391111043 347979776 51968 33554432000 134512640 146736320 4288360880 4288355084 136017755 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/11940/statm: 84956 51968 840 2985 0 81890 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 348972
[startup+222.3 s]
/proc/loadavg: 2.19 4.78 6.27 3/179 11942
/proc/meminfo: memFree=29042060/32873648 swapFree=7376/7376
[pid=11939] ppid=11937 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11939/stat : 11939 (run) S 11937 11939 10692 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391111043 9367552 270 33554432000 4194304 5064252 140734180232752 140734180231664 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11939/statm: 2287 270 229 213 0 72 0
[pid=11940] ppid=11939 vsize=340324 CPUtime=222.25 cores=0,2,4,6
/proc/11940/stat : 11940 (pb_cplex) R 11939 11939 10692 0 -1 4202496 308381 0 0 0 22164 61 0 0 20 0 1 0 391111043 348491776 54276 33554432000 134512640 146736320 4288360880 4288354772 136017519 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/11940/statm: 85081 54276 840 2985 0 82015 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 349472
[startup+282.3 s]
/proc/loadavg: 2.07 4.31 6.02 3/179 11942
/proc/meminfo: memFree=29034932/32873648 swapFree=7376/7376
[pid=11939] ppid=11937 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11939/stat : 11939 (run) S 11937 11939 10692 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391111043 9367552 270 33554432000 4194304 5064252 140734180232752 140734180231664 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11939/statm: 2287 270 229 213 0 72 0
[pid=11940] ppid=11939 vsize=341812 CPUtime=282.25 cores=0,2,4,6
/proc/11940/stat : 11940 (pb_cplex) R 11939 11939 10692 0 -1 4202496 317210 0 0 0 28161 64 0 0 20 0 1 0 391111043 350015488 55936 33554432000 134512640 146736320 4288360880 4288354772 136017665 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/11940/statm: 85453 55936 840 2985 0 82387 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 350960
[startup+342.3 s]
/proc/loadavg: 2.02 3.85 5.74 3/179 11942
/proc/meminfo: memFree=29034572/32873648 swapFree=7376/7376
[pid=11939] ppid=11937 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11939/stat : 11939 (run) S 11937 11939 10692 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391111043 9367552 270 33554432000 4194304 5064252 140734180232752 140734180231664 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11939/statm: 2287 270 229 213 0 72 0
[pid=11940] ppid=11939 vsize=342408 CPUtime=342.24 cores=0,2,4,6
/proc/11940/stat : 11940 (pb_cplex) R 11939 11939 10692 0 -1 4202496 325614 0 0 0 34158 66 0 0 20 0 1 0 391111043 350625792 56079 33554432000 134512640 146736320 4288360880 4288355084 136017763 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/11940/statm: 85602 56079 840 2985 0 82536 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 351556
[startup+402.3 s]
/proc/loadavg: 2.01 3.54 5.53 3/179 11943
/proc/meminfo: memFree=29034188/32873648 swapFree=7376/7376
[pid=11939] ppid=11937 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.06 2.06 3.23 3/179 12024
/proc/meminfo: memFree=29313560/32873648 swapFree=7376/7376
[pid=11939] ppid=11937 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11939/stat : 11939 (run) S 11937 11939 10692 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391111043 9367552 270 33554432000 4194304 5064252 140734180232752 140734180231664 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11939/statm: 2287 270 229 213 0 72 0
[pid=11940] ppid=11939 vsize=344376 CPUtime=1362.08 cores=0,2,4,6
/proc/11940/stat : 11940 (pb_cplex) R 11939 11939 10692 0 -1 4202496 472824 0 0 0 136103 105 0 0 20 0 1 0 391111043 352641024 56920 33554432000 134512640 146736320 4288360880 4288355084 136017763 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/11940/statm: 86094 56920 840 2985 0 83028 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 353524
[startup+1422.31 s]
/proc/loadavg: 2.02 2.05 3.14 3/179 12024
/proc/meminfo: memFree=29315172/32873648 swapFree=7376/7376
[pid=11939] ppid=11937 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11939/stat : 11939 (run) S 11937 11939 10692 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391111043 9367552 270 33554432000 4194304 5064252 140734180232752 140734180231664 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11939/statm: 2287 270 229 213 0 72 0
[pid=11940] ppid=11939 vsize=344428 CPUtime=1422.08 cores=0,2,4,6
/proc/11940/stat : 11940 (pb_cplex) R 11939 11939 10692 0 -1 4202496 482520 0 0 0 142100 108 0 0 20 0 1 0 391111043 352694272 56931 33554432000 134512640 146736320 4288360880 4288355084 136017757 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/11940/statm: 86107 56931 840 2985 0 83041 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 353576
[startup+1482.3 s]
/proc/loadavg: 2.01 2.04 3.07 3/179 12024
/proc/meminfo: memFree=29300992/32873648 swapFree=7376/7376
[pid=11939] ppid=11937 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11939/stat : 11939 (run) S 11937 11939 10692 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391111043 9367552 270 33554432000 4194304 5064252 140734180232752 140734180231664 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11939/statm: 2287 270 229 213 0 72 0
[pid=11940] ppid=11939 vsize=344428 CPUtime=1482.05 cores=0,2,4,6
/proc/11940/stat : 11940 (pb_cplex) R 11939 11939 10692 0 -1 4202496 491732 0 0 0 148095 110 0 0 20 0 1 0 391111043 352694272 56931 33554432000 134512640 146736320 4288360880 4288355084 136017485 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/11940/statm: 86107 56931 840 2985 0 83041 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 353576
[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 3.00 3/179 12024
/proc/meminfo: memFree=29300992/32873648 swapFree=7376/7376
[pid=11939] ppid=11937 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11939/stat : 11939 (run) S 11937 11939 10692 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391111043 9367552 270 33554432000 4194304 5064252 140734180232752 140734180231664 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11939/statm: 2287 270 229 213 0 72 0
[pid=11940] ppid=11939 vsize=344428 CPUtime=1542.05 cores=0,2,4,6
/proc/11940/stat : 11940 (pb_cplex) R 11939 11939 10692 0 -1 4202496 501471 0 0 0 154092 113 0 0 20 0 1 0 391111043 352694272 56931 33554432000 134512640 146736320 4288360880 4288355084 136017457 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/11940/statm: 86107 56931 840 2985 0 83041 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 353576
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.94 3/179 12025
/proc/meminfo: memFree=29300504/32873648 swapFree=7376/7376
[pid=11939] ppid=11937 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11939/stat : 11939 (run) S 11937 11939 10692 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391111043 9367552 270 33554432000 4194304 5064252 140734180232752 140734180231664 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11939/statm: 2287 270 229 213 0 72 0
[pid=11940] ppid=11939 vsize=344428 CPUtime=1602.04 cores=0,2,4,6
/proc/11940/stat : 11940 (pb_cplex) R 11939 11939 10692 0 -1 4202496 510622 0 0 0 160088 116 0 0 20 0 1 0 391111043 352694272 56932 33554432000 134512640 146736320 4288360880 4288355084 136017769 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/11940/statm: 86107 56932 840 2985 0 83041 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 353576
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.87 3/179 12025
/proc/meminfo: memFree=29221280/32873648 swapFree=7376/7376
[pid=11939] ppid=11937 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11939/stat : 11939 (run) S 11937 11939 10692 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391111043 9367552 270 33554432000 4194304 5064252 140734180232752 140734180231664 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11939/statm: 2287 270 229 213 0 72 0
[pid=11940] ppid=11939 vsize=467400 CPUtime=1662.03 cores=0,2,4,6
/proc/11940/stat : 11940 (pb_cplex) R 11939 11939 10692 0 -1 4202496 619957 0 0 0 166064 139 0 0 20 0 1 0 391111043 478617600 76575 33554432000 134512640 146736320 4288360880 4288355144 136461520 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/11940/statm: 116850 76575 840 2985 0 113784 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 476548
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.82 3/179 12025
/proc/meminfo: memFree=29313484/32873648 swapFree=7376/7376
[pid=11939] ppid=11937 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11939/stat : 11939 (run) S 11937 11939 10692 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391111043 9367552 270 33554432000 4194304 5064252 140734180232752 140734180231664 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11939/statm: 2287 270 229 213 0 72 0
[pid=11940] ppid=11939 vsize=349396 CPUtime=1722.02 cores=0,2,4,6
/proc/11940/stat : 11940 (pb_cplex) R 11939 11939 10692 0 -1 4202496 660715 0 0 0 172053 149 0 0 20 0 1 0 391111043 357781504 53485 33554432000 134512640 146736320 4288360880 4288354752 136489531 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/11940/statm: 87349 53485 840 2985 0 84283 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 358544
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.77 3/180 12028
/proc/meminfo: memFree=29300356/32873648 swapFree=7376/7376
[pid=11939] ppid=11937 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11939/stat : 11939 (run) S 11937 11939 10692 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391111043 9367552 270 33554432000 4194304 5064252 140734180232752 140734180231664 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11939/statm: 2287 270 229 213 0 72 0
[pid=11940] ppid=11939 vsize=349396 CPUtime=1782.01 cores=0,2,4,6
/proc/11940/stat : 11940 (pb_cplex) R 11939 11939 10692 0 -1 4202496 669447 0 0 0 178049 152 0 0 20 0 1 0 391111043 357781504 56814 33554432000 134512640 146736320 4288360880 4288354700 136017474 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/11940/statm: 87349 56814 840 2985 0 84283 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 358544
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.76 3/180 12028
/proc/meminfo: memFree=29300604/32873648 swapFree=7376/7376
[pid=11939] ppid=11937 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11939/stat : 11939 (run) S 11937 11939 10692 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391111043 9367552 270 33554432000 4194304 5064252 140734180232752 140734180231664 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11939/statm: 2287 270 229 213 0 72 0
[pid=11940] ppid=11939 vsize=349396 CPUtime=1791.61 cores=0,2,4,6
/proc/11940/stat : 11940 (pb_cplex) R 11939 11939 10692 0 -1 4202496 670483 0 0 0 179009 152 0 0 20 0 1 0 391111043 357781504 56814 33554432000 134512640 146736320 4288360880 4288354700 136017793 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/11940/statm: 87349 56814 840 2985 0 84283 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 358544
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.75 3/180 12028
/proc/meminfo: memFree=29300608/32873648 swapFree=7376/7376
[pid=11939] ppid=11937 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11939/stat : 11939 (run) S 11937 11939 10692 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391111043 9367552 270 33554432000 4194304 5064252 140734180232752 140734180231664 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11939/statm: 2287 270 229 213 0 72 0
[pid=11940] ppid=11939 vsize=349396 CPUtime=1794.81 cores=0,2,4,6
/proc/11940/stat : 11940 (pb_cplex) R 11939 11939 10692 0 -1 4202496 671003 0 0 0 179329 152 0 0 20 0 1 0 391111043 357781504 56814 33554432000 134512640 146736320 4288360880 4288354368 136400541 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/11940/statm: 87349 56814 840 2985 0 84283 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 358544
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.75 3/180 12028
/proc/meminfo: memFree=29300360/32873648 swapFree=7376/7376
[pid=11939] ppid=11937 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11939/stat : 11939 (run) S 11937 11939 10692 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391111043 9367552 270 33554432000 4194304 5064252 140734180232752 140734180231664 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11939/statm: 2287 270 229 213 0 72 0
[pid=11940] ppid=11939 vsize=349396 CPUtime=1796.41 cores=0,2,4,6
/proc/11940/stat : 11940 (pb_cplex) R 11939 11939 10692 0 -1 4202496 671515 0 0 0 179488 153 0 0 20 0 1 0 391111043 357781504 56814 33554432000 134512640 146736320 4288360880 4288354388 136017502 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/11940/statm: 87349 56814 840 2985 0 84283 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 358544
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.75 3/180 12028
/proc/meminfo: memFree=29300608/32873648 swapFree=7376/7376
[pid=11939] ppid=11937 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11939/stat : 11939 (run) S 11937 11939 10692 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391111043 9367552 270 33554432000 4194304 5064252 140734180232752 140734180231664 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11939/statm: 2287 270 229 213 0 72 0
[pid=11940] ppid=11939 vsize=349396 CPUtime=1798.01 cores=0,2,4,6
/proc/11940/stat : 11940 (pb_cplex) R 11939 11939 10692 0 -1 4202496 671515 0 0 0 179648 153 0 0 20 0 1 0 391111043 357781504 56814 33554432000 134512640 146736320 4288360880 4288354388 136017755 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/11940/statm: 87349 56814 840 2985 0 84283 0
Current children cumulated CPU time (s) 1798.01
Current children cumulated vsize (KiB) 358544
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.75 3/180 12028
/proc/meminfo: memFree=29300608/32873648 swapFree=7376/7376
[pid=11939] ppid=11937 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11939/stat : 11939 (run) S 11937 11939 10692 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391111043 9367552 270 33554432000 4194304 5064252 140734180232752 140734180231664 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11939/statm: 2287 270 229 213 0 72 0
[pid=11940] ppid=11939 vsize=349396 CPUtime=1798.81 cores=0,2,4,6
/proc/11940/stat : 11940 (pb_cplex) R 11939 11939 10692 0 -1 4202496 671515 0 0 0 179728 153 0 0 20 0 1 0 391111043 357781504 56814 33554432000 134512640 146736320 4288360880 4288354388 136017485 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/11940/statm: 87349 56814 840 2985 0 84283 0
Current children cumulated CPU time (s) 1798.81
Current children cumulated vsize (KiB) 358544
[startup+1799.3 s]
/proc/loadavg: 2.00 2.00 2.75 3/180 12028
/proc/meminfo: memFree=29300608/32873648 swapFree=7376/7376
[pid=11939] ppid=11937 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11939/stat : 11939 (run) S 11937 11939 10692 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391111043 9367552 270 33554432000 4194304 5064252 140734180232752 140734180231664 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11939/statm: 2287 270 229 213 0 72 0
[pid=11940] ppid=11939 vsize=349396 CPUtime=1799.01 cores=0,2,4,6
/proc/11940/stat : 11940 (pb_cplex) R 11939 11939 10692 0 -1 4202496 672035 0 0 0 179748 153 0 0 20 0 1 0 391111043 357781504 56814 33554432000 134512640 146736320 4288360880 4288354700 136017755 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/11940/statm: 87349 56814 840 2985 0 84283 0
Current children cumulated CPU time (s) 1799.01
Current children cumulated vsize (KiB) 358544
Child status: 0
Real time (s): 1799.33
CPU time (s): 1799.05
CPU user time (s): 1797.5
CPU system time (s): 1.54577
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 509556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.5
system time used= 1.54576
maximum resident set size= 332428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 672417
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= 16
involuntary context switches= 2048
runsolver used 6.80596 second user time and 18.7072 second system time
The end