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-3742237-1339250941/watcher-3742237-1339250941 -o /tmp/evaluation-result-3742237-1339250941/solver-3742237-1339250941 -C 1800 -W 1900 -M 15500 run HOME/instance-3742237-1339250941.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: 2.02 2.02 2.51 3/175 28356
/proc/meminfo: memFree=30723664/32873852 swapFree=6864/6864
[pid=28356] ppid=28354 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28356/stat : 28356 (run) S 28354 28356 24426 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391219571 9367552 269 33554432000 4194304 5064252 140734722792304 140734722791216 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28356/statm: 2287 269 229 213 0 72 0
[startup+0.0594701 s]
/proc/loadavg: 2.02 2.02 2.51 3/175 28356
/proc/meminfo: memFree=30723664/32873852 swapFree=6864/6864
[pid=28356] ppid=28354 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28356/stat : 28356 (run) S 28354 28356 24426 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391219571 9367552 269 33554432000 4194304 5064252 140734722792304 140734722791216 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28356/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10026 s]
/proc/loadavg: 2.02 2.02 2.51 3/175 28356
/proc/meminfo: memFree=30723664/32873852 swapFree=6864/6864
[pid=28356] ppid=28354 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28356/stat : 28356 (run) S 28354 28356 24426 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391219571 9367552 269 33554432000 4194304 5064252 140734722792304 140734722791216 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28356/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30023 s]
/proc/loadavg: 2.02 2.02 2.51 3/175 28356
/proc/meminfo: memFree=30723664/32873852 swapFree=6864/6864
[pid=28356] ppid=28354 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28356/stat : 28356 (run) S 28354 28356 24426 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391219571 9367552 269 33554432000 4194304 5064252 140734722792304 140734722791216 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28356/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700263 s]
/proc/loadavg: 2.02 2.02 2.51 3/175 28356
/proc/meminfo: memFree=30723664/32873852 swapFree=6864/6864
[pid=28356] ppid=28354 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28356/stat : 28356 (run) S 28354 28356 24426 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391219571 9367552 269 33554432000 4194304 5064252 140734722792304 140734722791216 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28356/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: 2.02 2.02 2.51 3/177 28358
/proc/meminfo: memFree=30712984/32873852 swapFree=6864/6864
[pid=28356] ppid=28354 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28356/stat : 28356 (run) S 28354 28356 24426 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391219571 9367552 269 33554432000 4194304 5064252 140734722792304 140734722791216 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28356/statm: 2287 269 229 213 0 72 0
[pid=28357] ppid=28356 vsize=67528 CPUtime=1.48 cores=1,3,5,7
/proc/28357/stat : 28357 (pb_cplex) R 28356 28356 24426 0 -1 4202496 14032 0 0 0 146 2 0 0 20 0 1 0 391219571 69148672 8830 33554432000 134512640 146736320 4289460656 4289457016 135812006 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/28357/statm: 16882 8830 614 2985 0 13816 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 76676
[startup+3.10032 s]
/proc/loadavg: 2.02 2.02 2.50 3/177 28358
/proc/meminfo: memFree=30671288/32873852 swapFree=6864/6864
[pid=28356] ppid=28354 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28356/stat : 28356 (run) S 28354 28356 24426 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391219571 9367552 269 33554432000 4194304 5064252 140734722792304 140734722791216 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28356/statm: 2287 269 229 213 0 72 0
[pid=28357] ppid=28356 vsize=92416 CPUtime=3.09 cores=1,3,5,7
/proc/28357/stat : 28357 (pb_cplex) R 28356 28356 24426 0 -1 4202496 26420 0 0 0 304 5 0 0 20 0 1 0 391219571 94633984 13646 33554432000 134512640 146736320 4289460656 4289455288 136475788 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/28357/statm: 23104 13646 726 2985 0 20038 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 101564
[startup+6.30035 s]
/proc/loadavg: 2.02 2.02 2.50 3/177 28358
/proc/meminfo: memFree=30670544/32873852 swapFree=6864/6864
[pid=28356] ppid=28354 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28356/stat : 28356 (run) S 28354 28356 24426 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391219571 9367552 269 33554432000 4194304 5064252 140734722792304 140734722791216 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28356/statm: 2287 269 229 213 0 72 0
[pid=28357] ppid=28356 vsize=92656 CPUtime=6.29 cores=1,3,5,7
/proc/28357/stat : 28357 (pb_cplex) R 28356 28356 24426 0 -1 4202496 30533 0 0 0 623 6 0 0 20 0 1 0 391219571 94879744 13739 33554432000 134512640 146736320 4289460656 4289455688 136000532 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/28357/statm: 23164 13739 726 2985 0 20098 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 101804
[startup+12.7003 s]
/proc/loadavg: 2.01 2.02 2.50 3/177 28358
/proc/meminfo: memFree=30669600/32873852 swapFree=6864/6864
[pid=28356] ppid=28354 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28356/stat : 28356 (run) S 28354 28356 24426 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391219571 9367552 269 33554432000 4194304 5064252 140734722792304 140734722791216 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28356/statm: 2287 269 229 213 0 72 0
[pid=28357] ppid=28356 vsize=93424 CPUtime=12.68 cores=1,3,5,7
/proc/28357/stat : 28357 (pb_cplex) R 28356 28356 24426 0 -1 4202496 36982 0 0 0 1261 7 0 0 20 0 1 0 391219571 95666176 13957 33554432000 134512640 146736320 4289460656 4289455440 136008042 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/28357/statm: 23356 13957 726 2985 0 20290 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 102572
[startup+25.5004 s]
/proc/loadavg: 2.01 2.01 2.49 3/177 28358
/proc/meminfo: memFree=30668980/32873852 swapFree=6864/6864
[pid=28356] ppid=28354 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28356/stat : 28356 (run) S 28354 28356 24426 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391219571 9367552 269 33554432000 4194304 5064252 140734722792304 140734722791216 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28356/statm: 2287 269 229 213 0 72 0
[pid=28357] ppid=28356 vsize=94372 CPUtime=25.48 cores=1,3,5,7
/proc/28357/stat : 28357 (pb_cplex) R 28356 28356 24426 0 -1 4202496 44856 0 0 0 2539 9 0 0 20 0 1 0 391219571 96636928 14193 33554432000 134512640 146736320 4289460656 4289455232 136019052 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/28357/statm: 23593 14193 726 2985 0 20527 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 103520
[startup+51.1004 s]
/proc/loadavg: 2.01 2.01 2.48 3/177 28358
/proc/meminfo: memFree=30668856/32873852 swapFree=6864/6864
[pid=28356] ppid=28354 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28356/stat : 28356 (run) S 28354 28356 24426 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391219571 9367552 269 33554432000 4194304 5064252 140734722792304 140734722791216 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28356/statm: 2287 269 229 213 0 72 0
[pid=28357] ppid=28356 vsize=94596 CPUtime=51.08 cores=1,3,5,7
/proc/28357/stat : 28357 (pb_cplex) R 28356 28356 24426 0 -1 4202496 59591 0 0 0 5096 12 0 0 20 0 1 0 391219571 96866304 14255 33554432000 134512640 146736320 4289460656 4289455324 135855165 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/28357/statm: 23649 14255 726 2985 0 20583 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 103744
[startup+102.307 s]
/proc/loadavg: 2.00 2.01 2.45 3/178 28361
/proc/meminfo: memFree=30668476/32873852 swapFree=6864/6864
[pid=28356] ppid=28354 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28356/stat : 28356 (run) S 28354 28356 24426 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391219571 9367552 269 33554432000 4194304 5064252 140734722792304 140734722791216 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28356/statm: 2287 269 229 213 0 72 0
[pid=28357] ppid=28356 vsize=94756 CPUtime=102.28 cores=1,3,5,7
/proc/28357/stat : 28357 (pb_cplex) R 28356 28356 24426 0 -1 4202496 89183 0 0 0 10210 18 0 0 20 0 1 0 391219571 97030144 14300 33554432000 134512640 146736320 4289460656 4289455304 136472904 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/28357/statm: 23689 14300 726 2985 0 20623 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 103904
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.42 3/177 28362
/proc/meminfo: memFree=30668352/32873852 swapFree=6864/6864
[pid=28356] ppid=28354 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28356/stat : 28356 (run) S 28354 28356 24426 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391219571 9367552 269 33554432000 4194304 5064252 140734722792304 140734722791216 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28356/statm: 2287 269 229 213 0 72 0
[pid=28357] ppid=28356 vsize=94824 CPUtime=162.26 cores=1,3,5,7
/proc/28357/stat : 28357 (pb_cplex) R 28356 28356 24426 0 -1 4202496 121362 0 0 0 16201 25 0 0 20 0 1 0 391219571 97099776 14329 33554432000 134512640 146736320 4289460656 4289455280 136384857 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/28357/statm: 23706 14329 726 2985 0 20640 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 103972
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.39 3/177 28362
/proc/meminfo: memFree=30654236/32873852 swapFree=6864/6864
[pid=28356] ppid=28354 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28356/stat : 28356 (run) S 28354 28356 24426 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391219571 9367552 269 33554432000 4194304 5064252 140734722792304 140734722791216 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28356/statm: 2287 269 229 213 0 72 0
[pid=28357] ppid=28356 vsize=94828 CPUtime=222.25 cores=1,3,5,7
/proc/28357/stat : 28357 (pb_cplex) R 28356 28356 24426 0 -1 4202496 154738 0 0 0 22191 34 0 0 20 0 1 0 391219571 97103872 17857 33554432000 134512640 146736320 4289460656 4289455508 136003859 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/28357/statm: 23707 17857 726 2985 0 20641 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 103976
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.36 3/177 28362
/proc/meminfo: memFree=30659512/32873852 swapFree=6864/6864
[pid=28356] ppid=28354 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28356/stat : 28356 (run) S 28354 28356 24426 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391219571 9367552 269 33554432000 4194304 5064252 140734722792304 140734722791216 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28356/statm: 2287 269 229 213 0 72 0
[pid=28357] ppid=28356 vsize=94216 CPUtime=282.23 cores=1,3,5,7
/proc/28357/stat : 28357 (pb_cplex) R 28356 28356 24426 0 -1 4202496 193458 0 0 0 28181 42 0 0 20 0 1 0 391219571 96477184 16588 33554432000 134512640 146736320 4289460656 4289455296 139046501 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/28357/statm: 23554 16588 781 2985 0 20488 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 103364
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.34 3/177 28362
/proc/meminfo: memFree=30659140/32873852 swapFree=6864/6864
[pid=28356] ppid=28354 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28356/stat : 28356 (run) S 28354 28356 24426 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391219571 9367552 269 33554432000 4194304 5064252 140734722792304 140734722791216 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28356/statm: 2287 269 229 213 0 72 0
[pid=28357] ppid=28356 vsize=94216 CPUtime=342.22 cores=1,3,5,7
/proc/28357/stat : 28357 (pb_cplex) R 28356 28356 24426 0 -1 4202496 225824 0 0 0 34173 49 0 0 20 0 1 0 391219571 96477184 16593 33554432000 134512640 146736320 4289460656 4289454724 136385183 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/28357/statm: 23554 16593 781 2985 0 20488 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 103364
[startup+402.3 s]
/proc/loadavg: 2.08 2.02 2.32 3/177 28362
/proc/meminfo: memFree=30659264/32873852 swapFree=6864/6864
[pid=28356] ppid=28354 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.08 3/177 28421
/proc/meminfo: memFree=30051000/32873852 swapFree=6864/6864
[pid=28356] ppid=28354 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28356/stat : 28356 (run) S 28354 28356 24426 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391219571 9367552 269 33554432000 4194304 5064252 140734722792304 140734722791216 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28356/statm: 2287 269 229 213 0 72 0
[pid=28357] ppid=28356 vsize=94840 CPUtime=1422.06 cores=1,3,5,7
/proc/28357/stat : 28357 (pb_cplex) R 28356 28356 24426 0 -1 4202496 789141 0 0 0 142029 177 0 0 20 0 1 0 391219571 97116160 17693 33554432000 134512640 146736320 4289460656 4289454748 135855174 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/28357/statm: 23710 17693 782 2985 0 20644 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 103988
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/177 28421
/proc/meminfo: memFree=30016660/32873852 swapFree=6864/6864
[pid=28356] ppid=28354 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28356/stat : 28356 (run) S 28354 28356 24426 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391219571 9367552 269 33554432000 4194304 5064252 140734722792304 140734722791216 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28356/statm: 2287 269 229 213 0 72 0
[pid=28357] ppid=28356 vsize=94844 CPUtime=1482.04 cores=1,3,5,7
/proc/28357/stat : 28357 (pb_cplex) R 28356 28356 24426 0 -1 4202496 819895 0 0 0 148020 184 0 0 20 0 1 0 391219571 97120256 17694 33554432000 134512640 146736320 4289460656 4289454968 136015544 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/28357/statm: 23711 17694 782 2985 0 20645 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 103992
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/178 28422
/proc/meminfo: memFree=30015908/32873852 swapFree=6864/6864
[pid=28356] ppid=28354 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28356/stat : 28356 (run) S 28354 28356 24426 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391219571 9367552 269 33554432000 4194304 5064252 140734722792304 140734722791216 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28356/statm: 2287 269 229 213 0 72 0
[pid=28357] ppid=28356 vsize=94844 CPUtime=1542.04 cores=1,3,5,7
/proc/28357/stat : 28357 (pb_cplex) R 28356 28356 24426 0 -1 4202496 850849 0 0 0 154014 190 0 0 20 0 1 0 391219571 97120256 17694 33554432000 134512640 146736320 4289460656 4289455112 136000756 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/28357/statm: 23711 17694 782 2985 0 20645 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 103992
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/177 28422
/proc/meminfo: memFree=30013000/32873852 swapFree=6864/6864
[pid=28356] ppid=28354 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28356/stat : 28356 (run) S 28354 28356 24426 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391219571 9367552 269 33554432000 4194304 5064252 140734722792304 140734722791216 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28356/statm: 2287 269 229 213 0 72 0
[pid=28357] ppid=28356 vsize=94844 CPUtime=1602.03 cores=1,3,5,7
/proc/28357/stat : 28357 (pb_cplex) R 28356 28356 24426 0 -1 4202496 881803 0 0 0 160004 199 0 0 20 0 1 0 391219571 97120256 17694 33554432000 134512640 146736320 4289460656 4289454768 136384895 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/28357/statm: 23711 17694 782 2985 0 20645 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 103992
[startup+1662.3 s]
/proc/loadavg: 2.04 2.01 2.06 3/177 28422
/proc/meminfo: memFree=30010704/32873852 swapFree=6864/6864
[pid=28356] ppid=28354 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28356/stat : 28356 (run) S 28354 28356 24426 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391219571 9367552 269 33554432000 4194304 5064252 140734722792304 140734722791216 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28356/statm: 2287 269 229 213 0 72 0
[pid=28357] ppid=28356 vsize=94852 CPUtime=1662.02 cores=1,3,5,7
/proc/28357/stat : 28357 (pb_cplex) R 28356 28356 24426 0 -1 4202496 912357 0 0 0 165997 205 0 0 20 0 1 0 391219571 97128448 17696 33554432000 134512640 146736320 4289460656 4289454748 135855174 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/28357/statm: 23713 17696 782 2985 0 20647 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 104000
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.06 3/177 28423
/proc/meminfo: memFree=29974656/32873852 swapFree=6864/6864
[pid=28356] ppid=28354 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28356/stat : 28356 (run) S 28354 28356 24426 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391219571 9367552 269 33554432000 4194304 5064252 140734722792304 140734722791216 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28356/statm: 2287 269 229 213 0 72 0
[pid=28357] ppid=28356 vsize=138560 CPUtime=1722.02 cores=1,3,5,7
/proc/28357/stat : 28357 (pb_cplex) R 28356 28356 24426 0 -1 4202496 960899 0 0 0 171987 215 0 0 20 0 1 0 391219571 141885440 26605 33554432000 134512640 146736320 4289460656 4289454440 136480243 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/28357/statm: 34640 26605 821 2985 0 31574 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 147708
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.05 4/177 28423
/proc/meminfo: memFree=29963088/32873852 swapFree=6864/6864
[pid=28356] ppid=28354 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28356/stat : 28356 (run) S 28354 28356 24426 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391219571 9367552 269 33554432000 4194304 5064252 140734722792304 140734722791216 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28356/statm: 2287 269 229 213 0 72 0
[pid=28357] ppid=28356 vsize=138944 CPUtime=1782 cores=1,3,5,7
/proc/28357/stat : 28357 (pb_cplex) R 28356 28356 24426 0 -1 4202496 1023072 0 0 0 177971 229 0 0 20 0 1 0 391219571 142278656 27356 33554432000 134512640 146736320 4289460656 4289454324 135986381 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/28357/statm: 34736 27356 838 2985 0 31670 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 148092
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.05 3/177 28423
/proc/meminfo: memFree=29957936/32873852 swapFree=6864/6864
[pid=28356] ppid=28354 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28356/stat : 28356 (run) S 28354 28356 24426 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391219571 9367552 269 33554432000 4194304 5064252 140734722792304 140734722791216 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28356/statm: 2287 269 229 213 0 72 0
[pid=28357] ppid=28356 vsize=138944 CPUtime=1791.61 cores=1,3,5,7
/proc/28357/stat : 28357 (pb_cplex) R 28356 28356 24426 0 -1 4202496 1031313 0 0 0 178929 232 0 0 20 0 1 0 391219571 142278656 27356 33554432000 134512640 146736320 4289460656 4289454484 135855170 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/28357/statm: 34736 27356 838 2985 0 31670 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 148092
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.05 3/177 28423
/proc/meminfo: memFree=29953340/32873852 swapFree=6864/6864
[pid=28356] ppid=28354 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28356/stat : 28356 (run) S 28354 28356 24426 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391219571 9367552 269 33554432000 4194304 5064252 140734722792304 140734722791216 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28356/statm: 2287 269 229 213 0 72 0
[pid=28357] ppid=28356 vsize=138948 CPUtime=1794.81 cores=1,3,5,7
/proc/28357/stat : 28357 (pb_cplex) R 28356 28356 24426 0 -1 4202496 1034329 0 0 0 179249 232 0 0 20 0 1 0 391219571 142282752 27357 33554432000 134512640 146736320 4289460656 4289454920 136461485 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/28357/statm: 34737 27357 838 2985 0 31671 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 148096
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.05 3/177 28423
/proc/meminfo: memFree=29953588/32873852 swapFree=6864/6864
[pid=28356] ppid=28354 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28356/stat : 28356 (run) S 28354 28356 24426 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391219571 9367552 269 33554432000 4194304 5064252 140734722792304 140734722791216 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28356/statm: 2287 269 229 213 0 72 0
[pid=28357] ppid=28356 vsize=139752 CPUtime=1796.41 cores=1,3,5,7
/proc/28357/stat : 28357 (pb_cplex) R 28356 28356 24426 0 -1 4202496 1035660 0 0 0 179408 233 0 0 20 0 1 0 391219571 143106048 27483 33554432000 134512640 146736320 4289460656 4289453620 138462818 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/28357/statm: 34938 27489 838 2985 0 31872 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 148900
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/177 28423
/proc/meminfo: memFree=29953588/32873852 swapFree=6864/6864
[pid=28356] ppid=28354 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28356/stat : 28356 (run) S 28354 28356 24426 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391219571 9367552 269 33554432000 4194304 5064252 140734722792304 140734722791216 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28356/statm: 2287 269 229 213 0 72 0
[pid=28357] ppid=28356 vsize=138948 CPUtime=1798 cores=1,3,5,7
/proc/28357/stat : 28357 (pb_cplex) R 28356 28356 24426 0 -1 4202496 1037143 0 0 0 179567 233 0 0 20 0 1 0 391219571 142282752 27357 33554432000 134512640 146736320 4289460656 4289455216 136402267 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/28357/statm: 34737 27357 838 2985 0 31671 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 148096
[startup+1798.7 s]
/proc/loadavg: 2.00 2.00 2.05 3/177 28423
/proc/meminfo: memFree=29953588/32873852 swapFree=6864/6864
[pid=28356] ppid=28354 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28356/stat : 28356 (run) S 28354 28356 24426 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391219571 9367552 269 33554432000 4194304 5064252 140734722792304 140734722791216 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28356/statm: 2287 269 229 213 0 72 0
[pid=28357] ppid=28356 vsize=139752 CPUtime=1798.4 cores=1,3,5,7
/proc/28357/stat : 28357 (pb_cplex) R 28356 28356 24426 0 -1 4202496 1037545 0 0 0 179607 233 0 0 20 0 1 0 391219571 143106048 27558 33554432000 134512640 146736320 4289460656 4289453248 138463279 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/28357/statm: 34938 27558 838 2985 0 31872 0
Current children cumulated CPU time (s) 1798.4
Current children cumulated vsize (KiB) 148900
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.05 3/177 28423
/proc/meminfo: memFree=29953588/32873852 swapFree=6864/6864
[pid=28356] ppid=28354 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28356/stat : 28356 (run) S 28354 28356 24426 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391219571 9367552 269 33554432000 4194304 5064252 140734722792304 140734722791216 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28356/statm: 2287 269 229 213 0 72 0
[pid=28357] ppid=28356 vsize=138948 CPUtime=1798.8 cores=1,3,5,7
/proc/28357/stat : 28357 (pb_cplex) R 28356 28356 24426 0 -1 4202496 1037947 0 0 0 179647 233 0 0 20 0 1 0 391219571 142282752 27357 33554432000 134512640 146736320 4289460656 4289454400 136000404 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/28357/statm: 34737 27357 838 2985 0 31671 0
Current children cumulated CPU time (s) 1798.8
Current children cumulated vsize (KiB) 148096
[startup+1799.2 s]
/proc/loadavg: 2.00 2.00 2.05 3/177 28423
/proc/meminfo: memFree=29953588/32873852 swapFree=6864/6864
[pid=28356] ppid=28354 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28356/stat : 28356 (run) S 28354 28356 24426 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391219571 9367552 269 33554432000 4194304 5064252 140734722792304 140734722791216 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28356/statm: 2287 269 229 213 0 72 0
[pid=28357] ppid=28356 vsize=72620 CPUtime=1798.9 cores=1,3,5,7
/proc/28357/stat : 28357 (pb_cplex) R 28356 28356 24426 0 -1 4202496 1039520 0 0 0 179656 234 0 0 20 0 1 0 391219571 74362880 14294 33554432000 134512640 146736320 4289460656 4289458972 144963134 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/28357/statm: 18155 13837 852 2985 0 15089 0
Current children cumulated CPU time (s) 1798.9
Current children cumulated vsize (KiB) 81768
Child status: 0
Real time (s): 1799.21
CPU time (s): 1798.92
CPU user time (s): 1796.57
CPU system time (s): 2.34864
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 153004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.57
system time used= 2.34864
maximum resident set size= 112212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1039891
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= 1858
runsolver used 3.05054 second user time and 8.41272 second system time
The end