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-3741295-1339250112/watcher-3741295-1339250112 -o /tmp/evaluation-result-3741295-1339250112/solver-3741295-1339250112 -C 1800 -W 1900 -M 15500 run HOME/instance-3741295-1339250112.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: 2.05 2.06 2.21 3/177 27738
/proc/meminfo: memFree=31458112/32873844 swapFree=7116/7116
[pid=27738] ppid=27736 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27738/stat : 27738 (run) S 27736 27738 27040 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391138146 9367552 270 33554432000 4194304 5064252 140734974721840 140734974720752 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27738/statm: 2287 270 229 213 0 72 0

[startup+0.0914979 s]
/proc/loadavg: 2.05 2.06 2.21 3/177 27738
/proc/meminfo: memFree=31458112/32873844 swapFree=7116/7116
[pid=27738] ppid=27736 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27738/stat : 27738 (run) S 27736 27738 27040 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391138146 9367552 270 33554432000 4194304 5064252 140734974721840 140734974720752 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27738/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.10021 s]
/proc/loadavg: 2.05 2.06 2.21 3/177 27738
/proc/meminfo: memFree=31458112/32873844 swapFree=7116/7116
[pid=27738] ppid=27736 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27738/stat : 27738 (run) S 27736 27738 27040 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391138146 9367552 270 33554432000 4194304 5064252 140734974721840 140734974720752 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27738/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.30018 s]
/proc/loadavg: 2.05 2.06 2.21 3/177 27738
/proc/meminfo: memFree=31458112/32873844 swapFree=7116/7116
[pid=27738] ppid=27736 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27738/stat : 27738 (run) S 27736 27738 27040 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391138146 9367552 270 33554432000 4194304 5064252 140734974721840 140734974720752 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27738/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700267 s]
/proc/loadavg: 2.05 2.06 2.21 3/177 27738
/proc/meminfo: memFree=31458112/32873844 swapFree=7116/7116
[pid=27738] ppid=27736 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27738/stat : 27738 (run) S 27736 27738 27040 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391138146 9367552 270 33554432000 4194304 5064252 140734974721840 140734974720752 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27738/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50054 s]
/proc/loadavg: 2.05 2.06 2.21 8/186 27754
/proc/meminfo: memFree=31362432/32873844 swapFree=7116/7116
[pid=27738] ppid=27736 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27738/stat : 27738 (run) S 27736 27738 27040 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391138146 9367552 270 33554432000 4194304 5064252 140734974721840 140734974720752 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27738/statm: 2287 270 229 213 0 72 0
[pid=27739] ppid=27738 vsize=205760 CPUtime=2.97 cores=1,3,5,7
/proc/27739/stat : 27739 (pb_cplex) S 27738 27738 27040 0 -1 4202496 44296 0 0 0 285 12 0 0 20 0 8 0 391138146 210698240 25320 33554432000 134512640 146736320 4289007328 4289003728 144580073 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27739/statm: 51440 25320 963 2985 0 48374 0
[pid=27739/tid=27748] ppid=27738 vsize=205760 CPUtime=0.25 cores=1,3,5,7
/proc/27739/task/27748/stat : 27748 (pb_cplex) S 27738 27738 27040 0 -1 4202560 1516 0 0 0 25 0 0 0 20 0 8 0 391138232 210698240 25320 33554432000 134512640 146736320 4289007328 4074102416 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27739/tid=27749] ppid=27738 vsize=205760 CPUtime=0.21 cores=1,3,5,7
/proc/27739/task/27749/stat : 27749 (pb_cplex) R 27738 27738 27040 0 -1 4202560 1595 0 0 0 21 0 0 0 20 0 8 0 391138232 210698240 25320 33554432000 134512640 146736320 4289007328 4084585196 144580073 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=27739/tid=27750] ppid=27738 vsize=205760 CPUtime=0.24 cores=1,3,5,7
/proc/27739/task/27750/stat : 27750 (pb_cplex) S 27738 27738 27040 0 -1 4202560 2118 0 0 0 24 0 0 0 20 0 8 0 391138232 210698240 25320 33554432000 134512640 146736320 4289007328 4095073936 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27739/tid=27751] ppid=27738 vsize=205760 CPUtime=0.26 cores=1,3,5,7
/proc/27739/task/27751/stat : 27751 (pb_cplex) R 27738 27738 27040 0 -1 4202560 3017 0 0 0 26 0 0 0 20 0 8 0 391138232 210698240 25320 33554432000 134512640 146736320 4289007328 4105554688 135468726 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=27739/tid=27752] ppid=27738 vsize=205760 CPUtime=0.23 cores=1,3,5,7
/proc/27739/task/27752/stat : 27752 (pb_cplex) S 27738 27738 27040 0 -1 4202560 2088 0 0 0 23 0 0 0 20 0 8 0 391138232 210698240 25320 33554432000 134512640 146736320 4289007328 4051693200 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27739/tid=27753] ppid=27738 vsize=205760 CPUtime=0.26 cores=1,3,5,7
/proc/27739/task/27753/stat : 27753 (pb_cplex) R 27738 27738 27040 0 -1 4202560 4341 0 0 0 25 1 0 0 20 0 8 0 391138232 210698240 25320 33554432000 134512640 146736320 4289007328 4041203624 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=27739/tid=27754] ppid=27738 vsize=205760 CPUtime=0.32 cores=1,3,5,7
/proc/27739/task/27754/stat : 27754 (pb_cplex) R 27738 27738 27040 0 -1 4202560 2049 0 0 0 32 0 0 0 20 0 8 0 391138232 210698240 25320 33554432000 134512640 146736320 4289007328 4030720600 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 214908

[startup+3.10032 s]
/proc/loadavg: 2.05 2.06 2.21 3/179 27754
/proc/meminfo: memFree=31397524/32873844 swapFree=7116/7116
[pid=27738] ppid=27736 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27738/stat : 27738 (run) S 27736 27738 27040 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391138146 9367552 270 33554432000 4194304 5064252 140734974721840 140734974720752 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27738/statm: 2287 270 229 213 0 72 0
[pid=27739] ppid=27738 vsize=113856 CPUtime=5.29 cores=1,3,5,7
/proc/27739/stat : 27739 (pb_cplex) R 27738 27738 27040 0 -1 4202496 47091 0 0 0 508 21 0 0 20 0 1 0 391138146 116588544 15878 33554432000 134512640 146736320 4289007328 4289003072 137341819 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/27739/statm: 28464 15878 967 2985 0 25398 0
Current children cumulated CPU time (s) 5.29
Current children cumulated vsize (KiB) 123004

[startup+6.30034 s]
/proc/loadavg: 2.05 2.06 2.21 2/176 27762
/proc/meminfo: memFree=31793724/32873844 swapFree=7116/7116
[pid=27738] ppid=27736 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27738/stat : 27738 (run) S 27736 27738 27040 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391138146 9367552 270 33554432000 4194304 5064252 140734974721840 140734974720752 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27738/statm: 2287 270 229 213 0 72 0
[pid=27739] ppid=27738 vsize=91984 CPUtime=8.47 cores=1,3,5,7
/proc/27739/stat : 27739 (pb_cplex) R 27738 27738 27040 0 -1 4202496 55056 0 0 0 823 24 0 0 20 0 1 0 391138146 94191616 9440 33554432000 134512640 146736320 4289007328 4289001400 136015701 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/27739/statm: 22996 9440 969 2985 0 19930 0
Current children cumulated CPU time (s) 8.47
Current children cumulated vsize (KiB) 101132

[startup+12.7005 s]
/proc/loadavg: 3.09 2.27 2.27 10/193 27853
/proc/meminfo: memFree=31696692/32873844 swapFree=7116/7116
[pid=27738] ppid=27736 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27738/stat : 27738 (run) S 27736 27738 27040 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391138146 9367552 270 33554432000 4194304 5064252 140734974721840 140734974720752 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27738/statm: 2287 270 229 213 0 72 0
[pid=27739] ppid=27738 vsize=202012 CPUtime=27.63 cores=1,3,5,7
/proc/27739/stat : 27739 (pb_cplex) S 27738 27738 27040 0 -1 4202496 141433 0 0 0 2688 75 0 0 20 0 8 0 391138146 206860288 28706 33554432000 134512640 146736320 4289007328 4289003728 144580073 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27739/statm: 50503 28706 978 2985 0 47437 0
[pid=27739/tid=27817] ppid=27738 vsize=202012 CPUtime=2.18 cores=1,3,5,7
/proc/27739/task/27817/stat : 27817 (pb_cplex) S 27738 27738 27040 0 -1 4202560 10423 0 0 0 213 5 0 0 20 0 8 0 391138813 206860288 28706 33554432000 134512640 146736320 4289007328 4074102416 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27739/tid=27818] ppid=27738 vsize=202012 CPUtime=1.74 cores=1,3,5,7
/proc/27739/task/27818/stat : 27818 (pb_cplex) S 27738 27738 27040 0 -1 4202560 2342 0 0 0 169 5 0 0 20 0 8 0 391138813 206860288 28706 33554432000 134512640 146736320 4289007328 4084588176 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27739/tid=27819] ppid=27738 vsize=202012 CPUtime=1.76 cores=1,3,5,7
/proc/27739/task/27819/stat : 27819 (pb_cplex) S 27738 27738 27040 0 -1 4202560 14552 0 0 0 171 5 0 0 20 0 8 0 391138813 206860288 28706 33554432000 134512640 146736320 4289007328 4095073936 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27739/tid=27820] ppid=27738 vsize=202012 CPUtime=3.31 cores=1,3,5,7
/proc/27739/task/27820/stat : 27820 (pb_cplex) R 27738 27738 27040 0 -1 4202560 15079 0 0 0 321 10 0 0 20 0 8 0 391138813 206860288 28706 33554432000 134512640 146736320 4289007328 4105555100 136016704 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27739/tid=27821] ppid=27738 vsize=202012 CPUtime=2.26 cores=1,3,5,7
/proc/27739/task/27821/stat : 27821 (pb_cplex) S 27738 27738 27040 0 -1 4202560 2447 0 0 0 221 5 0 0 20 0 8 0 391138813 206860288 28706 33554432000 134512640 146736320 4289007328 4053790352 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27739/tid=27823] ppid=27738 vsize=202012 CPUtime=1.89 cores=1,3,5,7
/proc/27739/task/27823/stat : 27823 (pb_cplex) S 27738 27738 27040 0 -1 4202560 5233 0 0 0 185 4 0 0 20 0 8 0 391138814 206860288 28706 33554432000 134512640 146736320 4289007328 4043304592 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27739/tid=27824] ppid=27738 vsize=202012 CPUtime=2.02 cores=1,3,5,7
/proc/27739/task/27824/stat : 27824 (pb_cplex) S 27738 27738 27040 0 -1 4202560 2772 0 0 0 200 2 0 0 20 0 8 0 391138814 206860288 28706 33554432000 134512640 146736320 4289007328 4032818832 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 27.63
Current children cumulated vsize (KiB) 211160

[startup+25.5004 s]
/proc/loadavg: 3.68 2.43 2.32 10/193 27853
/proc/meminfo: memFree=31673900/32873844 swapFree=7116/7116
[pid=27738] ppid=27736 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27738/stat : 27738 (run) S 27736 27738 27040 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391138146 9367552 270 33554432000 4194304 5064252 140734974721840 140734974720752 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27738/statm: 2287 270 229 213 0 72 0
[pid=27739] ppid=27738 vsize=211224 CPUtime=73.63 cores=1,3,5,7
/proc/27739/stat : 27739 (pb_cplex) R 27738 27738 27040 0 -1 4202496 172918 0 0 0 7236 127 0 0 20 0 8 0 391138146 216293376 30726 33554432000 134512640 146736320 4289007328 4289001000 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27739/statm: 52806 30726 978 2985 0 49740 0
[pid=27739/tid=27817] ppid=27738 vsize=211224 CPUtime=7.79 cores=1,3,5,7
/proc/27739/task/27817/stat : 27817 (pb_cplex) S 27738 27738 27040 0 -1 4202560 14257 0 0 0 767 12 0 0 20 0 8 0 391138813 216293376 30726 33554432000 134512640 146736320 4289007328 4074102416 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27739/tid=27818] ppid=27738 vsize=211224 CPUtime=7.43 cores=1,3,5,7
/proc/27739/task/27818/stat : 27818 (pb_cplex) R 27738 27738 27040 0 -1 4202560 5232 0 0 0 732 11 0 0 20 0 8 0 391138813 216293376 30726 33554432000 134512640 146736320 4289007328 4084584888 136015509 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27739/tid=27819] ppid=27738 vsize=211224 CPUtime=7.45 cores=1,3,5,7
/proc/27739/task/27819/stat : 27819 (pb_cplex) R 27738 27738 27040 0 -1 4202560 21591 0 0 0 733 12 0 0 20 0 8 0 391138813 216293376 30726 33554432000 134512640 146736320 4289007328 4095071108 135850319 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=27739/tid=27820] ppid=27738 vsize=211224 CPUtime=9.16 cores=1,3,5,7
/proc/27739/task/27820/stat : 27820 (pb_cplex) R 27738 27738 27040 0 -1 4202560 16974 0 0 0 901 15 0 0 20 0 8 0 391138813 216293376 30726 33554432000 134512640 146736320 4289007328 4105556128 136006335 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27739/tid=27821] ppid=27738 vsize=211224 CPUtime=8.03 cores=1,3,5,7
/proc/27739/task/27821/stat : 27821 (pb_cplex) R 27738 27738 27040 0 -1 4202560 3969 0 0 0 790 13 0 0 20 0 8 0 391138813 216293376 30726 33554432000 134512640 146736320 4289007328 4053786900 136003957 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=27739/tid=27823] ppid=27738 vsize=211224 CPUtime=7.59 cores=1,3,5,7
/proc/27739/task/27823/stat : 27823 (pb_cplex) S 27738 27738 27040 0 -1 4202560 9312 0 0 0 747 12 0 0 20 0 8 0 391138814 216293376 30726 33554432000 134512640 146736320 4289007328 4043304592 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27739/tid=27824] ppid=27738 vsize=211224 CPUtime=7.79 cores=1,3,5,7
/proc/27739/task/27824/stat : 27824 (pb_cplex) R 27738 27738 27040 0 -1 4202560 11753 0 0 0 771 8 0 0 20 0 8 0 391138814 216293376 30726 33554432000 134512640 146736320 4289007328 4032815548 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 73.63
Current children cumulated vsize (KiB) 220372

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

[startup+27.1005 s]
/proc/loadavg: 4.58 2.64 2.39 16/193 27853
/proc/meminfo: memFree=31674272/32873844 swapFree=7116/7116
[pid=27738] ppid=27736 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27738/stat : 27738 (run) S 27736 27738 27040 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391138146 9367552 270 33554432000 4194304 5064252 140734974721840 140734974720752 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27738/statm: 2287 270 229 213 0 72 0
[pid=27739] ppid=27738 vsize=207024 CPUtime=79.22 cores=1,3,5,7
/proc/27739/stat : 27739 (pb_cplex) S 27738 27738 27040 0 -1 4202496 176219 0 0 0 7788 134 0 0 20 0 8 0 391138146 211992576 30117 33554432000 134512640 146736320 4289007328 4289003728 144580073 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27739/statm: 51756 30117 978 2985 0 48690 0
[pid=27739/tid=27817] ppid=27738 vsize=207024 CPUtime=8.47 cores=1,3,5,7
/proc/27739/task/27817/stat : 27817 (pb_cplex) S 27738 27738 27040 0 -1 4202560 16313 0 0 0 833 14 0 0 20 0 8 0 391138813 211992576 30117 33554432000 134512640 146736320 4289007328 4074102416 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27739/tid=27818] ppid=27738 vsize=207024 CPUtime=8.06 cores=1,3,5,7
/proc/27739/task/27818/stat : 27818 (pb_cplex) S 27738 27738 27040 0 -1 4202560 5361 0 0 0 794 12 0 0 20 0 8 0 391138813 211992576 30117 33554432000 134512640 146736320 4289007328 4084588176 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27739/tid=27819] ppid=27738 vsize=207024 CPUtime=8.13 cores=1,3,5,7
/proc/27739/task/27819/stat : 27819 (pb_cplex) S 27738 27738 27040 0 -1 4202560 21802 0 0 0 801 12 0 0 20 0 8 0 391138813 211992576 30117 33554432000 134512640 146736320 4289007328 4095073936 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27739/tid=27820] ppid=27738 vsize=207024 CPUtime=9.95 cores=1,3,5,7
/proc/27739/task/27820/stat : 27820 (pb_cplex) S 27738 27738 27040 0 -1 4202560 16974 0 0 0 979 16 0 0 20 0 8 0 391138813 211992576 30117 33554432000 134512640 146736320 4289007328 4105559696 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27739/tid=27821] ppid=27738 vsize=207024 CPUtime=8.72 cores=1,3,5,7
/proc/27739/task/27821/stat : 27821 (pb_cplex) S 27738 27738 27040 0 -1 4202560 3969 0 0 0 858 14 0 0 20 0 8 0 391138813 211992576 30117 33554432000 134512640 146736320 4289007328 4053790352 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27739/tid=27823] ppid=27738 vsize=207024 CPUtime=8.27 cores=1,3,5,7
/proc/27739/task/27823/stat : 27823 (pb_cplex) R 27738 27738 27040 0 -1 4202560 9901 0 0 0 814 13 0 0 20 0 8 0 391138814 211992576 30117 33554432000 134512640 146736320 4289007328 4043301864 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=27739/tid=27824] ppid=27738 vsize=207024 CPUtime=8.53 cores=1,3,5,7
/proc/27739/task/27824/stat : 27824 (pb_cplex) S 27738 27738 27040 0 -1 4202560 12069 0 0 0 844 9 0 0 20 0 8 0 391138814 211992576 30117 33554432000 134512640 146736320 4289007328 4032818832 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 79.22
Current children cumulated vsize (KiB) 216172

[startup+27.9004 s]
/proc/loadavg: 4.58 2.64 2.39 16/193 27853
/proc/meminfo: memFree=31675140/32873844 swapFree=7116/7116
[pid=27738] ppid=27736 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27738/stat : 27738 (run) S 27736 27738 27040 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391138146 9367552 270 33554432000 4194304 5064252 140734974721840 140734974720752 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27738/statm: 2287 270 229 213 0 72 0
[pid=27739] ppid=27738 vsize=206472 CPUtime=81.99 cores=1,3,5,7
/proc/27739/stat : 27739 (pb_cplex) R 27738 27738 27040 0 -1 4202496 178801 0 0 0 8061 138 0 0 20 0 8 0 391138146 211427328 29901 33554432000 134512640 146736320 4289007328 4289000436 136400583 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27739/statm: 51618 29901 978 2985 0 48552 0
[pid=27739/tid=27817] ppid=27738 vsize=206472 CPUtime=8.79 cores=1,3,5,7
/proc/27739/task/27817/stat : 27817 (pb_cplex) R 27738 27738 27040 0 -1 4202560 16763 0 0 0 864 15 0 0 20 0 8 0 391138813 211427328 29901 33554432000 134512640 146736320 4289007328 4074099288 136402267 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27739/tid=27818] ppid=27738 vsize=206472 CPUtime=8.44 cores=1,3,5,7
/proc/27739/task/27818/stat : 27818 (pb_cplex) R 27738 27738 27040 0 -1 4202560 5988 0 0 0 831 13 0 0 20 0 8 0 391138813 211427328 29901 33554432000 134512640 146736320 4289007328 4084585448 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=27739/tid=27819] ppid=27738 vsize=206472 CPUtime=8.44 cores=1,3,5,7
/proc/27739/task/27819/stat : 27819 (pb_cplex) R 27738 27738 27040 0 -1 4202560 22754 0 0 0 831 13 0 0 20 0 8 0 391138813 211427328 29901 33554432000 134512640 146736320 4289007328 4095070024 135526548 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=27739/tid=27820] ppid=27738 vsize=206472 CPUtime=10.27 cores=1,3,5,7
/proc/27739/task/27820/stat : 27820 (pb_cplex) R 27738 27738 27040 0 -1 4202560 17107 0 0 0 1011 16 0 0 20 0 8 0 391138813 211427328 29901 33554432000 134512640 146736320 4289007328 4105555908 135523326 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27739/tid=27821] ppid=27738 vsize=206472 CPUtime=9.1 cores=1,3,5,7
/proc/27739/task/27821/stat : 27821 (pb_cplex) R 27738 27738 27040 0 -1 4202560 3976 0 0 0 896 14 0 0 20 0 8 0 391138813 211427328 29901 33554432000 134512640 146736320 4289007328 4053787524 135850322 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=27739/tid=27823] ppid=27738 vsize=206472 CPUtime=8.65 cores=1,3,5,7
/proc/27739/task/27823/stat : 27823 (pb_cplex) R 27738 27738 27040 0 -1 4202560 9933 0 0 0 851 14 0 0 20 0 8 0 391138814 211427328 29901 33554432000 134512640 146736320 4289007328 4043301764 135850322 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27739/tid=27824] ppid=27738 vsize=206472 CPUtime=8.87 cores=1,3,5,7
/proc/27739/task/27824/stat : 27824 (pb_cplex) R 27738 27738 27040 0 -1 4202560 12450 0 0 0 877 10 0 0 20 0 8 0 391138814 211427328 29901 33554432000 134512640 146736320 4289007328 4032816104 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 81.99
Current children cumulated vsize (KiB) 215620

[startup+28.3004 s]
/proc/loadavg: 4.58 2.64 2.39 16/193 27853
/proc/meminfo: memFree=31675140/32873844 swapFree=7116/7116
[pid=27738] ppid=27736 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27738/stat : 27738 (run) S 27736 27738 27040 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391138146 9367552 270 33554432000 4194304 5064252 140734974721840 140734974720752 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27738/statm: 2287 270 229 213 0 72 0
[pid=27739] ppid=27738 vsize=207496 CPUtime=83.26 cores=1,3,5,7
/proc/27739/stat : 27739 (pb_cplex) S 27738 27738 27040 0 -1 4202496 179118 0 0 0 8185 141 0 0 20 0 8 0 391138146 212475904 30026 33554432000 134512640 146736320 4289007328 4289003728 144580073 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27739/statm: 51874 30026 978 2985 0 48808 0
[pid=27739/tid=27817] ppid=27738 vsize=207496 CPUtime=8.94 cores=1,3,5,7
/proc/27739/task/27817/stat : 27817 (pb_cplex) R 27738 27738 27040 0 -1 4202560 16763 0 0 0 879 15 0 0 20 0 8 0 391138813 212475904 30026 33554432000 134512640 146736320 4289007328 4074099712 137064067 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=27739/tid=27818] ppid=27738 vsize=207496 CPUtime=8.56 cores=1,3,5,7
/proc/27739/task/27818/stat : 27818 (pb_cplex) S 27738 27738 27040 0 -1 4202560 5988 0 0 0 843 13 0 0 20 0 8 0 391138813 212475904 30026 33554432000 134512640 146736320 4289007328 4084588176 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27739/tid=27819] ppid=27738 vsize=207496 CPUtime=8.62 cores=1,3,5,7
/proc/27739/task/27819/stat : 27819 (pb_cplex) R 27738 27738 27040 0 -1 4202560 22754 0 0 0 849 13 0 0 20 0 8 0 391138813 212475904 30026 33554432000 134512640 146736320 4289007328 4095071208 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27739/tid=27820] ppid=27738 vsize=207496 CPUtime=10.43 cores=1,3,5,7
/proc/27739/task/27820/stat : 27820 (pb_cplex) S 27738 27738 27040 0 -1 4202560 17108 0 0 0 1026 17 0 0 20 0 8 0 391138813 212475904 30026 33554432000 134512640 146736320 4289007328 4105559696 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27739/tid=27821] ppid=27738 vsize=207496 CPUtime=9.29 cores=1,3,5,7
/proc/27739/task/27821/stat : 27821 (pb_cplex) S 27738 27738 27040 0 -1 4202560 3976 0 0 0 914 15 0 0 20 0 8 0 391138813 212475904 30026 33554432000 134512640 146736320 4289007328 4053790352 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27739/tid=27823] ppid=27738 vsize=207496 CPUtime=8.81 cores=1,3,5,7
/proc/27739/task/27823/stat : 27823 (pb_cplex) S 27738 27738 27040 0 -1 4202560 9933 0 0 0 867 14 0 0 20 0 8 0 391138814 212475904 30026 33554432000 134512640 146736320 4289007328 4043304592 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27739/tid=27824] ppid=27738 vsize=207496 CPUtime=9.05 cores=1,3,5,7
/proc/27739/task/27824/stat : 27824 (pb_cplex) S 27738 27738 27040 0 -1 4202560 12638 0 0 0 895 10 0 0 20 0 8 0 391138814 212475904 30026 33554432000 134512640 146736320 4289007328 4032818832 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 83.26
Current children cumulated vsize (KiB) 216644

[startup+28.5005 s]
/proc/loadavg: 4.58 2.64 2.39 16/193 27853
/proc/meminfo: memFree=31676008/32873844 swapFree=7116/7116
[pid=27738] ppid=27736 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27738/stat : 27738 (run) S 27736 27738 27040 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391138146 9367552 270 33554432000 4194304 5064252 140734974721840 140734974720752 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27738/statm: 2287 270 229 213 0 72 0
[pid=27739] ppid=27738 vsize=207496 CPUtime=83.92 cores=1,3,5,7
/proc/27739/stat : 27739 (pb_cplex) R 27738 27738 27040 0 -1 4202496 179118 0 0 0 8250 142 0 0 20 0 8 0 391138146 212475904 30026 33554432000 134512640 146736320 4289007328 4289000092 135854369 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27739/statm: 51874 30026 978 2985 0 48808 0
[pid=27739/tid=27817] ppid=27738 vsize=207496 CPUtime=9.05 cores=1,3,5,7
/proc/27739/task/27817/stat : 27817 (pb_cplex) R 27738 27738 27040 0 -1 4202560 16763 0 0 0 890 15 0 0 20 0 8 0 391138813 212475904 30026 33554432000 134512640 146736320 4289007328 4074100280 137386691 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=27739/tid=27818] ppid=27738 vsize=207496 CPUtime=8.64 cores=1,3,5,7
/proc/27739/task/27818/stat : 27818 (pb_cplex) R 27738 27738 27040 0 -1 4202560 5988 0 0 0 850 14 0 0 20 0 8 0 391138813 212475904 30026 33554432000 134512640 146736320 4289007328 4084584428 135454093 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=27739/tid=27819] ppid=27738 vsize=207496 CPUtime=8.72 cores=1,3,5,7
/proc/27739/task/27819/stat : 27819 (pb_cplex) S 27738 27738 27040 0 -1 4202560 22754 0 0 0 859 13 0 0 20 0 8 0 391138813 212475904 30026 33554432000 134512640 146736320 4289007328 4095073936 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27739/tid=27820] ppid=27738 vsize=207496 CPUtime=10.49 cores=1,3,5,7
/proc/27739/task/27820/stat : 27820 (pb_cplex) R 27738 27738 27040 0 -1 4202560 17108 0 0 0 1032 17 0 0 20 0 8 0 391138813 212475904 30026 33554432000 134512640 146736320 4289007328 4105557632 137412690 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27739/tid=27821] ppid=27738 vsize=207496 CPUtime=9.36 cores=1,3,5,7
/proc/27739/task/27821/stat : 27821 (pb_cplex) R 27738 27738 27040 0 -1 4202560 3976 0 0 0 921 15 0 0 20 0 8 0 391138813 212475904 30026 33554432000 134512640 146736320 4289007328 4053786604 135454096 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27739/tid=27823] ppid=27738 vsize=207496 CPUtime=8.89 cores=1,3,5,7
/proc/27739/task/27823/stat : 27823 (pb_cplex) R 27738 27738 27040 0 -1 4202560 9933 0 0 0 875 14 0 0 20 0 8 0 391138814 212475904 30026 33554432000 134512640 146736320 4289007328 4043300788 135451440 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27739/tid=27824] ppid=27738 vsize=207496 CPUtime=9.13 cores=1,3,5,7
/proc/27739/task/27824/stat : 27824 (pb_cplex) R 27738 27738 27040 0 -1 4202560 12638 0 0 0 903 10 0 0 20 0 8 0 391138814 212475904 30026 33554432000 134512640 146736320 4289007328 4032815100 135526863 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 83.92
Current children cumulated vsize (KiB) 216644

[startup+28.6072 s]
/proc/loadavg: 4.58 2.64 2.39 16/193 27853
/proc/meminfo: memFree=31676008/32873844 swapFree=7116/7116
[pid=27738] ppid=27736 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27738/stat : 27738 (run) S 27736 27738 27040 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391138146 9367552 270 33554432000 4194304 5064252 140734974721840 140734974720752 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27738/statm: 2287 270 229 213 0 72 0
[pid=27739] ppid=27738 vsize=206472 CPUtime=84.22 cores=1,3,5,7
/proc/27739/stat : 27739 (pb_cplex) R 27738 27738 27040 0 -1 4202496 179119 0 0 0 8280 142 0 0 20 0 8 0 391138146 211427328 29930 33554432000 134512640 146736320 4289007328 4289001920 137412864 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27739/statm: 51618 29930 978 2985 0 48552 0
[pid=27739/tid=27817] ppid=27738 vsize=206472 CPUtime=9.08 cores=1,3,5,7
/proc/27739/task/27817/stat : 27817 (pb_cplex) S 27738 27738 27040 0 -1 4202560 16763 0 0 0 893 15 0 0 20 0 8 0 391138813 211427328 29930 33554432000 134512640 146736320 4289007328 4074102416 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27739/tid=27818] ppid=27738 vsize=206472 CPUtime=8.68 cores=1,3,5,7
/proc/27739/task/27818/stat : 27818 (pb_cplex) R 27738 27738 27040 0 -1 4202560 5988 0 0 0 854 14 0 0 20 0 8 0 391138813 211427328 29930 33554432000 134512640 146736320 4289007328 4084584420 144580332 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27739/tid=27819] ppid=27738 vsize=206472 CPUtime=8.75 cores=1,3,5,7
/proc/27739/task/27819/stat : 27819 (pb_cplex) R 27738 27738 27040 0 -1 4202560 22754 0 0 0 862 13 0 0 20 0 8 0 391138813 211427328 29930 33554432000 134512640 146736320 4289007328 4095071108 135850319 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27739/tid=27820] ppid=27738 vsize=206472 CPUtime=10.52 cores=1,3,5,7
/proc/27739/task/27820/stat : 27820 (pb_cplex) R 27738 27738 27040 0 -1 4202560 17108 0 0 0 1035 17 0 0 20 0 8 0 391138813 211427328 29930 33554432000 134512640 146736320 4289007328 4105555988 135455297 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=27739/tid=27821] ppid=27738 vsize=206472 CPUtime=9.42 cores=1,3,5,7
/proc/27739/task/27821/stat : 27821 (pb_cplex) S 27738 27738 27040 0 -1 4202560 3976 0 0 0 927 15 0 0 20 0 8 0 391138813 211427328 29930 33554432000 134512640 146736320 4289007328 4053790352 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27739/tid=27823] ppid=27738 vsize=206472 CPUtime=8.92 cores=1,3,5,7
/proc/27739/task/27823/stat : 27823 (pb_cplex) R 27738 27738 27040 0 -1 4202560 9933 0 0 0 878 14 0 0 20 0 8 0 391138814 211427328 29930 33554432000 134512640 146736320 4289007328 4043303512 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27739/tid=27824] ppid=27738 vsize=206472 CPUtime=9.16 cores=1,3,5,7
/proc/27739/task/27824/stat : 27824 (pb_cplex) R 27738 27738 27040 0 -1 4202560 12638 0 0 0 906 10 0 0 20 0 8 0 391138814 211427328 29930 33554432000 134512640 146736320 4289007328 4032816780 137381081 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 84.22
Current children cumulated vsize (KiB) 215620

Child status: 0
Real time (s): 28.6539
CPU time (s): 84.4462
CPU user time (s): 82.9034
CPU system time (s): 1.54277
CPU usage (%): 294.711
Max. virtual memory (cumulated for all children) (KiB): 223096

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 82.9034
system time used= 1.54276
maximum resident set size= 126304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 179508
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= 13875
involuntary context switches= 6261

runsolver used 0.05999 second user time and 0.226965 second system time

The end