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-3742471-1339251120/watcher-3742471-1339251120 -o /tmp/evaluation-result-3742471-1339251120/solver-3742471-1339251120 -C 1800 -W 1900 -M 15500 run HOME/instance-3742471-1339251120.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: 8.90 7.25 6.26 3/177 20962
/proc/meminfo: memFree=27014220/32873648 swapFree=7628/7628
[pid=20962] ppid=20960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20962/stat : 20962 (run) S 20960 20962 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391238027 9367552 270 33554432000 4194304 5064252 140733632315648 140733632314560 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20962/statm: 2287 270 229 213 0 72 0
[startup+0.0152539 s]
/proc/loadavg: 8.90 7.25 6.26 3/177 20962
/proc/meminfo: memFree=27014220/32873648 swapFree=7628/7628
[pid=20962] ppid=20960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20962/stat : 20962 (run) S 20960 20962 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391238027 9367552 270 33554432000 4194304 5064252 140733632315648 140733632314560 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20962/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100263 s]
/proc/loadavg: 8.90 7.25 6.26 3/177 20962
/proc/meminfo: memFree=27014220/32873648 swapFree=7628/7628
[pid=20962] ppid=20960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20962/stat : 20962 (run) S 20960 20962 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391238027 9367552 270 33554432000 4194304 5064252 140733632315648 140733632314560 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20962/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30023 s]
/proc/loadavg: 8.90 7.25 6.26 3/177 20962
/proc/meminfo: memFree=27014220/32873648 swapFree=7628/7628
[pid=20962] ppid=20960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20962/stat : 20962 (run) S 20960 20962 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391238027 9367552 270 33554432000 4194304 5064252 140733632315648 140733632314560 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20962/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70018 s]
/proc/loadavg: 8.90 7.25 6.26 3/177 20962
/proc/meminfo: memFree=27014220/32873648 swapFree=7628/7628
[pid=20962] ppid=20960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20962/stat : 20962 (run) S 20960 20962 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391238027 9367552 270 33554432000 4194304 5064252 140733632315648 140733632314560 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20962/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5003 s]
/proc/loadavg: 8.90 7.25 6.26 3/179 20964
/proc/meminfo: memFree=27002316/32873648 swapFree=7628/7628
[pid=20962] ppid=20960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20962/stat : 20962 (run) S 20960 20962 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391238027 9367552 270 33554432000 4194304 5064252 140733632315648 140733632314560 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20962/statm: 2287 270 229 213 0 72 0
[pid=20963] ppid=20962 vsize=81784 CPUtime=1.48 cores=1,3,5,7
/proc/20963/stat : 20963 (pb_cplex) R 20962 20962 19841 0 -1 4202496 19283 0 0 0 145 3 0 0 20 0 1 0 391238027 83746816 11657 33554432000 134512640 146736320 4289491504 4289486356 136004875 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/20963/statm: 20446 11657 724 2985 0 17380 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 90932
[startup+3.10035 s]
/proc/loadavg: 8.34 7.16 6.24 3/179 20964
/proc/meminfo: memFree=26968656/32873648 swapFree=7628/7628
[pid=20962] ppid=20960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20962/stat : 20962 (run) S 20960 20962 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391238027 9367552 270 33554432000 4194304 5064252 140733632315648 140733632314560 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20962/statm: 2287 270 229 213 0 72 0
[pid=20963] ppid=20962 vsize=82748 CPUtime=3.08 cores=1,3,5,7
/proc/20963/stat : 20963 (pb_cplex) R 20962 20962 19841 0 -1 4202496 23051 0 0 0 304 4 0 0 20 0 1 0 391238027 84733952 12021 33554432000 134512640 146736320 4289491504 4289486136 136475808 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/20963/statm: 20687 12021 726 2985 0 17621 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 91896
[startup+6.30035 s]
/proc/loadavg: 8.34 7.16 6.24 3/179 20964
/proc/meminfo: memFree=26968108/32873648 swapFree=7628/7628
[pid=20962] ppid=20960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20962/stat : 20962 (run) S 20960 20962 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391238027 9367552 270 33554432000 4194304 5064252 140733632315648 140733632314560 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20962/statm: 2287 270 229 213 0 72 0
[pid=20963] ppid=20962 vsize=83128 CPUtime=6.28 cores=1,3,5,7
/proc/20963/stat : 20963 (pb_cplex) R 20962 20962 19841 0 -1 4202496 27007 0 0 0 623 5 0 0 20 0 1 0 391238027 85123072 12127 33554432000 134512640 146736320 4289491504 4289486152 136472910 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/20963/statm: 20782 12127 726 2985 0 17716 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 92276
[startup+12.7003 s]
/proc/loadavg: 7.84 7.08 6.22 3/179 20964
/proc/meminfo: memFree=26965992/32873648 swapFree=7628/7628
[pid=20962] ppid=20960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20962/stat : 20962 (run) S 20960 20962 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391238027 9367552 270 33554432000 4194304 5064252 140733632315648 140733632314560 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20962/statm: 2287 270 229 213 0 72 0
[pid=20963] ppid=20962 vsize=83688 CPUtime=12.68 cores=1,3,5,7
/proc/20963/stat : 20963 (pb_cplex) R 20962 20962 19841 0 -1 4202496 33672 0 0 0 1262 6 0 0 20 0 1 0 391238027 85696512 12317 33554432000 134512640 146736320 4289491504 4289486172 135855165 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/20963/statm: 20922 12317 726 2985 0 17856 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 92836
[startup+25.5003 s]
/proc/loadavg: 6.54 6.83 6.15 3/179 20964
/proc/meminfo: memFree=26966208/32873648 swapFree=7628/7628
[pid=20962] ppid=20960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20962/stat : 20962 (run) S 20960 20962 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391238027 9367552 270 33554432000 4194304 5064252 140733632315648 140733632314560 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20962/statm: 2287 270 229 213 0 72 0
[pid=20963] ppid=20962 vsize=83944 CPUtime=25.48 cores=1,3,5,7
/proc/20963/stat : 20963 (pb_cplex) R 20962 20962 19841 0 -1 4202496 43892 0 0 0 2539 9 0 0 20 0 1 0 391238027 85958656 12387 33554432000 134512640 146736320 4289491504 4289486136 136475800 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/20963/statm: 20986 12387 726 2985 0 17920 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 93092
[startup+51.1003 s]
/proc/loadavg: 4.99 6.44 6.04 3/179 20964
/proc/meminfo: memFree=26963912/32873648 swapFree=7628/7628
[pid=20962] ppid=20960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20962/stat : 20962 (run) S 20960 20962 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391238027 9367552 270 33554432000 4194304 5064252 140733632315648 140733632314560 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20962/statm: 2287 270 229 213 0 72 0
[pid=20963] ppid=20962 vsize=84832 CPUtime=51.08 cores=1,3,5,7
/proc/20963/stat : 20963 (pb_cplex) R 20962 20962 19841 0 -1 4202496 61447 0 0 0 5095 13 0 0 20 0 1 0 391238027 86867968 12617 33554432000 134512640 146736320 4289491504 4289484840 138462623 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/20963/statm: 21208 12617 726 2985 0 18142 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 93980
[startup+102.307 s]
/proc/loadavg: 3.19 5.69 5.80 3/179 20964
/proc/meminfo: memFree=26957260/32873648 swapFree=7628/7628
[pid=20962] ppid=20960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20962/stat : 20962 (run) S 20960 20962 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391238027 9367552 270 33554432000 4194304 5064252 140733632315648 140733632314560 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20962/statm: 2287 270 229 213 0 72 0
[pid=20963] ppid=20962 vsize=84228 CPUtime=102.28 cores=1,3,5,7
/proc/20963/stat : 20963 (pb_cplex) R 20962 20962 19841 0 -1 4202496 93677 0 0 0 10208 20 0 0 20 0 1 0 391238027 86249472 12472 33554432000 134512640 146736320 4289491504 4289486148 136385184 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/20963/statm: 21057 12472 726 2985 0 17991 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 93376
[startup+162.3 s]
/proc/loadavg: 2.47 5.07 5.58 3/179 20964
/proc/meminfo: memFree=26955008/32873648 swapFree=7628/7628
[pid=20962] ppid=20960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20962/stat : 20962 (run) S 20960 20962 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391238027 9367552 270 33554432000 4194304 5064252 140733632315648 140733632314560 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20962/statm: 2287 270 229 213 0 72 0
[pid=20963] ppid=20962 vsize=84104 CPUtime=162.27 cores=1,3,5,7
/proc/20963/stat : 20963 (pb_cplex) R 20962 20962 19841 0 -1 4202496 135591 0 0 0 16198 29 0 0 20 0 1 0 391238027 86122496 12552 33554432000 134512640 146736320 4289491504 4289485960 136000930 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/20963/statm: 21026 12552 781 2985 0 17960 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 93252
[startup+222.3 s]
/proc/loadavg: 2.17 4.51 5.35 3/179 20964
/proc/meminfo: memFree=26942004/32873648 swapFree=7628/7628
[pid=20962] ppid=20960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20962/stat : 20962 (run) S 20960 20962 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391238027 9367552 270 33554432000 4194304 5064252 140733632315648 140733632314560 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20962/statm: 2287 270 229 213 0 72 0
[pid=20963] ppid=20962 vsize=84120 CPUtime=222.24 cores=1,3,5,7
/proc/20963/stat : 20963 (pb_cplex) R 20962 20962 19841 0 -1 4202496 172184 0 0 0 22188 36 0 0 20 0 1 0 391238027 86138880 15779 33554432000 134512640 146736320 4289491504 4289485572 136385183 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/20963/statm: 21030 15779 781 2985 0 17964 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 93268
[startup+282.3 s]
/proc/loadavg: 2.09 4.06 5.15 3/178 20964
/proc/meminfo: memFree=26942008/32873648 swapFree=7628/7628
[pid=20962] ppid=20960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20962/stat : 20962 (run) S 20960 20962 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391238027 9367552 270 33554432000 4194304 5064252 140733632315648 140733632314560 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20962/statm: 2287 270 229 213 0 72 0
[pid=20963] ppid=20962 vsize=84184 CPUtime=282.24 cores=1,3,5,7
/proc/20963/stat : 20963 (pb_cplex) R 20962 20962 19841 0 -1 4202496 207546 0 0 0 28180 44 0 0 20 0 1 0 391238027 86204416 15791 33554432000 134512640 146736320 4289491504 4289485596 135855174 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/20963/statm: 21046 15791 781 2985 0 17980 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 93332
[startup+342.3 s]
/proc/loadavg: 2.03 3.68 4.95 3/179 20965
/proc/meminfo: memFree=26941820/32873648 swapFree=7628/7628
[pid=20962] ppid=20960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20962/stat : 20962 (run) S 20960 20962 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391238027 9367552 270 33554432000 4194304 5064252 140733632315648 140733632314560 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20962/statm: 2287 270 229 213 0 72 0
[pid=20963] ppid=20962 vsize=84228 CPUtime=342.23 cores=1,3,5,7
/proc/20963/stat : 20963 (pb_cplex) R 20962 20962 19841 0 -1 4202496 242381 0 0 0 34173 50 0 0 20 0 1 0 391238027 86249472 15801 33554432000 134512640 146736320 4289491504 4289485764 139028303 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/20963/statm: 21057 15801 781 2985 0 17991 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 93376
[startup+402.3 s]
/proc/loadavg: 2.01 3.37 4.76 3/179 20965
/proc/meminfo: memFree=26938904/32873648 swapFree=7628/7628
[pid=20962] ppid=20960 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.02 2.05 2.89 3/179 21024
/proc/meminfo: memFree=27391876/32873648 swapFree=7628/7628
[pid=20962] ppid=20960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20962/stat : 20962 (run) S 20960 20962 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391238027 9367552 270 33554432000 4194304 5064252 140733632315648 140733632314560 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20962/statm: 2287 270 229 213 0 72 0
[pid=20963] ppid=20962 vsize=127192 CPUtime=1422.07 cores=1,3,5,7
/proc/20963/stat : 20963 (pb_cplex) R 20962 20962 19841 0 -1 4202496 884761 0 0 0 142033 174 0 0 20 0 1 0 391238027 130244608 25256 33554432000 134512640 146736320 4289491504 4289485412 136385080 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/20963/statm: 31798 25256 837 2985 0 28732 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 136340
[startup+1482.3 s]
/proc/loadavg: 2.01 2.03 2.84 3/179 21024
/proc/meminfo: memFree=27391056/32873648 swapFree=7628/7628
[pid=20962] ppid=20960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20962/stat : 20962 (run) S 20960 20962 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391238027 9367552 270 33554432000 4194304 5064252 140733632315648 140733632314560 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20962/statm: 2287 270 229 213 0 72 0
[pid=20963] ppid=20962 vsize=128084 CPUtime=1482.06 cores=1,3,5,7
/proc/20963/stat : 20963 (pb_cplex) R 20962 20962 19841 0 -1 4202496 884988 0 0 0 148031 175 0 0 20 0 1 0 391238027 131158016 25467 33554432000 134512640 146736320 4289491504 4289486064 136402290 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/20963/statm: 32021 25467 840 2985 0 28955 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 137232
[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 2.78 3/186 21032
/proc/meminfo: memFree=25819800/32873648 swapFree=7628/7628
[pid=20962] ppid=20960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20962/stat : 20962 (run) S 20960 20962 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391238027 9367552 270 33554432000 4194304 5064252 140733632315648 140733632314560 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20962/statm: 2287 270 229 213 0 72 0
[pid=20963] ppid=20962 vsize=128084 CPUtime=1542.05 cores=1,3,5,7
/proc/20963/stat : 20963 (pb_cplex) R 20962 20962 19841 0 -1 4202496 884998 0 0 0 154030 175 0 0 20 0 1 0 391238027 131158016 25477 33554432000 134512640 146736320 4289491504 4289485132 135992093 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/20963/statm: 32021 25477 840 2985 0 28955 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 137232
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.73 3/186 21032
/proc/meminfo: memFree=25804756/32873648 swapFree=7628/7628
[pid=20962] ppid=20960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20962/stat : 20962 (run) S 20960 20962 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391238027 9367552 270 33554432000 4194304 5064252 140733632315648 140733632314560 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20962/statm: 2287 270 229 213 0 72 0
[pid=20963] ppid=20962 vsize=128096 CPUtime=1602.03 cores=1,3,5,7
/proc/20963/stat : 20963 (pb_cplex) R 20962 20962 19841 0 -1 4202496 885176 0 0 0 160028 175 0 0 20 0 1 0 391238027 131170304 25480 33554432000 134512640 146736320 4289491504 4289485800 136015570 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/20963/statm: 32024 25480 840 2985 0 28958 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 137244
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.68 3/186 21032
/proc/meminfo: memFree=25794148/32873648 swapFree=7628/7628
[pid=20962] ppid=20960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20962/stat : 20962 (run) S 20960 20962 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391238027 9367552 270 33554432000 4194304 5064252 140733632315648 140733632314560 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20962/statm: 2287 270 229 213 0 72 0
[pid=20963] ppid=20962 vsize=127732 CPUtime=1662.03 cores=1,3,5,7
/proc/20963/stat : 20963 (pb_cplex) R 20962 20962 19841 0 -1 4202496 920298 0 0 0 166021 182 0 0 20 0 1 0 391238027 130797568 25542 33554432000 134512640 146736320 4289491504 4289485832 136000935 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/20963/statm: 31933 25542 840 2985 0 28867 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 136880
[startup+1722.3 s]
/proc/loadavg: 2.16 2.04 2.64 2/181 21036
/proc/meminfo: memFree=26831408/32873648 swapFree=7628/7628
[pid=20962] ppid=20960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20962/stat : 20962 (run) S 20960 20962 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391238027 9367552 270 33554432000 4194304 5064252 140733632315648 140733632314560 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20962/statm: 2287 270 229 213 0 72 0
[pid=20963] ppid=20962 vsize=128264 CPUtime=1722.02 cores=1,3,5,7
/proc/20963/stat : 20963 (pb_cplex) R 20962 20962 19841 0 -1 4202496 949404 0 0 0 172015 187 0 0 20 0 1 0 391238027 131342336 25855 33554432000 134512640 146736320 4289491504 4289485020 136386454 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/20963/statm: 32066 25855 841 2985 0 29000 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 137412
[startup+1782.3 s]
/proc/loadavg: 1.59 1.92 2.56 2/173 21063
/proc/meminfo: memFree=28302132/32873648 swapFree=7628/7628
[pid=20962] ppid=20960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20962/stat : 20962 (run) S 20960 20962 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391238027 9367552 270 33554432000 4194304 5064252 140733632315648 140733632314560 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20962/statm: 2287 270 229 213 0 72 0
[pid=20963] ppid=20962 vsize=129036 CPUtime=1782.01 cores=1,3,5,7
/proc/20963/stat : 20963 (pb_cplex) R 20962 20962 19841 0 -1 4202496 949997 0 0 0 178013 188 0 0 20 0 1 0 391238027 132132864 25924 33554432000 134512640 146736320 4289491504 4289484476 135453309 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/20963/statm: 32259 25924 841 2985 0 29193 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 138184
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 1.58 1.90 2.55 2/172 21063
/proc/meminfo: memFree=28302512/32873648 swapFree=7628/7628
[pid=20962] ppid=20960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20962/stat : 20962 (run) S 20960 20962 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391238027 9367552 270 33554432000 4194304 5064252 140733632315648 140733632314560 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20962/statm: 2287 270 229 213 0 72 0
[pid=20963] ppid=20962 vsize=129036 CPUtime=1791.62 cores=1,3,5,7
/proc/20963/stat : 20963 (pb_cplex) R 20962 20962 19841 0 -1 4202496 949997 0 0 0 178974 188 0 0 20 0 1 0 391238027 132132864 25924 33554432000 134512640 146736320 4289491504 4289485368 138768475 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/20963/statm: 32259 25924 841 2985 0 29193 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (KiB) 138184
[startup+1795.1 s]
/proc/loadavg: 1.53 1.89 2.54 2/172 21063
/proc/meminfo: memFree=28302512/32873648 swapFree=7628/7628
[pid=20962] ppid=20960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20962/stat : 20962 (run) S 20960 20962 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391238027 9367552 270 33554432000 4194304 5064252 140733632315648 140733632314560 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20962/statm: 2287 270 229 213 0 72 0
[pid=20963] ppid=20962 vsize=129036 CPUtime=1794.82 cores=1,3,5,7
/proc/20963/stat : 20963 (pb_cplex) R 20962 20962 19841 0 -1 4202496 949997 0 0 0 179294 188 0 0 20 0 1 0 391238027 132132864 25924 33554432000 134512640 146736320 4289491504 4289485132 135992148 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/20963/statm: 32259 25924 841 2985 0 29193 0
Current children cumulated CPU time (s) 1794.82
Current children cumulated vsize (KiB) 138184
[startup+1796.7 s]
/proc/loadavg: 1.53 1.89 2.54 2/172 21063
/proc/meminfo: memFree=28302512/32873648 swapFree=7628/7628
[pid=20962] ppid=20960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20962/stat : 20962 (run) S 20960 20962 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391238027 9367552 270 33554432000 4194304 5064252 140733632315648 140733632314560 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20962/statm: 2287 270 229 213 0 72 0
[pid=20963] ppid=20962 vsize=129036 CPUtime=1796.41 cores=1,3,5,7
/proc/20963/stat : 20963 (pb_cplex) R 20962 20962 19841 0 -1 4202496 949997 0 0 0 179453 188 0 0 20 0 1 0 391238027 132132864 25924 33554432000 134512640 146736320 4289491504 4289485256 135851844 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/20963/statm: 32259 25924 841 2985 0 29193 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 138184
[startup+1798.3 s]
/proc/loadavg: 1.53 1.89 2.54 2/172 21063
/proc/meminfo: memFree=28302636/32873648 swapFree=7628/7628
[pid=20962] ppid=20960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20962/stat : 20962 (run) S 20960 20962 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391238027 9367552 270 33554432000 4194304 5064252 140733632315648 140733632314560 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20962/statm: 2287 270 229 213 0 72 0
[pid=20963] ppid=20962 vsize=129036 CPUtime=1798.01 cores=1,3,5,7
/proc/20963/stat : 20963 (pb_cplex) R 20962 20962 19841 0 -1 4202496 949997 0 0 0 179613 188 0 0 20 0 1 0 391238027 132132864 25924 33554432000 134512640 146736320 4289491504 4289485340 136385915 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/20963/statm: 32259 25924 841 2985 0 29193 0
Current children cumulated CPU time (s) 1798.01
Current children cumulated vsize (KiB) 138184
[startup+1798.7 s]
/proc/loadavg: 1.49 1.87 2.53 2/172 21063
/proc/meminfo: memFree=28302636/32873648 swapFree=7628/7628
[pid=20962] ppid=20960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20962/stat : 20962 (run) S 20960 20962 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391238027 9367552 270 33554432000 4194304 5064252 140733632315648 140733632314560 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20962/statm: 2287 270 229 213 0 72 0
[pid=20963] ppid=20962 vsize=129036 CPUtime=1798.41 cores=1,3,5,7
/proc/20963/stat : 20963 (pb_cplex) R 20962 20962 19841 0 -1 4202496 949997 0 0 0 179653 188 0 0 20 0 1 0 391238027 132132864 25924 33554432000 134512640 146736320 4289491504 4289485012 135995145 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/20963/statm: 32259 25924 841 2985 0 29193 0
Current children cumulated CPU time (s) 1798.41
Current children cumulated vsize (KiB) 138184
[startup+1798.9 s]
/proc/loadavg: 1.49 1.87 2.53 2/172 21063
/proc/meminfo: memFree=28302636/32873648 swapFree=7628/7628
[pid=20962] ppid=20960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20962/stat : 20962 (run) S 20960 20962 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391238027 9367552 270 33554432000 4194304 5064252 140733632315648 140733632314560 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20962/statm: 2287 270 229 213 0 72 0
[pid=20963] ppid=20962 vsize=129036 CPUtime=1798.61 cores=1,3,5,7
/proc/20963/stat : 20963 (pb_cplex) R 20962 20962 19841 0 -1 4202496 949997 0 0 0 179673 188 0 0 20 0 1 0 391238027 132132864 25924 33554432000 134512640 146736320 4289491504 4289485800 136015570 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/20963/statm: 32259 25924 841 2985 0 29193 0
Current children cumulated CPU time (s) 1798.61
Current children cumulated vsize (KiB) 138184
[startup+1799 s]
/proc/loadavg: 1.49 1.87 2.53 2/172 21063
/proc/meminfo: memFree=28302636/32873648 swapFree=7628/7628
[pid=20962] ppid=20960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20962/stat : 20962 (run) S 20960 20962 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391238027 9367552 270 33554432000 4194304 5064252 140733632315648 140733632314560 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20962/statm: 2287 270 229 213 0 72 0
[pid=20963] ppid=20962 vsize=129036 CPUtime=1798.71 cores=1,3,5,7
/proc/20963/stat : 20963 (pb_cplex) R 20962 20962 19841 0 -1 4202496 949997 0 0 0 179683 188 0 0 20 0 1 0 391238027 132132864 25924 33554432000 134512640 146736320 4289491504 4289485012 135995279 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/20963/statm: 32259 25924 841 2985 0 29193 0
Current children cumulated CPU time (s) 1798.71
Current children cumulated vsize (KiB) 138184
Child status: 0
Real time (s): 1799.09
CPU time (s): 1798.81
CPU user time (s): 1796.91
CPU system time (s): 1.89671
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 138860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.91
system time used= 1.89671
maximum resident set size= 105904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 952231
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= 20
involuntary context switches= 1854
runsolver used 4.89825 second user time and 13.182 second system time
The end