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-3738112-1339248876/watcher-3738112-1339248876 -o /tmp/evaluation-result-3738112-1339248876/solver-3738112-1339248876 -C 1800 -W 1900 -M 15500 run HOME/instance-3738112-1339248876.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.66 10.23 9.20 7/184 24447
/proc/meminfo: memFree=29334988/32873844 swapFree=7372/7372
[pid=24447] ppid=24445 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24447/stat : 24447 (run) S 24445 24447 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391016172 9367552 269 33554432000 4194304 5064252 140735905931952 140735905930864 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24447/statm: 2287 269 229 213 0 72 0
[startup+0.086938 s]
/proc/loadavg: 8.66 10.23 9.20 7/184 24447
/proc/meminfo: memFree=29334988/32873844 swapFree=7372/7372
[pid=24447] ppid=24445 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24447/stat : 24447 (run) S 24445 24447 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391016172 9367552 269 33554432000 4194304 5064252 140735905931952 140735905930864 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24447/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100286 s]
/proc/loadavg: 8.66 10.23 9.20 7/184 24447
/proc/meminfo: memFree=29334988/32873844 swapFree=7372/7372
[pid=24447] ppid=24445 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24447/stat : 24447 (run) S 24445 24447 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391016172 9367552 269 33554432000 4194304 5064252 140735905931952 140735905930864 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24447/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300245 s]
/proc/loadavg: 8.66 10.23 9.20 7/184 24447
/proc/meminfo: memFree=29334988/32873844 swapFree=7372/7372
[pid=24447] ppid=24445 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24447/stat : 24447 (run) S 24445 24447 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391016172 9367552 269 33554432000 4194304 5064252 140735905931952 140735905930864 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24447/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700278 s]
/proc/loadavg: 8.66 10.23 9.20 7/184 24447
/proc/meminfo: memFree=29334988/32873844 swapFree=7372/7372
[pid=24447] ppid=24445 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24447/stat : 24447 (run) S 24445 24447 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391016172 9367552 269 33554432000 4194304 5064252 140735905931952 140735905930864 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24447/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50029 s]
/proc/loadavg: 8.60 10.20 9.19 8/186 24449
/proc/meminfo: memFree=29285052/32873844 swapFree=7372/7372
[pid=24447] ppid=24445 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24447/stat : 24447 (run) S 24445 24447 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391016172 9367552 269 33554432000 4194304 5064252 140735905931952 140735905930864 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24447/statm: 2287 269 229 213 0 72 0
[pid=24448] ppid=24447 vsize=115580 CPUtime=1.49 cores=0,2,4,6
/proc/24448/stat : 24448 (pb_cplex) R 24447 24447 23197 0 -1 4202496 23129 0 0 0 146 3 0 0 20 0 1 0 391016172 118353920 13354 33554432000 134512640 146736320 4292672496 4292667624 136382284 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/24448/statm: 28895 13354 789 2985 0 25829 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 124728
[startup+3.10029 s]
/proc/loadavg: 8.60 10.20 9.19 9/186 24449
/proc/meminfo: memFree=29284308/32873844 swapFree=7372/7372
[pid=24447] ppid=24445 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24447/stat : 24447 (run) S 24445 24447 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391016172 9367552 269 33554432000 4194304 5064252 140735905931952 140735905930864 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24447/statm: 2287 269 229 213 0 72 0
[pid=24448] ppid=24447 vsize=115580 CPUtime=3.09 cores=0,2,4,6
/proc/24448/stat : 24448 (pb_cplex) R 24447 24447 23197 0 -1 4202496 23130 0 0 0 306 3 0 0 20 0 1 0 391016172 118353920 13355 33554432000 134512640 146736320 4292672496 4292667340 136389768 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/24448/statm: 28895 13355 789 2985 0 25829 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 124728
[startup+6.30029 s]
/proc/loadavg: 8.64 10.18 9.19 3/186 24449
/proc/meminfo: memFree=29283688/32873844 swapFree=7372/7372
[pid=24447] ppid=24445 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24447/stat : 24447 (run) S 24445 24447 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391016172 9367552 269 33554432000 4194304 5064252 140735905931952 140735905930864 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24447/statm: 2287 269 229 213 0 72 0
[pid=24448] ppid=24447 vsize=115580 CPUtime=6.29 cores=0,2,4,6
/proc/24448/stat : 24448 (pb_cplex) R 24447 24447 23197 0 -1 4202496 23130 0 0 0 626 3 0 0 20 0 1 0 391016172 118353920 13355 33554432000 134512640 146736320 4292672496 4292666948 135523301 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/24448/statm: 28895 13355 789 2985 0 25829 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 124728
[startup+12.7003 s]
/proc/loadavg: 8.50 10.12 9.18 4/186 24449
/proc/meminfo: memFree=29283472/32873844 swapFree=7372/7372
[pid=24447] ppid=24445 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24447/stat : 24447 (run) S 24445 24447 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391016172 9367552 269 33554432000 4194304 5064252 140735905931952 140735905930864 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24447/statm: 2287 269 229 213 0 72 0
[pid=24448] ppid=24447 vsize=115580 CPUtime=12.69 cores=0,2,4,6
/proc/24448/stat : 24448 (pb_cplex) R 24447 24447 23197 0 -1 4202496 23131 0 0 0 1266 3 0 0 20 0 1 0 391016172 118353920 13356 33554432000 134512640 146736320 4292672496 4292667464 136461573 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/24448/statm: 28895 13356 789 2985 0 25829 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 124728
[startup+25.5003 s]
/proc/loadavg: 8.30 10.00 9.15 10/186 24449
/proc/meminfo: memFree=29280712/32873844 swapFree=7372/7372
[pid=24447] ppid=24445 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24447/stat : 24447 (run) S 24445 24447 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391016172 9367552 269 33554432000 4194304 5064252 140735905931952 140735905930864 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24447/statm: 2287 269 229 213 0 72 0
[pid=24448] ppid=24447 vsize=115580 CPUtime=25.47 cores=0,2,4,6
/proc/24448/stat : 24448 (pb_cplex) R 24447 24447 23197 0 -1 4202496 23139 0 0 0 2544 3 0 0 20 0 1 0 391016172 118353920 13982 33554432000 134512640 146736320 4292672496 4292668120 144757825 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/24448/statm: 28895 13982 789 2985 0 25829 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 124728
[startup+51.1003 s]
/proc/loadavg: 7.78 9.73 9.08 10/186 24456
/proc/meminfo: memFree=29259256/32873844 swapFree=7372/7372
[pid=24447] ppid=24445 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24447/stat : 24447 (run) S 24445 24447 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391016172 9367552 269 33554432000 4194304 5064252 140735905931952 140735905930864 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24447/statm: 2287 269 229 213 0 72 0
[pid=24448] ppid=24447 vsize=115580 CPUtime=51.08 cores=0,2,4,6
/proc/24448/stat : 24448 (pb_cplex) R 24447 24447 23197 0 -1 4202496 23140 0 0 0 5104 4 0 0 20 0 1 0 391016172 118353920 14440 33554432000 134512640 146736320 4292672496 4292667464 136461636 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/24448/statm: 28895 14440 789 2985 0 25829 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 124728
[startup+102.307 s]
/proc/loadavg: 7.57 9.38 9.00 9/186 24457
/proc/meminfo: memFree=29214960/32873844 swapFree=7372/7372
[pid=24447] ppid=24445 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24447/stat : 24447 (run) S 24445 24447 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391016172 9367552 269 33554432000 4194304 5064252 140735905931952 140735905930864 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24447/statm: 2287 269 229 213 0 72 0
[pid=24448] ppid=24447 vsize=164700 CPUtime=102.27 cores=0,2,4,6
/proc/24448/stat : 24448 (pb_cplex) R 24447 24447 23197 0 -1 4202496 32912 0 0 0 10221 6 0 0 20 0 1 0 391016172 168652800 23610 33554432000 134512640 146736320 4292672496 4292667088 136403109 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/24448/statm: 41175 23610 871 2985 0 38109 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 173848
[startup+162.3 s]
/proc/loadavg: 6.75 8.86 8.84 3/186 24457
/proc/meminfo: memFree=29201544/32873844 swapFree=7372/7372
[pid=24447] ppid=24445 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24447/stat : 24447 (run) S 24445 24447 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391016172 9367552 269 33554432000 4194304 5064252 140735905931952 140735905930864 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24447/statm: 2287 269 229 213 0 72 0
[pid=24448] ppid=24447 vsize=164808 CPUtime=162.25 cores=0,2,4,6
/proc/24448/stat : 24448 (pb_cplex) R 24447 24447 23197 0 -1 4202496 56056 0 0 0 16215 10 0 0 20 0 1 0 391016172 168763392 24440 33554432000 134512640 146736320 4292672496 4292666700 136017766 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/24448/statm: 41202 24440 871 2985 0 38136 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 173956
[startup+222.3 s]
/proc/loadavg: 5.99 8.27 8.64 10/186 24457
/proc/meminfo: memFree=29184412/32873844 swapFree=7372/7372
[pid=24447] ppid=24445 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24447/stat : 24447 (run) S 24445 24447 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391016172 9367552 269 33554432000 4194304 5064252 140735905931952 140735905930864 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24447/statm: 2287 269 229 213 0 72 0
[pid=24448] ppid=24447 vsize=164836 CPUtime=222.25 cores=0,2,4,6
/proc/24448/stat : 24448 (pb_cplex) R 24447 24447 23197 0 -1 4202496 83097 0 0 0 22210 15 0 0 20 0 1 0 391016172 168792064 26151 33554432000 134512640 146736320 4292672496 4292666652 136389766 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/24448/statm: 41209 26151 871 2985 0 38143 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 173984
[startup+282.3 s]
/proc/loadavg: 3.93 7.32 8.29 3/179 24957
/proc/meminfo: memFree=29218668/32873844 swapFree=7372/7372
[pid=24447] ppid=24445 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24447/stat : 24447 (run) S 24445 24447 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391016172 9367552 269 33554432000 4194304 5064252 140735905931952 140735905930864 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24447/statm: 2287 269 229 213 0 72 0
[pid=24448] ppid=24447 vsize=164836 CPUtime=282.23 cores=0,2,4,6
/proc/24448/stat : 24448 (pb_cplex) R 24447 24447 23197 0 -1 4202496 110563 0 0 0 28203 20 0 0 20 0 1 0 391016172 168792064 26151 33554432000 134512640 146736320 4292672496 4292666700 136017763 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/24448/statm: 41209 26151 871 2985 0 38143 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 173984
[startup+342.3 s]
/proc/loadavg: 2.71 6.35 7.90 3/180 24960
/proc/meminfo: memFree=29222380/32873844 swapFree=7372/7372
[pid=24447] ppid=24445 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24447/stat : 24447 (run) S 24445 24447 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391016172 9367552 269 33554432000 4194304 5064252 140735905931952 140735905930864 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24447/statm: 2287 269 229 213 0 72 0
[pid=24448] ppid=24447 vsize=163672 CPUtime=342.23 cores=0,2,4,6
/proc/24448/stat : 24448 (pb_cplex) R 24447 24447 23197 0 -1 4202496 160178 0 0 0 34192 31 0 0 20 0 1 0 391016172 167600128 24441 33554432000 134512640 146736320 4292672496 4292667088 136403116 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/24448/statm: 40918 24441 912 2985 0 37852 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 172820
[startup+402.3 s]
/proc/loadavg: 2.26 5.56 7.52 3/179 24961
/proc/meminfo: memFree=29205072/32873844 swapFree=7372/7372
[pid=24447] ppid=24445 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.11 3.81 3/179 24967
/proc/meminfo: memFree=29188692/32873844 swapFree=7372/7372
[pid=24447] ppid=24445 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24447/stat : 24447 (run) S 24445 24447 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391016172 9367552 269 33554432000 4194304 5064252 140735905931952 140735905930864 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24447/statm: 2287 269 229 213 0 72 0
[pid=24448] ppid=24447 vsize=164680 CPUtime=1422.07 cores=0,2,4,6
/proc/24448/stat : 24448 (pb_cplex) R 24447 24447 23197 0 -1 4202496 645877 0 0 0 142080 127 0 0 20 0 1 0 391016172 168632320 25849 33554432000 134512640 146736320 4292672496 4292666536 139044557 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/24448/statm: 41170 25849 923 2985 0 38104 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 173828
[startup+1482.3 s]
/proc/loadavg: 2.00 2.09 3.70 3/179 24967
/proc/meminfo: memFree=29188568/32873844 swapFree=7372/7372
[pid=24447] ppid=24445 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24447/stat : 24447 (run) S 24445 24447 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391016172 9367552 269 33554432000 4194304 5064252 140735905931952 140735905930864 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24447/statm: 2287 269 229 213 0 72 0
[pid=24448] ppid=24447 vsize=166880 CPUtime=1482.05 cores=0,2,4,6
/proc/24448/stat : 24448 (pb_cplex) R 24447 24447 23197 0 -1 4202496 654772 0 0 0 148075 130 0 0 20 0 1 0 391016172 170885120 26372 33554432000 134512640 146736320 4292672496 4292665652 138462910 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/24448/statm: 41720 26372 923 2985 0 38654 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 176028
[startup+1542.3 s]
/proc/loadavg: 2.00 2.07 3.59 3/180 24970
/proc/meminfo: memFree=29191288/32873844 swapFree=7372/7372
[pid=24447] ppid=24445 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24447/stat : 24447 (run) S 24445 24447 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391016172 9367552 269 33554432000 4194304 5064252 140735905931952 140735905930864 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24447/statm: 2287 269 229 213 0 72 0
[pid=24448] ppid=24447 vsize=164760 CPUtime=1542.04 cores=0,2,4,6
/proc/24448/stat : 24448 (pb_cplex) R 24447 24447 23197 0 -1 4202496 682328 0 0 0 154069 135 0 0 20 0 1 0 391016172 168714240 25869 33554432000 134512640 146736320 4292672496 4292666652 136389777 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/24448/statm: 41190 25869 923 2985 0 38124 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 173908
[startup+1602.3 s]
/proc/loadavg: 2.00 2.05 3.49 3/180 24993
/proc/meminfo: memFree=29190100/32873844 swapFree=7372/7372
[pid=24447] ppid=24445 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24447/stat : 24447 (run) S 24445 24447 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391016172 9367552 269 33554432000 4194304 5064252 140735905931952 140735905930864 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24447/statm: 2287 269 229 213 0 72 0
[pid=24448] ppid=24447 vsize=164772 CPUtime=1602.03 cores=0,2,4,6
/proc/24448/stat : 24448 (pb_cplex) R 24447 24447 23197 0 -1 4202496 710412 0 0 0 160062 141 0 0 20 0 1 0 391016172 168726528 26125 33554432000 134512640 146736320 4292672496 4292666952 136001461 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/24448/statm: 41193 26125 923 2985 0 38127 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 173920
[startup+1662.3 s]
/proc/loadavg: 2.05 2.06 3.40 3/179 24994
/proc/meminfo: memFree=29184952/32873844 swapFree=7372/7372
[pid=24447] ppid=24445 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24447/stat : 24447 (run) S 24445 24447 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391016172 9367552 269 33554432000 4194304 5064252 140735905931952 140735905930864 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24447/statm: 2287 269 229 213 0 72 0
[pid=24448] ppid=24447 vsize=167048 CPUtime=1662.03 cores=0,2,4,6
/proc/24448/stat : 24448 (pb_cplex) R 24447 24447 23197 0 -1 4202496 738081 0 0 0 166056 147 0 0 20 0 1 0 391016172 171057152 26180 33554432000 134512640 146736320 4292672496 4292666700 136017787 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/24448/statm: 41762 26180 923 2985 0 38696 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 176196
[startup+1722.3 s]
/proc/loadavg: 2.07 2.06 3.31 3/179 24994
/proc/meminfo: memFree=29184392/32873844 swapFree=7372/7372
[pid=24447] ppid=24445 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24447/stat : 24447 (run) S 24445 24447 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391016172 9367552 269 33554432000 4194304 5064252 140735905931952 140735905930864 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24447/statm: 2287 269 229 213 0 72 0
[pid=24448] ppid=24447 vsize=167172 CPUtime=1722.01 cores=0,2,4,6
/proc/24448/stat : 24448 (pb_cplex) R 24447 24447 23197 0 -1 4202496 738105 0 0 0 172054 147 0 0 20 0 1 0 391016172 171184128 26204 33554432000 134512640 146736320 4292672496 4292666368 136400566 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/24448/statm: 41793 26204 923 2985 0 38727 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 176320
[startup+1782.3 s]
/proc/loadavg: 2.03 2.05 3.23 3/179 24994
/proc/meminfo: memFree=29182396/32873844 swapFree=7372/7372
[pid=24447] ppid=24445 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24447/stat : 24447 (run) S 24445 24447 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391016172 9367552 269 33554432000 4194304 5064252 140735905931952 140735905930864 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24447/statm: 2287 269 229 213 0 72 0
[pid=24448] ppid=24447 vsize=167212 CPUtime=1782 cores=0,2,4,6
/proc/24448/stat : 24448 (pb_cplex) R 24447 24447 23197 0 -1 4202496 738117 0 0 0 178053 147 0 0 20 0 1 0 391016172 171225088 26635 33554432000 134512640 146736320 4292672496 4292666700 136017485 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/24448/statm: 41803 26635 923 2985 0 38737 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 176360
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.02 2.05 3.21 3/179 24994
/proc/meminfo: memFree=29182272/32873844 swapFree=7372/7372
[pid=24447] ppid=24445 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24447/stat : 24447 (run) S 24445 24447 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391016172 9367552 269 33554432000 4194304 5064252 140735905931952 140735905930864 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24447/statm: 2287 269 229 213 0 72 0
[pid=24448] ppid=24447 vsize=167256 CPUtime=1791.61 cores=0,2,4,6
/proc/24448/stat : 24448 (pb_cplex) R 24447 24447 23197 0 -1 4202496 738126 0 0 0 179014 147 0 0 20 0 1 0 391016172 171270144 26644 33554432000 134512640 146736320 4292672496 4292666700 136017787 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/24448/statm: 41814 26644 923 2985 0 38748 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 176404
[startup+1795.1 s]
/proc/loadavg: 2.02 2.05 3.21 3/179 24994
/proc/meminfo: memFree=29182272/32873844 swapFree=7372/7372
[pid=24447] ppid=24445 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24447/stat : 24447 (run) S 24445 24447 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391016172 9367552 269 33554432000 4194304 5064252 140735905931952 140735905930864 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24447/statm: 2287 269 229 213 0 72 0
[pid=24448] ppid=24447 vsize=167256 CPUtime=1794.81 cores=0,2,4,6
/proc/24448/stat : 24448 (pb_cplex) R 24447 24447 23197 0 -1 4202496 738126 0 0 0 179334 147 0 0 20 0 1 0 391016172 171270144 26644 33554432000 134512640 146736320 4292672496 4292666700 136017485 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/24448/statm: 41814 26644 923 2985 0 38748 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 176404
[startup+1796.7 s]
/proc/loadavg: 2.02 2.04 3.21 3/179 24994
/proc/meminfo: memFree=29181652/32873844 swapFree=7372/7372
[pid=24447] ppid=24445 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24447/stat : 24447 (run) S 24445 24447 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391016172 9367552 269 33554432000 4194304 5064252 140735905931952 140735905930864 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24447/statm: 2287 269 229 213 0 72 0
[pid=24448] ppid=24447 vsize=167256 CPUtime=1796.4 cores=0,2,4,6
/proc/24448/stat : 24448 (pb_cplex) R 24447 24447 23197 0 -1 4202496 738126 0 0 0 179493 147 0 0 20 0 1 0 391016172 171270144 26644 33554432000 134512640 146736320 4292672496 4292666700 136017763 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/24448/statm: 41814 26644 923 2985 0 38748 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 176404
[startup+1798.3 s]
/proc/loadavg: 2.02 2.04 3.21 3/179 24994
/proc/meminfo: memFree=29181652/32873844 swapFree=7372/7372
[pid=24447] ppid=24445 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24447/stat : 24447 (run) S 24445 24447 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391016172 9367552 269 33554432000 4194304 5064252 140735905931952 140735905930864 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24447/statm: 2287 269 229 213 0 72 0
[pid=24448] ppid=24447 vsize=167256 CPUtime=1798 cores=0,2,4,6
/proc/24448/stat : 24448 (pb_cplex) R 24447 24447 23197 0 -1 4202496 738126 0 0 0 179653 147 0 0 20 0 1 0 391016172 171270144 26644 33554432000 134512640 146736320 4292672496 4292666700 136017505 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/24448/statm: 41814 26644 923 2985 0 38748 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 176404
[startup+1798.7 s]
/proc/loadavg: 2.02 2.04 3.21 3/179 24994
/proc/meminfo: memFree=29181652/32873844 swapFree=7372/7372
[pid=24447] ppid=24445 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24447/stat : 24447 (run) S 24445 24447 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391016172 9367552 269 33554432000 4194304 5064252 140735905931952 140735905930864 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24447/statm: 2287 269 229 213 0 72 0
[pid=24448] ppid=24447 vsize=167256 CPUtime=1798.4 cores=0,2,4,6
/proc/24448/stat : 24448 (pb_cplex) R 24447 24447 23197 0 -1 4202496 738126 0 0 0 179693 147 0 0 20 0 1 0 391016172 171270144 26644 33554432000 134512640 146736320 4292672496 4292666568 139043566 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/24448/statm: 41814 26644 923 2985 0 38748 0
Current children cumulated CPU time (s) 1798.4
Current children cumulated vsize (KiB) 176404
[startup+1799.1 s]
/proc/loadavg: 2.02 2.04 3.21 3/179 24994
/proc/meminfo: memFree=29181652/32873844 swapFree=7372/7372
[pid=24447] ppid=24445 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24447/stat : 24447 (run) S 24445 24447 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391016172 9367552 269 33554432000 4194304 5064252 140735905931952 140735905930864 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24447/statm: 2287 269 229 213 0 72 0
[pid=24448] ppid=24447 vsize=167256 CPUtime=1798.8 cores=0,2,4,6
/proc/24448/stat : 24448 (pb_cplex) R 24447 24447 23197 0 -1 4202496 738126 0 0 0 179733 147 0 0 20 0 1 0 391016172 171270144 26644 33554432000 134512640 146736320 4292672496 4292666568 139043583 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/24448/statm: 41814 26644 923 2985 0 38748 0
Current children cumulated CPU time (s) 1798.8
Current children cumulated vsize (KiB) 176404
[startup+1799.2 s]
/proc/loadavg: 2.02 2.04 3.21 3/179 24994
/proc/meminfo: memFree=29181652/32873844 swapFree=7372/7372
[pid=24447] ppid=24445 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24447/stat : 24447 (run) S 24445 24447 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391016172 9367552 269 33554432000 4194304 5064252 140735905931952 140735905930864 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24447/statm: 2287 269 229 213 0 72 0
[pid=24448] ppid=24447 vsize=167256 CPUtime=1798.9 cores=0,2,4,6
/proc/24448/stat : 24448 (pb_cplex) R 24447 24447 23197 0 -1 4202496 738126 0 0 0 179743 147 0 0 20 0 1 0 391016172 171270144 26644 33554432000 134512640 146736320 4292672496 4292666700 136017485 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/24448/statm: 41814 26644 923 2985 0 38748 0
Current children cumulated CPU time (s) 1798.9
Current children cumulated vsize (KiB) 176404
Child status: 0
Real time (s): 1799.24
CPU time (s): 1798.95
CPU user time (s): 1797.47
CPU system time (s): 1.48277
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 222780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.47
system time used= 1.48277
maximum resident set size= 158480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 738516
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= 40
involuntary context switches= 1854
runsolver used 2.82157 second user time and 8.68468 second system time
The end