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-3741044-1339249746/watcher-3741044-1339249746 -o /tmp/evaluation-result-3741044-1339249746/solver-3741044-1339249746 -C 1800 -W 1900 -M 15500 run HOME/instance-3741044-1339249746.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.37 4.73 5.51 3/177 7406
/proc/meminfo: memFree=27542888/32873844 swapFree=7900/7900
[pid=7406] ppid=7404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7406/stat : 7406 (run) S 7404 7406 6357 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391099187 9367552 270 33554432000 4194304 5064252 140733699519904 140733699518816 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7406/statm: 2287 270 229 213 0 72 0
[startup+0.0410291 s]
/proc/loadavg: 2.37 4.73 5.51 3/177 7406
/proc/meminfo: memFree=27542888/32873844 swapFree=7900/7900
[pid=7406] ppid=7404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7406/stat : 7406 (run) S 7404 7406 6357 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391099187 9367552 270 33554432000 4194304 5064252 140733699519904 140733699518816 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7406/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100264 s]
/proc/loadavg: 2.37 4.73 5.51 3/177 7406
/proc/meminfo: memFree=27542888/32873844 swapFree=7900/7900
[pid=7406] ppid=7404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7406/stat : 7406 (run) S 7404 7406 6357 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391099187 9367552 270 33554432000 4194304 5064252 140733699519904 140733699518816 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7406/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300231 s]
/proc/loadavg: 2.37 4.73 5.51 3/177 7406
/proc/meminfo: memFree=27542888/32873844 swapFree=7900/7900
[pid=7406] ppid=7404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7406/stat : 7406 (run) S 7404 7406 6357 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391099187 9367552 270 33554432000 4194304 5064252 140733699519904 140733699518816 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7406/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: 2.37 4.73 5.51 3/177 7406
/proc/meminfo: memFree=27542888/32873844 swapFree=7900/7900
[pid=7406] ppid=7404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7406/stat : 7406 (run) S 7404 7406 6357 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391099187 9367552 270 33554432000 4194304 5064252 140733699519904 140733699518816 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7406/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50026 s]
/proc/loadavg: 2.34 4.69 5.49 3/179 7408
/proc/meminfo: memFree=27428516/32873844 swapFree=7900/7900
[pid=7406] ppid=7404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7406/stat : 7406 (run) S 7404 7406 6357 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391099187 9367552 270 33554432000 4194304 5064252 140733699519904 140733699518816 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7406/statm: 2287 270 229 213 0 72 0
[pid=7407] ppid=7406 vsize=112252 CPUtime=1.48 cores=0,2,4,6
/proc/7407/stat : 7407 (pb_cplex) R 7406 7406 6357 0 -1 4202496 29655 0 0 0 143 5 0 0 20 0 1 0 391099187 114946048 24391 33554432000 134512640 146736320 4291670384 4291667776 138715464 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/7407/statm: 28063 24391 564 2985 0 24997 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 121400
[startup+3.10026 s]
/proc/loadavg: 2.34 4.69 5.49 3/179 7408
/proc/meminfo: memFree=27297360/32873844 swapFree=7900/7900
[pid=7406] ppid=7404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7406/stat : 7406 (run) S 7404 7406 6357 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391099187 9367552 270 33554432000 4194304 5064252 140733699519904 140733699518816 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7406/statm: 2287 270 229 213 0 72 0
[pid=7407] ppid=7406 vsize=244020 CPUtime=3.09 cores=0,2,4,6
/proc/7407/stat : 7407 (pb_cplex) R 7406 7406 6357 0 -1 4202496 57106 0 0 0 298 11 0 0 20 0 1 0 391099187 249876480 28851 33554432000 134512640 146736320 4291670384 4291667640 137297842 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/7407/statm: 61005 28851 638 2985 0 57939 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 253168
[startup+6.30032 s]
/proc/loadavg: 2.40 4.66 5.48 3/179 7408
/proc/meminfo: memFree=27281028/32873844 swapFree=7900/7900
[pid=7406] ppid=7404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7406/stat : 7406 (run) S 7404 7406 6357 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391099187 9367552 270 33554432000 4194304 5064252 140733699519904 140733699518816 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7406/statm: 2287 270 229 213 0 72 0
[pid=7407] ppid=7406 vsize=490940 CPUtime=6.29 cores=0,2,4,6
/proc/7407/stat : 7407 (pb_cplex) R 7406 7406 6357 0 -1 4202496 141587 0 0 0 602 27 0 0 20 0 1 0 391099187 502722560 76844 33554432000 134512640 146736320 4291670384 4291665976 135820940 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/7407/statm: 122735 76844 826 2985 0 119669 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 500088
[startup+12.7003 s]
/proc/loadavg: 2.36 4.61 5.46 3/179 7408
/proc/meminfo: memFree=27229524/32873844 swapFree=7900/7900
[pid=7406] ppid=7404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7406/stat : 7406 (run) S 7404 7406 6357 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391099187 9367552 270 33554432000 4194304 5064252 140733699519904 140733699518816 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7406/statm: 2287 270 229 213 0 72 0
[pid=7407] ppid=7406 vsize=463624 CPUtime=12.68 cores=0,2,4,6
/proc/7407/stat : 7407 (pb_cplex) R 7406 7406 6357 0 -1 4202496 177462 0 0 0 1233 35 0 0 20 0 1 0 391099187 474750976 72573 33554432000 134512640 146736320 4291670384 4291664572 136017520 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/7407/statm: 115906 72573 834 2985 0 112840 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 472772
[startup+25.5003 s]
/proc/loadavg: 2.28 4.48 5.40 3/179 7408
/proc/meminfo: memFree=27320944/32873844 swapFree=7900/7900
[pid=7406] ppid=7404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7406/stat : 7406 (run) S 7404 7406 6357 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391099187 9367552 270 33554432000 4194304 5064252 140733699519904 140733699518816 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7406/statm: 2287 270 229 213 0 72 0
[pid=7407] ppid=7406 vsize=349364 CPUtime=25.49 cores=0,2,4,6
/proc/7407/stat : 7407 (pb_cplex) R 7406 7406 6357 0 -1 4202496 244967 0 0 0 2499 50 0 0 20 0 1 0 391099187 357748736 49337 33554432000 134512640 146736320 4291670384 4291664976 136403117 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/7407/statm: 87341 49337 837 2985 0 84275 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 358512
[startup+51.1004 s]
/proc/loadavg: 2.18 4.28 5.31 3/179 7408
/proc/meminfo: memFree=27307392/32873844 swapFree=7900/7900
[pid=7406] ppid=7404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7406/stat : 7406 (run) S 7404 7406 6357 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391099187 9367552 270 33554432000 4194304 5064252 140733699519904 140733699518816 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7406/statm: 2287 270 229 213 0 72 0
[pid=7407] ppid=7406 vsize=353476 CPUtime=51.08 cores=0,2,4,6
/proc/7407/stat : 7407 (pb_cplex) R 7406 7406 6357 0 -1 4202496 249012 0 0 0 5056 52 0 0 20 0 1 0 391099187 361959424 50621 33554432000 134512640 146736320 4291670384 4291664976 136403117 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/7407/statm: 88369 50621 837 2985 0 85303 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 362624
[startup+102.307 s]
/proc/loadavg: 2.08 3.93 5.13 3/180 7411
/proc/meminfo: memFree=27298756/32873844 swapFree=7900/7900
[pid=7406] ppid=7404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7406/stat : 7406 (run) S 7404 7406 6357 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391099187 9367552 270 33554432000 4194304 5064252 140733699519904 140733699518816 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7406/statm: 2287 270 229 213 0 72 0
[pid=7407] ppid=7406 vsize=356288 CPUtime=102.28 cores=0,2,4,6
/proc/7407/stat : 7407 (pb_cplex) R 7406 7406 6357 0 -1 4202496 256539 0 0 0 10174 54 0 0 20 0 1 0 391099187 364838912 51040 33554432000 134512640 146736320 4291670384 4291664588 136017748 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/7407/statm: 89072 51040 837 2985 0 86006 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 365436
[startup+162.3 s]
/proc/loadavg: 2.14 3.61 4.95 3/179 7411
/proc/meminfo: memFree=27288892/32873844 swapFree=7900/7900
[pid=7406] ppid=7404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7406/stat : 7406 (run) S 7404 7406 6357 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391099187 9367552 270 33554432000 4194304 5064252 140733699519904 140733699518816 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7406/statm: 2287 270 229 213 0 72 0
[pid=7407] ppid=7406 vsize=358196 CPUtime=162.26 cores=0,2,4,6
/proc/7407/stat : 7407 (pb_cplex) R 7406 7406 6357 0 -1 4202496 263912 0 0 0 16171 55 0 0 20 0 1 0 391099187 366792704 51391 33554432000 134512640 146736320 4291670384 4291664588 136017763 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/7407/statm: 89549 51391 837 2985 0 86483 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 367344
[startup+222.3 s]
/proc/loadavg: 2.05 3.31 4.76 3/179 7411
/proc/meminfo: memFree=27269012/32873844 swapFree=7900/7900
[pid=7406] ppid=7404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7406/stat : 7406 (run) S 7404 7406 6357 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391099187 9367552 270 33554432000 4194304 5064252 140733699519904 140733699518816 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7406/statm: 2287 270 229 213 0 72 0
[pid=7407] ppid=7406 vsize=359528 CPUtime=222.25 cores=0,2,4,6
/proc/7407/stat : 7407 (pb_cplex) R 7406 7406 6357 0 -1 4202496 266900 0 0 0 22168 57 0 0 20 0 1 0 391099187 368156672 51792 33554432000 134512640 146736320 4291670384 4291664424 139044505 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/7407/statm: 89882 51792 837 2985 0 86816 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 368676
[startup+282.3 s]
/proc/loadavg: 2.02 3.07 4.58 3/179 7412
/proc/meminfo: memFree=27263060/32873844 swapFree=7900/7900
[pid=7406] ppid=7404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7406/stat : 7406 (run) S 7404 7406 6357 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391099187 9367552 270 33554432000 4194304 5064252 140733699519904 140733699518816 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7406/statm: 2287 270 229 213 0 72 0
[pid=7407] ppid=7406 vsize=360516 CPUtime=282.25 cores=0,2,4,6
/proc/7407/stat : 7407 (pb_cplex) R 7406 7406 6357 0 -1 4202496 269930 0 0 0 28166 59 0 0 20 0 1 0 391099187 369168384 52079 33554432000 134512640 146736320 4291670384 4291664588 136017496 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/7407/statm: 90129 52079 837 2985 0 87063 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 369664
[startup+342.3 s]
/proc/loadavg: 2.00 2.87 4.42 3/179 7412
/proc/meminfo: memFree=27258780/32873844 swapFree=7900/7900
[pid=7406] ppid=7404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7406/stat : 7406 (run) S 7404 7406 6357 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391099187 9367552 270 33554432000 4194304 5064252 140733699519904 140733699518816 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7406/statm: 2287 270 229 213 0 72 0
[pid=7407] ppid=7406 vsize=361736 CPUtime=342.23 cores=0,2,4,6
/proc/7407/stat : 7407 (pb_cplex) R 7406 7406 6357 0 -1 4202496 272998 0 0 0 34163 60 0 0 20 0 1 0 391099187 370417664 52440 33554432000 134512640 146736320 4291670384 4291664276 136017505 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/7407/statm: 90434 52440 837 2985 0 87368 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 370884
[startup+402.3 s]
/proc/loadavg: 2.00 2.71 4.26 3/179 7412
/proc/meminfo: memFree=27255128/32873844 swapFree=7900/7900
[pid=7406] ppid=7404 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.01 2.04 2.79 3/179 7444
/proc/meminfo: memFree=27188664/32873844 swapFree=7900/7900
[pid=7406] ppid=7404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7406/stat : 7406 (run) S 7404 7406 6357 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391099187 9367552 270 33554432000 4194304 5064252 140733699519904 140733699518816 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7406/statm: 2287 270 229 213 0 72 0
[pid=7407] ppid=7406 vsize=365480 CPUtime=1362.07 cores=0,2,4,6
/proc/7407/stat : 7407 (pb_cplex) R 7406 7406 6357 0 -1 4202496 376066 0 0 0 136112 95 0 0 20 0 1 0 391099187 374251520 60478 33554432000 134512640 146736320 4291670384 4291664552 135983214 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/7407/statm: 91370 60478 837 2985 0 88304 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 374628
[startup+1422.31 s]
/proc/loadavg: 2.00 2.03 2.74 3/179 7444
/proc/meminfo: memFree=27174596/32873844 swapFree=7900/7900
[pid=7406] ppid=7404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7406/stat : 7406 (run) S 7404 7406 6357 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391099187 9367552 270 33554432000 4194304 5064252 140733699519904 140733699518816 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7406/statm: 2287 270 229 213 0 72 0
[pid=7407] ppid=7406 vsize=365616 CPUtime=1422.07 cores=0,2,4,6
/proc/7407/stat : 7407 (pb_cplex) R 7406 7406 6357 0 -1 4202496 380837 0 0 0 142110 97 0 0 20 0 1 0 391099187 374390784 60510 33554432000 134512640 146736320 4291670384 4291664456 139043570 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/7407/statm: 91404 60510 837 2985 0 88338 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 374764
[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.69 3/179 7444
/proc/meminfo: memFree=27174080/32873844 swapFree=7900/7900
[pid=7406] ppid=7404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7406/stat : 7406 (run) S 7404 7406 6357 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391099187 9367552 270 33554432000 4194304 5064252 140733699519904 140733699518816 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7406/statm: 2287 270 229 213 0 72 0
[pid=7407] ppid=7406 vsize=365656 CPUtime=1482.06 cores=0,2,4,6
/proc/7407/stat : 7407 (pb_cplex) R 7406 7406 6357 0 -1 4202496 384809 0 0 0 148107 99 0 0 20 0 1 0 391099187 374431744 60519 33554432000 134512640 146736320 4291670384 4291664588 136017763 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/7407/statm: 91414 60519 837 2985 0 88348 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 374804
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.65 3/179 7445
/proc/meminfo: memFree=27171896/32873844 swapFree=7900/7900
[pid=7406] ppid=7404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7406/stat : 7406 (run) S 7404 7406 6357 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391099187 9367552 270 33554432000 4194304 5064252 140733699519904 140733699518816 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7406/statm: 2287 270 229 213 0 72 0
[pid=7407] ppid=7406 vsize=365684 CPUtime=1542.05 cores=0,2,4,6
/proc/7407/stat : 7407 (pb_cplex) R 7406 7406 6357 0 -1 4202496 389758 0 0 0 154104 101 0 0 20 0 1 0 391099187 374460416 60525 33554432000 134512640 146736320 4291670384 4291664588 136017763 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/7407/statm: 91421 60525 837 2985 0 88355 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 374832
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.60 3/179 7445
/proc/meminfo: memFree=27171400/32873844 swapFree=7900/7900
[pid=7406] ppid=7404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7406/stat : 7406 (run) S 7404 7406 6357 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391099187 9367552 270 33554432000 4194304 5064252 140733699519904 140733699518816 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7406/statm: 2287 270 229 213 0 72 0
[pid=7407] ppid=7406 vsize=365684 CPUtime=1602.03 cores=0,2,4,6
/proc/7407/stat : 7407 (pb_cplex) R 7406 7406 6357 0 -1 4202496 398692 0 0 0 160100 103 0 0 20 0 1 0 391099187 374460416 60526 33554432000 134512640 146736320 4291670384 4291664588 136017763 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/7407/statm: 91421 60526 837 2985 0 88355 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 374832
[startup+1662.3 s]
/proc/loadavg: 2.13 2.04 2.57 3/173 7477
/proc/meminfo: memFree=28416664/32873844 swapFree=7900/7900
[pid=7406] ppid=7404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7406/stat : 7406 (run) S 7404 7406 6357 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391099187 9367552 270 33554432000 4194304 5064252 140733699519904 140733699518816 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7406/statm: 2287 270 229 213 0 72 0
[pid=7407] ppid=7406 vsize=365708 CPUtime=1662.03 cores=0,2,4,6
/proc/7407/stat : 7407 (pb_cplex) R 7406 7406 6357 0 -1 4202496 405136 0 0 0 166098 105 0 0 20 0 1 0 391099187 374484992 60534 33554432000 134512640 146736320 4291670384 4291664588 136017757 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/7407/statm: 91427 60534 837 2985 0 88361 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 374856
[startup+1722.3 s]
/proc/loadavg: 2.05 2.03 2.53 3/179 7494
/proc/meminfo: memFree=28400592/32873844 swapFree=7900/7900
[pid=7406] ppid=7404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7406/stat : 7406 (run) S 7404 7406 6357 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391099187 9367552 270 33554432000 4194304 5064252 140733699519904 140733699518816 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7406/statm: 2287 270 229 213 0 72 0
[pid=7407] ppid=7406 vsize=365724 CPUtime=1722.02 cores=0,2,4,6
/proc/7407/stat : 7407 (pb_cplex) R 7406 7406 6357 0 -1 4202496 410118 0 0 0 172095 107 0 0 20 0 1 0 391099187 374501376 60538 33554432000 134512640 146736320 4291670384 4291664276 136017491 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/7407/statm: 91431 60538 837 2985 0 88365 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 374872
[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.50 3/186 7501
/proc/meminfo: memFree=28375984/32873844 swapFree=7900/7900
[pid=7406] ppid=7404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7406/stat : 7406 (run) S 7404 7406 6357 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391099187 9367552 270 33554432000 4194304 5064252 140733699519904 140733699518816 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7406/statm: 2287 270 229 213 0 72 0
[pid=7407] ppid=7406 vsize=365724 CPUtime=1782.01 cores=0,2,4,6
/proc/7407/stat : 7407 (pb_cplex) R 7406 7406 6357 0 -1 4202496 419099 0 0 0 178092 109 0 0 20 0 1 0 391099187 374501376 60538 33554432000 134512640 146736320 4291670384 4291664588 136017748 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/7407/statm: 91431 60538 837 2985 0 88365 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 374872
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.01 2.02 2.49 3/185 7501
/proc/meminfo: memFree=28375620/32873844 swapFree=7900/7900
[pid=7406] ppid=7404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7406/stat : 7406 (run) S 7404 7406 6357 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391099187 9367552 270 33554432000 4194304 5064252 140733699519904 140733699518816 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7406/statm: 2287 270 229 213 0 72 0
[pid=7407] ppid=7406 vsize=365724 CPUtime=1791.62 cores=0,2,4,6
/proc/7407/stat : 7407 (pb_cplex) R 7406 7406 6357 0 -1 4202496 421167 0 0 0 179052 110 0 0 20 0 1 0 391099187 374501376 60538 33554432000 134512640 146736320 4291670384 4291664424 139044542 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/7407/statm: 91431 60538 837 2985 0 88365 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (KiB) 374872
[startup+1795.1 s]
/proc/loadavg: 2.01 2.02 2.49 10/186 7502
/proc/meminfo: memFree=28356516/32873844 swapFree=7900/7900
[pid=7406] ppid=7404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7406/stat : 7406 (run) S 7404 7406 6357 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391099187 9367552 270 33554432000 4194304 5064252 140733699519904 140733699518816 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7406/statm: 2287 270 229 213 0 72 0
[pid=7407] ppid=7406 vsize=365724 CPUtime=1794.82 cores=0,2,4,6
/proc/7407/stat : 7407 (pb_cplex) R 7406 7406 6357 0 -1 4202496 421167 0 0 0 179372 110 0 0 20 0 1 0 391099187 374501376 60538 33554432000 134512640 146736320 4291670384 4291664976 136403103 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/7407/statm: 91431 60538 837 2985 0 88365 0
Current children cumulated CPU time (s) 1794.82
Current children cumulated vsize (KiB) 374872
[startup+1796.7 s]
/proc/loadavg: 2.57 2.14 2.53 10/186 7502
/proc/meminfo: memFree=28354780/32873844 swapFree=7900/7900
[pid=7406] ppid=7404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7406/stat : 7406 (run) S 7404 7406 6357 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391099187 9367552 270 33554432000 4194304 5064252 140733699519904 140733699518816 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7406/statm: 2287 270 229 213 0 72 0
[pid=7407] ppid=7406 vsize=365724 CPUtime=1796.41 cores=0,2,4,6
/proc/7407/stat : 7407 (pb_cplex) R 7406 7406 6357 0 -1 4202496 421859 0 0 0 179531 110 0 0 20 0 1 0 391099187 374501376 60538 33554432000 134512640 146736320 4291670384 4291664588 136017763 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/7407/statm: 91431 60538 837 2985 0 88365 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 374872
[startup+1798.3 s]
/proc/loadavg: 2.57 2.14 2.53 10/186 7502
/proc/meminfo: memFree=28353912/32873844 swapFree=7900/7900
[pid=7406] ppid=7404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7406/stat : 7406 (run) S 7404 7406 6357 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391099187 9367552 270 33554432000 4194304 5064252 140733699519904 140733699518816 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7406/statm: 2287 270 229 213 0 72 0
[pid=7407] ppid=7406 vsize=365724 CPUtime=1798.01 cores=0,2,4,6
/proc/7407/stat : 7407 (pb_cplex) R 7406 7406 6357 0 -1 4202496 421859 0 0 0 179691 110 0 0 20 0 1 0 391099187 374501376 60538 33554432000 134512640 146736320 4291670384 4291664588 136017763 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/7407/statm: 91431 60538 837 2985 0 88365 0
Current children cumulated CPU time (s) 1798.01
Current children cumulated vsize (KiB) 374872
[startup+1799.1 s]
/proc/loadavg: 2.57 2.14 2.53 10/186 7502
/proc/meminfo: memFree=28353292/32873844 swapFree=7900/7900
[pid=7406] ppid=7404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7406/stat : 7406 (run) S 7404 7406 6357 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391099187 9367552 270 33554432000 4194304 5064252 140733699519904 140733699518816 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7406/statm: 2287 270 229 213 0 72 0
[pid=7407] ppid=7406 vsize=365724 CPUtime=1798.81 cores=0,2,4,6
/proc/7407/stat : 7407 (pb_cplex) R 7406 7406 6357 0 -1 4202496 421859 0 0 0 179771 110 0 0 20 0 1 0 391099187 374501376 60538 33554432000 134512640 146736320 4291670384 4291664256 136400586 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/7407/statm: 91431 60538 837 2985 0 88365 0
Current children cumulated CPU time (s) 1798.81
Current children cumulated vsize (KiB) 374872
[startup+1799.3 s]
/proc/loadavg: 2.57 2.14 2.53 10/186 7502
/proc/meminfo: memFree=28353292/32873844 swapFree=7900/7900
[pid=7406] ppid=7404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7406/stat : 7406 (run) S 7404 7406 6357 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391099187 9367552 270 33554432000 4194304 5064252 140733699519904 140733699518816 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7406/statm: 2287 270 229 213 0 72 0
[pid=7407] ppid=7406 vsize=365724 CPUtime=1799.01 cores=0,2,4,6
/proc/7407/stat : 7407 (pb_cplex) R 7406 7406 6357 0 -1 4202496 422547 0 0 0 179791 110 0 0 20 0 1 0 391099187 374501376 60538 33554432000 134512640 146736320 4291670384 4291664840 135999699 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/7407/statm: 91431 60538 837 2985 0 88365 0
Current children cumulated CPU time (s) 1799.01
Current children cumulated vsize (KiB) 374872
Child status: 0
Real time (s): 1799.34
CPU time (s): 1799.06
CPU user time (s): 1797.94
CPU system time (s): 1.11783
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 500088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.94
system time used= 1.11783
maximum resident set size= 313444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 422933
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= 13
involuntary context switches= 2025
runsolver used 3.64245 second user time and 8.04678 second system time
The end