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-3738156-1339248882/watcher-3738156-1339248882 -o /tmp/evaluation-result-3738156-1339248882/solver-3738156-1339248882 -C 1800 -W 1900 -M 15500 run HOME/instance-3738156-1339248882.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: 5.85 6.03 5.80 3/177 19039
/proc/meminfo: memFree=31280620/32873844 swapFree=8656/8656
[pid=19039] ppid=19037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19039/stat : 19039 (run) S 19037 19039 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391016799 9367552 269 33554432000 4194304 5064252 140736602734816 140736602733728 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19039/statm: 2287 269 229 213 0 72 0

[startup+0.0269711 s]
/proc/loadavg: 5.85 6.03 5.80 3/177 19039
/proc/meminfo: memFree=31280620/32873844 swapFree=8656/8656
[pid=19039] ppid=19037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19039/stat : 19039 (run) S 19037 19039 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391016799 9367552 269 33554432000 4194304 5064252 140736602734816 140736602733728 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19039/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100259 s]
/proc/loadavg: 5.85 6.03 5.80 3/177 19039
/proc/meminfo: memFree=31280620/32873844 swapFree=8656/8656
[pid=19039] ppid=19037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19039/stat : 19039 (run) S 19037 19039 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391016799 9367552 269 33554432000 4194304 5064252 140736602734816 140736602733728 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19039/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.30024 s]
/proc/loadavg: 5.85 6.03 5.80 3/177 19039
/proc/meminfo: memFree=31280620/32873844 swapFree=8656/8656
[pid=19039] ppid=19037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19039/stat : 19039 (run) S 19037 19039 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391016799 9367552 269 33554432000 4194304 5064252 140736602734816 140736602733728 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19039/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700295 s]
/proc/loadavg: 5.85 6.03 5.80 3/177 19039
/proc/meminfo: memFree=31280620/32873844 swapFree=8656/8656
[pid=19039] ppid=19037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19039/stat : 19039 (run) S 19037 19039 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391016799 9367552 269 33554432000 4194304 5064252 140736602734816 140736602733728 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19039/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50028 s]
/proc/loadavg: 5.85 6.03 5.80 3/179 19041
/proc/meminfo: memFree=31229508/32873844 swapFree=8656/8656
[pid=19039] ppid=19037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19039/stat : 19039 (run) S 19037 19039 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391016799 9367552 269 33554432000 4194304 5064252 140736602734816 140736602733728 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19039/statm: 2287 269 229 213 0 72 0
[pid=19040] ppid=19039 vsize=118416 CPUtime=1.49 cores=1,3,5,7
/proc/19040/stat : 19040 (pb_cplex) R 19039 19039 17566 0 -1 4202496 25345 0 0 0 145 4 0 0 20 0 1 0 391016799 121257984 13516 33554432000 134512640 146736320 4288184528 4288178164 138462896 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/19040/statm: 29604 13516 789 2985 0 26538 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 127564

[startup+3.10029 s]
/proc/loadavg: 5.85 6.03 5.80 3/179 19041
/proc/meminfo: memFree=31228756/32873844 swapFree=8656/8656
[pid=19039] ppid=19037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19039/stat : 19039 (run) S 19037 19039 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391016799 9367552 269 33554432000 4194304 5064252 140736602734816 140736602733728 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19039/statm: 2287 269 229 213 0 72 0
[pid=19040] ppid=19039 vsize=118416 CPUtime=3.09 cores=1,3,5,7
/proc/19040/stat : 19040 (pb_cplex) R 19039 19039 17566 0 -1 4202496 25347 0 0 0 305 4 0 0 20 0 1 0 391016799 121257984 13518 33554432000 134512640 146736320 4288184528 4288179496 136015523 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/19040/statm: 29604 13518 789 2985 0 26538 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 127564

[startup+6.30029 s]
/proc/loadavg: 5.54 5.96 5.78 3/179 19041
/proc/meminfo: memFree=31228632/32873844 swapFree=8656/8656
[pid=19039] ppid=19037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19039/stat : 19039 (run) S 19037 19039 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391016799 9367552 269 33554432000 4194304 5064252 140736602734816 140736602733728 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19039/statm: 2287 269 229 213 0 72 0
[pid=19040] ppid=19039 vsize=118416 CPUtime=6.29 cores=1,3,5,7
/proc/19040/stat : 19040 (pb_cplex) R 19039 19039 17566 0 -1 4202496 25347 0 0 0 625 4 0 0 20 0 1 0 391016799 121257984 13518 33554432000 134512640 146736320 4288184528 4288179496 136015502 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/19040/statm: 29604 13518 789 2985 0 26538 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 127564

[startup+12.7003 s]
/proc/loadavg: 5.26 5.90 5.76 3/179 19041
/proc/meminfo: memFree=31228648/32873844 swapFree=8656/8656
[pid=19039] ppid=19037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19039/stat : 19039 (run) S 19037 19039 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391016799 9367552 269 33554432000 4194304 5064252 140736602734816 140736602733728 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19039/statm: 2287 269 229 213 0 72 0
[pid=19040] ppid=19039 vsize=118416 CPUtime=12.69 cores=1,3,5,7
/proc/19040/stat : 19040 (pb_cplex) R 19039 19039 17566 0 -1 4202496 25347 0 0 0 1265 4 0 0 20 0 1 0 391016799 121257984 13518 33554432000 134512640 146736320 4288184528 4288178880 135658756 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/19040/statm: 29604 13518 789 2985 0 26538 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 127564

[startup+25.5003 s]
/proc/loadavg: 4.53 5.71 5.70 3/179 19041
/proc/meminfo: memFree=31226080/32873844 swapFree=8656/8656
[pid=19039] ppid=19037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19039/stat : 19039 (run) S 19037 19039 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391016799 9367552 269 33554432000 4194304 5064252 140736602734816 140736602733728 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19039/statm: 2287 269 229 213 0 72 0
[pid=19040] ppid=19039 vsize=118416 CPUtime=25.49 cores=1,3,5,7
/proc/19040/stat : 19040 (pb_cplex) R 19039 19039 17566 0 -1 4202496 25347 0 0 0 2545 4 0 0 20 0 1 0 391016799 121257984 13518 33554432000 134512640 146736320 4288184528 4288180120 144757825 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/19040/statm: 29604 13518 789 2985 0 26538 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 127564

[startup+51.1003 s]
/proc/loadavg: 3.74 5.42 5.60 3/179 19041
/proc/meminfo: memFree=31221476/32873844 swapFree=8656/8656
[pid=19039] ppid=19037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19039/stat : 19039 (run) S 19037 19039 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391016799 9367552 269 33554432000 4194304 5064252 140736602734816 140736602733728 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19039/statm: 2287 269 229 213 0 72 0
[pid=19040] ppid=19039 vsize=118416 CPUtime=51.08 cores=1,3,5,7
/proc/19040/stat : 19040 (pb_cplex) R 19039 19039 17566 0 -1 4202496 25347 0 0 0 5104 4 0 0 20 0 1 0 391016799 121257984 13524 33554432000 134512640 146736320 4288184528 4288177792 138462680 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/19040/statm: 29604 13524 789 2985 0 26538 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 127564

[startup+102.307 s]
/proc/loadavg: 2.75 4.89 5.41 3/179 19042
/proc/meminfo: memFree=31204328/32873844 swapFree=8656/8656
[pid=19039] ppid=19037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19039/stat : 19039 (run) S 19037 19039 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391016799 9367552 269 33554432000 4194304 5064252 140736602734816 140736602733728 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19039/statm: 2287 269 229 213 0 72 0
[pid=19040] ppid=19039 vsize=126216 CPUtime=102.27 cores=1,3,5,7
/proc/19040/stat : 19040 (pb_cplex) R 19039 19039 17566 0 -1 4202496 26000 0 0 0 10223 4 0 0 20 0 1 0 391016799 129245184 17238 33554432000 134512640 146736320 4288184528 4288179064 138768472 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/19040/statm: 31554 17238 797 2985 0 28488 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 135364

[startup+162.3 s]
/proc/loadavg: 2.27 4.36 5.20 3/179 19042
/proc/meminfo: memFree=31176336/32873844 swapFree=8656/8656
[pid=19039] ppid=19037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19039/stat : 19039 (run) S 19037 19039 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391016799 9367552 269 33554432000 4194304 5064252 140736602734816 140736602733728 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19039/statm: 2287 269 229 213 0 72 0
[pid=19040] ppid=19039 vsize=167160 CPUtime=162.25 cores=1,3,5,7
/proc/19040/stat : 19040 (pb_cplex) R 19039 19039 17566 0 -1 4202496 51642 0 0 0 16215 10 0 0 20 0 1 0 391016799 171171840 25115 33554432000 134512640 146736320 4288184528 4288178952 136001978 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/19040/statm: 41790 25115 871 2985 0 38724 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 176308

[startup+222.3 s]
/proc/loadavg: 2.10 3.93 4.99 3/179 19042
/proc/meminfo: memFree=31167944/32873844 swapFree=8656/8656
[pid=19039] ppid=19037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19039/stat : 19039 (run) S 19037 19039 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391016799 9367552 269 33554432000 4194304 5064252 140736602734816 140736602733728 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19039/statm: 2287 269 229 213 0 72 0
[pid=19040] ppid=19039 vsize=167160 CPUtime=222.25 cores=1,3,5,7
/proc/19040/stat : 19040 (pb_cplex) R 19039 19039 17566 0 -1 4202496 73873 0 0 0 22210 15 0 0 20 0 1 0 391016799 171171840 26315 33554432000 134512640 146736320 4288184528 4288178700 136017474 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/19040/statm: 41790 26315 871 2985 0 38724 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 176308

[startup+282.3 s]
/proc/loadavg: 2.03 3.58 4.80 3/179 19042
/proc/meminfo: memFree=31166576/32873844 swapFree=8656/8656
[pid=19039] ppid=19037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19039/stat : 19039 (run) S 19037 19039 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391016799 9367552 269 33554432000 4194304 5064252 140736602734816 140736602733728 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19039/statm: 2287 269 229 213 0 72 0
[pid=19040] ppid=19039 vsize=167168 CPUtime=282.24 cores=1,3,5,7
/proc/19040/stat : 19040 (pb_cplex) R 19039 19039 17566 0 -1 4202496 97842 0 0 0 28203 21 0 0 20 0 1 0 391016799 171180032 26315 33554432000 134512640 146736320 4288184528 4288178700 136017763 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/19040/statm: 41792 26315 871 2985 0 38726 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 176316

[startup+342.3 s]
/proc/loadavg: 2.01 3.29 4.62 3/180 19045
/proc/meminfo: memFree=31167064/32873844 swapFree=8656/8656
[pid=19039] ppid=19037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19039/stat : 19039 (run) S 19037 19039 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391016799 9367552 269 33554432000 4194304 5064252 140736602734816 140736602733728 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19039/statm: 2287 269 229 213 0 72 0
[pid=19040] ppid=19039 vsize=167192 CPUtime=342.23 cores=1,3,5,7
/proc/19040/stat : 19040 (pb_cplex) R 19039 19039 17566 0 -1 4202496 123684 0 0 0 34197 26 0 0 20 0 1 0 391016799 171204608 26321 33554432000 134512640 146736320 4288184528 4288178536 139044580 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/19040/statm: 41798 26321 871 2985 0 38732 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 176340

[startup+402.3 s]
/proc/loadavg: 2.00 3.05 4.46 3/179 19046
/proc/meminfo: memFree=31171848/32873844 swapFree=8656/8656
[pid=19039] ppid=19037 vsize=9148 CPUtime=0 cores=1,3,5,7

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


[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 2.79 3/179 19054
/proc/meminfo: memFree=31166348/32873844 swapFree=8656/8656
[pid=19039] ppid=19037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19039/stat : 19039 (run) S 19037 19039 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391016799 9367552 269 33554432000 4194304 5064252 140736602734816 140736602733728 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19039/statm: 2287 269 229 213 0 72 0
[pid=19040] ppid=19039 vsize=172232 CPUtime=1422.06 cores=1,3,5,7
/proc/19040/stat : 19040 (pb_cplex) R 19039 19039 17566 0 -1 4202496 431441 0 0 0 142109 97 0 0 20 0 1 0 391016799 176365568 26877 33554432000 134512640 146736320 4288184528 4288179088 136403109 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/19040/statm: 43058 26877 923 2985 0 39992 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 181380

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.74 3/179 19054
/proc/meminfo: memFree=31164788/32873844 swapFree=8656/8656
[pid=19039] ppid=19037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19039/stat : 19039 (run) S 19037 19039 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391016799 9367552 269 33554432000 4194304 5064252 140736602734816 140736602733728 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19039/statm: 2287 269 229 213 0 72 0
[pid=19040] ppid=19039 vsize=172344 CPUtime=1482.05 cores=1,3,5,7
/proc/19040/stat : 19040 (pb_cplex) R 19039 19039 17566 0 -1 4202496 431470 0 0 0 148107 98 0 0 20 0 1 0 391016799 176480256 27058 33554432000 134512640 146736320 4288184528 4288178700 136017763 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/19040/statm: 43086 27058 923 2985 0 40020 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 181492

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.69 3/180 19057
/proc/meminfo: memFree=31150948/32873844 swapFree=8656/8656
[pid=19039] ppid=19037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19039/stat : 19039 (run) S 19037 19039 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391016799 9367552 269 33554432000 4194304 5064252 140736602734816 140736602733728 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19039/statm: 2287 269 229 213 0 72 0
[pid=19040] ppid=19039 vsize=172432 CPUtime=1542.04 cores=1,3,5,7
/proc/19040/stat : 19040 (pb_cplex) R 19039 19039 17566 0 -1 4202496 431491 0 0 0 154106 98 0 0 20 0 1 0 391016799 176570368 27079 33554432000 134512640 146736320 4288184528 4288178700 136017791 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/19040/statm: 43108 27079 923 2985 0 40042 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 181580

[startup+1602.3 s]
/proc/loadavg: 2.04 2.02 2.65 3/180 19080
/proc/meminfo: memFree=31165272/32873844 swapFree=8656/8656
[pid=19039] ppid=19037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19039/stat : 19039 (run) S 19037 19039 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391016799 9367552 269 33554432000 4194304 5064252 140736602734816 140736602733728 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19039/statm: 2287 269 229 213 0 72 0
[pid=19040] ppid=19039 vsize=172484 CPUtime=1602.03 cores=1,3,5,7
/proc/19040/stat : 19040 (pb_cplex) R 19039 19039 17566 0 -1 4202496 431504 0 0 0 160105 98 0 0 20 0 1 0 391016799 176623616 27092 33554432000 134512640 146736320 4288184528 4288179088 136403117 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/19040/statm: 43121 27092 923 2985 0 40055 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 181632

[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.61 3/179 19081
/proc/meminfo: memFree=31164408/32873844 swapFree=8656/8656
[pid=19039] ppid=19037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19039/stat : 19039 (run) S 19037 19039 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391016799 9367552 269 33554432000 4194304 5064252 140736602734816 140736602733728 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19039/statm: 2287 269 229 213 0 72 0
[pid=19040] ppid=19039 vsize=172532 CPUtime=1662.01 cores=1,3,5,7
/proc/19040/stat : 19040 (pb_cplex) R 19039 19039 17566 0 -1 4202496 431515 0 0 0 166103 98 0 0 20 0 1 0 391016799 176672768 27103 33554432000 134512640 146736320 4288184528 4288178700 136017748 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/19040/statm: 43133 27103 923 2985 0 40067 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 181680

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.56 3/179 19081
/proc/meminfo: memFree=31135932/32873844 swapFree=8656/8656
[pid=19039] ppid=19037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19039/stat : 19039 (run) S 19037 19039 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391016799 9367552 269 33554432000 4194304 5064252 140736602734816 140736602733728 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19039/statm: 2287 269 229 213 0 72 0
[pid=19040] ppid=19039 vsize=217136 CPUtime=1722 cores=1,3,5,7
/proc/19040/stat : 19040 (pb_cplex) R 19039 19039 17566 0 -1 4202496 440890 0 0 0 172100 100 0 0 20 0 1 0 391016799 222347264 34168 33554432000 134512640 146736320 4288184528 4288180352 137701409 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/19040/statm: 54284 34168 923 2985 0 51218 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 226284

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.53 3/179 19130
/proc/meminfo: memFree=31198728/32873844 swapFree=8656/8656
[pid=19039] ppid=19037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19039/stat : 19039 (run) S 19037 19039 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391016799 9367552 269 33554432000 4194304 5064252 140736602734816 140736602733728 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19039/statm: 2287 269 229 213 0 72 0
[pid=19040] ppid=19039 vsize=172616 CPUtime=1781.99 cores=1,3,5,7
/proc/19040/stat : 19040 (pb_cplex) R 19039 19039 17566 0 -1 4202496 443011 0 0 0 178098 101 0 0 20 0 1 0 391016799 176758784 27226 33554432000 134512640 146736320 4288184528 4288178700 136017485 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/19040/statm: 43154 27226 923 2985 0 40088 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 181764

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.52 3/179 19130
/proc/meminfo: memFree=31198512/32873844 swapFree=8656/8656
[pid=19039] ppid=19037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19039/stat : 19039 (run) S 19037 19039 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391016799 9367552 269 33554432000 4194304 5064252 140736602734816 140736602733728 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19039/statm: 2287 269 229 213 0 72 0
[pid=19040] ppid=19039 vsize=172652 CPUtime=1791.59 cores=1,3,5,7
/proc/19040/stat : 19040 (pb_cplex) R 19039 19039 17566 0 -1 4202496 443020 0 0 0 179058 101 0 0 20 0 1 0 391016799 176795648 27235 33554432000 134512640 146736320 4288184528 4288178700 136017485 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/19040/statm: 43163 27235 923 2985 0 40097 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 181800

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.52 3/179 19130
/proc/meminfo: memFree=31189892/32873844 swapFree=8656/8656
[pid=19039] ppid=19037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19039/stat : 19039 (run) S 19037 19039 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391016799 9367552 269 33554432000 4194304 5064252 140736602734816 140736602733728 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19039/statm: 2287 269 229 213 0 72 0
[pid=19040] ppid=19039 vsize=172652 CPUtime=1794.79 cores=1,3,5,7
/proc/19040/stat : 19040 (pb_cplex) R 19039 19039 17566 0 -1 4202496 443020 0 0 0 179378 101 0 0 20 0 1 0 391016799 176795648 27235 33554432000 134512640 146736320 4288184528 4288178388 136017787 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/19040/statm: 43163 27235 923 2985 0 40097 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (KiB) 181800

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.52 3/179 19130
/proc/meminfo: memFree=31190388/32873844 swapFree=8656/8656
[pid=19039] ppid=19037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19039/stat : 19039 (run) S 19037 19039 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391016799 9367552 269 33554432000 4194304 5064252 140736602734816 140736602733728 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19039/statm: 2287 269 229 213 0 72 0
[pid=19040] ppid=19039 vsize=172652 CPUtime=1796.39 cores=1,3,5,7
/proc/19040/stat : 19040 (pb_cplex) R 19039 19039 17566 0 -1 4202496 443020 0 0 0 179538 101 0 0 20 0 1 0 391016799 176795648 27235 33554432000 134512640 146736320 4288184528 4288178536 139044580 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/19040/statm: 43163 27235 923 2985 0 40097 0
Current children cumulated CPU time (s) 1796.39
Current children cumulated vsize (KiB) 181800

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.52 3/179 19130
/proc/meminfo: memFree=31189644/32873844 swapFree=8656/8656
[pid=19039] ppid=19037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19039/stat : 19039 (run) S 19037 19039 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391016799 9367552 269 33554432000 4194304 5064252 140736602734816 140736602733728 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19039/statm: 2287 269 229 213 0 72 0
[pid=19040] ppid=19039 vsize=172652 CPUtime=1797.99 cores=1,3,5,7
/proc/19040/stat : 19040 (pb_cplex) R 19039 19039 17566 0 -1 4202496 443020 0 0 0 179698 101 0 0 20 0 1 0 391016799 176795648 27235 33554432000 134512640 146736320 4288184528 4288178700 136017763 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/19040/statm: 43163 27235 923 2985 0 40097 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 181800

[startup+1798.7 s]
/proc/loadavg: 2.00 2.00 2.52 3/179 19130
/proc/meminfo: memFree=31189520/32873844 swapFree=8656/8656
[pid=19039] ppid=19037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19039/stat : 19039 (run) S 19037 19039 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391016799 9367552 269 33554432000 4194304 5064252 140736602734816 140736602733728 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19039/statm: 2287 269 229 213 0 72 0
[pid=19040] ppid=19039 vsize=172652 CPUtime=1798.39 cores=1,3,5,7
/proc/19040/stat : 19040 (pb_cplex) R 19039 19039 17566 0 -1 4202496 443020 0 0 0 179738 101 0 0 20 0 1 0 391016799 176795648 27235 33554432000 134512640 146736320 4288184528 4288178700 136017757 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/19040/statm: 43163 27235 923 2985 0 40097 0
Current children cumulated CPU time (s) 1798.39
Current children cumulated vsize (KiB) 181800

[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.52 3/179 19130
/proc/meminfo: memFree=31189520/32873844 swapFree=8656/8656
[pid=19039] ppid=19037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19039/stat : 19039 (run) S 19037 19039 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391016799 9367552 269 33554432000 4194304 5064252 140736602734816 140736602733728 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19039/statm: 2287 269 229 213 0 72 0
[pid=19040] ppid=19039 vsize=172652 CPUtime=1798.79 cores=1,3,5,7
/proc/19040/stat : 19040 (pb_cplex) R 19039 19039 17566 0 -1 4202496 443020 0 0 0 179778 101 0 0 20 0 1 0 391016799 176795648 27235 33554432000 134512640 146736320 4288184528 4288178684 135526874 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/19040/statm: 43163 27235 923 2985 0 40097 0
Current children cumulated CPU time (s) 1798.79
Current children cumulated vsize (KiB) 181800

[startup+1799.2 s]
/proc/loadavg: 2.00 2.00 2.52 3/179 19130
/proc/meminfo: memFree=31189520/32873844 swapFree=8656/8656
[pid=19039] ppid=19037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19039/stat : 19039 (run) S 19037 19039 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391016799 9367552 269 33554432000 4194304 5064252 140736602734816 140736602733728 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19039/statm: 2287 269 229 213 0 72 0
[pid=19040] ppid=19039 vsize=172652 CPUtime=1798.89 cores=1,3,5,7
/proc/19040/stat : 19040 (pb_cplex) R 19039 19039 17566 0 -1 4202496 443020 0 0 0 179788 101 0 0 20 0 1 0 391016799 176795648 27235 33554432000 134512640 146736320 4288184528 4288178700 136017748 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/19040/statm: 43163 27235 923 2985 0 40097 0
Current children cumulated CPU time (s) 1798.89
Current children cumulated vsize (KiB) 181800

Child status: 0
Real time (s): 1799.27
CPU time (s): 1798.97
CPU user time (s): 1797.94
CPU system time (s): 1.02284
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 252808

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.94
system time used= 1.02284
maximum resident set size= 161048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 443409
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= 42
involuntary context switches= 1967

runsolver used 6.49501 second user time and 18.0942 second system time

The end