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-3732621-1339247361/watcher-3732621-1339247361 -o /tmp/evaluation-result-3732621-1339247361/solver-3732621-1339247361 -C 1800 -W 1900 -M 15500 run HOME/instance-3732621-1339247361.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: 12.26 9.78 4.91 4/184 31566
/proc/meminfo: memFree=30840532/32873844 swapFree=7124/7124
[pid=31566] ppid=31564 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31566/stat : 31566 (run) S 31564 31566 31228 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390861164 9367552 270 33554432000 4194304 5064252 140733712655744 140733712654656 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31566/statm: 2287 270 229 213 0 72 0
[startup+0.097994 s]
/proc/loadavg: 12.26 9.78 4.91 4/184 31566
/proc/meminfo: memFree=30840532/32873844 swapFree=7124/7124
[pid=31566] ppid=31564 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31566/stat : 31566 (run) S 31564 31566 31228 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390861164 9367552 270 33554432000 4194304 5064252 140733712655744 140733712654656 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31566/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100271 s]
/proc/loadavg: 12.26 9.78 4.91 4/184 31566
/proc/meminfo: memFree=30840532/32873844 swapFree=7124/7124
[pid=31566] ppid=31564 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31566/stat : 31566 (run) S 31564 31566 31228 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390861164 9367552 270 33554432000 4194304 5064252 140733712655744 140733712654656 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31566/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300178 s]
/proc/loadavg: 12.26 9.78 4.91 4/184 31566
/proc/meminfo: memFree=30840532/32873844 swapFree=7124/7124
[pid=31566] ppid=31564 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31566/stat : 31566 (run) S 31564 31566 31228 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390861164 9367552 270 33554432000 4194304 5064252 140733712655744 140733712654656 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31566/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700175 s]
/proc/loadavg: 12.26 9.78 4.91 4/184 31566
/proc/meminfo: memFree=30840532/32873844 swapFree=7124/7124
[pid=31566] ppid=31564 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31566/stat : 31566 (run) S 31564 31566 31228 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390861164 9367552 270 33554432000 4194304 5064252 140733712655744 140733712654656 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31566/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50022 s]
/proc/loadavg: 12.26 9.78 4.91 7/186 31568
/proc/meminfo: memFree=30833748/32873844 swapFree=7124/7124
[pid=31566] ppid=31564 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31566/stat : 31566 (run) S 31564 31566 31228 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390861164 9367552 270 33554432000 4194304 5064252 140733712655744 140733712654656 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31566/statm: 2287 270 229 213 0 72 0
[pid=31567] ppid=31566 vsize=100844 CPUtime=1.49 cores=0,2,4,6
/proc/31567/stat : 31567 (pb_cplex) R 31566 31566 31228 0 -1 4202496 5219 0 0 0 148 1 0 0 20 0 8 0 390861164 103264256 3946 33554432000 134512640 146736320 4294356016 4294347500 135457532 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31567/statm: 25211 3946 941 2985 0 22145 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 109992
[startup+3.10036 s]
/proc/loadavg: 12.26 9.78 4.91 7/193 31575
/proc/meminfo: memFree=30824516/32873844 swapFree=7124/7124
[pid=31566] ppid=31564 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31566/stat : 31566 (run) S 31564 31566 31228 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390861164 9367552 270 33554432000 4194304 5064252 140733712655744 140733712654656 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31566/statm: 2287 270 229 213 0 72 0
[pid=31567] ppid=31566 vsize=111404 CPUtime=4.94 cores=0,2,4,6
/proc/31567/stat : 31567 (pb_cplex) R 31566 31566 31228 0 -1 4202496 7182 0 0 0 492 2 0 0 20 0 8 0 390861164 114077696 5887 33554432000 134512640 146736320 4294356016 4294347088 135459535 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31567/statm: 27851 5887 941 2985 0 24785 0
[pid=31567/tid=31569] ppid=31566 vsize=111404 CPUtime=0.28 cores=0,2,4,6
/proc/31567/task/31569/stat : 31569 (pb_cplex) R 31566 31566 31228 0 -1 4202560 268 0 0 0 28 0 0 0 20 0 8 0 390861292 114077696 5887 33554432000 134512640 146736320 4294356016 4150284328 139044532 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=31567/tid=31570] ppid=31566 vsize=111404 CPUtime=0.3 cores=0,2,4,6
/proc/31567/task/31570/stat : 31570 (pb_cplex) R 31566 31566 31228 0 -1 4202560 256 0 0 0 30 0 0 0 20 0 8 0 390861292 114077696 5887 33554432000 134512640 146736320 4294356016 4139799120 136403112 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=31567/tid=31571] ppid=31566 vsize=111404 CPUtime=0.19 cores=0,2,4,6
/proc/31567/task/31571/stat : 31571 (pb_cplex) R 31566 31566 31228 0 -1 4202560 282 0 0 0 19 0 0 0 20 0 8 0 390861292 114077696 5887 33554432000 134512640 146736320 4294356016 4129313360 136403109 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=31567/tid=31572] ppid=31566 vsize=111404 CPUtime=0.2 cores=0,2,4,6
/proc/31567/task/31572/stat : 31572 (pb_cplex) R 31566 31566 31228 0 -1 4202560 287 0 0 0 20 0 0 0 20 0 8 0 390861292 114077696 5887 33554432000 134512640 146736320 4294356016 4118826824 135526343 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=31567/tid=31573] ppid=31566 vsize=111404 CPUtime=0.3 cores=0,2,4,6
/proc/31567/task/31573/stat : 31573 (pb_cplex) R 31566 31566 31228 0 -1 4202560 272 0 0 0 30 0 0 0 20 0 8 0 390861292 114077696 5887 33554432000 134512640 146736320 4294356016 4108341452 136388915 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31567/tid=31574] ppid=31566 vsize=111404 CPUtime=0.4 cores=0,2,4,6
/proc/31567/task/31574/stat : 31574 (pb_cplex) R 31566 31566 31228 0 -1 4202560 292 0 0 0 40 0 0 0 20 0 8 0 390861292 114077696 5887 33554432000 134512640 146736320 4294356016 4097855580 135854293 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=31567/tid=31575] ppid=31566 vsize=111404 CPUtime=0.38 cores=0,2,4,6
/proc/31567/task/31575/stat : 31575 (pb_cplex) R 31566 31566 31228 0 -1 4202560 265 0 0 0 38 0 0 0 20 0 8 0 390861292 114077696 5887 33554432000 134512640 146736320 4294356016 4087369784 136475755 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.94
Current children cumulated vsize (KiB) 120552
[startup+6.30036 s]
/proc/loadavg: 12.24 9.81 4.95 11/193 31575
/proc/meminfo: memFree=30811992/32873844 swapFree=7124/7124
[pid=31566] ppid=31564 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31566/stat : 31566 (run) S 31564 31566 31228 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390861164 9367552 270 33554432000 4194304 5064252 140733712655744 140733712654656 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31566/statm: 2287 270 229 213 0 72 0
[pid=31567] ppid=31566 vsize=111564 CPUtime=16.43 cores=0,2,4,6
/proc/31567/stat : 31567 (pb_cplex) R 31566 31566 31228 0 -1 4202496 7236 0 0 0 1639 4 0 0 20 0 8 0 390861164 114241536 5927 33554432000 134512640 146736320 4294356016 4294349672 144757825 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31567/statm: 27891 5927 941 2985 0 24825 0
[pid=31567/tid=31569] ppid=31566 vsize=111564 CPUtime=1.14 cores=0,2,4,6
/proc/31567/task/31569/stat : 31569 (pb_cplex) R 31566 31566 31228 0 -1 4202560 268 0 0 0 114 0 0 0 20 0 8 0 390861292 114241536 5927 33554432000 134512640 146736320 4294356016 4150283408 136008438 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=31567/tid=31570] ppid=31566 vsize=111564 CPUtime=1.78 cores=0,2,4,6
/proc/31567/task/31570/stat : 31570 (pb_cplex) R 31566 31566 31228 0 -1 4202560 264 0 0 0 178 0 0 0 20 0 8 0 390861292 114241536 5927 33554432000 134512640 146736320 4294356016 4139798744 136009106 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31567/tid=31571] ppid=31566 vsize=111564 CPUtime=2.15 cores=0,2,4,6
/proc/31567/task/31571/stat : 31571 (pb_cplex) R 31566 31566 31228 0 -1 4202560 294 0 0 0 215 0 0 0 20 0 8 0 390861292 114241536 5927 33554432000 134512640 146736320 4294356016 4129313360 136403114 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=31567/tid=31572] ppid=31566 vsize=111564 CPUtime=0.96 cores=0,2,4,6
/proc/31567/task/31572/stat : 31572 (pb_cplex) R 31566 31566 31228 0 -1 4202560 292 0 0 0 96 0 0 0 20 0 8 0 390861292 114241536 5927 33554432000 134512640 146736320 4294356016 4118827064 136475800 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=31567/tid=31573] ppid=31566 vsize=111564 CPUtime=1.76 cores=0,2,4,6
/proc/31567/task/31573/stat : 31573 (pb_cplex) R 31566 31566 31228 0 -1 4202560 291 0 0 0 176 0 0 0 20 0 8 0 390861292 114241536 5927 33554432000 134512640 146736320 4294356016 4108341456 136008061 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=31567/tid=31574] ppid=31566 vsize=111564 CPUtime=1.9 cores=0,2,4,6
/proc/31567/task/31574/stat : 31574 (pb_cplex) R 31566 31566 31228 0 -1 4202560 296 0 0 0 190 0 0 0 20 0 8 0 390861292 114241536 5927 33554432000 134512640 146736320 4294356016 4097855696 136008234 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=31567/tid=31575] ppid=31566 vsize=111564 CPUtime=1.75 cores=0,2,4,6
/proc/31567/task/31575/stat : 31575 (pb_cplex) R 31566 31566 31228 0 -1 4202560 266 0 0 0 175 0 0 0 20 0 8 0 390861292 114241536 5927 33554432000 134512640 146736320 4294356016 4087369936 136008050 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 16.43
Current children cumulated vsize (KiB) 120712
[startup+12.7003 s]
/proc/loadavg: 12.54 9.92 5.01 10/186 31575
/proc/meminfo: memFree=30803452/32873844 swapFree=7124/7124
[pid=31566] ppid=31564 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31566/stat : 31566 (run) S 31564 31566 31228 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390861164 9367552 270 33554432000 4194304 5064252 140733712655744 140733712654656 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31566/statm: 2287 270 229 213 0 72 0
[pid=31567] ppid=31566 vsize=82548 CPUtime=35.71 cores=0,2,4,6
/proc/31567/stat : 31567 (pb_cplex) R 31566 31566 31228 0 -1 4202496 9055 0 0 0 3559 12 0 0 20 0 1 0 390861164 84529152 6555 33554432000 134512640 146736320 4294356016 4294351960 144757825 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/31567/statm: 20637 6555 943 2985 0 17571 0
Current children cumulated CPU time (s) 35.71
Current children cumulated vsize (KiB) 91696
[startup+25.5004 s]
/proc/loadavg: 11.61 9.84 5.06 14/193 31589
/proc/meminfo: memFree=30680676/32873844 swapFree=7124/7124
[pid=31566] ppid=31564 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31566/stat : 31566 (run) S 31564 31566 31228 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390861164 9367552 270 33554432000 4194304 5064252 140733712655744 140733712654656 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31566/statm: 2287 270 229 213 0 72 0
[pid=31567] ppid=31566 vsize=271608 CPUtime=60.68 cores=0,2,4,6
/proc/31567/stat : 31567 (pb_cplex) R 31566 31566 31228 0 -1 4202496 27333 0 0 0 6042 26 0 0 20 0 8 0 390861164 278126592 32421 33554432000 134512640 146736320 4294356016 4294349672 144757825 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31567/statm: 67902 32421 956 2985 0 64836 0
[pid=31567/tid=31583] ppid=31566 vsize=271608 CPUtime=1.73 cores=0,2,4,6
/proc/31567/task/31583/stat : 31583 (pb_cplex) R 31566 31566 31228 0 -1 4202560 18 0 0 0 173 0 0 0 20 0 8 0 390862827 278126592 32421 33554432000 134512640 146736320 4294356016 4059030128 136385265 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=31567/tid=31584] ppid=31566 vsize=271608 CPUtime=1.93 cores=0,2,4,6
/proc/31567/task/31584/stat : 31584 (pb_cplex) R 31566 31566 31228 0 -1 4202560 1660 0 0 0 193 0 0 0 20 0 8 0 390862827 278126592 32421 33554432000 134512640 146736320 4294356016 4069515336 139042899 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=31567/tid=31585] ppid=31566 vsize=271608 CPUtime=1.82 cores=0,2,4,6
/proc/31567/task/31585/stat : 31585 (pb_cplex) R 31566 31566 31228 0 -1 4202560 25 0 0 0 182 0 0 0 20 0 8 0 390862827 278126592 32421 33554432000 134512640 146736320 4294356016 4152262696 139044550 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=31567/tid=31586] ppid=31566 vsize=271608 CPUtime=1.79 cores=0,2,4,6
/proc/31567/task/31586/stat : 31586 (pb_cplex) R 31566 31566 31228 0 -1 4202560 607 0 0 0 179 0 0 0 20 0 8 0 390862827 278126592 32421 33554432000 134512640 146736320 4294356016 4118827464 136000401 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=31567/tid=31587] ppid=31566 vsize=271608 CPUtime=2.33 cores=0,2,4,6
/proc/31567/task/31587/stat : 31587 (pb_cplex) R 31566 31566 31228 0 -1 4202560 37 0 0 0 233 0 0 0 20 0 8 0 390862827 278126592 32421 33554432000 134512640 146736320 4294356016 3938041924 136385183 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=31567/tid=31588] ppid=31566 vsize=271608 CPUtime=1.9 cores=0,2,4,6
/proc/31567/task/31588/stat : 31588 (pb_cplex) R 31566 31566 31228 0 -1 4202560 692 0 0 0 190 0 0 0 20 0 8 0 390862827 278126592 32421 33554432000 134512640 146736320 4294356016 3927556688 136403109 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31567/tid=31589] ppid=31566 vsize=271608 CPUtime=3.79 cores=0,2,4,6
/proc/31567/task/31589/stat : 31589 (pb_cplex) R 31566 31566 31228 0 -1 4202560 1357 0 0 0 379 0 0 0 20 0 8 0 390862827 278126592 32421 33554432000 134512640 146736320 4294356016 3917071376 135196721 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 60.68
Current children cumulated vsize (KiB) 280756
[startup+51.1004 s]
/proc/loadavg: 12.47 10.19 5.30 17/194 31592
/proc/meminfo: memFree=30645688/32873844 swapFree=7124/7124
[pid=31566] ppid=31564 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31566/stat : 31566 (run) S 31564 31566 31228 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390861164 9367552 270 33554432000 4194304 5064252 140733712655744 140733712654656 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31566/statm: 2287 270 229 213 0 72 0
[pid=31567] ppid=31566 vsize=273656 CPUtime=155.53 cores=0,2,4,6
/proc/31567/stat : 31567 (pb_cplex) R 31566 31566 31228 0 -1 4202496 29625 0 0 0 15507 46 0 0 20 0 8 0 390861164 280223744 32745 33554432000 134512640 146736320 4294356016 4294349064 136388078 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31567/statm: 68414 32745 959 2985 0 65348 0
[pid=31567/tid=31583] ppid=31566 vsize=273656 CPUtime=13.97 cores=0,2,4,6
/proc/31567/task/31583/stat : 31583 (pb_cplex) R 31566 31566 31228 0 -1 4202560 20 0 0 0 1395 2 0 0 20 0 8 0 390862827 280223744 32745 33554432000 134512640 146736320 4294356016 4059029416 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31567/tid=31584] ppid=31566 vsize=273656 CPUtime=13.91 cores=0,2,4,6
/proc/31567/task/31584/stat : 31584 (pb_cplex) R 31566 31566 31228 0 -1 4202560 1821 0 0 0 1389 2 0 0 20 0 8 0 390862827 280223744 32745 33554432000 134512640 146736320 4294356016 4069515884 135534727 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31567/tid=31585] ppid=31566 vsize=273656 CPUtime=14.05 cores=0,2,4,6
/proc/31567/task/31585/stat : 31585 (pb_cplex) R 31566 31566 31228 0 -1 4202560 28 0 0 0 1402 3 0 0 20 0 8 0 390862827 280223744 32745 33554432000 134512640 146736320 4294356016 4152263112 136000487 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=31567/tid=31586] ppid=31566 vsize=273656 CPUtime=12.76 cores=0,2,4,6
/proc/31567/task/31586/stat : 31586 (pb_cplex) R 31566 31566 31228 0 -1 4202560 1641 0 0 0 1273 3 0 0 20 0 8 0 390862827 280223744 32745 33554432000 134512640 146736320 4294356016 4118827232 139028313 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=31567/tid=31587] ppid=31566 vsize=273656 CPUtime=14.36 cores=0,2,4,6
/proc/31567/task/31587/stat : 31587 (pb_cplex) R 31566 31566 31228 0 -1 4202560 39 0 0 0 1434 2 0 0 20 0 8 0 390862827 280223744 32745 33554432000 134512640 146736320 4294356016 3938044196 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=31567/tid=31588] ppid=31566 vsize=273656 CPUtime=13.53 cores=0,2,4,6
/proc/31567/task/31588/stat : 31588 (pb_cplex) R 31566 31566 31228 0 -1 4202560 745 0 0 0 1351 2 0 0 20 0 8 0 390862827 280223744 32745 33554432000 134512640 146736320 4294356016 3927556304 136008039 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=31567/tid=31589] ppid=31566 vsize=273656 CPUtime=16.09 cores=0,2,4,6
/proc/31567/task/31589/stat : 31589 (pb_cplex) R 31566 31566 31228 0 -1 4202560 1596 0 0 0 1606 3 0 0 20 0 8 0 390862827 280223744 32745 33554432000 134512640 146736320 4294356016 3917069548 135467895 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 155.53
Current children cumulated vsize (KiB) 282804
[startup+102.307 s]
/proc/loadavg: 11.94 10.38 5.62 17/193 31593
/proc/meminfo: memFree=30577500/32873844 swapFree=7124/7124
[pid=31566] ppid=31564 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31566/stat : 31566 (run) S 31564 31566 31228 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390861164 9367552 270 33554432000 4194304 5064252 140733712655744 140733712654656 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31566/statm: 2287 270 229 213 0 72 0
[pid=31567] ppid=31566 vsize=275704 CPUtime=341.56 cores=0,2,4,6
/proc/31567/stat : 31567 (pb_cplex) R 31566 31566 31228 0 -1 4202496 33577 0 0 0 34073 83 0 0 20 0 8 0 390861164 282320896 33271 33554432000 134512640 146736320 4294356016 4294348740 136385172 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 833.79
Current children cumulated vsize (KiB) 285476
[startup+234.7 s]
/proc/loadavg: 12.78 11.12 6.51 10/193 31664
/proc/meminfo: memFree=31528088/32873844 swapFree=7124/7124
[pid=31566] ppid=31564 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31566/stat : 31566 (run) S 31564 31566 31228 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390861164 9367552 270 33554432000 4194304 5064252 140733712655744 140733712654656 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31566/statm: 2287 270 229 213 0 72 0
[pid=31567] ppid=31566 vsize=80612 CPUtime=831.65 cores=0,2,4,6
/proc/31567/stat : 31567 (pb_cplex) R 31566 31566 31228 0 -1 4202496 51151 0 0 0 82940 225 0 0 20 0 1 0 390861164 82546688 6895 33554432000 134512640 146736320 4294356016 4294354904 136765704 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/31567/statm: 20153 6895 978 2985 0 17087 0
Current children cumulated CPU time (s) 831.65
Current children cumulated vsize (KiB) 89760
#
############
Solver just ended. Dumping a history of the last processes samples
[startup+223.9 s]
/proc/loadavg: 12.29 10.98 6.41 11/193 31664
/proc/meminfo: memFree=31523748/32873844 swapFree=7124/7124
[pid=31566] ppid=31564 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31566/stat : 31566 (run) S 31564 31566 31228 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390861164 9367552 270 33554432000 4194304 5064252 140733712655744 140733712654656 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31566/statm: 2287 270 229 213 0 72 0
[pid=31567] ppid=31566 vsize=280424 CPUtime=794.9 cores=0,2,4,6
/proc/31567/stat : 31567 (pb_cplex) R 31566 31566 31228 0 -1 4202496 50625 0 0 0 79294 196 0 0 20 0 8 0 390861164 287154176 36623 33554432000 134512640 146736320 4294356016 4294349264 136403109 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31567/statm: 70106 36623 972 2985 0 67040 0
[pid=31567/tid=31583] ppid=31566 vsize=280424 CPUtime=93.1 cores=0,2,4,6
/proc/31567/task/31583/stat : 31583 (pb_cplex) R 31566 31566 31228 0 -1 4202560 2579 0 0 0 9289 21 0 0 20 0 8 0 390862827 287154176 36623 33554432000 134512640 146736320 4294356016 4059029596 135854544 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=31567/tid=31584] ppid=31566 vsize=280424 CPUtime=93.73 cores=0,2,4,6
/proc/31567/task/31584/stat : 31584 (pb_cplex) R 31566 31566 31228 0 -1 4202560 8146 0 0 0 9351 22 0 0 20 0 8 0 390862827 287154176 36623 33554432000 134512640 146736320 4294356016 4069515336 139042890 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31567/tid=31585] ppid=31566 vsize=280424 CPUtime=93.37 cores=0,2,4,6
/proc/31567/task/31585/stat : 31585 (pb_cplex) R 31566 31566 31228 0 -1 4202560 651 0 0 0 9317 20 0 0 20 0 8 0 390862827 287154176 36623 33554432000 134512640 146736320 4294356016 4152262864 136008168 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=31567/tid=31586] ppid=31566 vsize=280424 CPUtime=91.91 cores=0,2,4,6
/proc/31567/task/31586/stat : 31586 (pb_cplex) R 31566 31566 31228 0 -1 4202560 4213 0 0 0 9170 21 0 0 20 0 8 0 390862827 287154176 36623 33554432000 134512640 146736320 4294356016 4118827584 136001199 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=31567/tid=31587] ppid=31566 vsize=280424 CPUtime=93.67 cores=0,2,4,6
/proc/31567/task/31587/stat : 31587 (pb_cplex) R 31566 31566 31228 0 -1 4202560 528 0 0 0 9344 23 0 0 20 0 8 0 390862827 287154176 36623 33554432000 134512640 146736320 4294356016 3938042064 136008443 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=31567/tid=31588] ppid=31566 vsize=280424 CPUtime=93.71 cores=0,2,4,6
/proc/31567/task/31588/stat : 31588 (pb_cplex) R 31566 31566 31228 0 -1 4202560 4332 0 0 0 9349 22 0 0 20 0 8 0 390862827 287154176 36623 33554432000 134512640 146736320 4294356016 3927556304 136007982 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=31567/tid=31589] ppid=31566 vsize=280424 CPUtime=95.65 cores=0,2,4,6
/proc/31567/task/31589/stat : 31589 (pb_cplex) R 31566 31566 31228 0 -1 4202560 6067 0 0 0 9540 25 0 0 20 0 8 0 390862827 287154176 36623 33554432000 134512640 146736320 4294356016 3917070180 136389766 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 794.9
Current children cumulated vsize (KiB) 289572
[startup+230.3 s]
/proc/loadavg: 12.58 11.06 6.46 17/193 31664
/proc/meminfo: memFree=31527964/32873844 swapFree=7124/7124
[pid=31566] ppid=31564 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31566/stat : 31566 (run) S 31564 31566 31228 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390861164 9367552 270 33554432000 4194304 5064252 140733712655744 140733712654656 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31566/statm: 2287 270 229 213 0 72 0
[pid=31567] ppid=31566 vsize=280424 CPUtime=819.09 cores=0,2,4,6
/proc/31567/stat : 31567 (pb_cplex) R 31566 31566 31228 0 -1 4202496 50957 0 0 0 81703 206 0 0 20 0 8 0 390861164 287154176 36624 33554432000 134512640 146736320 4294356016 4294349264 136403117 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/31567/statm: 70106 36624 972 2985 0 67040 0
[pid=31567/tid=31583] ppid=31566 vsize=280424 CPUtime=95.82 cores=0,2,4,6
/proc/31567/task/31583/stat : 31583 (pb_cplex) S 31566 31566 31228 0 -1 4202560 2579 0 0 0 9560 22 0 0 20 0 8 0 390862827 287154176 36624 33554432000 134512640 146736320 4294356016 4059033232 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31567/tid=31584] ppid=31566 vsize=280424 CPUtime=97.17 cores=0,2,4,6
/proc/31567/task/31584/stat : 31584 (pb_cplex) S 31566 31566 31228 0 -1 4202560 8341 0 0 0 9693 24 0 0 20 0 8 0 390862827 287154176 36624 33554432000 134512640 146736320 4294356016 4069518992 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31567/tid=31585] ppid=31566 vsize=280424 CPUtime=96.61 cores=0,2,4,6
/proc/31567/task/31585/stat : 31585 (pb_cplex) R 31566 31566 31228 0 -1 4202560 651 0 0 0 9640 21 0 0 20 0 8 0 390862827 287154176 36624 33554432000 134512640 146736320 4294356016 4152262864 136008391 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31567/tid=31586] ppid=31566 vsize=280424 CPUtime=94.65 cores=0,2,4,6
/proc/31567/task/31586/stat : 31586 (pb_cplex) S 31566 31566 31228 0 -1 4202560 4349 0 0 0 9443 22 0 0 20 0 8 0 390862827 287154176 36624 33554432000 134512640 146736320 4294356016 4118830736 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31567/tid=31587] ppid=31566 vsize=280424 CPUtime=96.37 cores=0,2,4,6
/proc/31567/task/31587/stat : 31587 (pb_cplex) R 31566 31566 31228 0 -1 4202560 528 0 0 0 9613 24 0 0 20 0 8 0 390862827 287154176 36624 33554432000 134512640 146736320 4294356016 3938041912 136475862 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=31567/tid=31588] ppid=31566 vsize=280424 CPUtime=96.57 cores=0,2,4,6
/proc/31567/task/31588/stat : 31588 (pb_cplex) R 31566 31566 31228 0 -1 4202560 4333 0 0 0 9634 23 0 0 20 0 8 0 390862827 287154176 36624 33554432000 134512640 146736320 4294356016 3927556688 136403117 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=31567/tid=31589] ppid=31566 vsize=280424 CPUtime=98.83 cores=0,2,4,6
/proc/31567/task/31589/stat : 31589 (pb_cplex) S 31566 31566 31228 0 -1 4202560 6067 0 0 0 9856 27 0 0 20 0 8 0 390862827 287154176 36624 33554432000 134512640 146736320 4294356016 3917074064 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 819.09
Current children cumulated vsize (KiB) 289572
[startup+231.9 s]
/proc/loadavg: 12.78 11.12 6.51 10/193 31664
/proc/meminfo: memFree=31526228/32873844 swapFree=7124/7124
[pid=31566] ppid=31564 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31566/stat : 31566 (run) S 31564 31566 31228 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390861164 9367552 270 33554432000 4194304 5064252 140733712655744 140733712654656 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31566/statm: 2287 270 229 213 0 72 0
[pid=31567] ppid=31566 vsize=280424 CPUtime=825.01 cores=0,2,4,6
/proc/31567/stat : 31567 (pb_cplex) R 31566 31566 31228 0 -1 4202496 51145 0 0 0 82291 210 0 0 20 0 8 0 390861164 287154176 36624 33554432000 134512640 146736320 4294356016 4294350232 144757825 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31567/statm: 70106 36624 972 2985 0 67040 0
[pid=31567/tid=31583] ppid=31566 vsize=280424 CPUtime=96.49 cores=0,2,4,6
/proc/31567/task/31583/stat : 31583 (pb_cplex) R 31566 31566 31228 0 -1 4202560 2579 0 0 0 9627 22 0 0 20 0 8 0 390862827 287154176 36624 33554432000 134512640 146736320 4294356016 4059029712 136008053 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=31567/tid=31584] ppid=31566 vsize=280424 CPUtime=97.9 cores=0,2,4,6
/proc/31567/task/31584/stat : 31584 (pb_cplex) R 31566 31566 31228 0 -1 4202560 8529 0 0 0 9765 25 0 0 20 0 8 0 390862827 287154176 36624 33554432000 134512640 146736320 4294356016 4069515304 139044557 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=31567/tid=31585] ppid=31566 vsize=280424 CPUtime=97.5 cores=0,2,4,6
/proc/31567/task/31585/stat : 31585 (pb_cplex) R 31566 31566 31228 0 -1 4202560 651 0 0 0 9729 21 0 0 20 0 8 0 390862827 287154176 36624 33554432000 134512640 146736320 4294356016 4152263656 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31567/tid=31586] ppid=31566 vsize=280424 CPUtime=95.31 cores=0,2,4,6
/proc/31567/task/31586/stat : 31586 (pb_cplex) R 31566 31566 31228 0 -1 4202560 4349 0 0 0 9509 22 0 0 20 0 8 0 390862827 287154176 36624 33554432000 134512640 146736320 4294356016 4118827216 136008042 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=31567/tid=31587] ppid=31566 vsize=280424 CPUtime=97.17 cores=0,2,4,6
/proc/31567/task/31587/stat : 31587 (pb_cplex) R 31566 31566 31228 0 -1 4202560 528 0 0 0 9692 25 0 0 20 0 8 0 390862827 287154176 36624 33554432000 134512640 146736320 4294356016 3938042856 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=31567/tid=31588] ppid=31566 vsize=280424 CPUtime=97.38 cores=0,2,4,6
/proc/31567/task/31588/stat : 31588 (pb_cplex) R 31566 31566 31228 0 -1 4202560 4333 0 0 0 9714 24 0 0 20 0 8 0 390862827 287154176 36624 33554432000 134512640 146736320 4294356016 3927556304 136008172 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=31567/tid=31589] ppid=31566 vsize=280424 CPUtime=99.27 cores=0,2,4,6
/proc/31567/task/31589/stat : 31589 (pb_cplex) R 31566 31566 31228 0 -1 4202560 6067 0 0 0 9900 27 0 0 20 0 8 0 390862827 287154176 36624 33554432000 134512640 146736320 4294356016 3917070152 135525472 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 825.01
Current children cumulated vsize (KiB) 289572
[startup+233.5 s]
/proc/loadavg: 12.78 11.12 6.51 17/193 31664
/proc/meminfo: memFree=31528088/32873844 swapFree=7124/7124
[pid=31566] ppid=31564 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31566/stat : 31566 (run) S 31564 31566 31228 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390861164 9367552 270 33554432000 4194304 5064252 140733712655744 140733712654656 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31566/statm: 2287 270 229 213 0 72 0
[pid=31567] ppid=31566 vsize=277352 CPUtime=830.07 cores=0,2,4,6
/proc/31567/stat : 31567 (pb_cplex) S 31566 31566 31228 0 -1 4202496 51145 0 0 0 82795 212 0 0 20 0 8 0 390861164 284008448 36121 33554432000 134512640 146736320 4294356016 4294352400 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31567/statm: 69338 36121 972 2985 0 66272 0
[pid=31567/tid=31583] ppid=31566 vsize=277352 CPUtime=97.06 cores=0,2,4,6
/proc/31567/task/31583/stat : 31583 (pb_cplex) S 31566 31566 31228 0 -1 4202560 2579 0 0 0 9683 23 0 0 20 0 8 0 390862827 284008448 36121 33554432000 134512640 146736320 4294356016 4059033232 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31567/tid=31584] ppid=31566 vsize=277352 CPUtime=98.49 cores=0,2,4,6
/proc/31567/task/31584/stat : 31584 (pb_cplex) S 31566 31566 31228 0 -1 4202560 8529 0 0 0 9824 25 0 0 20 0 8 0 390862827 284008448 36121 33554432000 134512640 146736320 4294356016 4069518992 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31567/tid=31585] ppid=31566 vsize=277352 CPUtime=98.17 cores=0,2,4,6
/proc/31567/task/31585/stat : 31585 (pb_cplex) S 31566 31566 31228 0 -1 4202560 651 0 0 0 9795 22 0 0 20 0 8 0 390862827 284008448 36121 33554432000 134512640 146736320 4294356016 4152266384 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31567/tid=31586] ppid=31566 vsize=277352 CPUtime=96.19 cores=0,2,4,6
/proc/31567/task/31586/stat : 31586 (pb_cplex) R 31566 31566 31228 0 -1 4202560 4349 0 0 0 9597 22 0 0 20 0 8 0 390862827 284008448 36121 33554432000 134512640 146736320 4294356016 4118828008 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31567/tid=31587] ppid=31566 vsize=277352 CPUtime=97.91 cores=0,2,4,6
/proc/31567/task/31587/stat : 31587 (pb_cplex) S 31566 31566 31228 0 -1 4202560 528 0 0 0 9766 25 0 0 20 0 8 0 390862827 284008448 36121 33554432000 134512640 146736320 4294356016 3938045584 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31567/tid=31588] ppid=31566 vsize=277352 CPUtime=97.92 cores=0,2,4,6
/proc/31567/task/31588/stat : 31588 (pb_cplex) S 31566 31566 31228 0 -1 4202560 4333 0 0 0 9768 24 0 0 20 0 8 0 390862827 284008448 36121 33554432000 134512640 146736320 4294356016 3927559824 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31567/tid=31589] ppid=31566 vsize=277352 CPUtime=99.76 cores=0,2,4,6
/proc/31567/task/31589/stat : 31589 (pb_cplex) S 31566 31566 31228 0 -1 4202560 6067 0 0 0 9949 27 0 0 20 0 8 0 390862827 284008448 36121 33554432000 134512640 146736320 4294356016 3917074064 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 830.07
Current children cumulated vsize (KiB) 286500
[startup+234.307 s]
/proc/loadavg: 12.78 11.12 6.51 10/193 31664
/proc/meminfo: memFree=31528088/32873844 swapFree=7124/7124
[pid=31566] ppid=31564 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31566/stat : 31566 (run) S 31564 31566 31228 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390861164 9367552 270 33554432000 4194304 5064252 140733712655744 140733712654656 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31566/statm: 2287 270 229 213 0 72 0
[pid=31567] ppid=31566 vsize=277352 CPUtime=832.89 cores=0,2,4,6
/proc/31567/stat : 31567 (pb_cplex) R 31566 31566 31228 0 -1 4202496 51145 0 0 0 83075 214 0 0 20 0 8 0 390861164 284008448 36013 33554432000 134512640 146736320 4294356016 4294348880 136008069 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31567/statm: 69338 36013 972 2985 0 66272 0
[pid=31567/tid=31583] ppid=31566 vsize=277352 CPUtime=97.56 cores=0,2,4,6
/proc/31567/task/31583/stat : 31583 (pb_cplex) R 31566 31566 31228 0 -1 4202560 2579 0 0 0 9733 23 0 0 20 0 8 0 390862827 284008448 36013 33554432000 134512640 146736320 4294356016 4059029712 136008339 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31567/tid=31584] ppid=31566 vsize=277352 CPUtime=98.79 cores=0,2,4,6
/proc/31567/task/31584/stat : 31584 (pb_cplex) R 31566 31566 31228 0 -1 4202560 8529 0 0 0 9854 25 0 0 20 0 8 0 390862827 284008448 36013 33554432000 134512640 146736320 4294356016 4069515472 136008050 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=31567/tid=31585] ppid=31566 vsize=277352 CPUtime=98.6 cores=0,2,4,6
/proc/31567/task/31585/stat : 31585 (pb_cplex) S 31566 31566 31228 0 -1 4202560 651 0 0 0 9838 22 0 0 20 0 8 0 390862827 284008448 36013 33554432000 134512640 146736320 4294356016 4152266384 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31567/tid=31586] ppid=31566 vsize=277352 CPUtime=96.47 cores=0,2,4,6
/proc/31567/task/31586/stat : 31586 (pb_cplex) R 31566 31566 31228 0 -1 4202560 4349 0 0 0 9624 23 0 0 20 0 8 0 390862827 284008448 36013 33554432000 134512640 146736320 4294356016 4118827216 136008443 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31567/tid=31587] ppid=31566 vsize=277352 CPUtime=98.24 cores=0,2,4,6
/proc/31567/task/31587/stat : 31587 (pb_cplex) R 31566 31566 31228 0 -1 4202560 528 0 0 0 9799 25 0 0 20 0 8 0 390862827 284008448 36013 33554432000 134512640 146736320 4294356016 3938042064 136008455 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=31567/tid=31588] ppid=31566 vsize=277352 CPUtime=98.19 cores=0,2,4,6
/proc/31567/task/31588/stat : 31588 (pb_cplex) R 31566 31566 31228 0 -1 4202560 4333 0 0 0 9795 24 0 0 20 0 8 0 390862827 284008448 36013 33554432000 134512640 146736320 4294356016 3927557096 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=31567/tid=31589] ppid=31566 vsize=277352 CPUtime=100.03 cores=0,2,4,6
/proc/31567/task/31589/stat : 31589 (pb_cplex) R 31566 31566 31228 0 -1 4202560 6067 0 0 0 9976 27 0 0 20 0 8 0 390862827 284008448 36013 33554432000 134512640 146736320 4294356016 3917070616 137056706 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 832.89
Current children cumulated vsize (KiB) 286500
[startup+234.7 s]
/proc/loadavg: 12.78 11.12 6.51 10/193 31664
/proc/meminfo: memFree=31528088/32873844 swapFree=7124/7124
[pid=31566] ppid=31564 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31566/stat : 31566 (run) S 31564 31566 31228 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390861164 9367552 270 33554432000 4194304 5064252 140733712655744 140733712654656 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31566/statm: 2287 270 229 213 0 72 0
[pid=31567] ppid=31566 vsize=80612 CPUtime=831.65 cores=0,2,4,6
/proc/31567/stat : 31567 (pb_cplex) R 31566 31566 31228 0 -1 4202496 51151 0 0 0 82940 225 0 0 20 0 1 0 390861164 82546688 6895 33554432000 134512640 146736320 4294356016 4294354904 136765704 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/31567/statm: 20153 6895 978 2985 0 17087 0
Current children cumulated CPU time (s) 831.65
Current children cumulated vsize (KiB) 89760
Child status: 0
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 2.14001
# lost CPU user time (s): 2.25
# lost CPU system time (s): -0.11
Real time (s): 234.702
CPU time (s): 833.8
CPU user time (s): 831.657
CPU system time (s): 2.14266
CPU usage (%): 355.259
Max. virtual memory (cumulated for all children) (KiB): 303976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 829.407
system time used= 2.25266
maximum resident set size= 153576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51532
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= 19621
involuntary context switches= 48008
runsolver used 0.571913 second user time and 1.51377 second system time
The end