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-3738233-1339248944/watcher-3738233-1339248944 -o /tmp/evaluation-result-3738233-1339248944/solver-3738233-1339248944 -C 1800 -W 1900 -M 15500 run HOME/instance-3738233-1339248944.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: 4.23 4.39 3.72 3/185 11453
/proc/meminfo: memFree=30403264/32873844 swapFree=9160/9160
[pid=11453] ppid=11451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11453/stat : 11453 (run) S 11451 11453 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391018957 9367552 269 33554432000 4194304 5064252 140736379677968 140736379676880 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11453/statm: 2287 269 229 213 0 72 0

[startup+0.0568321 s]
/proc/loadavg: 4.23 4.39 3.72 3/185 11453
/proc/meminfo: memFree=30403264/32873844 swapFree=9160/9160
[pid=11453] ppid=11451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11453/stat : 11453 (run) S 11451 11453 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391018957 9367552 269 33554432000 4194304 5064252 140736379677968 140736379676880 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11453/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100265 s]
/proc/loadavg: 4.23 4.39 3.72 3/185 11453
/proc/meminfo: memFree=30403264/32873844 swapFree=9160/9160
[pid=11453] ppid=11451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11453/stat : 11453 (run) S 11451 11453 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391018957 9367552 269 33554432000 4194304 5064252 140736379677968 140736379676880 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11453/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300261 s]
/proc/loadavg: 4.23 4.39 3.72 3/185 11453
/proc/meminfo: memFree=30403264/32873844 swapFree=9160/9160
[pid=11453] ppid=11451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11453/stat : 11453 (run) S 11451 11453 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391018957 9367552 269 33554432000 4194304 5064252 140736379677968 140736379676880 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11453/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700222 s]
/proc/loadavg: 4.23 4.39 3.72 3/185 11453
/proc/meminfo: memFree=30403264/32873844 swapFree=9160/9160
[pid=11453] ppid=11451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11453/stat : 11453 (run) S 11451 11453 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391018957 9367552 269 33554432000 4194304 5064252 140736379677968 140736379676880 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11453/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50026 s]
/proc/loadavg: 4.23 4.39 3.72 3/187 11455
/proc/meminfo: memFree=30378184/32873844 swapFree=9160/9160
[pid=11453] ppid=11451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11453/stat : 11453 (run) S 11451 11453 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391018957 9367552 269 33554432000 4194304 5064252 140736379677968 140736379676880 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11453/statm: 2287 269 229 213 0 72 0
[pid=11454] ppid=11453 vsize=59768 CPUtime=1.48 cores=0,2,4,6
/proc/11454/stat : 11454 (pb_cplex) R 11453 11453 10702 0 -1 4202496 9698 0 0 0 148 0 0 0 20 0 1 0 391018957 61202432 7135 33554432000 134512640 146736320 4290374416 4290369352 136463781 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/11454/statm: 14942 7135 789 2985 0 11876 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 68916

[startup+3.10026 s]
/proc/loadavg: 4.23 4.39 3.72 3/187 11455
/proc/meminfo: memFree=30377564/32873844 swapFree=9160/9160
[pid=11453] ppid=11451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11453/stat : 11453 (run) S 11451 11453 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391018957 9367552 269 33554432000 4194304 5064252 140736379677968 140736379676880 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11453/statm: 2287 269 229 213 0 72 0
[pid=11454] ppid=11453 vsize=59768 CPUtime=3.08 cores=0,2,4,6
/proc/11454/stat : 11454 (pb_cplex) R 11453 11453 10702 0 -1 4202496 9699 0 0 0 308 0 0 0 20 0 1 0 391018957 61202432 7136 33554432000 134512640 146736320 4290374416 4290369548 136236999 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/11454/statm: 14942 7136 789 2985 0 11876 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 68916

[startup+6.30026 s]
/proc/loadavg: 4.05 4.35 3.71 3/187 11455
/proc/meminfo: memFree=30376432/32873844 swapFree=9160/9160
[pid=11453] ppid=11451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11453/stat : 11453 (run) S 11451 11453 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391018957 9367552 269 33554432000 4194304 5064252 140736379677968 140736379676880 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11453/statm: 2287 269 229 213 0 72 0
[pid=11454] ppid=11453 vsize=59768 CPUtime=6.28 cores=0,2,4,6
/proc/11454/stat : 11454 (pb_cplex) R 11453 11453 10702 0 -1 4202496 9702 0 0 0 628 0 0 0 20 0 1 0 391018957 61202432 7247 33554432000 134512640 146736320 4290374416 4290369352 136461520 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/11454/statm: 14942 7247 789 2985 0 11876 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 68916

[startup+12.7003 s]
/proc/loadavg: 3.89 4.31 3.70 3/187 11455
/proc/meminfo: memFree=30373960/32873844 swapFree=9160/9160
[pid=11453] ppid=11451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11453/stat : 11453 (run) S 11451 11453 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391018957 9367552 269 33554432000 4194304 5064252 140736379677968 140736379676880 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11453/statm: 2287 269 229 213 0 72 0
[pid=11454] ppid=11453 vsize=63116 CPUtime=12.68 cores=0,2,4,6
/proc/11454/stat : 11454 (pb_cplex) R 11453 11453 10702 0 -1 4202496 10319 0 0 0 1267 1 0 0 20 0 1 0 391018957 64630784 7864 33554432000 134512640 146736320 4290374416 4290368952 138768475 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/11454/statm: 15779 7864 797 2985 0 12713 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 72264

[startup+25.5003 s]
/proc/loadavg: 3.47 4.20 3.67 3/186 11455
/proc/meminfo: memFree=30357160/32873844 swapFree=9160/9160
[pid=11453] ppid=11451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11453/stat : 11453 (run) S 11451 11453 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391018957 9367552 269 33554432000 4194304 5064252 140736379677968 140736379676880 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11453/statm: 2287 269 229 213 0 72 0
[pid=11454] ppid=11453 vsize=79540 CPUtime=25.48 cores=0,2,4,6
/proc/11454/stat : 11454 (pb_cplex) R 11453 11453 10702 0 -1 4202496 14516 0 0 0 2547 1 0 0 20 0 1 0 391018957 81448960 12164 33554432000 134512640 146736320 4290374416 4290368588 136017485 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/11454/statm: 19885 12164 866 2985 0 16819 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 88688

[startup+51.1003 s]
/proc/loadavg: 2.97 4.02 3.63 3/186 11455
/proc/meminfo: memFree=30356664/32873844 swapFree=9160/9160
[pid=11453] ppid=11451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11453/stat : 11453 (run) S 11451 11453 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391018957 9367552 269 33554432000 4194304 5064252 140736379677968 140736379676880 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11453/statm: 2287 269 229 213 0 72 0
[pid=11454] ppid=11453 vsize=79540 CPUtime=51.08 cores=0,2,4,6
/proc/11454/stat : 11454 (pb_cplex) R 11453 11453 10702 0 -1 4202496 31811 0 0 0 5103 5 0 0 20 0 1 0 391018957 81448960 12171 33554432000 134512640 146736320 4290374416 4290368588 136017784 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/11454/statm: 19885 12171 866 2985 0 16819 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 88688

[startup+102.306 s]
/proc/loadavg: 2.47 3.72 3.54 3/186 11456
/proc/meminfo: memFree=30353376/32873844 swapFree=9160/9160
[pid=11453] ppid=11451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11453/stat : 11453 (run) S 11451 11453 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391018957 9367552 269 33554432000 4194304 5064252 140736379677968 140736379676880 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11453/statm: 2287 269 229 213 0 72 0
[pid=11454] ppid=11453 vsize=79428 CPUtime=102.27 cores=0,2,4,6
/proc/11454/stat : 11454 (pb_cplex) R 11453 11453 10702 0 -1 4202496 77324 0 0 0 10213 14 0 0 20 0 1 0 391018957 81334272 12975 33554432000 134512640 146736320 4290374416 4290368644 139028303 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/11454/statm: 19857 12975 912 2985 0 16791 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 88576

[startup+162.3 s]
/proc/loadavg: 3.78 3.77 3.56 10/186 11456
/proc/meminfo: memFree=30118156/32873844 swapFree=9160/9160
[pid=11453] ppid=11451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11453/stat : 11453 (run) S 11451 11453 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391018957 9367552 269 33554432000 4194304 5064252 140736379677968 140736379676880 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11453/statm: 2287 269 229 213 0 72 0
[pid=11454] ppid=11453 vsize=80164 CPUtime=162.26 cores=0,2,4,6
/proc/11454/stat : 11454 (pb_cplex) R 11453 11453 10702 0 -1 4202496 123421 0 0 0 16204 22 0 0 20 0 1 0 391018957 82087936 13004 33554432000 134512640 146736320 4290374416 4290368424 139044591 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/11454/statm: 20041 13004 923 2985 0 16975 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 89312

[startup+222.3 s]
/proc/loadavg: 4.32 4.05 3.68 3/179 11653
/proc/meminfo: memFree=30593704/32873844 swapFree=9160/9160
[pid=11453] ppid=11451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11453/stat : 11453 (run) S 11451 11453 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391018957 9367552 269 33554432000 4194304 5064252 140736379677968 140736379676880 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11453/statm: 2287 269 229 213 0 72 0
[pid=11454] ppid=11453 vsize=80016 CPUtime=222.24 cores=0,2,4,6
/proc/11454/stat : 11454 (pb_cplex) R 11453 11453 10702 0 -1 4202496 167331 0 0 0 22195 29 0 0 20 0 1 0 391018957 81936384 13040 33554432000 134512640 146736320 4290374416 4290368424 139044499 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/11454/statm: 20004 13040 923 2985 0 16938 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 89164

[startup+282.3 s]
/proc/loadavg: 2.88 3.69 3.57 3/180 11656
/proc/meminfo: memFree=30577860/32873844 swapFree=9160/9160
[pid=11453] ppid=11451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11453/stat : 11453 (run) S 11451 11453 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391018957 9367552 269 33554432000 4194304 5064252 140736379677968 140736379676880 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11453/statm: 2287 269 229 213 0 72 0
[pid=11454] ppid=11453 vsize=80108 CPUtime=282.24 cores=0,2,4,6
/proc/11454/stat : 11454 (pb_cplex) R 11453 11453 10702 0 -1 4202496 208909 0 0 0 28187 37 0 0 20 0 1 0 391018957 82030592 13076 33554432000 134512640 146736320 4290374416 4290368588 136017787 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/11454/statm: 20027 13076 923 2985 0 16961 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 89256

[startup+342.3 s]
/proc/loadavg: 2.32 3.38 3.47 3/179 11656
/proc/meminfo: memFree=30568232/32873844 swapFree=9160/9160
[pid=11453] ppid=11451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11453/stat : 11453 (run) S 11451 11453 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391018957 9367552 269 33554432000 4194304 5064252 140736379677968 140736379676880 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11453/statm: 2287 269 229 213 0 72 0
[pid=11454] ppid=11453 vsize=80260 CPUtime=342.23 cores=0,2,4,6
/proc/11454/stat : 11454 (pb_cplex) R 11453 11453 10702 0 -1 4202496 250313 0 0 0 34179 44 0 0 20 0 1 0 391018957 82186240 13114 33554432000 134512640 146736320 4290374416 4290368588 136017485 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/11454/statm: 20065 13114 923 2985 0 16999 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 89408

[startup+402.3 s]
/proc/loadavg: 2.12 3.12 3.38 3/179 11657
/proc/meminfo: memFree=30567364/32873844 swapFree=9160/9160
[pid=11453] ppid=11451 vsize=9148 CPUtime=0 cores=0,2,4,6

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


[startup+1362.3 s]
/proc/loadavg: 2.00 2.04 2.46 3/179 11664
/proc/meminfo: memFree=30561604/32873844 swapFree=9160/9160
[pid=11453] ppid=11451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11453/stat : 11453 (run) S 11451 11453 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391018957 9367552 269 33554432000 4194304 5064252 140736379677968 140736379676880 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11453/statm: 2287 269 229 213 0 72 0
[pid=11454] ppid=11453 vsize=79760 CPUtime=1362.07 cores=0,2,4,6
/proc/11454/stat : 11454 (pb_cplex) R 11453 11453 10702 0 -1 4202496 827230 0 0 0 136058 149 0 0 20 0 1 0 391018957 81674240 12967 33554432000 134512640 146736320 4290374416 4290368424 139044557 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/11454/statm: 19940 12967 923 2985 0 16874 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 88908

[startup+1422.31 s]
/proc/loadavg: 2.00 2.03 2.43 3/179 11664
/proc/meminfo: memFree=30561100/32873844 swapFree=9160/9160
[pid=11453] ppid=11451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11453/stat : 11453 (run) S 11451 11453 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391018957 9367552 269 33554432000 4194304 5064252 140736379677968 140736379676880 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11453/statm: 2287 269 229 213 0 72 0
[pid=11454] ppid=11453 vsize=79972 CPUtime=1422.07 cores=0,2,4,6
/proc/11454/stat : 11454 (pb_cplex) R 11453 11453 10702 0 -1 4202496 872497 0 0 0 142050 157 0 0 20 0 1 0 391018957 81891328 13028 33554432000 134512640 146736320 4290374416 4290368588 136017787 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/11454/statm: 19993 13028 923 2985 0 16927 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 89120

[startup+1482.3 s]
/proc/loadavg: 2.04 2.04 2.41 3/180 11667
/proc/meminfo: memFree=30559292/32873844 swapFree=9160/9160
[pid=11453] ppid=11451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11453/stat : 11453 (run) S 11451 11453 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391018957 9367552 269 33554432000 4194304 5064252 140736379677968 140736379676880 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11453/statm: 2287 269 229 213 0 72 0
[pid=11454] ppid=11453 vsize=80208 CPUtime=1482.04 cores=0,2,4,6
/proc/11454/stat : 11454 (pb_cplex) R 11453 11453 10702 0 -1 4202496 914778 0 0 0 148040 164 0 0 20 0 1 0 391018957 82132992 13121 33554432000 134512640 146736320 4290374416 4290368588 136017485 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/11454/statm: 20052 13121 923 2985 0 16986 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 89356

[startup+1542.3 s]
/proc/loadavg: 2.01 2.03 2.38 3/180 11690
/proc/meminfo: memFree=30558292/32873844 swapFree=9160/9160
[pid=11453] ppid=11451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11453/stat : 11453 (run) S 11451 11453 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391018957 9367552 269 33554432000 4194304 5064252 140736379677968 140736379676880 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11453/statm: 2287 269 229 213 0 72 0
[pid=11454] ppid=11453 vsize=80336 CPUtime=1542.04 cores=0,2,4,6
/proc/11454/stat : 11454 (pb_cplex) R 11453 11453 10702 0 -1 4202496 957026 0 0 0 154031 173 0 0 20 0 1 0 391018957 82264064 13307 33554432000 134512640 146736320 4290374416 4290368976 136403117 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/11454/statm: 20084 13307 923 2985 0 17018 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 89484

[startup+1602.3 s]
/proc/loadavg: 2.07 2.04 2.36 3/179 11691
/proc/meminfo: memFree=30558980/32873844 swapFree=9160/9160
[pid=11453] ppid=11451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11453/stat : 11453 (run) S 11451 11453 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391018957 9367552 269 33554432000 4194304 5064252 140736379677968 140736379676880 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11453/statm: 2287 269 229 213 0 72 0
[pid=11454] ppid=11453 vsize=80664 CPUtime=1602.03 cores=0,2,4,6
/proc/11454/stat : 11454 (pb_cplex) R 11453 11453 10702 0 -1 4202496 972028 0 0 0 160028 175 0 0 20 0 1 0 391018957 82599936 13209 33554432000 134512640 146736320 4290374416 4290368588 136017763 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/11454/statm: 20166 13209 923 2985 0 17100 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 89812

[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 2.34 3/179 11691
/proc/meminfo: memFree=30557056/32873844 swapFree=9160/9160
[pid=11453] ppid=11451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11453/stat : 11453 (run) S 11451 11453 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391018957 9367552 269 33554432000 4194304 5064252 140736379677968 140736379676880 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11453/statm: 2287 269 229 213 0 72 0
[pid=11454] ppid=11453 vsize=79816 CPUtime=1662.02 cores=0,2,4,6
/proc/11454/stat : 11454 (pb_cplex) R 11453 11453 10702 0 -1 4202496 987106 0 0 0 166023 179 0 0 20 0 1 0 391018957 81731584 13510 33554432000 134512640 146736320 4290374416 4290368588 136017474 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/11454/statm: 19954 13510 923 2985 0 16888 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 88964

[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.31 3/179 11691
/proc/meminfo: memFree=30555744/32873844 swapFree=9160/9160
[pid=11453] ppid=11451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11453/stat : 11453 (run) S 11451 11453 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391018957 9367552 269 33554432000 4194304 5064252 140736379677968 140736379676880 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11453/statm: 2287 269 229 213 0 72 0
[pid=11454] ppid=11453 vsize=79872 CPUtime=1722.01 cores=0,2,4,6
/proc/11454/stat : 11454 (pb_cplex) R 11453 11453 10702 0 -1 4202496 1030575 0 0 0 172014 187 0 0 20 0 1 0 391018957 81788928 13753 33554432000 134512640 146736320 4290374416 4290368588 136017777 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/11454/statm: 19968 13753 923 2985 0 16902 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 89020

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.29 3/179 11691
/proc/meminfo: memFree=30555616/32873844 swapFree=9160/9160
[pid=11453] ppid=11451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11453/stat : 11453 (run) S 11451 11453 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391018957 9367552 269 33554432000 4194304 5064252 140736379677968 140736379676880 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11453/statm: 2287 269 229 213 0 72 0
[pid=11454] ppid=11453 vsize=80468 CPUtime=1782 cores=0,2,4,6
/proc/11454/stat : 11454 (pb_cplex) R 11453 11453 10702 0 -1 4202496 1072774 0 0 0 178005 195 0 0 20 0 1 0 391018957 82399232 13672 33554432000 134512640 146736320 4290374416 4290368588 136017773 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/11454/statm: 20117 13672 923 2985 0 17051 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 89616

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.01 2.28 3/179 11691
/proc/meminfo: memFree=30555616/32873844 swapFree=9160/9160
[pid=11453] ppid=11451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11453/stat : 11453 (run) S 11451 11453 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391018957 9367552 269 33554432000 4194304 5064252 140736379677968 140736379676880 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11453/statm: 2287 269 229 213 0 72 0
[pid=11454] ppid=11453 vsize=80476 CPUtime=1791.6 cores=0,2,4,6
/proc/11454/stat : 11454 (pb_cplex) R 11453 11453 10702 0 -1 4202496 1079830 0 0 0 178965 195 0 0 20 0 1 0 391018957 82407424 13674 33554432000 134512640 146736320 4290374416 4290368976 136403109 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/11454/statm: 20119 13674 923 2985 0 17053 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 89624

[startup+1795.1 s]
/proc/loadavg: 2.00 2.01 2.28 3/179 11691
/proc/meminfo: memFree=30555616/32873844 swapFree=9160/9160
[pid=11453] ppid=11451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11453/stat : 11453 (run) S 11451 11453 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391018957 9367552 269 33554432000 4194304 5064252 140736379677968 140736379676880 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11453/statm: 2287 269 229 213 0 72 0
[pid=11454] ppid=11453 vsize=80476 CPUtime=1794.8 cores=0,2,4,6
/proc/11454/stat : 11454 (pb_cplex) R 11453 11453 10702 0 -1 4202496 1082108 0 0 0 179284 196 0 0 20 0 1 0 391018957 82407424 13674 33554432000 134512640 146736320 4290374416 4290368976 136403116 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/11454/statm: 20119 13674 923 2985 0 17053 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 89624

[startup+1796.7 s]
/proc/loadavg: 2.00 2.01 2.28 3/179 11691
/proc/meminfo: memFree=30555616/32873844 swapFree=9160/9160
[pid=11453] ppid=11451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11453/stat : 11453 (run) S 11451 11453 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391018957 9367552 269 33554432000 4194304 5064252 140736379677968 140736379676880 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11453/statm: 2287 269 229 213 0 72 0
[pid=11454] ppid=11453 vsize=80480 CPUtime=1796.4 cores=0,2,4,6
/proc/11454/stat : 11454 (pb_cplex) R 11453 11453 10702 0 -1 4202496 1083247 0 0 0 179443 197 0 0 20 0 1 0 391018957 82411520 13675 33554432000 134512640 146736320 4290374416 4290368588 136017787 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/11454/statm: 20120 13675 923 2985 0 17054 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 89628

[startup+1798.3 s]
/proc/loadavg: 2.00 2.01 2.28 3/179 11691
/proc/meminfo: memFree=30555616/32873844 swapFree=9160/9160
[pid=11453] ppid=11451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11453/stat : 11453 (run) S 11451 11453 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391018957 9367552 269 33554432000 4194304 5064252 140736379677968 140736379676880 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11453/statm: 2287 269 229 213 0 72 0
[pid=11454] ppid=11453 vsize=80480 CPUtime=1798 cores=0,2,4,6
/proc/11454/stat : 11454 (pb_cplex) R 11453 11453 10702 0 -1 4202496 1084379 0 0 0 179603 197 0 0 20 0 1 0 391018957 82411520 13675 33554432000 134512640 146736320 4290374416 4290368424 139044580 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/11454/statm: 20120 13675 923 2985 0 17054 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 89628

[startup+1798.7 s]
/proc/loadavg: 2.00 2.01 2.28 3/179 11691
/proc/meminfo: memFree=30555616/32873844 swapFree=9160/9160
[pid=11453] ppid=11451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11453/stat : 11453 (run) S 11451 11453 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391018957 9367552 269 33554432000 4194304 5064252 140736379677968 140736379676880 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11453/statm: 2287 269 229 213 0 72 0
[pid=11454] ppid=11453 vsize=80480 CPUtime=1798.4 cores=0,2,4,6
/proc/11454/stat : 11454 (pb_cplex) R 11453 11453 10702 0 -1 4202496 1084604 0 0 0 179643 197 0 0 20 0 1 0 391018957 82411520 13675 33554432000 134512640 146736320 4290374416 4290368588 136017766 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/11454/statm: 20120 13675 923 2985 0 17054 0
Current children cumulated CPU time (s) 1798.4
Current children cumulated vsize (KiB) 89628

[startup+1799.1 s]
/proc/loadavg: 2.00 2.01 2.28 3/179 11691
/proc/meminfo: memFree=30555616/32873844 swapFree=9160/9160
[pid=11453] ppid=11451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11453/stat : 11453 (run) S 11451 11453 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391018957 9367552 269 33554432000 4194304 5064252 140736379677968 140736379676880 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11453/statm: 2287 269 229 213 0 72 0
[pid=11454] ppid=11453 vsize=80480 CPUtime=1798.8 cores=0,2,4,6
/proc/11454/stat : 11454 (pb_cplex) R 11453 11453 10702 0 -1 4202496 1085057 0 0 0 179683 197 0 0 20 0 1 0 391018957 82411520 13675 33554432000 134512640 146736320 4290374416 4290368588 136017505 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/11454/statm: 20120 13675 923 2985 0 17054 0
Current children cumulated CPU time (s) 1798.8
Current children cumulated vsize (KiB) 89628

Child status: 0
Real time (s): 1799.12
CPU time (s): 1798.83
CPU user time (s): 1796.85
CPU system time (s): 1.9767
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 109096

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.85
system time used= 1.9767
maximum resident set size= 73668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1085446
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= 49
involuntary context switches= 1853

runsolver used 2.75358 second user time and 7.06992 second system time

The end