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-3730557-1339246852/watcher-3730557-1339246852 -o /tmp/evaluation-result-3730557-1339246852/solver-3730557-1339246852 -C 1800 -W 1900 -M 15500 run HOME/instance-3730557-1339246852.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: 0.00 0.00 0.00 9/187 21093
/proc/meminfo: memFree=31239940/32873844 swapFree=7632/7632
[pid=21093] ppid=21091 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21093/stat : 21093 (run) S 21091 21093 20922 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 34651902 9367552 270 33554432000 4194304 5064252 140736076936288 140736076935200 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21093/statm: 2287 270 229 213 0 72 0
[startup+0.0875039 s]
/proc/loadavg: 0.00 0.00 0.00 9/187 21093
/proc/meminfo: memFree=31239940/32873844 swapFree=7632/7632
[pid=21093] ppid=21091 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21093/stat : 21093 (run) S 21091 21093 20922 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 34651902 9367552 270 33554432000 4194304 5064252 140736076936288 140736076935200 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21093/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100258 s]
/proc/loadavg: 0.00 0.00 0.00 9/187 21093
/proc/meminfo: memFree=31239940/32873844 swapFree=7632/7632
[pid=21093] ppid=21091 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21093/stat : 21093 (run) S 21091 21093 20922 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 34651902 9367552 270 33554432000 4194304 5064252 140736076936288 140736076935200 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21093/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300213 s]
/proc/loadavg: 0.00 0.00 0.00 9/187 21093
/proc/meminfo: memFree=31239940/32873844 swapFree=7632/7632
[pid=21093] ppid=21091 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21093/stat : 21093 (run) S 21091 21093 20922 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 34651902 9367552 270 33554432000 4194304 5064252 140736076936288 140736076935200 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21093/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700201 s]
/proc/loadavg: 0.00 0.00 0.00 9/187 21093
/proc/meminfo: memFree=31239940/32873844 swapFree=7632/7632
[pid=21093] ppid=21091 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21093/stat : 21093 (run) S 21091 21093 20922 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 34651902 9367552 270 33554432000 4194304 5064252 140736076936288 140736076935200 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21093/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50023 s]
/proc/loadavg: 0.16 0.03 0.01 3/189 21109
/proc/meminfo: memFree=31179252/32873844 swapFree=7632/7632
[pid=21093] ppid=21091 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21093/stat : 21093 (run) S 21091 21093 20922 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 34651902 9367552 270 33554432000 4194304 5064252 140736076936288 140736076935200 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21093/statm: 2287 270 229 213 0 72 0
[pid=21094] ppid=21093 vsize=127808 CPUtime=1.49 cores=1,3,5,7
/proc/21094/stat : 21094 (pb_cplex) R 21093 21093 20922 0 -1 4202496 27810 0 0 0 143 6 0 0 20 0 1 0 34651902 130875392 26974 33554432000 134512640 146736320 4292873376 4292871176 144716523 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/21094/statm: 31952 26974 3248 2985 0 24669 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 136956
[startup+3.10029 s]
/proc/loadavg: 0.16 0.03 0.01 10/189 21109
/proc/meminfo: memFree=31109360/32873844 swapFree=7632/7632
[pid=21093] ppid=21091 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21093/stat : 21093 (run) S 21091 21093 20922 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 34651902 9367552 270 33554432000 4194304 5064252 140736076936288 140736076935200 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21093/statm: 2287 270 229 213 0 72 0
[pid=21094] ppid=21093 vsize=323028 CPUtime=3.09 cores=1,3,5,7
/proc/21094/stat : 21094 (pb_cplex) R 21093 21093 20922 0 -1 4202496 73945 0 0 0 293 16 0 0 20 0 1 0 34651902 330780672 72982 33554432000 134512640 146736320 4292873376 4292871608 136729818 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/21094/statm: 80757 72982 544 2985 0 77691 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 332176
[startup+6.3003 s]
/proc/loadavg: 0.31 0.07 0.02 6/189 21109
/proc/meminfo: memFree=30906492/32873844 swapFree=7632/7632
[pid=21093] ppid=21091 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21093/stat : 21093 (run) S 21091 21093 20922 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 34651902 9367552 270 33554432000 4194304 5064252 140736076936288 140736076935200 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21093/statm: 2287 270 229 213 0 72 0
[pid=21094] ppid=21093 vsize=341824 CPUtime=6.28 cores=1,3,5,7
/proc/21094/stat : 21094 (pb_cplex) R 21093 21093 20922 0 -1 4202496 108548 0 0 0 606 22 0 0 20 0 1 0 34651902 350027776 75407 33554432000 134512640 146736320 4292873376 4292871592 138736370 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/21094/statm: 85456 75407 584 2985 0 82390 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 350972
[startup+12.7003 s]
/proc/loadavg: 0.36 0.08 0.03 2/176 21208
/proc/meminfo: memFree=30880772/32873844 swapFree=7632/7632
[pid=21093] ppid=21091 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21093/stat : 21093 (run) S 21091 21093 20922 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 34651902 9367552 270 33554432000 4194304 5064252 140736076936288 140736076935200 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21093/statm: 2287 270 229 213 0 72 0
[pid=21094] ppid=21093 vsize=869748 CPUtime=12.68 cores=1,3,5,7
/proc/21094/stat : 21094 (pb_cplex) R 21093 21093 20922 0 -1 4202496 205954 0 0 0 1226 42 0 0 20 0 1 0 34651902 890621952 106950 33554432000 134512640 146736320 4292873376 4292869616 137317496 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/21094/statm: 217437 106950 619 2985 0 214371 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 878896
[startup+25.5004 s]
/proc/loadavg: 1.25 0.28 0.09 3/188 21251
/proc/meminfo: memFree=30568388/32873844 swapFree=7632/7632
[pid=21093] ppid=21091 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21093/stat : 21093 (run) S 21091 21093 20922 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 34651902 9367552 270 33554432000 4194304 5064252 140736076936288 140736076935200 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21093/statm: 2287 270 229 213 0 72 0
[pid=21094] ppid=21093 vsize=1195824 CPUtime=25.48 cores=1,3,5,7
/proc/21094/stat : 21094 (pb_cplex) R 21093 21093 20922 0 -1 4202496 282395 0 0 0 2476 72 0 0 20 0 1 0 34651902 1224523776 163407 33554432000 134512640 146736320 4292873376 4292868120 136007627 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/21094/statm: 298956 163407 730 2985 0 295890 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1204972
[startup+51.1003 s]
/proc/loadavg: 3.45 0.89 0.30 10/189 21252
/proc/meminfo: memFree=30553136/32873844 swapFree=7632/7632
[pid=21093] ppid=21091 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21093/stat : 21093 (run) S 21091 21093 20922 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 34651902 9367552 270 33554432000 4194304 5064252 140736076936288 140736076935200 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21093/statm: 2287 270 229 213 0 72 0
[pid=21094] ppid=21093 vsize=1199644 CPUtime=51.08 cores=1,3,5,7
/proc/21094/stat : 21094 (pb_cplex) R 21093 21093 20922 0 -1 4202496 287422 0 0 0 5031 77 0 0 20 0 1 0 34651902 1228435456 164293 33554432000 134512640 146736320 4292873376 4292868008 139044505 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/21094/statm: 299911 164293 730 2985 0 296845 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1208792
[startup+102.307 s]
/proc/loadavg: 5.36 1.79 0.63 10/188 21252
/proc/meminfo: memFree=30510956/32873844 swapFree=7632/7632
[pid=21093] ppid=21091 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21093/stat : 21093 (run) S 21091 21093 20922 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 34651902 9367552 270 33554432000 4194304 5064252 140736076936288 140736076935200 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21093/statm: 2287 270 229 213 0 72 0
[pid=21094] ppid=21093 vsize=1203556 CPUtime=102.28 cores=1,3,5,7
/proc/21094/stat : 21094 (pb_cplex) R 21093 21093 20922 0 -1 4202496 342517 0 0 0 10130 98 0 0 20 0 1 0 34651902 1232441344 167520 33554432000 134512640 146736320 4292873376 4292867596 136017505 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/21094/statm: 300889 167520 794 2985 0 297823 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1212704
[startup+162.3 s]
/proc/loadavg: 6.87 2.87 1.07 10/188 21252
/proc/meminfo: memFree=30721592/32873844 swapFree=7632/7632
[pid=21093] ppid=21091 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21093/stat : 21093 (run) S 21091 21093 20922 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 34651902 9367552 270 33554432000 4194304 5064252 140736076936288 140736076935200 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21093/statm: 2287 270 229 213 0 72 0
[pid=21094] ppid=21093 vsize=909448 CPUtime=162.26 cores=1,3,5,7
/proc/21094/stat : 21094 (pb_cplex) R 21093 21093 20922 0 -1 4202496 487405 0 0 0 16078 148 0 0 20 0 1 0 34651902 931274752 116429 33554432000 134512640 146736320 4292873376 4292869648 135417736 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/21094/statm: 227362 116429 832 2985 0 224296 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 918596
[startup+222.3 s]
/proc/loadavg: 6.67 3.50 1.40 9/188 21252
/proc/meminfo: memFree=30446124/32873844 swapFree=7632/7632
[pid=21093] ppid=21091 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21093/stat : 21093 (run) S 21091 21093 20922 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 34651902 9367552 270 33554432000 4194304 5064252 140736076936288 140736076935200 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21093/statm: 2287 270 229 213 0 72 0
[pid=21094] ppid=21093 vsize=1246132 CPUtime=222.25 cores=1,3,5,7
/proc/21094/stat : 21094 (pb_cplex) R 21093 21093 20922 0 -1 4202496 502676 0 0 0 22066 159 0 0 20 0 1 0 34651902 1276039168 182182 33554432000 134512640 146736320 4292873376 4292867596 136017489 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/21094/statm: 311533 182182 832 2985 0 308467 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1255280
[startup+282.3 s]
/proc/loadavg: 7.09 4.15 1.75 10/188 21252
/proc/meminfo: memFree=30439736/32873844 swapFree=7632/7632
[pid=21093] ppid=21091 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21093/stat : 21093 (run) S 21091 21093 20922 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 34651902 9367552 270 33554432000 4194304 5064252 140736076936288 140736076935200 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21093/statm: 2287 270 229 213 0 72 0
[pid=21094] ppid=21093 vsize=1247624 CPUtime=282.25 cores=1,3,5,7
/proc/21094/stat : 21094 (pb_cplex) R 21093 21093 20922 0 -1 4202496 505427 0 0 0 28063 162 0 0 20 0 1 0 34651902 1277566976 183046 33554432000 134512640 146736320 4292873376 4292867596 136017777 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/21094/statm: 311906 183046 832 2985 0 308840 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 1256772
[startup+342.3 s]
/proc/loadavg: 7.97 4.94 2.17 10/188 21253
/proc/meminfo: memFree=30438504/32873844 swapFree=7632/7632
[pid=21093] ppid=21091 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21093/stat : 21093 (run) S 21091 21093 20922 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 34651902 9367552 270 33554432000 4194304 5064252 140736076936288 140736076935200 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21093/statm: 2287 270 229 213 0 72 0
[pid=21094] ppid=21093 vsize=1248044 CPUtime=342.23 cores=1,3,5,7
/proc/21094/stat : 21094 (pb_cplex) R 21093 21093 20922 0 -1 4202496 507699 0 0 0 34059 164 0 0 20 0 1 0 34651902 1277997056 183155 33554432000 134512640 146736320 4292873376 4292867688 136385265 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/21094/statm: 312011 183155 832 2985 0 308945 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1257192
[startup+402.3 s]
/proc/loadavg: 7.33 5.35 2.48 9/188 21253
/proc/meminfo: memFree=30431124/32873844 swapFree=7632/7632
[pid=21093] ppid=21091 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 5.40 5.82 4.33 3/188 21456
/proc/meminfo: memFree=30375208/32873844 swapFree=7632/7632
[pid=21093] ppid=21091 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21093/stat : 21093 (run) S 21091 21093 20922 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 34651902 9367552 270 33554432000 4194304 5064252 140736076936288 140736076935200 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21093/statm: 2287 270 229 213 0 72 0
[pid=21094] ppid=21093 vsize=1251028 CPUtime=1362.07 cores=1,3,5,7
/proc/21094/stat : 21094 (pb_cplex) R 21093 21093 20922 0 -1 4202496 547221 0 0 0 136004 203 0 0 20 0 1 0 34651902 1281052672 197187 33554432000 134512640 146736320 4292873376 4292867596 136017519 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/21094/statm: 312757 197187 832 2985 0 309691 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 1260176
[startup+1422.31 s]
/proc/loadavg: 4.89 5.57 4.33 9/188 21456
/proc/meminfo: memFree=30375704/32873844 swapFree=7632/7632
[pid=21093] ppid=21091 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21093/stat : 21093 (run) S 21091 21093 20922 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 34651902 9367552 270 33554432000 4194304 5064252 140736076936288 140736076935200 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21093/statm: 2287 270 229 213 0 72 0
[pid=21094] ppid=21093 vsize=1251140 CPUtime=1422.07 cores=1,3,5,7
/proc/21094/stat : 21094 (pb_cplex) R 21093 21093 20922 0 -1 4202496 550228 0 0 0 142001 206 0 0 20 0 1 0 34651902 1281167360 197216 33554432000 134512640 146736320 4292873376 4292867432 139044505 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/21094/statm: 312785 197216 832 2985 0 309719 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 1260288
[startup+1482.3 s]
/proc/loadavg: 4.28 5.23 4.29 7/188 21463
/proc/meminfo: memFree=30358216/32873844 swapFree=7632/7632
[pid=21093] ppid=21091 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21093/stat : 21093 (run) S 21091 21093 20922 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 34651902 9367552 270 33554432000 4194304 5064252 140736076936288 140736076935200 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21093/statm: 2287 270 229 213 0 72 0
[pid=21094] ppid=21093 vsize=1251208 CPUtime=1482.06 cores=1,3,5,7
/proc/21094/stat : 21094 (pb_cplex) R 21093 21093 20922 0 -1 4202496 552779 0 0 0 147997 209 0 0 20 0 1 0 34651902 1281236992 197230 33554432000 134512640 146736320 4292873376 4292867432 139044550 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/21094/statm: 312802 197230 832 2985 0 309736 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 1260356
[startup+1542.3 s]
/proc/loadavg: 4.44 5.17 4.33 7/188 21463
/proc/meminfo: memFree=30359640/32873844 swapFree=7632/7632
[pid=21093] ppid=21091 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21093/stat : 21093 (run) S 21091 21093 20922 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 34651902 9367552 270 33554432000 4194304 5064252 140736076936288 140736076935200 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21093/statm: 2287 270 229 213 0 72 0
[pid=21094] ppid=21093 vsize=1251368 CPUtime=1542.05 cores=1,3,5,7
/proc/21094/stat : 21094 (pb_cplex) R 21093 21093 20922 0 -1 4202496 555322 0 0 0 153994 211 0 0 20 0 1 0 34651902 1281400832 197391 33554432000 134512640 146736320 4292873376 4292867596 136017471 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/21094/statm: 312842 197391 832 2985 0 309776 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 1260516
[startup+1602.3 s]
/proc/loadavg: 4.36 5.04 4.34 9/188 21471
/proc/meminfo: memFree=30618376/32873844 swapFree=7632/7632
[pid=21093] ppid=21091 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21093/stat : 21093 (run) S 21091 21093 20922 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 34651902 9367552 270 33554432000 4194304 5064252 140736076936288 140736076935200 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21093/statm: 2287 270 229 213 0 72 0
[pid=21094] ppid=21093 vsize=919000 CPUtime=1602.04 cores=1,3,5,7
/proc/21094/stat : 21094 (pb_cplex) R 21093 21093 20922 0 -1 4202496 565777 0 0 0 159986 218 0 0 20 0 1 0 34651902 941056000 127870 33554432000 134512640 146736320 4292873376 4292869792 136207919 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/21094/statm: 229750 127870 833 2985 0 226684 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 928148
[startup+1662.3 s]
/proc/loadavg: 5.27 5.12 4.40 8/188 21471
/proc/meminfo: memFree=30386620/32873844 swapFree=7632/7632
[pid=21093] ppid=21091 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21093/stat : 21093 (run) S 21091 21093 20922 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 34651902 9367552 270 33554432000 4194304 5064252 140736076936288 140736076935200 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21093/statm: 2287 270 229 213 0 72 0
[pid=21094] ppid=21093 vsize=1252024 CPUtime=1662.03 cores=1,3,5,7
/proc/21094/stat : 21094 (pb_cplex) R 21093 21093 20922 0 -1 4202496 601201 0 0 0 165971 232 0 0 20 0 1 0 34651902 1282072576 185985 33554432000 134512640 146736320 4292873376 4292867984 136403116 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/21094/statm: 313006 185985 833 2985 0 309940 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 1261172
[startup+1722.3 s]
/proc/loadavg: 4.51 4.89 4.37 4/188 21471
/proc/meminfo: memFree=30387860/32873844 swapFree=7632/7632
[pid=21093] ppid=21091 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21093/stat : 21093 (run) S 21091 21093 20922 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 34651902 9367552 270 33554432000 4194304 5064252 140736076936288 140736076935200 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21093/statm: 2287 270 229 213 0 72 0
[pid=21094] ppid=21093 vsize=1252024 CPUtime=1722.01 cores=1,3,5,7
/proc/21094/stat : 21094 (pb_cplex) R 21093 21093 20922 0 -1 4202496 602536 0 0 0 171967 234 0 0 20 0 1 0 34651902 1282072576 186009 33554432000 134512640 146736320 4292873376 4292867596 136017787 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/21094/statm: 313006 186009 833 2985 0 309940 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 1261172
[startup+1782.3 s]
/proc/loadavg: 5.05 4.95 4.42 10/189 21481
/proc/meminfo: memFree=30384372/32873844 swapFree=7632/7632
[pid=21093] ppid=21091 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21093/stat : 21093 (run) S 21091 21093 20922 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 34651902 9367552 270 33554432000 4194304 5064252 140736076936288 140736076935200 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21093/statm: 2287 270 229 213 0 72 0
[pid=21094] ppid=21093 vsize=1252028 CPUtime=1782.01 cores=1,3,5,7
/proc/21094/stat : 21094 (pb_cplex) R 21093 21093 20922 0 -1 4202496 603603 0 0 0 177964 237 0 0 20 0 1 0 34651902 1282076672 186020 33554432000 134512640 146736320 4292873376 4292867596 136017485 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/21094/statm: 313007 186020 833 2985 0 309941 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 1261176
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 5.42 5.04 4.45 9/189 21481
/proc/meminfo: memFree=30384124/32873844 swapFree=7632/7632
[pid=21093] ppid=21091 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21093/stat : 21093 (run) S 21091 21093 20922 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 34651902 9367552 270 33554432000 4194304 5064252 140736076936288 140736076935200 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21093/statm: 2287 270 229 213 0 72 0
[pid=21094] ppid=21093 vsize=1252028 CPUtime=1791.61 cores=1,3,5,7
/proc/21094/stat : 21094 (pb_cplex) R 21093 21093 20922 0 -1 4202496 603680 0 0 0 178924 237 0 0 20 0 1 0 34651902 1282076672 186020 33554432000 134512640 146736320 4292873376 4292867432 139044499 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/21094/statm: 313007 186020 833 2985 0 309941 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 1261176
[startup+1795.1 s]
/proc/loadavg: 5.42 5.04 4.45 9/189 21481
/proc/meminfo: memFree=30383876/32873844 swapFree=7632/7632
[pid=21093] ppid=21091 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21093/stat : 21093 (run) S 21091 21093 20922 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 34651902 9367552 270 33554432000 4194304 5064252 140736076936288 140736076935200 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21093/statm: 2287 270 229 213 0 72 0
[pid=21094] ppid=21093 vsize=1252028 CPUtime=1794.81 cores=1,3,5,7
/proc/21094/stat : 21094 (pb_cplex) R 21093 21093 20922 0 -1 4202496 603680 0 0 0 179244 237 0 0 20 0 1 0 34651902 1282076672 186020 33554432000 134512640 146736320 4292873376 4292867596 136017672 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/21094/statm: 313007 186020 833 2985 0 309941 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 1261176
[startup+1796.7 s]
/proc/loadavg: 5.54 5.07 4.46 9/189 21481
/proc/meminfo: memFree=30383876/32873844 swapFree=7632/7632
[pid=21093] ppid=21091 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21093/stat : 21093 (run) S 21091 21093 20922 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 34651902 9367552 270 33554432000 4194304 5064252 140736076936288 140736076935200 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21093/statm: 2287 270 229 213 0 72 0
[pid=21094] ppid=21093 vsize=1319928 CPUtime=1796.41 cores=1,3,5,7
/proc/21094/stat : 21094 (pb_cplex) R 21093 21093 20922 0 -1 4202496 605490 0 0 0 179402 239 0 0 20 0 1 0 34651902 1351606272 194993 33554432000 134512640 146736320 4292873376 4292869124 135850319 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/21094/statm: 329982 194993 833 2985 0 326916 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 1329076
[startup+1798.3 s]
/proc/loadavg: 5.54 5.07 4.46 7/189 21481
/proc/meminfo: memFree=30344984/32873844 swapFree=7632/7632
[pid=21093] ppid=21091 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21093/stat : 21093 (run) S 21091 21093 20922 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 34651902 9367552 270 33554432000 4194304 5064252 140736076936288 140736076935200 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21093/statm: 2287 270 229 213 0 72 0
[pid=21094] ppid=21093 vsize=1344864 CPUtime=1798.01 cores=1,3,5,7
/proc/21094/stat : 21094 (pb_cplex) R 21093 21093 20922 0 -1 4202496 614933 0 0 0 179560 241 0 0 20 0 1 0 34651902 1377140736 196225 33554432000 134512640 146736320 4292873376 4292868720 137342813 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/21094/statm: 336216 196225 833 2985 0 333150 0
Current children cumulated CPU time (s) 1798.01
Current children cumulated vsize (KiB) 1354012
[startup+1799.1 s]
/proc/loadavg: 5.54 5.07 4.46 10/189 21481
/proc/meminfo: memFree=30343496/32873844 swapFree=7632/7632
[pid=21093] ppid=21091 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21093/stat : 21093 (run) S 21091 21093 20922 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 34651902 9367552 270 33554432000 4194304 5064252 140736076936288 140736076935200 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21093/statm: 2287 270 229 213 0 72 0
[pid=21094] ppid=21093 vsize=1320216 CPUtime=1798.81 cores=1,3,5,7
/proc/21094/stat : 21094 (pb_cplex) R 21093 21093 20922 0 -1 4202496 617772 0 0 0 179639 242 0 0 20 0 1 0 34651902 1351901184 195852 33554432000 134512640 146736320 4292873376 4292869164 139028313 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/21094/statm: 330054 195852 833 2985 0 326988 0
Current children cumulated CPU time (s) 1798.81
Current children cumulated vsize (KiB) 1329364
[startup+1799.3 s]
/proc/loadavg: 5.54 5.07 4.46 10/189 21481
/proc/meminfo: memFree=30343496/32873844 swapFree=7632/7632
[pid=21093] ppid=21091 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21093/stat : 21093 (run) S 21091 21093 20922 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 34651902 9367552 270 33554432000 4194304 5064252 140736076936288 140736076935200 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21093/statm: 2287 270 229 213 0 72 0
[pid=21094] ppid=21093 vsize=265424 CPUtime=1799.01 cores=1,3,5,7
/proc/21094/stat : 21094 (pb_cplex) R 21093 21093 20922 0 -1 4202496 622673 0 0 0 179656 245 0 0 20 0 1 0 34651902 271794176 60655 33554432000 134512640 146736320 4292873376 4292872028 144797937 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/21094/statm: 66356 60655 843 2985 0 63290 0
Current children cumulated CPU time (s) 1799.01
Current children cumulated vsize (KiB) 274572
Child status: 0
Real time (s): 1799.32
CPU time (s): 1799.04
CPU user time (s): 1796.58
CPU system time (s): 2.46163
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 1481192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.58
system time used= 2.46162
maximum resident set size= 865628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 623046
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= 11
involuntary context switches= 1852
runsolver used 3.20351 second user time and 8.72567 second system time
The end