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-3738266-1339248974/watcher-3738266-1339248974 -o /tmp/evaluation-result-3738266-1339248974/solver-3738266-1339248974 -C 1800 -W 1900 -M 15500 run HOME/instance-3738266-1339248974.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: 13.22 11.28 8.87 10/184 2309
/proc/meminfo: memFree=31327384/32873844 swapFree=7120/7120
[pid=2309] ppid=2307 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2309/stat : 2309 (run) S 2307 2309 1177 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391022351 9367552 270 33554432000 4194304 5064252 140737348001440 140737348000352 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2309/statm: 2287 270 229 213 0 72 0

[startup+0.0386699 s]
/proc/loadavg: 13.22 11.28 8.87 10/184 2309
/proc/meminfo: memFree=31327384/32873844 swapFree=7120/7120
[pid=2309] ppid=2307 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2309/stat : 2309 (run) S 2307 2309 1177 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391022351 9367552 270 33554432000 4194304 5064252 140737348001440 140737348000352 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2309/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100273 s]
/proc/loadavg: 13.22 11.28 8.87 10/184 2309
/proc/meminfo: memFree=31327384/32873844 swapFree=7120/7120
[pid=2309] ppid=2307 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2309/stat : 2309 (run) S 2307 2309 1177 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391022351 9367552 270 33554432000 4194304 5064252 140737348001440 140737348000352 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2309/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300271 s]
/proc/loadavg: 13.22 11.28 8.87 10/184 2309
/proc/meminfo: memFree=31327384/32873844 swapFree=7120/7120
[pid=2309] ppid=2307 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2309/stat : 2309 (run) S 2307 2309 1177 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391022351 9367552 270 33554432000 4194304 5064252 140737348001440 140737348000352 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2309/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700284 s]
/proc/loadavg: 13.22 11.28 8.87 10/184 2309
/proc/meminfo: memFree=31327384/32873844 swapFree=7120/7120
[pid=2309] ppid=2307 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2309/stat : 2309 (run) S 2307 2309 1177 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391022351 9367552 270 33554432000 4194304 5064252 140737348001440 140737348000352 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2309/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.5003 s]
/proc/loadavg: 13.22 11.28 8.87 3/186 2311
/proc/meminfo: memFree=31276984/32873844 swapFree=7120/7120
[pid=2309] ppid=2307 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2309/stat : 2309 (run) S 2307 2309 1177 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391022351 9367552 270 33554432000 4194304 5064252 140737348001440 140737348000352 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2309/statm: 2287 270 229 213 0 72 0
[pid=2310] ppid=2309 vsize=115204 CPUtime=1.48 cores=0,2,4,6
/proc/2310/stat : 2310 (pb_cplex) R 2309 2309 1177 0 -1 4202496 23381 0 0 0 146 2 0 0 20 0 1 0 391022351 117968896 13357 33554432000 134512640 146736320 4293134000 4293128968 136461520 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/2310/statm: 28801 13357 789 2985 0 25735 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 124352

[startup+3.10029 s]
/proc/loadavg: 13.22 11.28 8.87 9/186 2311
/proc/meminfo: memFree=31276604/32873844 swapFree=7120/7120
[pid=2309] ppid=2307 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2309/stat : 2309 (run) S 2307 2309 1177 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391022351 9367552 270 33554432000 4194304 5064252 140737348001440 140737348000352 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2309/statm: 2287 270 229 213 0 72 0
[pid=2310] ppid=2309 vsize=115204 CPUtime=3.08 cores=0,2,4,6
/proc/2310/stat : 2310 (pb_cplex) R 2309 2309 1177 0 -1 4202496 23382 0 0 0 306 2 0 0 20 0 1 0 391022351 117968896 13358 33554432000 134512640 146736320 4293134000 4293128968 136461634 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/2310/statm: 28801 13358 789 2985 0 25735 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 124352

[startup+6.3003 s]
/proc/loadavg: 12.81 11.23 8.86 10/186 2311
/proc/meminfo: memFree=31276108/32873844 swapFree=7120/7120
[pid=2309] ppid=2307 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2309/stat : 2309 (run) S 2307 2309 1177 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391022351 9367552 270 33554432000 4194304 5064252 140737348001440 140737348000352 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2309/statm: 2287 270 229 213 0 72 0
[pid=2310] ppid=2309 vsize=115204 CPUtime=6.29 cores=0,2,4,6
/proc/2310/stat : 2310 (pb_cplex) R 2309 2309 1177 0 -1 4202496 23383 0 0 0 626 3 0 0 20 0 1 0 391022351 117968896 13359 33554432000 134512640 146736320 4293134000 4293129000 136015629 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/2310/statm: 28801 13359 789 2985 0 25735 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 124352

[startup+12.7003 s]
/proc/loadavg: 12.50 11.19 8.86 10/186 2311
/proc/meminfo: memFree=31276388/32873844 swapFree=7120/7120
[pid=2309] ppid=2307 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2309/stat : 2309 (run) S 2307 2309 1177 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391022351 9367552 270 33554432000 4194304 5064252 140737348001440 140737348000352 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2309/statm: 2287 270 229 213 0 72 0
[pid=2310] ppid=2309 vsize=115204 CPUtime=12.69 cores=0,2,4,6
/proc/2310/stat : 2310 (pb_cplex) R 2309 2309 1177 0 -1 4202496 23383 0 0 0 1266 3 0 0 20 0 1 0 391022351 117968896 13359 33554432000 134512640 146736320 4293134000 4293129000 136015607 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/2310/statm: 28801 13359 789 2985 0 25735 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 124352

[startup+25.5003 s]
/proc/loadavg: 11.58 11.05 8.85 10/186 2311
/proc/meminfo: memFree=31276520/32873844 swapFree=7120/7120
[pid=2309] ppid=2307 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2309/stat : 2309 (run) S 2307 2309 1177 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391022351 9367552 270 33554432000 4194304 5064252 140737348001440 140737348000352 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2309/statm: 2287 270 229 213 0 72 0
[pid=2310] ppid=2309 vsize=115204 CPUtime=25.48 cores=0,2,4,6
/proc/2310/stat : 2310 (pb_cplex) R 2309 2309 1177 0 -1 4202496 23383 0 0 0 2545 3 0 0 20 0 1 0 391022351 117968896 13359 33554432000 134512640 146736320 4293134000 4293129000 136015579 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/2310/statm: 28801 13359 789 2985 0 25735 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 124352

[startup+51.1003 s]
/proc/loadavg: 10.07 10.75 8.81 3/186 2311
/proc/meminfo: memFree=31276448/32873844 swapFree=7120/7120
[pid=2309] ppid=2307 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2309/stat : 2309 (run) S 2307 2309 1177 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391022351 9367552 270 33554432000 4194304 5064252 140737348001440 140737348000352 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2309/statm: 2287 270 229 213 0 72 0
[pid=2310] ppid=2309 vsize=122492 CPUtime=51.08 cores=0,2,4,6
/proc/2310/stat : 2310 (pb_cplex) R 2309 2309 1177 0 -1 4202496 23944 0 0 0 5104 4 0 0 20 0 1 0 391022351 125431808 14942 33554432000 134512640 146736320 4293134000 4293128568 138768264 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/2310/statm: 30623 14942 797 2985 0 27557 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 131640

[startup+102.307 s]
/proc/loadavg: 7.40 9.84 8.60 10/186 2311
/proc/meminfo: memFree=31236532/32873844 swapFree=7120/7120
[pid=2309] ppid=2307 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2309/stat : 2309 (run) S 2307 2309 1177 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391022351 9367552 270 33554432000 4194304 5064252 140737348001440 140737348000352 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2309/statm: 2287 270 229 213 0 72 0
[pid=2310] ppid=2309 vsize=160612 CPUtime=102.27 cores=0,2,4,6
/proc/2310/stat : 2310 (pb_cplex) R 2309 2309 1177 0 -1 4202496 34251 0 0 0 10221 6 0 0 20 0 1 0 391022351 164466688 23183 33554432000 134512640 146736320 4293134000 4293128176 136400474 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/2310/statm: 40153 23183 866 2985 0 37087 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 169760

[startup+162.3 s]
/proc/loadavg: 8.03 9.55 8.57 4/186 2311
/proc/meminfo: memFree=31237028/32873844 swapFree=7120/7120
[pid=2309] ppid=2307 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2309/stat : 2309 (run) S 2307 2309 1177 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391022351 9367552 270 33554432000 4194304 5064252 140737348001440 140737348000352 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2309/statm: 2287 270 229 213 0 72 0
[pid=2310] ppid=2309 vsize=160668 CPUtime=162.26 cores=0,2,4,6
/proc/2310/stat : 2310 (pb_cplex) R 2309 2309 1177 0 -1 4202496 57129 0 0 0 16216 10 0 0 20 0 1 0 391022351 164524032 23200 33554432000 134512640 146736320 4293134000 4293128204 136017485 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/2310/statm: 40167 23200 866 2985 0 37101 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 169816

[startup+222.3 s]
/proc/loadavg: 8.37 9.34 8.55 10/186 2311
/proc/meminfo: memFree=31227888/32873844 swapFree=7120/7120
[pid=2309] ppid=2307 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2309/stat : 2309 (run) S 2307 2309 1177 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391022351 9367552 270 33554432000 4194304 5064252 140737348001440 140737348000352 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2309/statm: 2287 270 229 213 0 72 0
[pid=2310] ppid=2309 vsize=160668 CPUtime=222.25 cores=0,2,4,6
/proc/2310/stat : 2310 (pb_cplex) R 2309 2309 1177 0 -1 4202496 83317 0 0 0 22210 15 0 0 20 0 1 0 391022351 164524032 25342 33554432000 134512640 146736320 4293134000 4293128428 136400452 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/2310/statm: 40167 25342 866 2985 0 37101 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 169816

[startup+282.3 s]
/proc/loadavg: 8.54 9.20 8.55 10/186 2314
/proc/meminfo: memFree=31206308/32873844 swapFree=7120/7120
[pid=2309] ppid=2307 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2309/stat : 2309 (run) S 2307 2309 1177 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391022351 9367552 270 33554432000 4194304 5064252 140737348001440 140737348000352 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2309/statm: 2287 270 229 213 0 72 0
[pid=2310] ppid=2309 vsize=186260 CPUtime=282.24 cores=0,2,4,6
/proc/2310/stat : 2310 (pb_cplex) R 2309 2309 1177 0 -1 4202496 114838 0 0 0 28204 20 0 0 20 0 1 0 391022351 190730240 31401 33554432000 134512640 146736320 4293134000 4293129808 137698804 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/2310/statm: 46565 31401 875 2985 0 43499 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 195408

[startup+342.3 s]
/proc/loadavg: 5.13 8.18 8.25 3/179 2413
/proc/meminfo: memFree=31016432/32873844 swapFree=7120/7120
[pid=2309] ppid=2307 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2309/stat : 2309 (run) S 2307 2309 1177 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391022351 9367552 270 33554432000 4194304 5064252 140737348001440 140737348000352 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2309/statm: 2287 270 229 213 0 72 0
[pid=2310] ppid=2309 vsize=161416 CPUtime=342.23 cores=0,2,4,6
/proc/2310/stat : 2310 (pb_cplex) R 2309 2309 1177 0 -1 4202496 156498 0 0 0 34192 31 0 0 20 0 1 0 391022351 165289984 25465 33554432000 134512640 146736320 4293134000 4293128592 136403109 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/2310/statm: 40354 25465 909 2985 0 37288 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 170564

[startup+402.3 s]
/proc/loadavg: 3.20 7.07 7.86 3/179 2462
/proc/meminfo: memFree=31008692/32873844 swapFree=7120/7120
[pid=2309] ppid=2307 vsize=9148 CPUtime=0 cores=0,2,4,6

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


[startup+1422.31 s]
/proc/loadavg: 2.00 2.16 3.94 3/179 2580
/proc/meminfo: memFree=31043628/32873844 swapFree=7120/7120
[pid=2309] ppid=2307 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2309/stat : 2309 (run) S 2307 2309 1177 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391022351 9367552 270 33554432000 4194304 5064252 140737348001440 140737348000352 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2309/statm: 2287 270 229 213 0 72 0
[pid=2310] ppid=2309 vsize=163908 CPUtime=1422.07 cores=0,2,4,6
/proc/2310/stat : 2310 (pb_cplex) R 2309 2309 1177 0 -1 4202496 523688 0 0 0 142096 111 0 0 20 0 1 0 391022351 167841792 26198 33554432000 134512640 146736320 4293134000 4293128204 136017495 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/2310/statm: 40977 26198 923 2985 0 37911 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 173056

[startup+1482.3 s]
/proc/loadavg: 2.00 2.13 3.81 3/180 2583
/proc/meminfo: memFree=31043244/32873844 swapFree=7120/7120
[pid=2309] ppid=2307 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2309/stat : 2309 (run) S 2307 2309 1177 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391022351 9367552 270 33554432000 4194304 5064252 140737348001440 140737348000352 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2309/statm: 2287 270 229 213 0 72 0
[pid=2310] ppid=2309 vsize=163996 CPUtime=1482.05 cores=0,2,4,6
/proc/2310/stat : 2310 (pb_cplex) R 2309 2309 1177 0 -1 4202496 550273 0 0 0 148089 116 0 0 20 0 1 0 391022351 167931904 26218 33554432000 134512640 146736320 4293134000 4293128040 139044554 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/2310/statm: 40999 26218 923 2985 0 37933 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 173144

[startup+1542.3 s]
/proc/loadavg: 2.00 2.10 3.70 3/180 2607
/proc/meminfo: memFree=31052844/32873844 swapFree=7120/7120
[pid=2309] ppid=2307 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2309/stat : 2309 (run) S 2307 2309 1177 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391022351 9367552 270 33554432000 4194304 5064252 140737348001440 140737348000352 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2309/statm: 2287 270 229 213 0 72 0
[pid=2310] ppid=2309 vsize=164028 CPUtime=1542.04 cores=0,2,4,6
/proc/2310/stat : 2310 (pb_cplex) R 2309 2309 1177 0 -1 4202496 577890 0 0 0 154082 122 0 0 20 0 1 0 391022351 167964672 26225 33554432000 134512640 146736320 4293134000 4293128204 136017505 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/2310/statm: 41007 26225 923 2985 0 37941 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 173176

[startup+1602.3 s]
/proc/loadavg: 2.00 2.08 3.59 3/179 2607
/proc/meminfo: memFree=31050432/32873844 swapFree=7120/7120
[pid=2309] ppid=2307 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2309/stat : 2309 (run) S 2307 2309 1177 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391022351 9367552 270 33554432000 4194304 5064252 140737348001440 140737348000352 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2309/statm: 2287 270 229 213 0 72 0
[pid=2310] ppid=2309 vsize=164040 CPUtime=1602.03 cores=0,2,4,6
/proc/2310/stat : 2310 (pb_cplex) R 2309 2309 1177 0 -1 4202496 605940 0 0 0 160076 127 0 0 20 0 1 0 391022351 167976960 26228 33554432000 134512640 146736320 4293134000 4293128428 136400487 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/2310/statm: 41010 26228 923 2985 0 37944 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 173188

[startup+1662.3 s]
/proc/loadavg: 2.03 2.08 3.49 3/179 2607
/proc/meminfo: memFree=31048748/32873844 swapFree=7120/7120
[pid=2309] ppid=2307 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2309/stat : 2309 (run) S 2307 2309 1177 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391022351 9367552 270 33554432000 4194304 5064252 140737348001440 140737348000352 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2309/statm: 2287 270 229 213 0 72 0
[pid=2310] ppid=2309 vsize=164264 CPUtime=1662.03 cores=0,2,4,6
/proc/2310/stat : 2310 (pb_cplex) R 2309 2309 1177 0 -1 4202496 635823 0 0 0 166069 134 0 0 20 0 1 0 391022351 168206336 26120 33554432000 134512640 146736320 4293134000 4293126984 139043570 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/2310/statm: 41066 26120 923 2985 0 38000 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 173412

[startup+1722.3 s]
/proc/loadavg: 2.01 2.06 3.39 3/179 2607
/proc/meminfo: memFree=31048916/32873844 swapFree=7120/7120
[pid=2309] ppid=2307 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2309/stat : 2309 (run) S 2307 2309 1177 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391022351 9367552 270 33554432000 4194304 5064252 140737348001440 140737348000352 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2309/statm: 2287 270 229 213 0 72 0
[pid=2310] ppid=2309 vsize=163948 CPUtime=1722.02 cores=0,2,4,6
/proc/2310/stat : 2310 (pb_cplex) R 2309 2309 1177 0 -1 4202496 651598 0 0 0 172064 138 0 0 20 0 1 0 391022351 167882752 25978 33554432000 134512640 146736320 4293134000 4293128072 139043570 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/2310/statm: 40987 25978 923 2985 0 37921 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 173096

[startup+1782.3 s]
/proc/loadavg: 2.00 2.05 3.30 3/179 2607
/proc/meminfo: memFree=31057716/32873844 swapFree=7120/7120
[pid=2309] ppid=2307 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2309/stat : 2309 (run) S 2307 2309 1177 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391022351 9367552 270 33554432000 4194304 5064252 140737348001440 140737348000352 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2309/statm: 2287 270 229 213 0 72 0
[pid=2310] ppid=2309 vsize=163964 CPUtime=1782 cores=0,2,4,6
/proc/2310/stat : 2310 (pb_cplex) R 2309 2309 1177 0 -1 4202496 675646 0 0 0 178057 143 0 0 20 0 1 0 391022351 167899136 25983 33554432000 134512640 146736320 4293134000 4293127164 135526874 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/2310/statm: 40991 25983 923 2985 0 37925 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 173112

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.05 3.29 3/179 2607
/proc/meminfo: memFree=31057468/32873844 swapFree=7120/7120
[pid=2309] ppid=2307 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2309/stat : 2309 (run) S 2307 2309 1177 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391022351 9367552 270 33554432000 4194304 5064252 140737348001440 140737348000352 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2309/statm: 2287 270 229 213 0 72 0
[pid=2310] ppid=2309 vsize=163964 CPUtime=1791.61 cores=0,2,4,6
/proc/2310/stat : 2310 (pb_cplex) R 2309 2309 1177 0 -1 4202496 679495 0 0 0 179017 144 0 0 20 0 1 0 391022351 167899136 25983 33554432000 134512640 146736320 4293134000 4293127892 136017485 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/2310/statm: 40991 25983 923 2985 0 37925 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 173112

[startup+1795.1 s]
/proc/loadavg: 2.00 2.04 3.28 3/179 2607
/proc/meminfo: memFree=31057344/32873844 swapFree=7120/7120
[pid=2309] ppid=2307 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2309/stat : 2309 (run) S 2307 2309 1177 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391022351 9367552 270 33554432000 4194304 5064252 140737348001440 140737348000352 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2309/statm: 2287 270 229 213 0 72 0
[pid=2310] ppid=2309 vsize=163964 CPUtime=1794.8 cores=0,2,4,6
/proc/2310/stat : 2310 (pb_cplex) R 2309 2309 1177 0 -1 4202496 680951 0 0 0 179336 144 0 0 20 0 1 0 391022351 167899136 25983 33554432000 134512640 146736320 4293134000 4293128040 139044505 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/2310/statm: 40991 25983 923 2985 0 37925 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 173112

[startup+1796.7 s]
/proc/loadavg: 2.00 2.04 3.28 3/179 2607
/proc/meminfo: memFree=31057468/32873844 swapFree=7120/7120
[pid=2309] ppid=2307 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2309/stat : 2309 (run) S 2307 2309 1177 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391022351 9367552 270 33554432000 4194304 5064252 140737348001440 140737348000352 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2309/statm: 2287 270 229 213 0 72 0
[pid=2310] ppid=2309 vsize=163972 CPUtime=1796.41 cores=0,2,4,6
/proc/2310/stat : 2310 (pb_cplex) R 2309 2309 1177 0 -1 4202496 681931 0 0 0 179496 145 0 0 20 0 1 0 391022351 167907328 25985 33554432000 134512640 146736320 4293134000 4293128204 136017474 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/2310/statm: 40993 25985 923 2985 0 37927 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 173120

[startup+1798.3 s]
/proc/loadavg: 2.00 2.04 3.28 3/179 2607
/proc/meminfo: memFree=31057468/32873844 swapFree=7120/7120
[pid=2309] ppid=2307 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2309/stat : 2309 (run) S 2307 2309 1177 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391022351 9367552 270 33554432000 4194304 5064252 140737348001440 140737348000352 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2309/statm: 2287 270 229 213 0 72 0
[pid=2310] ppid=2309 vsize=163972 CPUtime=1798 cores=0,2,4,6
/proc/2310/stat : 2310 (pb_cplex) R 2309 2309 1177 0 -1 4202496 682427 0 0 0 179655 145 0 0 20 0 1 0 391022351 167907328 25985 33554432000 134512640 146736320 4293134000 4293128040 139044555 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/2310/statm: 40993 25985 923 2985 0 37927 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 173120

[startup+1798.7 s]
/proc/loadavg: 2.00 2.04 3.28 3/179 2607
/proc/meminfo: memFree=31057468/32873844 swapFree=7120/7120
[pid=2309] ppid=2307 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2309/stat : 2309 (run) S 2307 2309 1177 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391022351 9367552 270 33554432000 4194304 5064252 140737348001440 140737348000352 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2309/statm: 2287 270 229 213 0 72 0
[pid=2310] ppid=2309 vsize=163972 CPUtime=1798.4 cores=0,2,4,6
/proc/2310/stat : 2310 (pb_cplex) R 2309 2309 1177 0 -1 4202496 682427 0 0 0 179695 145 0 0 20 0 1 0 391022351 167907328 25985 33554432000 134512640 146736320 4293134000 4293127892 136017489 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/2310/statm: 40993 25985 923 2985 0 37927 0
Current children cumulated CPU time (s) 1798.4
Current children cumulated vsize (KiB) 173120

[startup+1799.1 s]
/proc/loadavg: 2.00 2.04 3.28 3/179 2607
/proc/meminfo: memFree=31057468/32873844 swapFree=7120/7120
[pid=2309] ppid=2307 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2309/stat : 2309 (run) S 2307 2309 1177 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391022351 9367552 270 33554432000 4194304 5064252 140737348001440 140737348000352 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2309/statm: 2287 270 229 213 0 72 0
[pid=2310] ppid=2309 vsize=163972 CPUtime=1798.8 cores=0,2,4,6
/proc/2310/stat : 2310 (pb_cplex) R 2309 2309 1177 0 -1 4202496 683418 0 0 0 179735 145 0 0 20 0 1 0 391022351 167907328 25985 33554432000 134512640 146736320 4293134000 4293128188 135526870 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/2310/statm: 40993 25985 923 2985 0 37927 0
Current children cumulated CPU time (s) 1798.8
Current children cumulated vsize (KiB) 173120

[startup+1799.2 s]
/proc/loadavg: 2.00 2.04 3.28 3/179 2607
/proc/meminfo: memFree=31057468/32873844 swapFree=7120/7120
[pid=2309] ppid=2307 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2309/stat : 2309 (run) S 2307 2309 1177 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391022351 9367552 270 33554432000 4194304 5064252 140737348001440 140737348000352 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2309/statm: 2287 270 229 213 0 72 0
[pid=2310] ppid=2309 vsize=163972 CPUtime=1798.9 cores=0,2,4,6
/proc/2310/stat : 2310 (pb_cplex) R 2309 2309 1177 0 -1 4202496 683418 0 0 0 179745 145 0 0 20 0 1 0 391022351 167907328 25985 33554432000 134512640 146736320 4293134000 4293128204 136017748 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/2310/statm: 40993 25985 923 2985 0 37927 0
Current children cumulated CPU time (s) 1798.9
Current children cumulated vsize (KiB) 173120

Child status: 0
Real time (s): 1799.25
CPU time (s): 1798.96
CPU user time (s): 1797.5
CPU system time (s): 1.46078
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 225804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.5
system time used= 1.46078
maximum resident set size= 153476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 683808
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= 36
involuntary context switches= 2154

runsolver used 3.10453 second user time and 7.52486 second system time

The end