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-3738222-1339248921/watcher-3738222-1339248921 -o /tmp/evaluation-result-3738222-1339248921/solver-3738222-1339248921 -C 1800 -W 1900 -M 15500 run HOME/instance-3738222-1339248921.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: 7.01 6.84 6.66 4/177 7047
/proc/meminfo: memFree=24108176/32873844 swapFree=7628/7628
[pid=7047] ppid=7045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7047/stat : 7047 (run) S 7045 7047 6062 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391016518 9367552 270 33554432000 4194304 5064252 140736784017664 140736784016576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7047/statm: 2287 270 229 213 0 72 0

[startup+0.0461839 s]
/proc/loadavg: 7.01 6.84 6.66 4/177 7047
/proc/meminfo: memFree=24108176/32873844 swapFree=7628/7628
[pid=7047] ppid=7045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7047/stat : 7047 (run) S 7045 7047 6062 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391016518 9367552 270 33554432000 4194304 5064252 140736784017664 140736784016576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7047/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100276 s]
/proc/loadavg: 7.01 6.84 6.66 4/177 7047
/proc/meminfo: memFree=24108176/32873844 swapFree=7628/7628
[pid=7047] ppid=7045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7047/stat : 7047 (run) S 7045 7047 6062 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391016518 9367552 270 33554432000 4194304 5064252 140736784017664 140736784016576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7047/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.30026 s]
/proc/loadavg: 7.01 6.84 6.66 4/177 7047
/proc/meminfo: memFree=24108176/32873844 swapFree=7628/7628
[pid=7047] ppid=7045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7047/stat : 7047 (run) S 7045 7047 6062 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391016518 9367552 270 33554432000 4194304 5064252 140736784017664 140736784016576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7047/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700292 s]
/proc/loadavg: 7.01 6.84 6.66 4/177 7047
/proc/meminfo: memFree=24108176/32873844 swapFree=7628/7628
[pid=7047] ppid=7045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7047/stat : 7047 (run) S 7045 7047 6062 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391016518 9367552 270 33554432000 4194304 5064252 140736784017664 140736784016576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7047/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50029 s]
/proc/loadavg: 7.01 6.84 6.66 3/179 7049
/proc/meminfo: memFree=24057496/32873844 swapFree=7628/7628
[pid=7047] ppid=7045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7047/stat : 7047 (run) S 7045 7047 6062 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391016518 9367552 270 33554432000 4194304 5064252 140736784017664 140736784016576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7047/statm: 2287 270 229 213 0 72 0
[pid=7048] ppid=7047 vsize=117228 CPUtime=1.49 cores=0,2,4,6
/proc/7048/stat : 7048 (pb_cplex) R 7047 7047 6062 0 -1 4202496 25077 0 0 0 146 3 0 0 20 0 1 0 391016518 120041472 13416 33554432000 134512640 146736320 4290567040 4290562648 144757825 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/7048/statm: 29307 13416 789 2985 0 26241 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 126376

[startup+3.10029 s]
/proc/loadavg: 6.61 6.76 6.64 3/179 7049
/proc/meminfo: memFree=24056636/32873844 swapFree=7628/7628
[pid=7047] ppid=7045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7047/stat : 7047 (run) S 7045 7047 6062 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391016518 9367552 270 33554432000 4194304 5064252 140736784017664 140736784016576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7047/statm: 2287 270 229 213 0 72 0
[pid=7048] ppid=7047 vsize=117720 CPUtime=3.09 cores=0,2,4,6
/proc/7048/stat : 7048 (pb_cplex) R 7047 7047 6062 0 -1 4202496 25179 0 0 0 306 3 0 0 20 0 1 0 391016518 120545280 13518 33554432000 134512640 146736320 4290567040 4290562024 136015579 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/7048/statm: 29430 13518 789 2985 0 26364 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 126868

[startup+6.30029 s]
/proc/loadavg: 6.61 6.76 6.64 3/179 7049
/proc/meminfo: memFree=24056636/32873844 swapFree=7628/7628
[pid=7047] ppid=7045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7047/stat : 7047 (run) S 7045 7047 6062 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391016518 9367552 270 33554432000 4194304 5064252 140736784017664 140736784016576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7047/statm: 2287 270 229 213 0 72 0
[pid=7048] ppid=7047 vsize=117720 CPUtime=6.29 cores=0,2,4,6
/proc/7048/stat : 7048 (pb_cplex) R 7047 7047 6062 0 -1 4202496 25181 0 0 0 626 3 0 0 20 0 1 0 391016518 120545280 13520 33554432000 134512640 146736320 4290567040 4290561080 135997676 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/7048/statm: 29430 13520 789 2985 0 26364 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 126868

[startup+12.7003 s]
/proc/loadavg: 5.90 6.60 6.59 3/179 7049
/proc/meminfo: memFree=24056032/32873844 swapFree=7628/7628
[pid=7047] ppid=7045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7047/stat : 7047 (run) S 7045 7047 6062 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391016518 9367552 270 33554432000 4194304 5064252 140736784017664 140736784016576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7047/statm: 2287 270 229 213 0 72 0
[pid=7048] ppid=7047 vsize=117720 CPUtime=12.68 cores=0,2,4,6
/proc/7048/stat : 7048 (pb_cplex) R 7047 7047 6062 0 -1 4202496 25181 0 0 0 1265 3 0 0 20 0 1 0 391016518 120545280 13520 33554432000 134512640 146736320 4290567040 4290561992 136461575 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/7048/statm: 29430 13520 789 2985 0 26364 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 126868

[startup+25.5003 s]
/proc/loadavg: 5.30 6.45 6.54 3/179 7049
/proc/meminfo: memFree=24053468/32873844 swapFree=7628/7628
[pid=7047] ppid=7045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7047/stat : 7047 (run) S 7045 7047 6062 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391016518 9367552 270 33554432000 4194304 5064252 140736784017664 140736784016576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7047/statm: 2287 270 229 213 0 72 0
[pid=7048] ppid=7047 vsize=117720 CPUtime=25.47 cores=0,2,4,6
/proc/7048/stat : 7048 (pb_cplex) R 7047 7047 6062 0 -1 4202496 25189 0 0 0 2544 3 0 0 20 0 1 0 391016518 120545280 14223 33554432000 134512640 146736320 4290567040 4290561964 136400720 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/7048/statm: 29430 14223 789 2985 0 26364 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 126868

[startup+51.1003 s]
/proc/loadavg: 4.17 6.09 6.42 3/180 7050
/proc/meminfo: memFree=24051968/32873844 swapFree=7628/7628
[pid=7047] ppid=7045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7047/stat : 7047 (run) S 7045 7047 6062 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391016518 9367552 270 33554432000 4194304 5064252 140736784017664 140736784016576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7047/statm: 2287 270 229 213 0 72 0
[pid=7048] ppid=7047 vsize=117720 CPUtime=51.07 cores=0,2,4,6
/proc/7048/stat : 7048 (pb_cplex) R 7047 7047 6062 0 -1 4202496 25189 0 0 0 5103 4 0 0 20 0 1 0 391016518 120545280 14517 33554432000 134512640 146736320 4290567040 4290561428 136387581 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/7048/statm: 29430 14517 789 2985 0 26364 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 126868

[startup+102.307 s]
/proc/loadavg: 2.87 5.40 6.16 3/179 7051
/proc/meminfo: memFree=24041924/32873844 swapFree=7628/7628
[pid=7047] ppid=7045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7047/stat : 7047 (run) S 7045 7047 6062 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391016518 9367552 270 33554432000 4194304 5064252 140736784017664 140736784016576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7047/statm: 2287 270 229 213 0 72 0
[pid=7048] ppid=7047 vsize=125156 CPUtime=102.27 cores=0,2,4,6
/proc/7048/stat : 7048 (pb_cplex) R 7047 7047 6062 0 -1 4202496 26094 0 0 0 10223 4 0 0 20 0 1 0 391016518 128159744 16955 33554432000 134512640 146736320 4290567040 4290561592 138768297 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/7048/statm: 31289 16955 797 2985 0 28223 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 134304

[startup+162.3 s]
/proc/loadavg: 2.34 4.83 5.92 3/179 7051
/proc/meminfo: memFree=24015184/32873844 swapFree=7628/7628
[pid=7047] ppid=7045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7047/stat : 7047 (run) S 7045 7047 6062 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391016518 9367552 270 33554432000 4194304 5064252 140736784017664 140736784016576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7047/statm: 2287 270 229 213 0 72 0
[pid=7048] ppid=7047 vsize=165888 CPUtime=162.25 cores=0,2,4,6
/proc/7048/stat : 7048 (pb_cplex) R 7047 7047 6062 0 -1 4202496 55431 0 0 0 16215 10 0 0 20 0 1 0 391016518 169869312 23676 33554432000 134512640 146736320 4290567040 4290561228 136017784 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/7048/statm: 41472 23676 871 2985 0 38406 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 175036

[startup+222.3 s]
/proc/loadavg: 2.11 4.27 5.65 3/179 7051
/proc/meminfo: memFree=24010408/32873844 swapFree=7628/7628
[pid=7047] ppid=7045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7047/stat : 7047 (run) S 7045 7047 6062 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391016518 9367552 270 33554432000 4194304 5064252 140736784017664 140736784016576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7047/statm: 2287 270 229 213 0 72 0
[pid=7048] ppid=7047 vsize=165896 CPUtime=222.25 cores=0,2,4,6
/proc/7048/stat : 7048 (pb_cplex) R 7047 7047 6062 0 -1 4202496 79858 0 0 0 22210 15 0 0 20 0 1 0 391016518 169877504 23676 33554432000 134512640 146736320 4290567040 4290561228 136017495 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/7048/statm: 41474 23676 871 2985 0 38408 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 175044

[startup+282.3 s]
/proc/loadavg: 2.04 3.89 5.44 3/180 7054
/proc/meminfo: memFree=24010152/32873844 swapFree=7628/7628
[pid=7047] ppid=7045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7047/stat : 7047 (run) S 7045 7047 6062 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391016518 9367552 270 33554432000 4194304 5064252 140736784017664 140736784016576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7047/statm: 2287 270 229 213 0 72 0
[pid=7048] ppid=7047 vsize=165896 CPUtime=282.24 cores=0,2,4,6
/proc/7048/stat : 7048 (pb_cplex) R 7047 7047 6062 0 -1 4202496 105750 0 0 0 28205 19 0 0 20 0 1 0 391016518 169877504 23676 33554432000 134512640 146736320 4290567040 4290561228 136017766 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/7048/statm: 41474 23676 871 2985 0 38408 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 175044

[startup+342.3 s]
/proc/loadavg: 2.01 3.51 5.20 3/179 7054
/proc/meminfo: memFree=24008660/32873844 swapFree=7628/7628
[pid=7047] ppid=7045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7047/stat : 7047 (run) S 7045 7047 6062 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391016518 9367552 270 33554432000 4194304 5064252 140736784017664 140736784016576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7047/statm: 2287 270 229 213 0 72 0
[pid=7048] ppid=7047 vsize=165904 CPUtime=342.23 cores=0,2,4,6
/proc/7048/stat : 7048 (pb_cplex) R 7047 7047 6062 0 -1 4202496 132065 0 0 0 34199 24 0 0 20 0 1 0 391016518 169885696 23678 33554432000 134512640 146736320 4290567040 4290561228 136017645 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/7048/statm: 41476 23678 871 2985 0 38410 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 175052

[startup+402.3 s]
/proc/loadavg: 2.00 3.26 5.01 3/179 7055
/proc/meminfo: memFree=24000708/32873844 swapFree=7628/7628
[pid=7047] ppid=7045 vsize=9148 CPUtime=0 cores=0,2,4,6

################
# More data... #
################


[startup+1422.31 s]
/proc/loadavg: 2.00 2.03 2.97 3/179 7110
/proc/meminfo: memFree=23277444/32873844 swapFree=7628/7628
[pid=7047] ppid=7045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7047/stat : 7047 (run) S 7045 7047 6062 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391016518 9367552 270 33554432000 4194304 5064252 140736784017664 140736784016576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7047/statm: 2287 270 229 213 0 72 0
[pid=7048] ppid=7047 vsize=167832 CPUtime=1422.06 cores=0,2,4,6
/proc/7048/stat : 7048 (pb_cplex) R 7047 7047 6062 0 -1 4202496 631302 0 0 0 142084 122 0 0 20 0 1 0 391016518 171859968 26046 33554432000 134512640 146736320 4290567040 4290561096 139043573 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/7048/statm: 41958 26046 922 2985 0 38892 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 176980

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.91 3/180 7113
/proc/meminfo: memFree=23274560/32873844 swapFree=7628/7628
[pid=7047] ppid=7045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7047/stat : 7047 (run) S 7045 7047 6062 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391016518 9367552 270 33554432000 4194304 5064252 140736784017664 140736784016576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7047/statm: 2287 270 229 213 0 72 0
[pid=7048] ppid=7047 vsize=168036 CPUtime=1482.04 cores=0,2,4,6
/proc/7048/stat : 7048 (pb_cplex) R 7047 7047 6062 0 -1 4202496 655001 0 0 0 148079 125 0 0 20 0 1 0 391016518 172068864 26097 33554432000 134512640 146736320 4290567040 4290561200 136400443 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/7048/statm: 42009 26097 922 2985 0 38943 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 177184

[startup+1542.3 s]
/proc/loadavg: 2.04 2.03 2.86 3/180 7136
/proc/meminfo: memFree=23272056/32873844 swapFree=7628/7628
[pid=7047] ppid=7045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7047/stat : 7047 (run) S 7045 7047 6062 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391016518 9367552 270 33554432000 4194304 5064252 140736784017664 140736784016576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7047/statm: 2287 270 229 213 0 72 0
[pid=7048] ppid=7047 vsize=168052 CPUtime=1542.03 cores=0,2,4,6
/proc/7048/stat : 7048 (pb_cplex) R 7047 7047 6062 0 -1 4202496 680409 0 0 0 154074 129 0 0 20 0 1 0 391016518 172085248 26103 33554432000 134512640 146736320 4290567040 4290561228 136017787 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/7048/statm: 42013 26103 922 2985 0 38947 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 177200

[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.80 3/179 7137
/proc/meminfo: memFree=23266996/32873844 swapFree=7628/7628
[pid=7047] ppid=7045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7047/stat : 7047 (run) S 7045 7047 6062 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391016518 9367552 270 33554432000 4194304 5064252 140736784017664 140736784016576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7047/statm: 2287 270 229 213 0 72 0
[pid=7048] ppid=7047 vsize=168060 CPUtime=1602.02 cores=0,2,4,6
/proc/7048/stat : 7048 (pb_cplex) R 7047 7047 6062 0 -1 4202496 706559 0 0 0 160068 134 0 0 20 0 1 0 391016518 172093440 26105 33554432000 134512640 146736320 4290567040 4290561616 136403116 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/7048/statm: 42015 26105 922 2985 0 38949 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 177208

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.75 3/179 7137
/proc/meminfo: memFree=23266252/32873844 swapFree=7628/7628
[pid=7047] ppid=7045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7047/stat : 7047 (run) S 7045 7047 6062 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391016518 9367552 270 33554432000 4194304 5064252 140736784017664 140736784016576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7047/statm: 2287 270 229 213 0 72 0
[pid=7048] ppid=7047 vsize=168096 CPUtime=1662.02 cores=0,2,4,6
/proc/7048/stat : 7048 (pb_cplex) R 7047 7047 6062 0 -1 4202496 732721 0 0 0 166063 139 0 0 20 0 1 0 391016518 172130304 26114 33554432000 134512640 146736320 4290567040 4290561064 139044550 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/7048/statm: 42024 26114 922 2985 0 38958 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 177244

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.70 3/179 7137
/proc/meminfo: memFree=23266128/32873844 swapFree=7628/7628
[pid=7047] ppid=7045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7047/stat : 7047 (run) S 7045 7047 6062 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391016518 9367552 270 33554432000 4194304 5064252 140736784017664 140736784016576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7047/statm: 2287 270 229 213 0 72 0
[pid=7048] ppid=7047 vsize=168124 CPUtime=1722 cores=0,2,4,6
/proc/7048/stat : 7048 (pb_cplex) R 7047 7047 6062 0 -1 4202496 760145 0 0 0 172056 144 0 0 20 0 1 0 391016518 172158976 26122 33554432000 134512640 146736320 4290567040 4290561616 136403114 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/7048/statm: 42031 26122 922 2985 0 38965 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 177272

[startup+1782.3 s]
/proc/loadavg: 2.08 2.02 2.66 3/178 7137
/proc/meminfo: memFree=23267424/32873844 swapFree=7628/7628
[pid=7047] ppid=7045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7047/stat : 7047 (run) S 7045 7047 6062 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391016518 9367552 270 33554432000 4194304 5064252 140736784017664 140736784016576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7047/statm: 2287 270 229 213 0 72 0
[pid=7048] ppid=7047 vsize=168228 CPUtime=1782 cores=0,2,4,6
/proc/7048/stat : 7048 (pb_cplex) R 7047 7047 6062 0 -1 4202496 789900 0 0 0 178049 151 0 0 20 0 1 0 391016518 172265472 25935 33554432000 134512640 146736320 4290567040 4290561228 136017787 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/7048/statm: 42057 25935 922 2985 0 38991 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 177376

Solver just ended. Dumping a history of the last processes samples

[startup+1791.91 s]
/proc/loadavg: 2.07 2.02 2.65 3/178 7137
/proc/meminfo: memFree=23267424/32873844 swapFree=7628/7628
[pid=7047] ppid=7045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7047/stat : 7047 (run) S 7045 7047 6062 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391016518 9367552 270 33554432000 4194304 5064252 140736784017664 140736784016576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7047/statm: 2287 270 229 213 0 72 0
[pid=7048] ppid=7047 vsize=168228 CPUtime=1791.6 cores=0,2,4,6
/proc/7048/stat : 7048 (pb_cplex) R 7047 7047 6062 0 -1 4202496 792548 0 0 0 179008 152 0 0 20 0 1 0 391016518 172265472 25963 33554432000 134512640 146736320 4290567040 4290561228 136017763 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/7048/statm: 42057 25963 922 2985 0 38991 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 177376

[startup+1795.1 s]
/proc/loadavg: 2.06 2.02 2.65 3/178 7137
/proc/meminfo: memFree=23267424/32873844 swapFree=7628/7628
[pid=7047] ppid=7045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7047/stat : 7047 (run) S 7045 7047 6062 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391016518 9367552 270 33554432000 4194304 5064252 140736784017664 140736784016576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7047/statm: 2287 270 229 213 0 72 0
[pid=7048] ppid=7047 vsize=168228 CPUtime=1794.8 cores=0,2,4,6
/proc/7048/stat : 7048 (pb_cplex) R 7047 7047 6062 0 -1 4202496 793620 0 0 0 179328 152 0 0 20 0 1 0 391016518 172265472 25966 33554432000 134512640 146736320 4290567040 4290560916 136017505 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/7048/statm: 42057 25966 922 2985 0 38991 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 177376

[startup+1796.7 s]
/proc/loadavg: 2.06 2.02 2.65 3/178 7137
/proc/meminfo: memFree=23267424/32873844 swapFree=7628/7628
[pid=7047] ppid=7045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7047/stat : 7047 (run) S 7045 7047 6062 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391016518 9367552 270 33554432000 4194304 5064252 140736784017664 140736784016576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7047/statm: 2287 270 229 213 0 72 0
[pid=7048] ppid=7047 vsize=168228 CPUtime=1796.39 cores=0,2,4,6
/proc/7048/stat : 7048 (pb_cplex) R 7047 7047 6062 0 -1 4202496 793984 0 0 0 179487 152 0 0 20 0 1 0 391016518 172265472 25968 33554432000 134512640 146736320 4290567040 4290561228 136017485 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/7048/statm: 42057 25968 922 2985 0 38991 0
Current children cumulated CPU time (s) 1796.39
Current children cumulated vsize (KiB) 177376

[startup+1798.3 s]
/proc/loadavg: 2.06 2.02 2.64 3/178 7137
/proc/meminfo: memFree=23267424/32873844 swapFree=7628/7628
[pid=7047] ppid=7045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7047/stat : 7047 (run) S 7045 7047 6062 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391016518 9367552 270 33554432000 4194304 5064252 140736784017664 140736784016576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7047/statm: 2287 270 229 213 0 72 0
[pid=7048] ppid=7047 vsize=168228 CPUtime=1798 cores=0,2,4,6
/proc/7048/stat : 7048 (pb_cplex) R 7047 7047 6062 0 -1 4202496 794733 0 0 0 179647 153 0 0 20 0 1 0 391016518 172265472 25968 33554432000 134512640 146736320 4290567040 4290560916 136017505 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/7048/statm: 42057 25968 922 2985 0 38991 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 177376

[startup+1798.7 s]
/proc/loadavg: 2.06 2.02 2.64 3/178 7137
/proc/meminfo: memFree=23267424/32873844 swapFree=7628/7628
[pid=7047] ppid=7045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7047/stat : 7047 (run) S 7045 7047 6062 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391016518 9367552 270 33554432000 4194304 5064252 140736784017664 140736784016576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7047/statm: 2287 270 229 213 0 72 0
[pid=7048] ppid=7047 vsize=168228 CPUtime=1798.4 cores=0,2,4,6
/proc/7048/stat : 7048 (pb_cplex) R 7047 7047 6062 0 -1 4202496 794733 0 0 0 179687 153 0 0 20 0 1 0 391016518 172265472 25968 33554432000 134512640 146736320 4290567040 4290561200 136400474 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/7048/statm: 42057 25968 922 2985 0 38991 0
Current children cumulated CPU time (s) 1798.4
Current children cumulated vsize (KiB) 177376

[startup+1799.1 s]
/proc/loadavg: 2.06 2.02 2.64 3/178 7137
/proc/meminfo: memFree=23267424/32873844 swapFree=7628/7628
[pid=7047] ppid=7045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7047/stat : 7047 (run) S 7045 7047 6062 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391016518 9367552 270 33554432000 4194304 5064252 140736784017664 140736784016576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7047/statm: 2287 270 229 213 0 72 0
[pid=7048] ppid=7047 vsize=168228 CPUtime=1798.8 cores=0,2,4,6
/proc/7048/stat : 7048 (pb_cplex) R 7047 7047 6062 0 -1 4202496 795111 0 0 0 179727 153 0 0 20 0 1 0 391016518 172265472 25968 33554432000 134512640 146736320 4290567040 4290561228 136017845 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/7048/statm: 42057 25968 922 2985 0 38991 0
Current children cumulated CPU time (s) 1798.8
Current children cumulated vsize (KiB) 177376

[startup+1799.2 s]
/proc/loadavg: 2.06 2.02 2.64 3/178 7137
/proc/meminfo: memFree=23267424/32873844 swapFree=7628/7628
[pid=7047] ppid=7045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7047/stat : 7047 (run) S 7045 7047 6062 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391016518 9367552 270 33554432000 4194304 5064252 140736784017664 140736784016576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7047/statm: 2287 270 229 213 0 72 0
[pid=7048] ppid=7047 vsize=128108 CPUtime=1798.9 cores=0,2,4,6
/proc/7048/stat : 7048 (pb_cplex) R 7047 7047 6062 0 -1 4202496 795119 0 0 0 179737 153 0 0 20 0 1 0 391016518 131182592 18386 33554432000 134512640 146736320 4290567040 4290565928 136765696 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/7048/statm: 32027 18386 930 2985 0 28961 0
Current children cumulated CPU time (s) 1798.9
Current children cumulated vsize (KiB) 137256

Child status: 0
Real time (s): 1799.21
CPU time (s): 1798.91
CPU user time (s): 1797.38
CPU system time (s): 1.53777
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 249704

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.38
system time used= 1.53777
maximum resident set size= 151092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 795500
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= 22
involuntary context switches= 2022

runsolver used 2.99055 second user time and 8.5477 second system time

The end