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-3738090-1339248860/watcher-3738090-1339248860 -o /tmp/evaluation-result-3738090-1339248860/solver-3738090-1339248860 -C 1800 -W 1900 -M 15500 run HOME/instance-3738090-1339248860.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: 5.48 5.39 5.23 3/182 1087
/proc/meminfo: memFree=29408832/32873844 swapFree=7124/7124
[pid=1087] ppid=1085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1087/stat : 1087 (run) S 1085 1087 32287 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391014431 9367552 269 33554432000 4194304 5064252 140734556482320 140734556481232 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1087/statm: 2287 269 229 213 0 72 0

[startup+0.034103 s]
/proc/loadavg: 5.48 5.39 5.23 3/182 1087
/proc/meminfo: memFree=29408832/32873844 swapFree=7124/7124
[pid=1087] ppid=1085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1087/stat : 1087 (run) S 1085 1087 32287 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391014431 9367552 269 33554432000 4194304 5064252 140734556482320 140734556481232 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1087/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.10031 s]
/proc/loadavg: 5.48 5.39 5.23 3/182 1087
/proc/meminfo: memFree=29408832/32873844 swapFree=7124/7124
[pid=1087] ppid=1085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1087/stat : 1087 (run) S 1085 1087 32287 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391014431 9367552 269 33554432000 4194304 5064252 140734556482320 140734556481232 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1087/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300255 s]
/proc/loadavg: 5.48 5.39 5.23 3/182 1087
/proc/meminfo: memFree=29408832/32873844 swapFree=7124/7124
[pid=1087] ppid=1085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1087/stat : 1087 (run) S 1085 1087 32287 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391014431 9367552 269 33554432000 4194304 5064252 140734556482320 140734556481232 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1087/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700323 s]
/proc/loadavg: 5.48 5.39 5.23 3/182 1087
/proc/meminfo: memFree=29408832/32873844 swapFree=7124/7124
[pid=1087] ppid=1085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1087/stat : 1087 (run) S 1085 1087 32287 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391014431 9367552 269 33554432000 4194304 5064252 140734556482320 140734556481232 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1087/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50033 s]
/proc/loadavg: 5.48 5.39 5.23 3/184 1089
/proc/meminfo: memFree=29359020/32873844 swapFree=7124/7124
[pid=1087] ppid=1085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1087/stat : 1087 (run) S 1085 1087 32287 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391014431 9367552 269 33554432000 4194304 5064252 140734556482320 140734556481232 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1087/statm: 2287 269 229 213 0 72 0
[pid=1088] ppid=1087 vsize=115176 CPUtime=1.49 cores=0,2,4,6
/proc/1088/stat : 1088 (pb_cplex) R 1087 1087 32287 0 -1 4202496 23219 0 0 0 144 5 0 0 20 0 1 0 391014432 117940224 13256 33554432000 134512640 146736320 4290169616 4290164552 136461485 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/1088/statm: 28794 13256 789 2985 0 25728 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 124324

[startup+3.10033 s]
/proc/loadavg: 5.48 5.39 5.23 3/184 1089
/proc/meminfo: memFree=29357656/32873844 swapFree=7124/7124
[pid=1087] ppid=1085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1087/stat : 1087 (run) S 1085 1087 32287 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391014431 9367552 269 33554432000 4194304 5064252 140734556482320 140734556481232 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1087/statm: 2287 269 229 213 0 72 0
[pid=1088] ppid=1087 vsize=115640 CPUtime=3.09 cores=0,2,4,6
/proc/1088/stat : 1088 (pb_cplex) R 1087 1087 32287 0 -1 4202496 23345 0 0 0 304 5 0 0 20 0 1 0 391014432 118415360 13374 33554432000 134512640 146736320 4290169616 4290164492 136016736 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/1088/statm: 28910 13374 789 2985 0 25844 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 124788

[startup+6.30033 s]
/proc/loadavg: 5.20 5.33 5.21 3/184 1089
/proc/meminfo: memFree=29357788/32873844 swapFree=7124/7124
[pid=1087] ppid=1085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1087/stat : 1087 (run) S 1085 1087 32287 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391014431 9367552 269 33554432000 4194304 5064252 140734556482320 140734556481232 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1087/statm: 2287 269 229 213 0 72 0
[pid=1088] ppid=1087 vsize=115640 CPUtime=6.29 cores=0,2,4,6
/proc/1088/stat : 1088 (pb_cplex) R 1087 1087 32287 0 -1 4202496 23345 0 0 0 623 6 0 0 20 0 1 0 391014432 118415360 13374 33554432000 134512640 146736320 4290169616 4290163968 135658717 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/1088/statm: 28910 13374 789 2985 0 25844 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 124788

[startup+12.7003 s]
/proc/loadavg: 4.94 5.28 5.20 3/184 1089
/proc/meminfo: memFree=29357952/32873844 swapFree=7124/7124
[pid=1087] ppid=1085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1087/stat : 1087 (run) S 1085 1087 32287 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391014431 9367552 269 33554432000 4194304 5064252 140734556482320 140734556481232 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1087/statm: 2287 269 229 213 0 72 0
[pid=1088] ppid=1087 vsize=115640 CPUtime=12.69 cores=0,2,4,6
/proc/1088/stat : 1088 (pb_cplex) R 1087 1087 32287 0 -1 4202496 23345 0 0 0 1261 8 0 0 20 0 1 0 391014432 118415360 13374 33554432000 134512640 146736320 4290169616 4290164552 136461520 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/1088/statm: 28910 13374 789 2985 0 25844 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 124788

[startup+25.5003 s]
/proc/loadavg: 4.29 5.11 5.14 3/184 1089
/proc/meminfo: memFree=29358100/32873844 swapFree=7124/7124
[pid=1087] ppid=1085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1087/stat : 1087 (run) S 1085 1087 32287 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391014431 9367552 269 33554432000 4194304 5064252 140734556482320 140734556481232 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1087/statm: 2287 269 229 213 0 72 0
[pid=1088] ppid=1087 vsize=115640 CPUtime=25.49 cores=0,2,4,6
/proc/1088/stat : 1088 (pb_cplex) R 1087 1087 32287 0 -1 4202496 23345 0 0 0 2537 12 0 0 20 0 1 0 391014432 118415360 13374 33554432000 134512640 146736320 4290169616 4290165208 144757825 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/1088/statm: 28910 13374 789 2985 0 25844 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 124788

[startup+51.1004 s]
/proc/loadavg: 3.59 4.88 5.06 3/184 1089
/proc/meminfo: memFree=29351896/32873844 swapFree=7124/7124
[pid=1087] ppid=1085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1087/stat : 1087 (run) S 1085 1087 32287 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391014431 9367552 269 33554432000 4194304 5064252 140734556482320 140734556481232 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1087/statm: 2287 269 229 213 0 72 0
[pid=1088] ppid=1087 vsize=122952 CPUtime=51.08 cores=0,2,4,6
/proc/1088/stat : 1088 (pb_cplex) R 1087 1087 32287 0 -1 4202496 23908 0 0 0 5089 19 0 0 20 0 1 0 391014432 125902848 14959 33554432000 134512640 146736320 4290169616 4290164152 138768491 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/1088/statm: 30738 14959 797 2985 0 27672 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 132100

[startup+102.306 s]
/proc/loadavg: 2.69 4.43 4.90 3/184 1090
/proc/meminfo: memFree=29323172/32873844 swapFree=7124/7124
[pid=1087] ppid=1085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1087/stat : 1087 (run) S 1085 1087 32287 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391014431 9367552 269 33554432000 4194304 5064252 140734556482320 140734556481232 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1087/statm: 2287 269 229 213 0 72 0
[pid=1088] ppid=1087 vsize=165728 CPUtime=102.28 cores=0,2,4,6
/proc/1088/stat : 1088 (pb_cplex) R 1087 1087 32287 0 -1 4202496 34771 0 0 0 10205 23 0 0 20 0 1 0 391014432 169705472 21551 33554432000 134512640 146736320 4290169616 4290163624 139044505 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/1088/statm: 41432 21551 866 2985 0 38366 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 174876

[startup+162.3 s]
/proc/loadavg: 2.25 3.99 4.72 3/184 1090
/proc/meminfo: memFree=29323296/32873844 swapFree=7124/7124
[pid=1087] ppid=1085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1087/stat : 1087 (run) S 1085 1087 32287 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391014431 9367552 269 33554432000 4194304 5064252 140734556482320 140734556481232 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1087/statm: 2287 269 229 213 0 72 0
[pid=1088] ppid=1087 vsize=165744 CPUtime=162.27 cores=0,2,4,6
/proc/1088/stat : 1088 (pb_cplex) R 1087 1087 32287 0 -1 4202496 56870 0 0 0 16200 27 0 0 20 0 1 0 391014432 169721856 21599 33554432000 134512640 146736320 4290169616 4290163788 136017672 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/1088/statm: 41436 21599 866 2985 0 38370 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 174892

[startup+222.3 s]
/proc/loadavg: 3.64 3.97 4.66 10/184 1090
/proc/meminfo: memFree=29083980/32873844 swapFree=7124/7124
[pid=1087] ppid=1085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1087/stat : 1087 (run) S 1085 1087 32287 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391014431 9367552 269 33554432000 4194304 5064252 140734556482320 140734556481232 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1087/statm: 2287 269 229 213 0 72 0
[pid=1088] ppid=1087 vsize=165780 CPUtime=222.26 cores=0,2,4,6
/proc/1088/stat : 1088 (pb_cplex) R 1087 1087 32287 0 -1 4202496 82341 0 0 0 22194 32 0 0 20 0 1 0 391014432 169758720 21608 33554432000 134512640 146736320 4290169616 4290163656 139043566 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/1088/statm: 41445 21608 866 2985 0 38379 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 174928

[startup+282.3 s]
/proc/loadavg: 5.92 4.60 4.83 10/184 1157
/proc/meminfo: memFree=29609752/32873844 swapFree=7124/7124
[pid=1087] ppid=1085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1087/stat : 1087 (run) S 1085 1087 32287 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391014431 9367552 269 33554432000 4194304 5064252 140734556482320 140734556481232 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1087/statm: 2287 269 229 213 0 72 0
[pid=1088] ppid=1087 vsize=165780 CPUtime=282.24 cores=0,2,4,6
/proc/1088/stat : 1088 (pb_cplex) R 1087 1087 32287 0 -1 4202496 108503 0 0 0 28187 37 0 0 20 0 1 0 391014432 169758720 22881 33554432000 134512640 146736320 4290169616 4290163788 136017485 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/1088/statm: 41445 22881 866 2985 0 38379 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 174928

[startup+342.3 s]
/proc/loadavg: 4.22 4.43 4.76 3/178 1160
/proc/meminfo: memFree=29635480/32873844 swapFree=7124/7124
[pid=1087] ppid=1085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1087/stat : 1087 (run) S 1085 1087 32287 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391014431 9367552 269 33554432000 4194304 5064252 140734556482320 140734556481232 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1087/statm: 2287 269 229 213 0 72 0
[pid=1088] ppid=1087 vsize=165032 CPUtime=342.23 cores=0,2,4,6
/proc/1088/stat : 1088 (pb_cplex) R 1087 1087 32287 0 -1 4202496 157030 0 0 0 34177 46 0 0 20 0 1 0 391014432 168992768 24382 33554432000 134512640 146736320 4290169616 4290163524 135523306 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/1088/statm: 41258 24382 909 2985 0 38192 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 174180

[startup+402.3 s]
/proc/loadavg: 3.38 4.10 4.62 10/183 1174
/proc/meminfo: memFree=29518756/32873844 swapFree=7124/7124
[pid=1087] ppid=1085 vsize=9148 CPUtime=0 cores=0,2,4,6

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


[startup+1362.3 s]
/proc/loadavg: 2.08 2.85 4.14 3/177 1231
/proc/meminfo: memFree=29364232/32873844 swapFree=7124/7124
[pid=1087] ppid=1085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1087/stat : 1087 (run) S 1085 1087 32287 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391014431 9367552 269 33554432000 4194304 5064252 140734556482320 140734556481232 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1087/statm: 2287 269 229 213 0 72 0
[pid=1088] ppid=1087 vsize=167624 CPUtime=1362.07 cores=0,2,4,6
/proc/1088/stat : 1088 (pb_cplex) R 1087 1087 32287 0 -1 4202496 610881 0 0 0 136072 135 0 0 20 0 1 0 391014432 171646976 25769 33554432000 134512640 146736320 4290169616 4290163088 136403109 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/1088/statm: 41906 25769 923 2985 0 38840 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 176772

[startup+1422.31 s]
/proc/loadavg: 2.03 2.69 4.01 3/177 1231
/proc/meminfo: memFree=29362984/32873844 swapFree=7124/7124
[pid=1087] ppid=1085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1087/stat : 1087 (run) S 1085 1087 32287 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391014431 9367552 269 33554432000 4194304 5064252 140734556482320 140734556481232 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1087/statm: 2287 269 229 213 0 72 0
[pid=1088] ppid=1087 vsize=167332 CPUtime=1422.07 cores=0,2,4,6
/proc/1088/stat : 1088 (pb_cplex) R 1087 1087 32287 0 -1 4202496 631710 0 0 0 142067 140 0 0 20 0 1 0 391014432 171347968 25756 33554432000 134512640 146736320 4290169616 4290163696 136384883 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/1088/statm: 41833 25756 923 2985 0 38767 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 176480

[startup+1482.3 s]
/proc/loadavg: 2.01 2.56 3.88 3/177 1231
/proc/meminfo: memFree=29362364/32873844 swapFree=7124/7124
[pid=1087] ppid=1085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1087/stat : 1087 (run) S 1085 1087 32287 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391014431 9367552 269 33554432000 4194304 5064252 140734556482320 140734556481232 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1087/statm: 2287 269 229 213 0 72 0
[pid=1088] ppid=1087 vsize=167336 CPUtime=1482.06 cores=0,2,4,6
/proc/1088/stat : 1088 (pb_cplex) R 1087 1087 32287 0 -1 4202496 654360 0 0 0 148061 145 0 0 20 0 1 0 391014432 171352064 25758 33554432000 134512640 146736320 4290169616 4290163656 139043581 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/1088/statm: 41834 25758 923 2985 0 38768 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 176484

[startup+1542.3 s]
/proc/loadavg: 2.00 2.46 3.76 3/178 1234
/proc/meminfo: memFree=29358976/32873844 swapFree=7124/7124
[pid=1087] ppid=1085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1087/stat : 1087 (run) S 1085 1087 32287 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391014431 9367552 269 33554432000 4194304 5064252 140734556482320 140734556481232 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1087/statm: 2287 269 229 213 0 72 0
[pid=1088] ppid=1087 vsize=167372 CPUtime=1542.04 cores=0,2,4,6
/proc/1088/stat : 1088 (pb_cplex) R 1087 1087 32287 0 -1 4202496 679594 0 0 0 154054 150 0 0 20 0 1 0 391014432 171388928 26439 33554432000 134512640 146736320 4290169616 4290163768 136400570 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/1088/statm: 41843 26439 923 2985 0 38777 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 176520

[startup+1602.3 s]
/proc/loadavg: 2.00 2.37 3.64 3/178 1235
/proc/meminfo: memFree=29359124/32873844 swapFree=7124/7124
[pid=1087] ppid=1085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1087/stat : 1087 (run) S 1085 1087 32287 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391014431 9367552 269 33554432000 4194304 5064252 140734556482320 140734556481232 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1087/statm: 2287 269 229 213 0 72 0
[pid=1088] ppid=1087 vsize=167432 CPUtime=1602.04 cores=0,2,4,6
/proc/1088/stat : 1088 (pb_cplex) R 1087 1087 32287 0 -1 4202496 706805 0 0 0 160049 155 0 0 20 0 1 0 391014432 171450368 26453 33554432000 134512640 146736320 4290169616 4290163788 136017485 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/1088/statm: 41858 26453 923 2985 0 38792 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 176580

[startup+1662.3 s]
/proc/loadavg: 2.00 2.30 3.54 3/177 1258
/proc/meminfo: memFree=29357316/32873844 swapFree=7124/7124
[pid=1087] ppid=1085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1087/stat : 1087 (run) S 1085 1087 32287 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391014431 9367552 269 33554432000 4194304 5064252 140734556482320 140734556481232 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1087/statm: 2287 269 229 213 0 72 0
[pid=1088] ppid=1087 vsize=167432 CPUtime=1662.03 cores=0,2,4,6
/proc/1088/stat : 1088 (pb_cplex) R 1087 1087 32287 0 -1 4202496 734898 0 0 0 166044 159 0 0 20 0 1 0 391014432 171450368 26453 33554432000 134512640 146736320 4290169616 4290163624 139044555 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/1088/statm: 41858 26453 923 2985 0 38792 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 176580

[startup+1722.3 s]
/proc/loadavg: 2.00 2.24 3.44 3/177 1258
/proc/meminfo: memFree=29357200/32873844 swapFree=7124/7124
[pid=1087] ppid=1085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1087/stat : 1087 (run) S 1085 1087 32287 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391014431 9367552 269 33554432000 4194304 5064252 140734556482320 140734556481232 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1087/statm: 2287 269 229 213 0 72 0
[pid=1088] ppid=1087 vsize=167432 CPUtime=1722.02 cores=0,2,4,6
/proc/1088/stat : 1088 (pb_cplex) R 1087 1087 32287 0 -1 4202496 763450 0 0 0 172039 163 0 0 20 0 1 0 391014432 171450368 26453 33554432000 134512640 146736320 4290169616 4290163788 136017763 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/1088/statm: 41858 26453 923 2985 0 38792 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 176580

[startup+1782.3 s]
/proc/loadavg: 2.00 2.20 3.35 3/177 1258
/proc/meminfo: memFree=29359792/32873844 swapFree=7124/7124
[pid=1087] ppid=1085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1087/stat : 1087 (run) S 1085 1087 32287 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391014431 9367552 269 33554432000 4194304 5064252 140734556482320 140734556481232 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1087/statm: 2287 269 229 213 0 72 0
[pid=1088] ppid=1087 vsize=166212 CPUtime=1782.01 cores=0,2,4,6
/proc/1088/stat : 1088 (pb_cplex) R 1087 1087 32287 0 -1 4202496 786629 0 0 0 178032 169 0 0 20 0 1 0 391014432 170201088 25641 33554432000 134512640 146736320 4290169616 4290163696 136384892 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/1088/statm: 41553 25641 923 2985 0 38487 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 175360

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.19 3.33 3/177 1258
/proc/meminfo: memFree=29358800/32873844 swapFree=7124/7124
[pid=1087] ppid=1085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1087/stat : 1087 (run) S 1085 1087 32287 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391014431 9367552 269 33554432000 4194304 5064252 140734556482320 140734556481232 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1087/statm: 2287 269 229 213 0 72 0
[pid=1088] ppid=1087 vsize=167028 CPUtime=1791.62 cores=0,2,4,6
/proc/1088/stat : 1088 (pb_cplex) R 1087 1087 32287 0 -1 4202496 790294 0 0 0 178992 170 0 0 20 0 1 0 391014432 171036672 25844 33554432000 134512640 146736320 4290169616 4290163476 136017485 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/1088/statm: 41757 25844 923 2985 0 38691 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (KiB) 176176

[startup+1795.1 s]
/proc/loadavg: 2.00 2.19 3.32 3/177 1258
/proc/meminfo: memFree=29358800/32873844 swapFree=7124/7124
[pid=1087] ppid=1085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1087/stat : 1087 (run) S 1085 1087 32287 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391014431 9367552 269 33554432000 4194304 5064252 140734556482320 140734556481232 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1087/statm: 2287 269 229 213 0 72 0
[pid=1088] ppid=1087 vsize=167028 CPUtime=1794.82 cores=0,2,4,6
/proc/1088/stat : 1088 (pb_cplex) R 1087 1087 32287 0 -1 4202496 791100 0 0 0 179312 170 0 0 20 0 1 0 391014432 171036672 25845 33554432000 134512640 146736320 4290169616 4290162732 135454198 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/1088/statm: 41757 25845 923 2985 0 38691 0
Current children cumulated CPU time (s) 1794.82
Current children cumulated vsize (KiB) 176176

[startup+1796.7 s]
/proc/loadavg: 2.00 2.19 3.32 3/177 1258
/proc/meminfo: memFree=29358800/32873844 swapFree=7124/7124
[pid=1087] ppid=1085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1087/stat : 1087 (run) S 1085 1087 32287 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391014431 9367552 269 33554432000 4194304 5064252 140734556482320 140734556481232 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1087/statm: 2287 269 229 213 0 72 0
[pid=1088] ppid=1087 vsize=167028 CPUtime=1796.41 cores=0,2,4,6
/proc/1088/stat : 1088 (pb_cplex) R 1087 1087 32287 0 -1 4202496 791909 0 0 0 179471 170 0 0 20 0 1 0 391014432 171036672 25845 33554432000 134512640 146736320 4290169616 4290164176 136403129 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/1088/statm: 41757 25845 923 2985 0 38691 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 176176

[startup+1798.3 s]
/proc/loadavg: 2.00 2.19 3.32 3/177 1258
/proc/meminfo: memFree=29358800/32873844 swapFree=7124/7124
[pid=1087] ppid=1085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1087/stat : 1087 (run) S 1085 1087 32287 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391014431 9367552 269 33554432000 4194304 5064252 140734556482320 140734556481232 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1087/statm: 2287 269 229 213 0 72 0
[pid=1088] ppid=1087 vsize=167028 CPUtime=1798.01 cores=0,2,4,6
/proc/1088/stat : 1088 (pb_cplex) R 1087 1087 32287 0 -1 4202496 792323 0 0 0 179631 170 0 0 20 0 1 0 391014432 171036672 25845 33554432000 134512640 146736320 4290169616 4290163428 136389766 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/1088/statm: 41757 25845 923 2985 0 38691 0
Current children cumulated CPU time (s) 1798.01
Current children cumulated vsize (KiB) 176176

[startup+1799.1 s]
/proc/loadavg: 2.00 2.18 3.32 3/177 1258
/proc/meminfo: memFree=29358800/32873844 swapFree=7124/7124
[pid=1087] ppid=1085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1087/stat : 1087 (run) S 1085 1087 32287 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391014431 9367552 269 33554432000 4194304 5064252 140734556482320 140734556481232 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1087/statm: 2287 269 229 213 0 72 0
[pid=1088] ppid=1087 vsize=167028 CPUtime=1798.81 cores=0,2,4,6
/proc/1088/stat : 1088 (pb_cplex) R 1087 1087 32287 0 -1 4202496 793151 0 0 0 179711 170 0 0 20 0 1 0 391014432 171036672 25845 33554432000 134512640 146736320 4290169616 4290163776 135468528 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/1088/statm: 41757 25845 923 2985 0 38691 0
Current children cumulated CPU time (s) 1798.81
Current children cumulated vsize (KiB) 176176

[startup+1799.3 s]
/proc/loadavg: 2.00 2.18 3.32 3/177 1258
/proc/meminfo: memFree=29358800/32873844 swapFree=7124/7124
[pid=1087] ppid=1085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1087/stat : 1087 (run) S 1085 1087 32287 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391014431 9367552 269 33554432000 4194304 5064252 140734556482320 140734556481232 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1087/statm: 2287 269 229 213 0 72 0
[pid=1088] ppid=1087 vsize=130568 CPUtime=1799.01 cores=0,2,4,6
/proc/1088/stat : 1088 (pb_cplex) R 1087 1087 32287 0 -1 4202496 793167 0 0 0 179731 170 0 0 20 0 1 0 391014432 133701632 19314 33554432000 134512640 146736320 4290169616 4290168464 134948744 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/1088/statm: 32642 19314 939 2985 0 29576 0
Current children cumulated CPU time (s) 1799.01
Current children cumulated vsize (KiB) 139716

Child status: 0
Real time (s): 1799.3
CPU time (s): 1799.02
CPU user time (s): 1797.31
CPU system time (s): 1.71074
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 223784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.31
system time used= 1.71074
maximum resident set size= 149632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 793540
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= 18
involuntary context switches= 1862

runsolver used 3.9234 second user time and 11.8682 second system time

The end