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-3738288-1339248990/watcher-3738288-1339248990 -o /tmp/evaluation-result-3738288-1339248990/solver-3738288-1339248990 -C 1800 -W 1900 -M 15500 run HOME/instance-3738288-1339248990.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: 7.43 6.50 4.30 4/177 16495
/proc/meminfo: memFree=31188536/32873648 swapFree=7376/7376
[pid=16495] ppid=16493 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16495/stat : 16495 (run) S 16493 16495 15844 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391025907 9367552 270 33554432000 4194304 5064252 140736015061232 140736015060144 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16495/statm: 2287 270 229 213 0 72 0

[startup+0.0732239 s]
/proc/loadavg: 7.43 6.50 4.30 4/177 16495
/proc/meminfo: memFree=31188536/32873648 swapFree=7376/7376
[pid=16495] ppid=16493 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16495/stat : 16495 (run) S 16493 16495 15844 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391025907 9367552 270 33554432000 4194304 5064252 140736015061232 140736015060144 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16495/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100279 s]
/proc/loadavg: 7.43 6.50 4.30 4/177 16495
/proc/meminfo: memFree=31188536/32873648 swapFree=7376/7376
[pid=16495] ppid=16493 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16495/stat : 16495 (run) S 16493 16495 15844 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391025907 9367552 270 33554432000 4194304 5064252 140736015061232 140736015060144 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16495/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300286 s]
/proc/loadavg: 7.43 6.50 4.30 4/177 16495
/proc/meminfo: memFree=31188536/32873648 swapFree=7376/7376
[pid=16495] ppid=16493 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16495/stat : 16495 (run) S 16493 16495 15844 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391025907 9367552 270 33554432000 4194304 5064252 140736015061232 140736015060144 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16495/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700216 s]
/proc/loadavg: 7.43 6.50 4.30 4/177 16495
/proc/meminfo: memFree=31188536/32873648 swapFree=7376/7376
[pid=16495] ppid=16493 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16495/stat : 16495 (run) S 16493 16495 15844 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391025907 9367552 270 33554432000 4194304 5064252 140736015061232 140736015060144 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16495/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50026 s]
/proc/loadavg: 7.43 6.50 4.30 3/179 16497
/proc/meminfo: memFree=31162008/32873648 swapFree=7376/7376
[pid=16495] ppid=16493 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16495/stat : 16495 (run) S 16493 16495 15844 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391025907 9367552 270 33554432000 4194304 5064252 140736015061232 140736015060144 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16495/statm: 2287 270 229 213 0 72 0
[pid=16496] ppid=16495 vsize=60508 CPUtime=1.49 cores=1,3,5,7
/proc/16496/stat : 16496 (pb_cplex) R 16495 16495 15844 0 -1 4202496 9743 0 0 0 148 1 0 0 20 0 1 0 391025907 61960192 7237 33554432000 134512640 146736320 4290112592 4290105488 135460567 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/16496/statm: 15127 7237 789 2985 0 12061 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 69656

[startup+3.10027 s]
/proc/loadavg: 7.43 6.50 4.30 3/179 16497
/proc/meminfo: memFree=31161388/32873648 swapFree=7376/7376
[pid=16495] ppid=16493 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16495/stat : 16495 (run) S 16493 16495 15844 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391025907 9367552 270 33554432000 4194304 5064252 140736015061232 140736015060144 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16495/statm: 2287 270 229 213 0 72 0
[pid=16496] ppid=16495 vsize=60508 CPUtime=3.09 cores=1,3,5,7
/proc/16496/stat : 16496 (pb_cplex) R 16495 16495 15844 0 -1 4202496 9743 0 0 0 308 1 0 0 20 0 1 0 391025907 61960192 7237 33554432000 134512640 146736320 4290112592 4290107560 136015579 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/16496/statm: 15127 7237 789 2985 0 12061 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 69656

[startup+6.30026 s]
/proc/loadavg: 7.07 6.44 4.29 3/179 16497
/proc/meminfo: memFree=31161628/32873648 swapFree=7376/7376
[pid=16495] ppid=16493 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16495/stat : 16495 (run) S 16493 16495 15844 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391025907 9367552 270 33554432000 4194304 5064252 140736015061232 140736015060144 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16495/statm: 2287 270 229 213 0 72 0
[pid=16496] ppid=16495 vsize=60508 CPUtime=6.29 cores=1,3,5,7
/proc/16496/stat : 16496 (pb_cplex) R 16495 16495 15844 0 -1 4202496 9743 0 0 0 628 1 0 0 20 0 1 0 391025907 61960192 7237 33554432000 134512640 146736320 4290112592 4290107404 136389766 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/16496/statm: 15127 7237 789 2985 0 12061 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 69656

[startup+12.7003 s]
/proc/loadavg: 6.67 6.37 4.28 3/178 16497
/proc/meminfo: memFree=31153544/32873648 swapFree=7376/7376
[pid=16495] ppid=16493 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16495/stat : 16495 (run) S 16493 16495 15844 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391025907 9367552 270 33554432000 4194304 5064252 140736015061232 140736015060144 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16495/statm: 2287 270 229 213 0 72 0
[pid=16496] ppid=16495 vsize=63748 CPUtime=12.68 cores=1,3,5,7
/proc/16496/stat : 16496 (pb_cplex) R 16495 16495 15844 0 -1 4202496 10337 0 0 0 1267 1 0 0 20 0 1 0 391025907 65277952 7831 33554432000 134512640 146736320 4290112592 4290107128 138768207 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/16496/statm: 15937 7831 797 2985 0 12871 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 72896

[startup+25.5003 s]
/proc/loadavg: 5.63 6.15 4.24 3/179 16498
/proc/meminfo: memFree=31129884/32873648 swapFree=7376/7376
[pid=16495] ppid=16493 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16495/stat : 16495 (run) S 16493 16495 15844 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391025907 9367552 270 33554432000 4194304 5064252 140736015061232 140736015060144 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16495/statm: 2287 270 229 213 0 72 0
[pid=16496] ppid=16495 vsize=80128 CPUtime=25.48 cores=1,3,5,7
/proc/16496/stat : 16496 (pb_cplex) R 16495 16495 15844 0 -1 4202496 19422 0 0 0 2545 3 0 0 20 0 1 0 391025907 82051072 10697 33554432000 134512640 146736320 4290112592 4290106764 136017485 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/16496/statm: 20032 10697 866 2985 0 16966 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 89276

[startup+51.1003 s]
/proc/loadavg: 4.39 5.82 4.18 3/179 16498
/proc/meminfo: memFree=31125868/32873648 swapFree=7376/7376
[pid=16495] ppid=16493 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16495/stat : 16495 (run) S 16493 16495 15844 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391025907 9367552 270 33554432000 4194304 5064252 140736015061232 140736015060144 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16495/statm: 2287 270 229 213 0 72 0
[pid=16496] ppid=16495 vsize=80128 CPUtime=51.07 cores=1,3,5,7
/proc/16496/stat : 16496 (pb_cplex) R 16495 16495 15844 0 -1 4202496 37061 0 0 0 5101 6 0 0 20 0 1 0 391025907 82051072 11758 33554432000 134512640 146736320 4290112592 4290105728 135468610 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/16496/statm: 20032 11758 866 2985 0 16966 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 89276

[startup+102.307 s]
/proc/loadavg: 3.04 5.23 4.06 3/179 16498
/proc/meminfo: memFree=31113324/32873648 swapFree=7376/7376
[pid=16495] ppid=16493 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16495/stat : 16495 (run) S 16493 16495 15844 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391025907 9367552 270 33554432000 4194304 5064252 140736015061232 140736015060144 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16495/statm: 2287 270 229 213 0 72 0
[pid=16496] ppid=16495 vsize=81704 CPUtime=102.28 cores=1,3,5,7
/proc/16496/stat : 16496 (pb_cplex) R 16495 16495 15844 0 -1 4202496 79140 0 0 0 10212 16 0 0 20 0 1 0 391025907 83664896 13283 33554432000 134512640 146736320 4290112592 4290107004 135999152 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/16496/statm: 20426 13283 909 2985 0 17360 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 90852

[startup+162.3 s]
/proc/loadavg: 2.38 4.64 3.93 3/179 16498
/proc/meminfo: memFree=31111544/32873648 swapFree=7376/7376
[pid=16495] ppid=16493 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16495/stat : 16495 (run) S 16493 16495 15844 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391025907 9367552 270 33554432000 4194304 5064252 140736015061232 140736015060144 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16495/statm: 2287 270 229 213 0 72 0
[pid=16496] ppid=16495 vsize=82676 CPUtime=162.26 cores=1,3,5,7
/proc/16496/stat : 16496 (pb_cplex) R 16495 16495 15844 0 -1 4202496 125597 0 0 0 16203 23 0 0 20 0 1 0 391025907 84660224 13512 33554432000 134512640 146736320 4290112592 4290106736 136400447 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/16496/statm: 20669 13512 924 2985 0 17603 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 91824

[startup+222.3 s]
/proc/loadavg: 2.14 4.16 3.81 3/180 16501
/proc/meminfo: memFree=31112352/32873648 swapFree=7376/7376
[pid=16495] ppid=16493 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16495/stat : 16495 (run) S 16493 16495 15844 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391025907 9367552 270 33554432000 4194304 5064252 140736015061232 140736015060144 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16495/statm: 2287 270 229 213 0 72 0
[pid=16496] ppid=16495 vsize=83208 CPUtime=222.25 cores=1,3,5,7
/proc/16496/stat : 16496 (pb_cplex) R 16495 16495 15844 0 -1 4202496 164574 0 0 0 22194 31 0 0 20 0 1 0 391025907 85204992 13667 33554432000 134512640 146736320 4290112592 4290106764 136017748 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/16496/statm: 20802 13667 924 2985 0 17736 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 92356

[startup+282.3 s]
/proc/loadavg: 2.05 3.76 3.69 3/179 16501
/proc/meminfo: memFree=31099276/32873648 swapFree=7376/7376
[pid=16495] ppid=16493 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16495/stat : 16495 (run) S 16493 16495 15844 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391025907 9367552 270 33554432000 4194304 5064252 140736015061232 140736015060144 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16495/statm: 2287 270 229 213 0 72 0
[pid=16496] ppid=16495 vsize=100744 CPUtime=282.24 cores=1,3,5,7
/proc/16496/stat : 16496 (pb_cplex) R 16495 16495 15844 0 -1 4202496 169469 0 0 0 28192 32 0 0 20 0 1 0 391025907 103161856 17041 33554432000 134512640 146736320 4290112592 4290108368 137698804 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/16496/statm: 25186 17041 924 2985 0 22120 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 109892

[startup+342.3 s]
/proc/loadavg: 2.02 3.44 3.58 3/179 16502
/proc/meminfo: memFree=31112044/32873648 swapFree=7376/7376
[pid=16495] ppid=16493 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16495/stat : 16495 (run) S 16493 16495 15844 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391025907 9367552 270 33554432000 4194304 5064252 140736015061232 140736015060144 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16495/statm: 2287 270 229 213 0 72 0
[pid=16496] ppid=16495 vsize=82652 CPUtime=342.23 cores=1,3,5,7
/proc/16496/stat : 16496 (pb_cplex) R 16495 16495 15844 0 -1 4202496 210678 0 0 0 34183 40 0 0 20 0 1 0 391025907 84635648 13526 33554432000 134512640 146736320 4290112592 4290107152 136403112 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/16496/statm: 20663 13526 924 2985 0 17597 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 91800

[startup+402.3 s]
/proc/loadavg: 2.05 3.19 3.49 3/179 16502
/proc/meminfo: memFree=31105424/32873648 swapFree=7376/7376
[pid=16495] ppid=16493 vsize=9148 CPUtime=0 cores=1,3,5,7

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


[startup+1362.3 s]
/proc/loadavg: 2.00 2.04 2.50 3/179 16508
/proc/meminfo: memFree=31112532/32873648 swapFree=7376/7376
[pid=16495] ppid=16493 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16495/stat : 16495 (run) S 16493 16495 15844 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391025907 9367552 270 33554432000 4194304 5064252 140736015061232 140736015060144 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16495/statm: 2287 270 229 213 0 72 0
[pid=16496] ppid=16495 vsize=82728 CPUtime=1362.07 cores=1,3,5,7
/proc/16496/stat : 16496 (pb_cplex) R 16495 16495 15844 0 -1 4202496 592475 0 0 0 136092 115 0 0 20 0 1 0 391025907 84713472 13557 33554432000 134512640 146736320 4290112592 4290106820 139028313 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/16496/statm: 20682 13557 924 2985 0 17616 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 91876

[startup+1422.31 s]
/proc/loadavg: 2.00 2.03 2.47 3/187 16518
/proc/meminfo: memFree=31058772/32873648 swapFree=7376/7376
[pid=16495] ppid=16493 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16495/stat : 16495 (run) S 16493 16495 15844 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391025907 9367552 270 33554432000 4194304 5064252 140736015061232 140736015060144 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16495/statm: 2287 270 229 213 0 72 0
[pid=16496] ppid=16495 vsize=82976 CPUtime=1422.06 cores=1,3,5,7
/proc/16496/stat : 16496 (pb_cplex) R 16495 16495 15844 0 -1 4202496 592532 0 0 0 142091 115 0 0 20 0 1 0 391025907 84967424 13614 33554432000 134512640 146736320 4290112592 4290106764 136017485 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/16496/statm: 20744 13614 924 2985 0 17678 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 92124

[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.44 3/187 16541
/proc/meminfo: memFree=31051632/32873648 swapFree=7376/7376
[pid=16495] ppid=16493 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16495/stat : 16495 (run) S 16493 16495 15844 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391025907 9367552 270 33554432000 4194304 5064252 140736015061232 140736015060144 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16495/statm: 2287 270 229 213 0 72 0
[pid=16496] ppid=16495 vsize=83168 CPUtime=1482.04 cores=1,3,5,7
/proc/16496/stat : 16496 (pb_cplex) R 16495 16495 15844 0 -1 4202496 601107 0 0 0 148088 116 0 0 20 0 1 0 391025907 85164032 13603 33554432000 134512640 146736320 4290112592 4290106600 139044566 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/16496/statm: 20792 13603 924 2985 0 17726 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 92316

[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.41 3/186 16542
/proc/meminfo: memFree=31038644/32873648 swapFree=7376/7376
[pid=16495] ppid=16493 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16495/stat : 16495 (run) S 16493 16495 15844 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391025907 9367552 270 33554432000 4194304 5064252 140736015061232 140736015060144 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16495/statm: 2287 270 229 213 0 72 0
[pid=16496] ppid=16495 vsize=83104 CPUtime=1542.04 cores=1,3,5,7
/proc/16496/stat : 16496 (pb_cplex) R 16495 16495 15844 0 -1 4202496 609438 0 0 0 154086 118 0 0 20 0 1 0 391025907 85098496 13489 33554432000 134512640 146736320 4290112592 4290107200 139046496 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/16496/statm: 20776 13489 924 2985 0 17710 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 92252

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.38 3/186 16542
/proc/meminfo: memFree=31038244/32873648 swapFree=7376/7376
[pid=16495] ppid=16493 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16495/stat : 16495 (run) S 16493 16495 15844 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391025907 9367552 270 33554432000 4194304 5064252 140736015061232 140736015060144 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16495/statm: 2287 270 229 213 0 72 0
[pid=16496] ppid=16495 vsize=86452 CPUtime=1602.03 cores=1,3,5,7
/proc/16496/stat : 16496 (pb_cplex) R 16495 16495 15844 0 -1 4202496 613151 0 0 0 160084 119 0 0 20 0 1 0 391025907 88526848 14049 33554432000 134512640 146736320 4290112592 4290108652 137697228 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/16496/statm: 21613 14051 924 2985 0 18547 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 95600

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.35 3/186 16542
/proc/meminfo: memFree=31039360/32873648 swapFree=7376/7376
[pid=16495] ppid=16493 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16495/stat : 16495 (run) S 16493 16495 15844 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391025907 9367552 270 33554432000 4194304 5064252 140736015061232 140736015060144 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16495/statm: 2287 270 229 213 0 72 0
[pid=16496] ppid=16495 vsize=83140 CPUtime=1662.02 cores=1,3,5,7
/proc/16496/stat : 16496 (pb_cplex) R 16495 16495 15844 0 -1 4202496 618370 0 0 0 166082 120 0 0 20 0 1 0 391025907 85135360 13493 33554432000 134512640 146736320 4290112592 4290106600 139044552 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/16496/statm: 20785 13493 924 2985 0 17719 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 92288

[startup+1722.3 s]
/proc/loadavg: 2.05 2.02 2.33 3/186 16542
/proc/meminfo: memFree=31039364/32873648 swapFree=7376/7376
[pid=16495] ppid=16493 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16495/stat : 16495 (run) S 16493 16495 15844 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391025907 9367552 270 33554432000 4194304 5064252 140736015061232 140736015060144 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16495/statm: 2287 270 229 213 0 72 0
[pid=16496] ppid=16495 vsize=83132 CPUtime=1722.01 cores=1,3,5,7
/proc/16496/stat : 16496 (pb_cplex) R 16495 16495 15844 0 -1 4202496 626760 0 0 0 172079 122 0 0 20 0 1 0 391025907 85127168 13498 33554432000 134512640 146736320 4290112592 4290107152 136403117 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/16496/statm: 20783 13498 924 2985 0 17717 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 92280

[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.31 3/186 16542
/proc/meminfo: memFree=31039048/32873648 swapFree=7376/7376
[pid=16495] ppid=16493 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16495/stat : 16495 (run) S 16493 16495 15844 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391025907 9367552 270 33554432000 4194304 5064252 140736015061232 140736015060144 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16495/statm: 2287 270 229 213 0 72 0
[pid=16496] ppid=16495 vsize=82852 CPUtime=1781.99 cores=1,3,5,7
/proc/16496/stat : 16496 (pb_cplex) R 16495 16495 15844 0 -1 4202496 635225 0 0 0 178076 123 0 0 20 0 1 0 391025907 84840448 13411 33554432000 134512640 146736320 4290112592 4290107200 139046532 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/16496/statm: 20713 13411 924 2985 0 17647 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 92000

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

[startup+1791.91 s]
/proc/loadavg: 2.01 2.01 2.31 3/186 16542
/proc/meminfo: memFree=31038800/32873648 swapFree=7376/7376
[pid=16495] ppid=16493 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16495/stat : 16495 (run) S 16493 16495 15844 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391025907 9367552 270 33554432000 4194304 5064252 140736015061232 140736015060144 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16495/statm: 2287 270 229 213 0 72 0
[pid=16496] ppid=16495 vsize=83024 CPUtime=1791.6 cores=1,3,5,7
/proc/16496/stat : 16496 (pb_cplex) R 16495 16495 15844 0 -1 4202496 635282 0 0 0 179037 123 0 0 20 0 1 0 391025907 85016576 13468 33554432000 134512640 146736320 4290112592 4290107152 136403117 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/16496/statm: 20756 13468 924 2985 0 17690 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 92172

[startup+1795.1 s]
/proc/loadavg: 2.01 2.01 2.30 3/186 16542
/proc/meminfo: memFree=31038800/32873648 swapFree=7376/7376
[pid=16495] ppid=16493 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16495/stat : 16495 (run) S 16493 16495 15844 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391025907 9367552 270 33554432000 4194304 5064252 140736015061232 140736015060144 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16495/statm: 2287 270 229 213 0 72 0
[pid=16496] ppid=16495 vsize=83048 CPUtime=1794.8 cores=1,3,5,7
/proc/16496/stat : 16496 (pb_cplex) R 16495 16495 15844 0 -1 4202496 635288 0 0 0 179357 123 0 0 20 0 1 0 391025907 85041152 13474 33554432000 134512640 146736320 4290112592 4290106764 136017763 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/16496/statm: 20762 13474 924 2985 0 17696 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 92196

[startup+1796.7 s]
/proc/loadavg: 2.01 2.01 2.30 3/186 16542
/proc/meminfo: memFree=31038800/32873648 swapFree=7376/7376
[pid=16495] ppid=16493 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16495/stat : 16495 (run) S 16493 16495 15844 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391025907 9367552 270 33554432000 4194304 5064252 140736015061232 140736015060144 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16495/statm: 2287 270 229 213 0 72 0
[pid=16496] ppid=16495 vsize=83048 CPUtime=1796.39 cores=1,3,5,7
/proc/16496/stat : 16496 (pb_cplex) R 16495 16495 15844 0 -1 4202496 635288 0 0 0 179516 123 0 0 20 0 1 0 391025907 85041152 13474 33554432000 134512640 146736320 4290112592 4290107200 139046530 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/16496/statm: 20762 13474 924 2985 0 17696 0
Current children cumulated CPU time (s) 1796.39
Current children cumulated vsize (KiB) 92196

[startup+1798.3 s]
/proc/loadavg: 2.01 2.01 2.30 3/186 16542
/proc/meminfo: memFree=31038800/32873648 swapFree=7376/7376
[pid=16495] ppid=16493 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16495/stat : 16495 (run) S 16493 16495 15844 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391025907 9367552 270 33554432000 4194304 5064252 140736015061232 140736015060144 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16495/statm: 2287 270 229 213 0 72 0
[pid=16496] ppid=16495 vsize=83088 CPUtime=1797.99 cores=1,3,5,7
/proc/16496/stat : 16496 (pb_cplex) R 16495 16495 15844 0 -1 4202496 635298 0 0 0 179676 123 0 0 20 0 1 0 391025907 85082112 13484 33554432000 134512640 146736320 4290112592 4290106452 136017846 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/16496/statm: 20772 13484 924 2985 0 17706 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 92236

[startup+1798.7 s]
/proc/loadavg: 2.01 2.01 2.30 2/176 16542
/proc/meminfo: memFree=31160936/32873648 swapFree=7376/7376
[pid=16495] ppid=16493 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16495/stat : 16495 (run) S 16493 16495 15844 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391025907 9367552 270 33554432000 4194304 5064252 140736015061232 140736015060144 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16495/statm: 2287 270 229 213 0 72 0
[pid=16496] ppid=16495 vsize=83088 CPUtime=1798.39 cores=1,3,5,7
/proc/16496/stat : 16496 (pb_cplex) R 16495 16495 15844 0 -1 4202496 635300 0 0 0 179716 123 0 0 20 0 1 0 391025907 85082112 13486 33554432000 134512640 146736320 4290112592 4290106600 139044591 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/16496/statm: 20772 13486 924 2985 0 17706 0
Current children cumulated CPU time (s) 1798.39
Current children cumulated vsize (KiB) 92236

[startup+1799.1 s]
/proc/loadavg: 2.01 2.01 2.30 2/176 16542
/proc/meminfo: memFree=31160936/32873648 swapFree=7376/7376
[pid=16495] ppid=16493 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16495/stat : 16495 (run) S 16493 16495 15844 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391025907 9367552 270 33554432000 4194304 5064252 140736015061232 140736015060144 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16495/statm: 2287 270 229 213 0 72 0
[pid=16496] ppid=16495 vsize=83088 CPUtime=1798.79 cores=1,3,5,7
/proc/16496/stat : 16496 (pb_cplex) R 16495 16495 15844 0 -1 4202496 635300 0 0 0 179756 123 0 0 20 0 1 0 391025907 85082112 13486 33554432000 134512640 146736320 4290112592 4290106752 135468707 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/16496/statm: 20772 13486 924 2985 0 17706 0
Current children cumulated CPU time (s) 1798.79
Current children cumulated vsize (KiB) 92236

Child status: 0
Real time (s): 1799.15
CPU time (s): 1798.85
CPU user time (s): 1797.61
CPU system time (s): 1.24081
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 111884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.61
system time used= 1.24081
maximum resident set size= 75644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 635689
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= 61
involuntary context switches= 1969

runsolver used 5.55215 second user time and 12.5051 second system time

The end