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-3741122-1339249836/watcher-3741122-1339249836 -o /tmp/evaluation-result-3741122-1339249836/solver-3741122-1339249836 -C 1800 -W 1900 -M 15500 run HOME/instance-3741122-1339249836.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.03 2.39 3.74 3/176 28277
/proc/meminfo: memFree=30890260/32873852 swapFree=6864/6864
[pid=28277] ppid=28275 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28277/stat : 28277 (run) S 28275 28277 24426 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391109096 9367552 270 33554432000 4194304 5064252 140737147487392 140737147486304 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28277/statm: 2287 270 229 213 0 72 0
[startup+0.0142811 s]
/proc/loadavg: 2.03 2.39 3.74 3/176 28277
/proc/meminfo: memFree=30890260/32873852 swapFree=6864/6864
[pid=28277] ppid=28275 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28277/stat : 28277 (run) S 28275 28277 24426 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391109096 9367552 270 33554432000 4194304 5064252 140737147487392 140737147486304 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28277/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100269 s]
/proc/loadavg: 2.03 2.39 3.74 3/176 28277
/proc/meminfo: memFree=30890260/32873852 swapFree=6864/6864
[pid=28277] ppid=28275 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28277/stat : 28277 (run) S 28275 28277 24426 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391109096 9367552 270 33554432000 4194304 5064252 140737147487392 140737147486304 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28277/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300247 s]
/proc/loadavg: 2.03 2.39 3.74 3/176 28277
/proc/meminfo: memFree=30890260/32873852 swapFree=6864/6864
[pid=28277] ppid=28275 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28277/stat : 28277 (run) S 28275 28277 24426 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391109096 9367552 270 33554432000 4194304 5064252 140737147487392 140737147486304 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28277/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700242 s]
/proc/loadavg: 2.03 2.39 3.74 3/176 28277
/proc/meminfo: memFree=30890260/32873852 swapFree=6864/6864
[pid=28277] ppid=28275 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28277/stat : 28277 (run) S 28275 28277 24426 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391109096 9367552 270 33554432000 4194304 5064252 140737147487392 140737147486304 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28277/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 2.03 2.39 3.74 3/178 28279
/proc/meminfo: memFree=30853548/32873852 swapFree=6864/6864
[pid=28277] ppid=28275 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28277/stat : 28277 (run) S 28275 28277 24426 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391109096 9367552 270 33554432000 4194304 5064252 140737147487392 140737147486304 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28277/statm: 2287 270 229 213 0 72 0
[pid=28278] ppid=28277 vsize=123632 CPUtime=1.49 cores=0,2,4,6
/proc/28278/stat : 28278 (pb_cplex) R 28277 28277 24426 0 -1 4202496 31160 0 0 0 144 5 0 0 20 0 1 0 391109097 126599168 27047 33554432000 134512640 146736320 4292822928 4292820968 138686335 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/28278/statm: 30908 27047 551 2985 0 27842 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 132780
[startup+3.10033 s]
/proc/loadavg: 2.02 2.39 3.73 3/178 28279
/proc/meminfo: memFree=30781424/32873852 swapFree=6864/6864
[pid=28277] ppid=28275 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28277/stat : 28277 (run) S 28275 28277 24426 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391109096 9367552 270 33554432000 4194304 5064252 140737147487392 140737147486304 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28277/statm: 2287 270 229 213 0 72 0
[pid=28278] ppid=28277 vsize=298468 CPUtime=3.09 cores=0,2,4,6
/proc/28278/stat : 28278 (pb_cplex) R 28277 28277 24426 0 -1 4202496 54009 0 0 0 300 9 0 0 20 0 1 0 391109097 305631232 37263 33554432000 134512640 146736320 4292822928 4292819456 138729791 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/28278/statm: 74617 37263 614 2985 0 71551 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 307616
[startup+6.30034 s]
/proc/loadavg: 2.02 2.39 3.73 3/178 28279
/proc/meminfo: memFree=30727960/32873852 swapFree=6864/6864
[pid=28277] ppid=28275 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28277/stat : 28277 (run) S 28275 28277 24426 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391109096 9367552 270 33554432000 4194304 5064252 140737147487392 140737147486304 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28277/statm: 2287 270 229 213 0 72 0
[pid=28278] ppid=28277 vsize=406612 CPUtime=6.29 cores=0,2,4,6
/proc/28278/stat : 28278 (pb_cplex) R 28277 28277 24426 0 -1 4202496 90675 0 0 0 613 16 0 0 20 0 1 0 391109097 416370688 56835 33554432000 134512640 146736320 4292822928 4292817792 137412913 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/28278/statm: 101653 56835 771 2985 0 98587 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 415760
[startup+12.7003 s]
/proc/loadavg: 2.02 2.37 3.71 3/178 28279
/proc/meminfo: memFree=30555048/32873852 swapFree=6864/6864
[pid=28277] ppid=28275 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28277/stat : 28277 (run) S 28275 28277 24426 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391109096 9367552 270 33554432000 4194304 5064252 140737147487392 140737147486304 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28277/statm: 2287 270 229 213 0 72 0
[pid=28278] ppid=28277 vsize=543336 CPUtime=12.69 cores=0,2,4,6
/proc/28278/stat : 28278 (pb_cplex) R 28277 28277 24426 0 -1 4202496 174384 0 0 0 1233 36 0 0 20 0 1 0 391109097 556376064 84162 33554432000 134512640 146736320 4292822928 4292817160 136461555 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/28278/statm: 135834 84162 825 2985 0 132768 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 552484
[startup+25.5003 s]
/proc/loadavg: 2.02 2.36 3.69 3/177 28279
/proc/meminfo: memFree=30550948/32873852 swapFree=6864/6864
[pid=28277] ppid=28275 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28277/stat : 28277 (run) S 28275 28277 24426 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391109096 9367552 270 33554432000 4194304 5064252 140737147487392 140737147486304 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28277/statm: 2287 270 229 213 0 72 0
[pid=28278] ppid=28277 vsize=546708 CPUtime=25.49 cores=0,2,4,6
/proc/28278/stat : 28278 (pb_cplex) R 28277 28277 24426 0 -1 4202496 265583 0 0 0 2493 56 0 0 20 0 1 0 391109097 559828992 84911 33554432000 134512640 146736320 4292822928 4292817160 136463908 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/28278/statm: 136677 84911 831 2985 0 133611 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 555856
[startup+51.1003 s]
/proc/loadavg: 2.01 2.33 3.65 3/177 28280
/proc/meminfo: memFree=30535292/32873852 swapFree=6864/6864
[pid=28277] ppid=28275 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28277/stat : 28277 (run) S 28275 28277 24426 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391109096 9367552 270 33554432000 4194304 5064252 140737147487392 140737147486304 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28277/statm: 2287 270 229 213 0 72 0
[pid=28278] ppid=28277 vsize=562656 CPUtime=51.08 cores=0,2,4,6
/proc/28278/stat : 28278 (pb_cplex) R 28277 28277 24426 0 -1 4202496 442956 0 0 0 5007 101 0 0 20 0 1 0 391109097 576159744 88477 33554432000 134512640 146736320 4292822928 4292817084 136017493 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/28278/statm: 140664 88477 837 2985 0 137598 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 571804
[startup+102.307 s]
/proc/loadavg: 2.00 2.27 3.55 3/177 28280
/proc/meminfo: memFree=30640404/32873852 swapFree=6864/6864
[pid=28277] ppid=28275 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28277/stat : 28277 (run) S 28275 28277 24426 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391109096 9367552 270 33554432000 4194304 5064252 140737147487392 140737147486304 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28277/statm: 2287 270 229 213 0 72 0
[pid=28278] ppid=28277 vsize=426412 CPUtime=102.28 cores=0,2,4,6
/proc/28278/stat : 28278 (pb_cplex) R 28277 28277 24426 0 -1 4202496 598736 0 0 0 10092 136 0 0 20 0 1 0 391109097 436645888 62190 33554432000 134512640 146736320 4292822928 4292816568 136475868 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/28278/statm: 106603 62190 837 2985 0 103537 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 435560
[startup+162.3 s]
/proc/loadavg: 2.00 2.22 3.45 3/177 28280
/proc/meminfo: memFree=30620584/32873852 swapFree=6864/6864
[pid=28277] ppid=28275 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28277/stat : 28277 (run) S 28275 28277 24426 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391109096 9367552 270 33554432000 4194304 5064252 140737147487392 140737147486304 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28277/statm: 2287 270 229 213 0 72 0
[pid=28278] ppid=28277 vsize=429680 CPUtime=162.26 cores=0,2,4,6
/proc/28278/stat : 28278 (pb_cplex) R 28277 28277 24426 0 -1 4202496 605323 0 0 0 16088 138 0 0 20 0 1 0 391109097 439992320 67068 33554432000 134512640 146736320 4292822928 4292817104 136403117 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/28278/statm: 107420 67068 837 2985 0 104354 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 438828
[startup+222.3 s]
/proc/loadavg: 2.00 2.18 3.36 3/177 28280
/proc/meminfo: memFree=30611332/32873852 swapFree=6864/6864
[pid=28277] ppid=28275 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28277/stat : 28277 (run) S 28275 28277 24426 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391109096 9367552 270 33554432000 4194304 5064252 140737147487392 140737147486304 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28277/statm: 2287 270 229 213 0 72 0
[pid=28278] ppid=28277 vsize=431668 CPUtime=222.25 cores=0,2,4,6
/proc/28278/stat : 28278 (pb_cplex) R 28277 28277 24426 0 -1 4202496 610459 0 0 0 22086 139 0 0 20 0 1 0 391109097 442028032 69336 33554432000 134512640 146736320 4292822928 4292816716 136017787 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/28278/statm: 107917 69336 837 2985 0 104851 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 440816
[startup+282.3 s]
/proc/loadavg: 2.00 2.14 3.27 3/177 28280
/proc/meminfo: memFree=30606776/32873852 swapFree=6864/6864
[pid=28277] ppid=28275 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28277/stat : 28277 (run) S 28275 28277 24426 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391109096 9367552 270 33554432000 4194304 5064252 140737147487392 140737147486304 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28277/statm: 2287 270 229 213 0 72 0
[pid=28278] ppid=28277 vsize=432828 CPUtime=282.24 cores=0,2,4,6
/proc/28278/stat : 28278 (pb_cplex) R 28277 28277 24426 0 -1 4202496 615836 0 0 0 28082 142 0 0 20 0 1 0 391109097 443215872 70691 33554432000 134512640 146736320 4292822928 4292816716 136017519 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/28278/statm: 108207 70691 837 2985 0 105141 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 441976
[startup+342.3 s]
/proc/loadavg: 2.00 2.11 3.19 3/176 28280
/proc/meminfo: memFree=30606100/32873852 swapFree=6864/6864
[pid=28277] ppid=28275 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28277/stat : 28277 (run) S 28275 28277 24426 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391109096 9367552 270 33554432000 4194304 5064252 140737147487392 140737147486304 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28277/statm: 2287 270 229 213 0 72 0
[pid=28278] ppid=28277 vsize=433536 CPUtime=342.24 cores=0,2,4,6
/proc/28278/stat : 28278 (pb_cplex) R 28277 28277 24426 0 -1 4202496 620940 0 0 0 34079 145 0 0 20 0 1 0 391109097 443940864 70861 33554432000 134512640 146736320 4292822928 4292816404 136017485 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/28278/statm: 108384 70861 837 2985 0 105318 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 442684
[startup+402.3 s]
/proc/loadavg: 2.00 2.09 3.11 3/177 28281
/proc/meminfo: memFree=30604164/32873852 swapFree=6864/6864
[pid=28277] ppid=28275 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.35 3/177 28362
/proc/meminfo: memFree=30659264/32873852 swapFree=6864/6864
[pid=28277] ppid=28275 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28277/stat : 28277 (run) S 28275 28277 24426 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391109096 9367552 270 33554432000 4194304 5064252 140737147487392 140737147486304 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28277/statm: 2287 270 229 213 0 72 0
[pid=28278] ppid=28277 vsize=438756 CPUtime=1422.07 cores=0,2,4,6
/proc/28278/stat : 28278 (pb_cplex) R 28277 28277 24426 0 -1 4202496 714064 0 0 0 142027 180 0 0 20 0 1 0 391109097 449286144 72844 33554432000 134512640 146736320 4292822928 4292816688 136400484 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/28278/statm: 109689 72844 837 2985 0 106623 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 447904
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.32 3/177 28362
/proc/meminfo: memFree=30659264/32873852 swapFree=6864/6864
[pid=28277] ppid=28275 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28277/stat : 28277 (run) S 28275 28277 24426 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391109096 9367552 270 33554432000 4194304 5064252 140737147487392 140737147486304 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28277/statm: 2287 270 229 213 0 72 0
[pid=28278] ppid=28277 vsize=438848 CPUtime=1482.06 cores=0,2,4,6
/proc/28278/stat : 28278 (pb_cplex) R 28277 28277 24426 0 -1 4202496 718413 0 0 0 148024 182 0 0 20 0 1 0 391109097 449380352 72866 33554432000 134512640 146736320 4292822928 4292816716 136017760 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/28278/statm: 109712 72866 837 2985 0 106646 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 447996
[startup+1542.3 s]
/proc/loadavg: 2.04 2.01 2.30 3/177 28362
/proc/meminfo: memFree=30659264/32873852 swapFree=6864/6864
[pid=28277] ppid=28275 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28277/stat : 28277 (run) S 28275 28277 24426 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391109096 9367552 270 33554432000 4194304 5064252 140737147487392 140737147486304 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28277/statm: 2287 270 229 213 0 72 0
[pid=28278] ppid=28277 vsize=438848 CPUtime=1542.05 cores=0,2,4,6
/proc/28278/stat : 28278 (pb_cplex) R 28277 28277 24426 0 -1 4202496 722752 0 0 0 154021 184 0 0 20 0 1 0 391109097 449380352 72867 33554432000 134512640 146736320 4292822928 4292816404 136017519 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/28278/statm: 109712 72867 837 2985 0 106646 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 447996
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.28 3/177 28363
/proc/meminfo: memFree=30654908/32873852 swapFree=6864/6864
[pid=28277] ppid=28275 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28277/stat : 28277 (run) S 28275 28277 24426 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391109096 9367552 270 33554432000 4194304 5064252 140737147487392 140737147486304 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28277/statm: 2287 270 229 213 0 72 0
[pid=28278] ppid=28277 vsize=438864 CPUtime=1602.04 cores=0,2,4,6
/proc/28278/stat : 28278 (pb_cplex) R 28277 28277 24426 0 -1 4202496 727031 0 0 0 160018 186 0 0 20 0 1 0 391109097 449396736 72872 33554432000 134512640 146736320 4292822928 4292816668 136389768 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/28278/statm: 109716 72872 837 2985 0 106650 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 448012
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.26 3/177 28363
/proc/meminfo: memFree=30655032/32873852 swapFree=6864/6864
[pid=28277] ppid=28275 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28277/stat : 28277 (run) S 28275 28277 24426 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391109096 9367552 270 33554432000 4194304 5064252 140737147487392 140737147486304 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28277/statm: 2287 270 229 213 0 72 0
[pid=28278] ppid=28277 vsize=438916 CPUtime=1662.03 cores=0,2,4,6
/proc/28278/stat : 28278 (pb_cplex) R 28277 28277 24426 0 -1 4202496 731280 0 0 0 166016 187 0 0 20 0 1 0 391109097 449449984 72885 33554432000 134512640 146736320 4292822928 4292816716 136017787 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/28278/statm: 109729 72885 837 2985 0 106663 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 448064
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.24 3/177 28363
/proc/meminfo: memFree=30655032/32873852 swapFree=6864/6864
[pid=28277] ppid=28275 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28277/stat : 28277 (run) S 28275 28277 24426 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391109096 9367552 270 33554432000 4194304 5064252 140737147487392 140737147486304 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28277/statm: 2287 270 229 213 0 72 0
[pid=28278] ppid=28277 vsize=438944 CPUtime=1722.02 cores=0,2,4,6
/proc/28278/stat : 28278 (pb_cplex) R 28277 28277 24426 0 -1 4202496 735522 0 0 0 172013 189 0 0 20 0 1 0 391109097 449478656 72893 33554432000 134512640 146736320 4292822928 4292816716 136017763 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/28278/statm: 109736 72893 837 2985 0 106670 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 448092
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.23 3/178 28366
/proc/meminfo: memFree=30655024/32873852 swapFree=6864/6864
[pid=28277] ppid=28275 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28277/stat : 28277 (run) S 28275 28277 24426 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391109096 9367552 270 33554432000 4194304 5064252 140737147487392 140737147486304 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28277/statm: 2287 270 229 213 0 72 0
[pid=28278] ppid=28277 vsize=438944 CPUtime=1782.02 cores=0,2,4,6
/proc/28278/stat : 28278 (pb_cplex) R 28277 28277 24426 0 -1 4202496 740052 0 0 0 178010 192 0 0 20 0 1 0 391109097 449478656 72893 33554432000 134512640 146736320 4292822928 4292816716 136017763 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/28278/statm: 109736 72893 837 2985 0 106670 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 448092
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.22 3/178 28366
/proc/meminfo: memFree=30652604/32873852 swapFree=6864/6864
[pid=28277] ppid=28275 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28277/stat : 28277 (run) S 28275 28277 24426 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391109096 9367552 270 33554432000 4194304 5064252 140737147487392 140737147486304 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28277/statm: 2287 270 229 213 0 72 0
[pid=28278] ppid=28277 vsize=438944 CPUtime=1791.62 cores=0,2,4,6
/proc/28278/stat : 28278 (pb_cplex) R 28277 28277 24426 0 -1 4202496 740757 0 0 0 178970 192 0 0 20 0 1 0 391109097 449478656 72893 33554432000 134512640 146736320 4292822928 4292816552 139044505 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/28278/statm: 109736 72893 837 2985 0 106670 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (KiB) 448092
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.22 3/178 28366
/proc/meminfo: memFree=30655024/32873852 swapFree=6864/6864
[pid=28277] ppid=28275 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28277/stat : 28277 (run) S 28275 28277 24426 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391109096 9367552 270 33554432000 4194304 5064252 140737147487392 140737147486304 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28277/statm: 2287 270 229 213 0 72 0
[pid=28278] ppid=28277 vsize=438944 CPUtime=1794.82 cores=0,2,4,6
/proc/28278/stat : 28278 (pb_cplex) R 28277 28277 24426 0 -1 4202496 740757 0 0 0 179290 192 0 0 20 0 1 0 391109097 449478656 72893 33554432000 134512640 146736320 4292822928 4292816552 139044566 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/28278/statm: 109736 72893 837 2985 0 106670 0
Current children cumulated CPU time (s) 1794.82
Current children cumulated vsize (KiB) 448092
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.22 3/178 28366
/proc/meminfo: memFree=30655024/32873852 swapFree=6864/6864
[pid=28277] ppid=28275 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28277/stat : 28277 (run) S 28275 28277 24426 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391109096 9367552 270 33554432000 4194304 5064252 140737147487392 140737147486304 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28277/statm: 2287 270 229 213 0 72 0
[pid=28278] ppid=28277 vsize=438944 CPUtime=1796.41 cores=0,2,4,6
/proc/28278/stat : 28278 (pb_cplex) R 28277 28277 24426 0 -1 4202496 740757 0 0 0 179449 192 0 0 20 0 1 0 391109097 449478656 72893 33554432000 134512640 146736320 4292822928 4292816328 135526137 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/28278/statm: 109736 72893 837 2985 0 106670 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 448092
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.22 3/178 28366
/proc/meminfo: memFree=30654900/32873852 swapFree=6864/6864
[pid=28277] ppid=28275 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28277/stat : 28277 (run) S 28275 28277 24426 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391109096 9367552 270 33554432000 4194304 5064252 140737147487392 140737147486304 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28277/statm: 2287 270 229 213 0 72 0
[pid=28278] ppid=28277 vsize=438944 CPUtime=1798.01 cores=0,2,4,6
/proc/28278/stat : 28278 (pb_cplex) R 28277 28277 24426 0 -1 4202496 741106 0 0 0 179609 192 0 0 20 0 1 0 391109097 449478656 72893 33554432000 134512640 146736320 4292822928 4292816584 139043583 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/28278/statm: 109736 72893 837 2985 0 106670 0
Current children cumulated CPU time (s) 1798.01
Current children cumulated vsize (KiB) 448092
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.22 3/178 28366
/proc/meminfo: memFree=30655024/32873852 swapFree=6864/6864
[pid=28277] ppid=28275 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28277/stat : 28277 (run) S 28275 28277 24426 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391109096 9367552 270 33554432000 4194304 5064252 140737147487392 140737147486304 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28277/statm: 2287 270 229 213 0 72 0
[pid=28278] ppid=28277 vsize=438944 CPUtime=1798.81 cores=0,2,4,6
/proc/28278/stat : 28278 (pb_cplex) R 28277 28277 24426 0 -1 4202496 741106 0 0 0 179689 192 0 0 20 0 1 0 391109097 449478656 72893 33554432000 134512640 146736320 4292822928 4292817152 139046468 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/28278/statm: 109736 72893 837 2985 0 106670 0
Current children cumulated CPU time (s) 1798.81
Current children cumulated vsize (KiB) 448092
[startup+1799.3 s]
/proc/loadavg: 2.00 2.00 2.22 3/178 28366
/proc/meminfo: memFree=30655024/32873852 swapFree=6864/6864
[pid=28277] ppid=28275 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28277/stat : 28277 (run) S 28275 28277 24426 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391109096 9367552 270 33554432000 4194304 5064252 140737147487392 140737147486304 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28277/statm: 2287 270 229 213 0 72 0
[pid=28278] ppid=28277 vsize=438944 CPUtime=1799.01 cores=0,2,4,6
/proc/28278/stat : 28278 (pb_cplex) R 28277 28277 24426 0 -1 4202496 741457 0 0 0 179709 192 0 0 20 0 1 0 391109097 449478656 72893 33554432000 134512640 146736320 4292822928 4292816700 135526874 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/28278/statm: 109736 72893 837 2985 0 106670 0
Current children cumulated CPU time (s) 1799.01
Current children cumulated vsize (KiB) 448092
[startup+1799.4 s]
/proc/loadavg: 2.00 2.00 2.22 3/178 28366
/proc/meminfo: memFree=30655024/32873852 swapFree=6864/6864
[pid=28277] ppid=28275 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28277/stat : 28277 (run) S 28275 28277 24426 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391109096 9367552 270 33554432000 4194304 5064252 140737147487392 140737147486304 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28277/statm: 2287 270 229 213 0 72 0
[pid=28278] ppid=28277 vsize=438944 CPUtime=1799.11 cores=0,2,4,6
/proc/28278/stat : 28278 (pb_cplex) R 28277 28277 24426 0 -1 4202496 741457 0 0 0 179719 192 0 0 20 0 1 0 391109097 449478656 72893 33554432000 134512640 146736320 4292822928 4292816552 139044510 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/28278/statm: 109736 72893 837 2985 0 106670 0
Current children cumulated CPU time (s) 1799.11
Current children cumulated vsize (KiB) 448092
Child status: 0
Real time (s): 1799.47
CPU time (s): 1799.19
CPU user time (s): 1797.25
CPU system time (s): 1.9377
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 602892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.25
system time used= 1.93771
maximum resident set size= 383288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 741841
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= 14
involuntary context switches= 1973
runsolver used 2.54661 second user time and 7.29989 second system time
The end