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-3734832-1339247582/watcher-3734832-1339247582 -o /tmp/evaluation-result-3734832-1339247582/solver-3734832-1339247582 -C 1800 -W 1900 -M 15500 run HOME/instance-3734832-1339247582.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: 10.66 8.40 4.05 4/182 17053
/proc/meminfo: memFree=28563328/32873624 swapFree=7112/7112
[pid=17053] ppid=17051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17053/stat : 17053 (run) S 17051 17053 16516 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390883649 9367552 270 33554432000 4194304 5064252 140736823126000 140736823124912 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17053/statm: 2287 270 229 213 0 72 0
[startup+0.0764041 s]
/proc/loadavg: 10.66 8.40 4.05 4/182 17053
/proc/meminfo: memFree=28563328/32873624 swapFree=7112/7112
[pid=17053] ppid=17051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17053/stat : 17053 (run) S 17051 17053 16516 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390883649 9367552 270 33554432000 4194304 5064252 140736823126000 140736823124912 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17053/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100191 s]
/proc/loadavg: 10.66 8.40 4.05 4/182 17053
/proc/meminfo: memFree=28563328/32873624 swapFree=7112/7112
[pid=17053] ppid=17051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17053/stat : 17053 (run) S 17051 17053 16516 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390883649 9367552 270 33554432000 4194304 5064252 140736823126000 140736823124912 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17053/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300117 s]
/proc/loadavg: 10.66 8.40 4.05 4/182 17053
/proc/meminfo: memFree=28563328/32873624 swapFree=7112/7112
[pid=17053] ppid=17051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17053/stat : 17053 (run) S 17051 17053 16516 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390883649 9367552 270 33554432000 4194304 5064252 140736823126000 140736823124912 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17053/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700112 s]
/proc/loadavg: 10.66 8.40 4.05 4/182 17053
/proc/meminfo: memFree=28563328/32873624 swapFree=7112/7112
[pid=17053] ppid=17051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17053/stat : 17053 (run) S 17051 17053 16516 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390883649 9367552 270 33554432000 4194304 5064252 140736823126000 140736823124912 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17053/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50031 s]
/proc/loadavg: 9.89 8.28 4.03 4/191 17076
/proc/meminfo: memFree=28549416/32873624 swapFree=7112/7112
[pid=17053] ppid=17051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17053/stat : 17053 (run) S 17051 17053 16516 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390883649 9367552 270 33554432000 4194304 5064252 140736823126000 140736823124912 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17053/statm: 2287 270 229 213 0 72 0
[pid=17054] ppid=17053 vsize=96288 CPUtime=3.48 cores=1,3,5,7
/proc/17054/stat : 17054 (pb_cplex) S 17053 17053 16516 0 -1 4202496 3759 0 0 0 313 35 0 0 20 0 8 0 390883649 98598912 4321 33554432000 134512640 146736320 4286611824 4286608208 144580073 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17054/statm: 24072 4321 950 2985 0 21006 0
[pid=17054/tid=17070] ppid=17053 vsize=96288 CPUtime=0.39 cores=1,3,5,7
/proc/17054/task/17070/stat : 17070 (pb_cplex) S 17053 17053 16516 0 -1 4202560 31 0 0 0 36 3 0 0 20 0 8 0 390883658 98598912 4321 33554432000 134512640 146736320 4286611824 4130958992 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17054/tid=17071] ppid=17053 vsize=96288 CPUtime=0.4 cores=1,3,5,7
/proc/17054/task/17071/stat : 17071 (pb_cplex) S 17053 17053 16516 0 -1 4202560 34 0 0 0 34 6 0 0 20 0 8 0 390883658 98598912 4321 33554432000 134512640 146736320 4286611824 4141444752 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17054/tid=17072] ppid=17053 vsize=96288 CPUtime=0.4 cores=1,3,5,7
/proc/17054/task/17072/stat : 17072 (pb_cplex) R 17053 17053 16516 0 -1 4202560 12 0 0 0 36 4 0 0 20 0 8 0 390883658 98598912 4321 33554432000 134512640 146736320 4286611824 4151928344 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=17054/tid=17073] ppid=17053 vsize=96288 CPUtime=0.4 cores=1,3,5,7
/proc/17054/task/17073/stat : 17073 (pb_cplex) S 17053 17053 16516 0 -1 4202560 25 0 0 0 35 5 0 0 20 0 8 0 390883658 98598912 4321 33554432000 134512640 146736320 4286611824 4120473232 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17054/tid=17074] ppid=17053 vsize=96288 CPUtime=0.4 cores=1,3,5,7
/proc/17054/task/17074/stat : 17074 (pb_cplex) S 17053 17053 16516 0 -1 4202560 60 0 0 0 36 4 0 0 20 0 8 0 390883658 98598912 4321 33554432000 134512640 146736320 4286611824 4108316304 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17054/tid=17075] ppid=17053 vsize=96288 CPUtime=0.39 cores=1,3,5,7
/proc/17054/task/17075/stat : 17075 (pb_cplex) S 17053 17053 16516 0 -1 4202560 1 0 0 0 34 5 0 0 20 0 8 0 390883658 98598912 4321 33554432000 134512640 146736320 4286611824 4097830544 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17054/tid=17076] ppid=17053 vsize=96288 CPUtime=0.4 cores=1,3,5,7
/proc/17054/task/17076/stat : 17076 (pb_cplex) S 17053 17053 16516 0 -1 4202560 13 0 0 0 35 5 0 0 20 0 8 0 390883658 98598912 4321 33554432000 134512640 146736320 4286611824 4070567568 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.48
Current children cumulated vsize (KiB) 105436
[startup+3.10031 s]
/proc/loadavg: 9.89 8.28 4.03 5/191 17076
/proc/meminfo: memFree=28549044/32873624 swapFree=7112/7112
[pid=17053] ppid=17051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17053/stat : 17053 (run) S 17051 17053 16516 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390883649 9367552 270 33554432000 4194304 5064252 140736823126000 140736823124912 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17053/statm: 2287 270 229 213 0 72 0
[pid=17054] ppid=17053 vsize=96288 CPUtime=7.4 cores=1,3,5,7
/proc/17054/stat : 17054 (pb_cplex) R 17053 17053 16516 0 -1 4202496 3760 0 0 0 661 79 0 0 20 0 8 0 390883649 98598912 4322 33554432000 134512640 146736320 4286611824 4286605460 139020899 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17054/statm: 24072 4322 950 2985 0 21006 0
[pid=17054/tid=17070] ppid=17053 vsize=96288 CPUtime=0.86 cores=1,3,5,7
/proc/17054/task/17070/stat : 17070 (pb_cplex) R 17053 17053 16516 0 -1 4202560 32 0 0 0 79 7 0 0 20 0 8 0 390883658 98598912 4322 33554432000 134512640 146736320 4286611824 4130957980 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17054/tid=17071] ppid=17053 vsize=96288 CPUtime=0.89 cores=1,3,5,7
/proc/17054/task/17071/stat : 17071 (pb_cplex) R 17053 17053 16516 0 -1 4202560 34 0 0 0 78 11 0 0 20 0 8 0 390883658 98598912 4322 33554432000 134512640 146736320 4286611824 4141443188 137018568 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=17054/tid=17072] ppid=17053 vsize=96288 CPUtime=0.88 cores=1,3,5,7
/proc/17054/task/17072/stat : 17072 (pb_cplex) R 17053 17053 16516 0 -1 4202560 12 0 0 0 77 11 0 0 20 0 8 0 390883658 98598912 4322 33554432000 134512640 146736320 4286611824 4151927784 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=17054/tid=17073] ppid=17053 vsize=96288 CPUtime=0.87 cores=1,3,5,7
/proc/17054/task/17073/stat : 17073 (pb_cplex) R 17053 17053 16516 0 -1 4202560 25 0 0 0 76 11 0 0 20 0 8 0 390883658 98598912 4322 33554432000 134512640 146736320 4286611824 4120470504 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17054/tid=17074] ppid=17053 vsize=96288 CPUtime=0.89 cores=1,3,5,7
/proc/17054/task/17074/stat : 17074 (pb_cplex) R 17053 17053 16516 0 -1 4202560 60 0 0 0 79 10 0 0 20 0 8 0 390883658 98598912 4322 33554432000 134512640 146736320 4286611824 4108316304 144580073 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=17054/tid=17075] ppid=17053 vsize=96288 CPUtime=0.87 cores=1,3,5,7
/proc/17054/task/17075/stat : 17075 (pb_cplex) S 17053 17053 16516 0 -1 4202560 1 0 0 0 78 9 0 0 20 0 8 0 390883658 98598912 4322 33554432000 134512640 146736320 4286611824 4097830544 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17054/tid=17076] ppid=17053 vsize=96288 CPUtime=0.89 cores=1,3,5,7
/proc/17054/task/17076/stat : 17076 (pb_cplex) S 17053 17053 16516 0 -1 4202560 13 0 0 0 78 11 0 0 20 0 8 0 390883658 98598912 4322 33554432000 134512640 146736320 4286611824 4070567568 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.4
Current children cumulated vsize (KiB) 105436
[startup+6.30031 s]
/proc/loadavg: 9.18 8.16 4.01 6/191 17076
/proc/meminfo: memFree=28547448/32873624 swapFree=7112/7112
[pid=17053] ppid=17051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17053/stat : 17053 (run) S 17051 17053 16516 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390883649 9367552 270 33554432000 4194304 5064252 140736823126000 140736823124912 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17053/statm: 2287 270 229 213 0 72 0
[pid=17054] ppid=17053 vsize=97312 CPUtime=15.24 cores=1,3,5,7
/proc/17054/stat : 17054 (pb_cplex) R 17053 17053 16516 0 -1 4202496 4039 0 0 0 1359 165 0 0 20 0 8 0 390883649 99647488 4547 33554432000 134512640 146736320 4286611824 4286608060 144580332 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17054/statm: 24328 4547 950 2985 0 21262 0
[pid=17054/tid=17070] ppid=17053 vsize=97312 CPUtime=1.83 cores=1,3,5,7
/proc/17054/task/17070/stat : 17070 (pb_cplex) R 17053 17053 16516 0 -1 4202560 65 0 0 0 166 17 0 0 20 0 8 0 390883658 99647488 4547 33554432000 134512640 146736320 4286611824 4130958820 144580073 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=17054/tid=17071] ppid=17053 vsize=97312 CPUtime=1.85 cores=1,3,5,7
/proc/17054/task/17071/stat : 17071 (pb_cplex) S 17053 17053 16516 0 -1 4202560 57 0 0 0 163 22 0 0 20 0 8 0 390883658 99647488 4547 33554432000 134512640 146736320 4286611824 4141444580 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17054/tid=17072] ppid=17053 vsize=97312 CPUtime=1.83 cores=1,3,5,7
/proc/17054/task/17072/stat : 17072 (pb_cplex) S 17053 17053 16516 0 -1 4202560 35 0 0 0 163 20 0 0 20 0 8 0 390883658 99647488 4547 33554432000 134512640 146736320 4286611824 4151930340 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17054/tid=17073] ppid=17053 vsize=97312 CPUtime=1.81 cores=1,3,5,7
/proc/17054/task/17073/stat : 17073 (pb_cplex) S 17053 17053 16516 0 -1 4202560 79 0 0 0 159 22 0 0 20 0 8 0 390883658 99647488 4547 33554432000 134512640 146736320 4286611824 4120473060 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17054/tid=17074] ppid=17053 vsize=97312 CPUtime=1.85 cores=1,3,5,7
/proc/17054/task/17074/stat : 17074 (pb_cplex) S 17053 17053 16516 0 -1 4202560 85 0 0 0 162 23 0 0 20 0 8 0 390883658 99647488 4547 33554432000 134512640 146736320 4286611824 4108316132 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17054/tid=17075] ppid=17053 vsize=97312 CPUtime=1.82 cores=1,3,5,7
/proc/17054/task/17075/stat : 17075 (pb_cplex) S 17053 17053 16516 0 -1 4202560 57 0 0 0 163 19 0 0 20 0 8 0 390883658 99647488 4547 33554432000 134512640 146736320 4286611824 4097830372 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17054/tid=17076] ppid=17053 vsize=97312 CPUtime=1.84 cores=1,3,5,7
/proc/17054/task/17076/stat : 17076 (pb_cplex) S 17053 17053 16516 0 -1 4202560 55 0 0 0 161 23 0 0 20 0 8 0 390883658 99647488 4547 33554432000 134512640 146736320 4286611824 4070567396 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 15.24
Current children cumulated vsize (KiB) 106460
[startup+12.7003 s]
/proc/loadavg: 9.08 8.15 4.04 13/191 17076
/proc/meminfo: memFree=28360572/32873624 swapFree=7112/7112
[pid=17053] ppid=17051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17053/stat : 17053 (run) S 17051 17053 16516 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390883649 9367552 270 33554432000 4194304 5064252 140736823126000 140736823124912 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17053/statm: 2287 270 229 213 0 72 0
[pid=17054] ppid=17053 vsize=97312 CPUtime=32.34 cores=1,3,5,7
/proc/17054/stat : 17054 (pb_cplex) S 17053 17053 16516 0 -1 4202496 4086 0 0 0 2847 387 0 0 20 0 8 0 390883649 99647488 4588 33554432000 134512640 146736320 4286611824 4286608208 144580073 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17054/statm: 24328 4588 950 2985 0 21262 0
[pid=17054/tid=17070] ppid=17053 vsize=97312 CPUtime=3.9 cores=1,3,5,7
/proc/17054/task/17070/stat : 17070 (pb_cplex) S 17053 17053 16516 0 -1 4202560 71 0 0 0 350 40 0 0 20 0 8 0 390883658 99647488 4588 33554432000 134512640 146736320 4286611824 4130958992 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17054/tid=17071] ppid=17053 vsize=97312 CPUtime=3.99 cores=1,3,5,7
/proc/17054/task/17071/stat : 17071 (pb_cplex) R 17053 17053 16516 0 -1 4202560 64 0 0 0 345 54 0 0 20 0 8 0 390883658 99647488 4588 33554432000 134512640 146736320 4286611824 4141442584 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17054/tid=17072] ppid=17053 vsize=97312 CPUtime=3.94 cores=1,3,5,7
/proc/17054/task/17072/stat : 17072 (pb_cplex) R 17053 17053 16516 0 -1 4202560 43 0 0 0 344 50 0 0 20 0 8 0 390883658 99647488 4588 33554432000 134512640 146736320 4286611824 4151927784 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=17054/tid=17073] ppid=17053 vsize=97312 CPUtime=3.83 cores=1,3,5,7
/proc/17054/task/17073/stat : 17073 (pb_cplex) S 17053 17053 16516 0 -1 4202560 83 0 0 0 339 44 0 0 20 0 8 0 390883658 99647488 4588 33554432000 134512640 146736320 4286611824 4120473232 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17054/tid=17074] ppid=17053 vsize=97312 CPUtime=3.92 cores=1,3,5,7
/proc/17054/task/17074/stat : 17074 (pb_cplex) S 17053 17053 16516 0 -1 4202560 92 0 0 0 345 47 0 0 20 0 8 0 390883658 99647488 4588 33554432000 134512640 146736320 4286611824 4108316304 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17054/tid=17075] ppid=17053 vsize=97312 CPUtime=3.94 cores=1,3,5,7
/proc/17054/task/17075/stat : 17075 (pb_cplex) R 17053 17053 16516 0 -1 4202560 63 0 0 0 343 51 0 0 20 0 8 0 390883658 99647488 4588 33554432000 134512640 146736320 4286611824 4097827680 135845854 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=17054/tid=17076] ppid=17053 vsize=97312 CPUtime=3.92 cores=1,3,5,7
/proc/17054/task/17076/stat : 17076 (pb_cplex) S 17053 17053 16516 0 -1 4202560 56 0 0 0 347 45 0 0 20 0 8 0 390883658 99647488 4588 33554432000 134512640 146736320 4286611824 4070567568 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 32.34
Current children cumulated vsize (KiB) 106460
[startup+25.5004 s]
/proc/loadavg: 8.68 8.11 4.09 8/191 17076
/proc/meminfo: memFree=28354072/32873624 swapFree=7112/7112
[pid=17053] ppid=17051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17053/stat : 17053 (run) S 17051 17053 16516 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390883649 9367552 270 33554432000 4194304 5064252 140736823126000 140736823124912 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17053/statm: 2287 270 229 213 0 72 0
[pid=17054] ppid=17053 vsize=99764 CPUtime=65.38 cores=1,3,5,7
/proc/17054/stat : 17054 (pb_cplex) S 17053 17053 16516 0 -1 4202496 4508 0 0 0 5741 797 0 0 20 0 8 0 390883649 102158336 4935 33554432000 134512640 146736320 4286611824 4286608208 144580073 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17054/statm: 24941 4935 950 2985 0 21875 0
[pid=17054/tid=17070] ppid=17053 vsize=99764 CPUtime=8 cores=1,3,5,7
/proc/17054/task/17070/stat : 17070 (pb_cplex) S 17053 17053 16516 0 -1 4202560 106 0 0 0 713 87 0 0 20 0 8 0 390883658 102158336 4935 33554432000 134512640 146736320 4286611824 4130958992 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17054/tid=17071] ppid=17053 vsize=99764 CPUtime=8.13 cores=1,3,5,7
/proc/17054/task/17071/stat : 17071 (pb_cplex) S 17053 17053 16516 0 -1 4202560 165 0 0 0 701 112 0 0 20 0 8 0 390883658 102158336 4935 33554432000 134512640 146736320 4286611824 4141444752 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17054/tid=17072] ppid=17053 vsize=99764 CPUtime=8 cores=1,3,5,7
/proc/17054/task/17072/stat : 17072 (pb_cplex) R 17053 17053 16516 0 -1 4202560 80 0 0 0 700 100 0 0 20 0 8 0 390883658 102158336 4935 33554432000 134512640 146736320 4286611824 4151930512 144580073 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17054/tid=17073] ppid=17053 vsize=99764 CPUtime=7.81 cores=1,3,5,7
/proc/17054/task/17073/stat : 17073 (pb_cplex) R 17053 17053 16516 0 -1 4202560 86 0 0 0 688 93 0 0 20 0 8 0 390883658 102158336 4935 33554432000 134512640 146736320 4286611824 4120470416 135667470 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=17054/tid=17074] ppid=17053 vsize=99764 CPUtime=7.94 cores=1,3,5,7
/proc/17054/task/17074/stat : 17074 (pb_cplex) R 17053 17053 16516 0 -1 4202560 131 0 0 0 699 95 0 0 20 0 8 0 390883658 102158336 4935 33554432000 134512640 146736320 4286611824 4108314840 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=17054/tid=17075] ppid=17053 vsize=99764 CPUtime=8.03 cores=1,3,5,7
/proc/17054/task/17075/stat : 17075 (pb_cplex) S 17053 17053 16516 0 -1 4202560 140 0 0 0 695 108 0 0 20 0 8 0 390883658 102158336 4935 33554432000 134512640 146736320 4286611824 4097830544 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17054/tid=17076] ppid=17053 vsize=99764 CPUtime=7.92 cores=1,3,5,7
/proc/17054/task/17076/stat : 17076 (pb_cplex) R 17053 17053 16516 0 -1 4202560 133 0 0 0 700 92 0 0 20 0 8 0 390883658 102158336 4935 33554432000 134512640 146736320 4286611824 4070565400 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 65.38
Current children cumulated vsize (KiB) 108912
[startup+51.1005 s]
/proc/loadavg: 7.56 7.88 4.12 14/191 17076
/proc/meminfo: memFree=28337260/32873624 swapFree=7112/7112
[pid=17053] ppid=17051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17053/stat : 17053 (run) S 17051 17053 16516 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390883649 9367552 270 33554432000 4194304 5064252 140736823126000 140736823124912 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17053/statm: 2287 270 229 213 0 72 0
################
# More data... #
################
/proc/17054/stat : 17054 (pb_cplex) R 17053 17053 16516 0 -1 4202496 9328 0 0 0 101901 16164 0 0 20 0 8 0 390883649 125063168 9281 33554432000 134512640 146736320 4286611824 4286608204 144580332 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17054/statm: 30533 9281 950 2985 0 27467 0
[pid=17054/tid=17070] ppid=17053 vsize=122132 CPUtime=143.96 cores=1,3,5,7
/proc/17054/task/17070/stat : 17070 (pb_cplex) S 17053 17053 16516 0 -1 4202560 667 0 0 0 12482 1914 0 0 20 0 8 0 390883658 125063168 9281 33554432000 134512640 146736320 4286611824 4130958820 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17054/tid=17071] ppid=17053 vsize=122132 CPUtime=145.57 cores=1,3,5,7
/proc/17054/task/17071/stat : 17071 (pb_cplex) S 17053 17053 16516 0 -1 4202560 662 0 0 0 12450 2107 0 0 20 0 8 0 390883658 125063168 9281 33554432000 134512640 146736320 4286611824 4141444580 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17054/tid=17072] ppid=17053 vsize=122132 CPUtime=144.11 cores=1,3,5,7
/proc/17054/task/17072/stat : 17072 (pb_cplex) S 17053 17053 16516 0 -1 4202560 583 0 0 0 12374 2037 0 0 20 0 8 0 390883658 125063168 9281 33554432000 134512640 146736320 4286611824 4151930340 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17054/tid=17073] ppid=17053 vsize=122132 CPUtime=143.87 cores=1,3,5,7
/proc/17054/task/17073/stat : 17073 (pb_cplex) S 17053 17053 16516 0 -1 4202560 609 0 0 0 12390 1997 0 0 20 0 8 0 390883658 125063168 9281 33554432000 134512640 146736320 4286611824 4120473060 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17054/tid=17074] ppid=17053 vsize=122132 CPUtime=143.82 cores=1,3,5,7
/proc/17054/task/17074/stat : 17074 (pb_cplex) S 17053 17053 16516 0 -1 4202560 740 0 0 0 12403 1979 0 0 20 0 8 0 390883658 125063168 9281 33554432000 134512640 146736320 4286611824 4108316132 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17054/tid=17075] ppid=17053 vsize=122132 CPUtime=144.24 cores=1,3,5,7
/proc/17054/task/17075/stat : 17075 (pb_cplex) S 17053 17053 16516 0 -1 4202560 734 0 0 0 12380 2044 0 0 20 0 8 0 390883658 125063168 9281 33554432000 134512640 146736320 4286611824 4097830372 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17054/tid=17076] ppid=17053 vsize=122132 CPUtime=143.97 cores=1,3,5,7
/proc/17054/task/17076/stat : 17076 (pb_cplex) S 17053 17053 16516 0 -1 4202560 978 0 0 0 12486 1911 0 0 20 0 8 0 390883658 125063168 9281 33554432000 134512640 146736320 4286611824 4070567396 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1180.65
Current children cumulated vsize (KiB) 131280
[startup+522.3 s]
/proc/loadavg: 4.97 6.12 4.77 10/191 17095
/proc/meminfo: memFree=28230620/32873624 swapFree=7112/7112
[pid=17053] ppid=17051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17053/stat : 17053 (run) S 17051 17053 16516 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390883649 9367552 270 33554432000 4194304 5064252 140736823126000 140736823124912 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17053/statm: 2287 270 229 213 0 72 0
[pid=17054] ppid=17053 vsize=122132 CPUtime=1328.13 cores=1,3,5,7
/proc/17054/stat : 17054 (pb_cplex) R 17053 17053 16516 0 -1 4202496 9772 0 0 0 114596 18217 0 0 20 0 8 0 390883649 125063168 9724 33554432000 134512640 146736320 4286611824 4286606976 136960170 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17054/statm: 30533 9724 950 2985 0 27467 0
[pid=17054/tid=17070] ppid=17053 vsize=122132 CPUtime=161.95 cores=1,3,5,7
/proc/17054/task/17070/stat : 17070 (pb_cplex) R 17053 17053 16516 0 -1 4202560 724 0 0 0 14024 2171 0 0 20 0 8 0 390883658 125063168 9724 33554432000 134512640 146736320 4286611824 4130957720 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17054/tid=17071] ppid=17053 vsize=122132 CPUtime=163.55 cores=1,3,5,7
/proc/17054/task/17071/stat : 17071 (pb_cplex) R 17053 17053 16516 0 -1 4202560 718 0 0 0 13980 2375 0 0 20 0 8 0 390883658 125063168 9724 33554432000 134512640 146736320 4286611824 4141442024 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=17054/tid=17072] ppid=17053 vsize=122132 CPUtime=162.21 cores=1,3,5,7
/proc/17054/task/17072/stat : 17072 (pb_cplex) R 17053 17053 16516 0 -1 4202560 642 0 0 0 13927 2294 0 0 20 0 8 0 390883658 125063168 9724 33554432000 134512640 146736320 4286611824 4151928344 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17054/tid=17073] ppid=17053 vsize=122132 CPUtime=161.7 cores=1,3,5,7
/proc/17054/task/17073/stat : 17073 (pb_cplex) S 17053 17053 16516 0 -1 4202560 664 0 0 0 13907 2263 0 0 20 0 8 0 390883658 125063168 9724 33554432000 134512640 146736320 4286611824 4120473232 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17054/tid=17074] ppid=17053 vsize=122132 CPUtime=161.87 cores=1,3,5,7
/proc/17054/task/17074/stat : 17074 (pb_cplex) R 17053 17053 16516 0 -1 4202560 795 0 0 0 13951 2236 0 0 20 0 8 0 390883658 125063168 9724 33554432000 134512640 146736320 4286611824 4108316304 144580073 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=17054/tid=17075] ppid=17053 vsize=122132 CPUtime=162.14 cores=1,3,5,7
/proc/17054/task/17075/stat : 17075 (pb_cplex) R 17053 17053 16516 0 -1 4202560 793 0 0 0 13926 2288 0 0 20 0 8 0 390883658 125063168 9724 33554432000 134512640 146736320 4286611824 4097830544 144580073 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=17054/tid=17076] ppid=17053 vsize=122132 CPUtime=161.94 cores=1,3,5,7
/proc/17054/task/17076/stat : 17076 (pb_cplex) S 17053 17053 16516 0 -1 4202560 1028 0 0 0 14038 2156 0 0 20 0 8 0 390883658 125063168 9724 33554432000 134512640 146736320 4286611824 4070567568 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1328.13
Current children cumulated vsize (KiB) 131280
[startup+582.3 s]
/proc/loadavg: 4.34 5.72 4.71 15/191 17175
/proc/meminfo: memFree=28806120/32873624 swapFree=7112/7112
[pid=17053] ppid=17051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17053/stat : 17053 (run) S 17051 17053 16516 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390883649 9367552 270 33554432000 4194304 5064252 140736823126000 140736823124912 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17053/statm: 2287 270 229 213 0 72 0
[pid=17054] ppid=17053 vsize=122132 CPUtime=1477.38 cores=1,3,5,7
/proc/17054/stat : 17054 (pb_cplex) S 17053 17053 16516 0 -1 4202496 10250 0 0 0 127417 20321 0 0 20 0 8 0 390883649 125063168 10202 33554432000 134512640 146736320 4286611824 4286608208 144580073 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17054/statm: 30533 10202 950 2985 0 27467 0
[pid=17054/tid=17070] ppid=17053 vsize=122132 CPUtime=180.01 cores=1,3,5,7
/proc/17054/task/17070/stat : 17070 (pb_cplex) S 17053 17053 16516 0 -1 4202560 787 0 0 0 15570 2431 0 0 20 0 8 0 390883658 125063168 10202 33554432000 134512640 146736320 4286611824 4130958992 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17054/tid=17071] ppid=17053 vsize=122132 CPUtime=181.63 cores=1,3,5,7
/proc/17054/task/17071/stat : 17071 (pb_cplex) S 17053 17053 16516 0 -1 4202560 777 0 0 0 15529 2634 0 0 20 0 8 0 390883658 125063168 10202 33554432000 134512640 146736320 4286611824 4141444752 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17054/tid=17072] ppid=17053 vsize=122132 CPUtime=180.44 cores=1,3,5,7
/proc/17054/task/17072/stat : 17072 (pb_cplex) S 17053 17053 16516 0 -1 4202560 703 0 0 0 15483 2561 0 0 20 0 8 0 390883658 125063168 10202 33554432000 134512640 146736320 4286611824 4151930512 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17054/tid=17073] ppid=17053 vsize=122132 CPUtime=179.81 cores=1,3,5,7
/proc/17054/task/17073/stat : 17073 (pb_cplex) S 17053 17053 16516 0 -1 4202560 722 0 0 0 15461 2520 0 0 20 0 8 0 390883658 125063168 10202 33554432000 134512640 146736320 4286611824 4120473232 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17054/tid=17074] ppid=17053 vsize=122132 CPUtime=180.1 cores=1,3,5,7
/proc/17054/task/17074/stat : 17074 (pb_cplex) R 17053 17053 16516 0 -1 4202560 860 0 0 0 15516 2494 0 0 20 0 8 0 390883658 125063168 10202 33554432000 134512640 146736320 4286611824 4108316268 144580073 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=17054/tid=17075] ppid=17053 vsize=122132 CPUtime=180.41 cores=1,3,5,7
/proc/17054/task/17075/stat : 17075 (pb_cplex) S 17053 17053 16516 0 -1 4202560 852 0 0 0 15482 2559 0 0 20 0 8 0 390883658 125063168 10202 33554432000 134512640 146736320 4286611824 4097830508 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17054/tid=17076] ppid=17053 vsize=122132 CPUtime=180.11 cores=1,3,5,7
/proc/17054/task/17076/stat : 17076 (pb_cplex) S 17053 17053 16516 0 -1 4202560 1082 0 0 0 15598 2413 0 0 20 0 8 0 390883658 125063168 10202 33554432000 134512640 146736320 4286611824 4070567532 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1477.38
Current children cumulated vsize (KiB) 131280
[startup+642.3 s]
/proc/loadavg: 4.16 5.41 4.66 4/191 17175
/proc/meminfo: memFree=28797080/32873624 swapFree=7112/7112
[pid=17053] ppid=17051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17053/stat : 17053 (run) S 17051 17053 16516 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390883649 9367552 270 33554432000 4194304 5064252 140736823126000 140736823124912 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17053/statm: 2287 270 229 213 0 72 0
[pid=17054] ppid=17053 vsize=143876 CPUtime=1626.42 cores=1,3,5,7
/proc/17054/stat : 17054 (pb_cplex) R 17053 17053 16516 0 -1 4202496 10780 0 0 0 140193 22449 0 0 20 0 8 0 390883649 147329024 10731 33554432000 134512640 146736320 4286611824 4286608208 144580073 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17054/statm: 35969 10731 950 2985 0 32903 0
[pid=17054/tid=17070] ppid=17053 vsize=143876 CPUtime=198.18 cores=1,3,5,7
/proc/17054/task/17070/stat : 17070 (pb_cplex) S 17053 17053 16516 0 -1 4202560 859 0 0 0 17125 2693 0 0 20 0 8 0 390883658 147329024 10731 33554432000 134512640 146736320 4286611824 4130958992 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17054/tid=17071] ppid=17053 vsize=143876 CPUtime=199.83 cores=1,3,5,7
/proc/17054/task/17071/stat : 17071 (pb_cplex) S 17053 17053 16516 0 -1 4202560 841 0 0 0 17086 2897 0 0 20 0 8 0 390883658 147329024 10731 33554432000 134512640 146736320 4286611824 4141444752 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17054/tid=17072] ppid=17053 vsize=143876 CPUtime=198.67 cores=1,3,5,7
/proc/17054/task/17072/stat : 17072 (pb_cplex) S 17053 17053 16516 0 -1 4202560 770 0 0 0 17031 2836 0 0 20 0 8 0 390883658 147329024 10731 33554432000 134512640 146736320 4286611824 4151930512 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17054/tid=17073] ppid=17053 vsize=143876 CPUtime=198.22 cores=1,3,5,7
/proc/17054/task/17073/stat : 17073 (pb_cplex) S 17053 17053 16516 0 -1 4202560 787 0 0 0 17044 2778 0 0 20 0 8 0 390883658 147329024 10731 33554432000 134512640 146736320 4286611824 4120473232 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17054/tid=17074] ppid=17053 vsize=143876 CPUtime=198.31 cores=1,3,5,7
/proc/17054/task/17074/stat : 17074 (pb_cplex) S 17053 17053 16516 0 -1 4202560 920 0 0 0 17074 2757 0 0 20 0 8 0 390883658 147329024 10731 33554432000 134512640 146736320 4286611824 4108316304 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17054/tid=17075] ppid=17053 vsize=143876 CPUtime=198.62 cores=1,3,5,7
/proc/17054/task/17075/stat : 17075 (pb_cplex) S 17053 17053 16516 0 -1 4202560 918 0 0 0 17041 2821 0 0 20 0 8 0 390883658 147329024 10731 33554432000 134512640 146736320 4286611824 4097830544 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17054/tid=17076] ppid=17053 vsize=143876 CPUtime=198.36 cores=1,3,5,7
/proc/17054/task/17076/stat : 17076 (pb_cplex) S 17053 17053 16516 0 -1 4202560 1147 0 0 0 17161 2675 0 0 20 0 8 0 390883658 147329024 10731 33554432000 134512640 146736320 4286611824 4070567568 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1626.42
Current children cumulated vsize (KiB) 153024
[startup+702.301 s]
/proc/loadavg: 5.22 5.46 4.72 12/191 17175
/proc/meminfo: memFree=28789968/32873624 swapFree=7112/7112
[pid=17053] ppid=17051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17053/stat : 17053 (run) S 17051 17053 16516 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390883649 9367552 270 33554432000 4194304 5064252 140736823126000 140736823124912 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17053/statm: 2287 270 229 213 0 72 0
[pid=17054] ppid=17053 vsize=143876 CPUtime=1779.16 cores=1,3,5,7
/proc/17054/stat : 17054 (pb_cplex) R 17053 17053 16516 0 -1 4202496 11265 0 0 0 153340 24576 0 0 20 0 8 0 390883649 147329024 11216 33554432000 134512640 146736320 4286611824 4286606156 137381203 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17054/statm: 35969 11216 950 2985 0 32903 0
[pid=17054/tid=17070] ppid=17053 vsize=143876 CPUtime=216.79 cores=1,3,5,7
/proc/17054/task/17070/stat : 17070 (pb_cplex) R 17053 17053 16516 0 -1 4202560 921 0 0 0 18737 2942 0 0 20 0 8 0 390883658 147329024 11216 33554432000 134512640 146736320 4286611824 4130957604 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17054/tid=17071] ppid=17053 vsize=143876 CPUtime=218.7 cores=1,3,5,7
/proc/17054/task/17071/stat : 17071 (pb_cplex) S 17053 17053 16516 0 -1 4202560 897 0 0 0 18696 3174 0 0 20 0 8 0 390883658 147329024 11216 33554432000 134512640 146736320 4286611824 4141444752 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17054/tid=17072] ppid=17053 vsize=143876 CPUtime=217.38 cores=1,3,5,7
/proc/17054/task/17072/stat : 17072 (pb_cplex) R 17053 17053 16516 0 -1 4202560 831 0 0 0 18637 3101 0 0 20 0 8 0 390883658 147329024 11216 33554432000 134512640 146736320 4286611824 4151927784 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=17054/tid=17073] ppid=17053 vsize=143876 CPUtime=216.95 cores=1,3,5,7
/proc/17054/task/17073/stat : 17073 (pb_cplex) R 17053 17053 16516 0 -1 4202560 849 0 0 0 18644 3051 0 0 20 0 8 0 390883658 147329024 11216 33554432000 134512640 146736320 4286611824 4120469784 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17054/tid=17074] ppid=17053 vsize=143876 CPUtime=216.93 cores=1,3,5,7
/proc/17054/task/17074/stat : 17074 (pb_cplex) S 17053 17053 16516 0 -1 4202560 982 0 0 0 18681 3012 0 0 20 0 8 0 390883658 147329024 11216 33554432000 134512640 146736320 4286611824 4108316304 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17054/tid=17075] ppid=17053 vsize=143876 CPUtime=217.31 cores=1,3,5,7
/proc/17054/task/17075/stat : 17075 (pb_cplex) S 17053 17053 16516 0 -1 4202560 985 0 0 0 18635 3096 0 0 20 0 8 0 390883658 147329024 11216 33554432000 134512640 146736320 4286611824 4097830544 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17054/tid=17076] ppid=17053 vsize=143876 CPUtime=217.08 cores=1,3,5,7
/proc/17054/task/17076/stat : 17076 (pb_cplex) S 17053 17053 16516 0 -1 4202560 1204 0 0 0 18784 2924 0 0 20 0 8 0 390883658 147329024 11216 33554432000 134512640 146736320 4286611824 4070567568 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1779.16
Current children cumulated vsize (KiB) 153024
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+710.401 s]
/proc/loadavg: 5.02 5.41 4.72 4/191 17175
/proc/meminfo: memFree=28789844/32873624 swapFree=7112/7112
[pid=17053] ppid=17051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17053/stat : 17053 (run) S 17051 17053 16516 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390883649 9367552 270 33554432000 4194304 5064252 140736823126000 140736823124912 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17053/statm: 2287 270 229 213 0 72 0
[pid=17054] ppid=17053 vsize=143876 CPUtime=1800.2 cores=1,3,5,7
/proc/17054/stat : 17054 (pb_cplex) S 17053 17053 16516 0 -1 4202496 11320 0 0 0 155147 24873 0 0 20 0 8 0 390883649 147329024 11271 33554432000 134512640 146736320 4286611824 4286608208 144580073 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17054/statm: 35969 11271 950 2985 0 32903 0
[pid=17054/tid=17070] ppid=17053 vsize=143876 CPUtime=219.36 cores=1,3,5,7
/proc/17054/task/17070/stat : 17070 (pb_cplex) S 17053 17053 16516 0 -1 4202560 927 0 0 0 18957 2979 0 0 20 0 8 0 390883658 147329024 11271 33554432000 134512640 146736320 4286611824 4130958992 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17054/tid=17071] ppid=17053 vsize=143876 CPUtime=221.26 cores=1,3,5,7
/proc/17054/task/17071/stat : 17071 (pb_cplex) S 17053 17053 16516 0 -1 4202560 904 0 0 0 18921 3205 0 0 20 0 8 0 390883658 147329024 11271 33554432000 134512640 146736320 4286611824 4141444752 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17054/tid=17072] ppid=17053 vsize=143876 CPUtime=219.94 cores=1,3,5,7
/proc/17054/task/17072/stat : 17072 (pb_cplex) R 17053 17053 16516 0 -1 4202560 838 0 0 0 18857 3137 0 0 20 0 8 0 390883658 147329024 11271 33554432000 134512640 146736320 4286611824 4151930512 144580073 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=17054/tid=17073] ppid=17053 vsize=143876 CPUtime=219.49 cores=1,3,5,7
/proc/17054/task/17073/stat : 17073 (pb_cplex) S 17053 17053 16516 0 -1 4202560 855 0 0 0 18860 3089 0 0 20 0 8 0 390883658 147329024 11271 33554432000 134512640 146736320 4286611824 4120473232 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17054/tid=17074] ppid=17053 vsize=143876 CPUtime=219.49 cores=1,3,5,7
/proc/17054/task/17074/stat : 17074 (pb_cplex) S 17053 17053 16516 0 -1 4202560 990 0 0 0 18901 3048 0 0 20 0 8 0 390883658 147329024 11271 33554432000 134512640 146736320 4286611824 4108316304 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17054/tid=17075] ppid=17053 vsize=143876 CPUtime=219.87 cores=1,3,5,7
/proc/17054/task/17075/stat : 17075 (pb_cplex) S 17053 17053 16516 0 -1 4202560 992 0 0 0 18851 3136 0 0 20 0 8 0 390883658 147329024 11271 33554432000 134512640 146736320 4286611824 4097830544 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17054/tid=17076] ppid=17053 vsize=143876 CPUtime=219.6 cores=1,3,5,7
/proc/17054/task/17076/stat : 17076 (pb_cplex) S 17053 17053 16516 0 -1 4202560 1212 0 0 0 19003 2957 0 0 20 0 8 0 390883658 147329024 11271 33554432000 134512640 146736320 4286611824 4070567568 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 153024
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17053 and gives
# childrusage.ru_utime.tv_sec=1551
# childrusage.ru_utime.tv_usec=129192
# childrusage.ru_stime.tv_sec=248
# childrusage.ru_stime.tv_usec=897161
# CPU time returned by wait4() is 1800.03
# while last known CPU time is 1800.2
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 710.415
CPU time (s): 1800.2
CPU user time (s): 1551.47
CPU system time (s): 248.73
CPU usage (%): 253.401
Max. virtual memory (cumulated for all children) (KiB): 153024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1551.13
system time used= 248.897
maximum resident set size= 45092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11686
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= 45433312
involuntary context switches= 10002745
runsolver used 1.64275 second user time and 4.02339 second system time
The end