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-3736974-1339248421/watcher-3736974-1339248421 -o /tmp/evaluation-result-3736974-1339248421/solver-3736974-1339248421 -C 1800 -W 1900 -M 15500 run HOME/instance-3736974-1339248421.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: 7.34 8.54 7.05 4/184 3409
/proc/meminfo: memFree=28689720/32873648 swapFree=7372/7372
[pid=3409] ppid=3407 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3409/stat : 3409 (run) S 3407 3409 2525 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390968914 9367552 270 33554432000 4194304 5064252 140734839662448 140734839661360 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3409/statm: 2287 270 229 213 0 72 0

[startup+0.0761299 s]
/proc/loadavg: 7.34 8.54 7.05 4/184 3409
/proc/meminfo: memFree=28689720/32873648 swapFree=7372/7372
[pid=3409] ppid=3407 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3409/stat : 3409 (run) S 3407 3409 2525 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390968914 9367552 270 33554432000 4194304 5064252 140734839662448 140734839661360 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3409/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100291 s]
/proc/loadavg: 7.34 8.54 7.05 4/184 3409
/proc/meminfo: memFree=28689720/32873648 swapFree=7372/7372
[pid=3409] ppid=3407 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3409/stat : 3409 (run) S 3407 3409 2525 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390968914 9367552 270 33554432000 4194304 5064252 140734839662448 140734839661360 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3409/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300213 s]
/proc/loadavg: 7.34 8.54 7.05 4/184 3409
/proc/meminfo: memFree=28689720/32873648 swapFree=7372/7372
[pid=3409] ppid=3407 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3409/stat : 3409 (run) S 3407 3409 2525 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390968914 9367552 270 33554432000 4194304 5064252 140734839662448 140734839661360 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3409/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700214 s]
/proc/loadavg: 7.34 8.54 7.05 4/184 3409
/proc/meminfo: memFree=28689720/32873648 swapFree=7372/7372
[pid=3409] ppid=3407 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3409/stat : 3409 (run) S 3407 3409 2525 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390968914 9367552 270 33554432000 4194304 5064252 140734839662448 140734839661360 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3409/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50023 s]
/proc/loadavg: 7.34 8.54 7.05 9/193 3418
/proc/meminfo: memFree=28609916/32873648 swapFree=7372/7372
[pid=3409] ppid=3407 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3409/stat : 3409 (run) S 3407 3409 2525 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390968914 9367552 270 33554432000 4194304 5064252 140734839662448 140734839661360 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3409/statm: 2287 270 229 213 0 72 0
[pid=3410] ppid=3409 vsize=105632 CPUtime=2.74 cores=1,3,5,7
/proc/3410/stat : 3410 (pb_cplex) R 3409 3409 2525 0 -1 4202496 32495 0 0 0 260 14 0 0 20 0 1 0 390968914 108167168 12491 33554432000 134512640 146736320 4286975920 4286972032 136729852 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/3410/statm: 26408 12491 938 2985 0 23342 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 114780

[startup+3.10023 s]
/proc/loadavg: 7.34 8.54 7.05 8/186 3418
/proc/meminfo: memFree=28644320/32873648 swapFree=7372/7372
[pid=3409] ppid=3407 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3409/stat : 3409 (run) S 3407 3409 2525 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390968914 9367552 270 33554432000 4194304 5064252 140734839662448 140734839661360 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3409/statm: 2287 270 229 213 0 72 0
[pid=3410] ppid=3409 vsize=105632 CPUtime=4.34 cores=1,3,5,7
/proc/3410/stat : 3410 (pb_cplex) R 3409 3409 2525 0 -1 4202496 32597 0 0 0 420 14 0 0 20 0 1 0 390968914 108167168 12593 33554432000 134512640 146736320 4286975920 4286970512 136403129 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/3410/statm: 26408 12593 943 2985 0 23342 0
Current children cumulated CPU time (s) 4.34
Current children cumulated vsize (KiB) 114780

[startup+6.30029 s]
/proc/loadavg: 6.83 8.41 7.02 3/186 3418
/proc/meminfo: memFree=28642296/32873648 swapFree=7372/7372
[pid=3409] ppid=3407 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3409/stat : 3409 (run) S 3407 3409 2525 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390968914 9367552 270 33554432000 4194304 5064252 140734839662448 140734839661360 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3409/statm: 2287 270 229 213 0 72 0
[pid=3410] ppid=3409 vsize=105632 CPUtime=7.54 cores=1,3,5,7
/proc/3410/stat : 3410 (pb_cplex) R 3409 3409 2525 0 -1 4202496 32633 0 0 0 740 14 0 0 20 0 1 0 390968914 108167168 12629 33554432000 134512640 146736320 4286975920 4286970128 136008256 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/3410/statm: 26408 12629 943 2985 0 23342 0
Current children cumulated CPU time (s) 7.54
Current children cumulated vsize (KiB) 114780

[startup+12.7003 s]
/proc/loadavg: 6.37 8.29 6.99 8/186 3418
/proc/meminfo: memFree=28639904/32873648 swapFree=7372/7372
[pid=3409] ppid=3407 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3409/stat : 3409 (run) S 3407 3409 2525 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390968914 9367552 270 33554432000 4194304 5064252 140734839662448 140734839661360 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3409/statm: 2287 270 229 213 0 72 0
[pid=3410] ppid=3409 vsize=105632 CPUtime=13.94 cores=1,3,5,7
/proc/3410/stat : 3410 (pb_cplex) R 3409 3409 2525 0 -1 4202496 32635 0 0 0 1380 14 0 0 20 0 1 0 390968914 108167168 12631 33554432000 134512640 146736320 4286975920 4286970376 136000488 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/3410/statm: 26408 12631 943 2985 0 23342 0
Current children cumulated CPU time (s) 13.94
Current children cumulated vsize (KiB) 114780

[startup+25.5002 s]
/proc/loadavg: 6.21 8.16 6.96 10/186 3418
/proc/meminfo: memFree=28633908/32873648 swapFree=7372/7372
[pid=3409] ppid=3407 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3409/stat : 3409 (run) S 3407 3409 2525 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390968914 9367552 270 33554432000 4194304 5064252 140734839662448 140734839661360 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3409/statm: 2287 270 229 213 0 72 0
[pid=3410] ppid=3409 vsize=105632 CPUtime=26.74 cores=1,3,5,7
/proc/3410/stat : 3410 (pb_cplex) R 3409 3409 2525 0 -1 4202496 32727 0 0 0 2659 15 0 0 20 0 1 0 390968914 108167168 12779 33554432000 134512640 146736320 4286975920 4286970128 136403114 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/3410/statm: 26408 12779 953 2985 0 23342 0
Current children cumulated CPU time (s) 26.74
Current children cumulated vsize (KiB) 114780

[startup+51.1004 s]
/proc/loadavg: 6.44 8.05 6.96 13/193 3432
/proc/meminfo: memFree=28531836/32873648 swapFree=7372/7372
[pid=3409] ppid=3407 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3409/stat : 3409 (run) S 3407 3409 2525 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390968914 9367552 270 33554432000 4194304 5064252 140734839662448 140734839661360 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3409/statm: 2287 270 229 213 0 72 0
[pid=3410] ppid=3409 vsize=249352 CPUtime=91.59 cores=1,3,5,7
/proc/3410/stat : 3410 (pb_cplex) R 3409 3409 2525 0 -1 4202496 123765 0 0 0 9111 48 0 0 20 0 8 0 390968914 255336448 36189 33554432000 134512640 146736320 4286975920 4286968784 136008245 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3410/statm: 62338 36189 975 2985 0 59272 0
[pid=3410/tid=3426] ppid=3409 vsize=249352 CPUtime=5.26 cores=1,3,5,7
/proc/3410/task/3426/stat : 3426 (pb_cplex) S 3409 3409 2525 0 -1 4202560 14301 0 0 0 521 5 0 0 20 0 8 0 390971840 255336448 36189 33554432000 134512640 146736320 4286975920 4130627216 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3410/tid=3427] ppid=3409 vsize=249352 CPUtime=6.03 cores=1,3,5,7
/proc/3410/task/3427/stat : 3427 (pb_cplex) R 3409 3409 2525 0 -1 4202560 4235 0 0 0 601 2 0 0 20 0 8 0 390971840 255336448 36189 33554432000 134512640 146736320 4286975920 4141109456 136008446 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=3410/tid=3428] ppid=3409 vsize=249352 CPUtime=5.76 cores=1,3,5,7
/proc/3410/task/3428/stat : 3428 (pb_cplex) S 3409 3409 2525 0 -1 4202560 10709 0 0 0 571 5 0 0 20 0 8 0 390971840 255336448 36189 33554432000 134512640 146736320 4286975920 4151598736 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3410/tid=3429] ppid=3409 vsize=249352 CPUtime=8.57 cores=1,3,5,7
/proc/3410/task/3429/stat : 3429 (pb_cplex) R 3409 3409 2525 0 -1 4202560 5194 0 0 0 855 2 0 0 20 0 8 0 390971840 255336448 36189 33554432000 134512640 146736320 4286975920 4110192848 136008178 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=3410/tid=3430] ppid=3409 vsize=249352 CPUtime=6.91 cores=1,3,5,7
/proc/3410/task/3430/stat : 3430 (pb_cplex) R 3409 3409 2525 0 -1 4202560 4044 0 0 0 689 2 0 0 20 0 8 0 390971840 255336448 36189 33554432000 134512640 146736320 4286975920 4056932424 139042888 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=3410/tid=3431] ppid=3409 vsize=249352 CPUtime=13.53 cores=1,3,5,7
/proc/3410/task/3431/stat : 3431 (pb_cplex) R 3409 3409 2525 0 -1 4202560 8284 0 0 0 1350 3 0 0 20 0 8 0 390971840 255336448 36189 33554432000 134512640 146736320 4286975920 4046445768 135468245 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=3410/tid=3432] ppid=3409 vsize=249352 CPUtime=5.93 cores=1,3,5,7
/proc/3410/task/3432/stat : 3432 (pb_cplex) R 3409 3409 2525 0 -1 4202560 10374 0 0 0 591 2 0 0 20 0 8 0 390971840 255336448 36189 33554432000 134512640 146736320 4286975920 4035959816 139043577 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 91.59
Current children cumulated vsize (KiB) 258500

[startup+102.307 s]
/proc/loadavg: 7.60 8.13 7.04 14/193 3432
/proc/meminfo: memFree=28523528/32873648 swapFree=7372/7372
[pid=3409] ppid=3407 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3409/stat : 3409 (run) S 3407 3409 2525 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390968914 9367552 270 33554432000 4194304 5064252 140734839662448 140734839661360 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3409/statm: 2287 270 229 213 0 72 0
[pid=3410] ppid=3409 vsize=246592 CPUtime=272.35 cores=1,3,5,7
/proc/3410/stat : 3410 (pb_cplex) R 3409 3409 2525 0 -1 4202496 201152 0 0 0 27153 82 0 0 20 0 8 0 390968914 252510208 36872 33554432000 134512640 146736320 4286975920 4286969576 144757825 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3410/statm: 61648 36872 975 2985 0 58582 0
[pid=3410/tid=3426] ppid=3409 vsize=246592 CPUtime=16.48 cores=1,3,5,7
/proc/3410/task/3426/stat : 3426 (pb_cplex) R 3409 3409 2525 0 -1 4202560 33345 0 0 0 1637 11 0 0 20 0 8 0 390971840 252510208 36872 33554432000 134512640 146736320 4286975920 4130623528 139044585 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=3410/tid=3427] ppid=3409 vsize=246592 CPUtime=31.72 cores=1,3,5,7
/proc/3410/task/3427/stat : 3427 (pb_cplex) R 3409 3409 2525 0 -1 4202560 8989 0 0 0 3168 4 0 0 20 0 8 0 390971840 252510208 36872 33554432000 134512640 146736320 4286975920 4141109452 135846768 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=3410/tid=3428] ppid=3409 vsize=246592 CPUtime=26.46 cores=1,3,5,7
/proc/3410/task/3428/stat : 3428 (pb_cplex) R 3409 3409 2525 0 -1 4202560 18966 0 0 0 2639 7 0 0 20 0 8 0 390971840 252510208 36872 33554432000 134512640 146736320 4286975920 4151594900 136017801 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=3410/tid=3429] ppid=3409 vsize=246592 CPUtime=40.57 cores=1,3,5,7
/proc/3410/task/3429/stat : 3429 (pb_cplex) R 3409 3409 2525 0 -1 4202560 11209 0 0 0 4053 4 0 0 20 0 8 0 390971840 252510208 36872 33554432000 134512640 146736320 4286975920 4110193068 136400502 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=3410/tid=3430] ppid=3409 vsize=246592 CPUtime=30.43 cores=1,3,5,7
/proc/3410/task/3430/stat : 3430 (pb_cplex) R 3409 3409 2525 0 -1 4202560 11164 0 0 0 3038 5 0 0 20 0 8 0 390971840 252510208 36872 33554432000 134512640 146736320 4286975920 4056932560 136008441 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=3410/tid=3431] ppid=3409 vsize=246592 CPUtime=33.93 cores=1,3,5,7
/proc/3410/task/3431/stat : 3431 (pb_cplex) R 3409 3409 2525 0 -1 4202560 17228 0 0 0 3386 7 0 0 20 0 8 0 390971840 252510208 36872 33554432000 134512640 146736320 4286975920 4046447184 136403116 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=3410/tid=3432] ppid=3409 vsize=246592 CPUtime=26.94 cores=1,3,5,7
/proc/3410/task/3432/stat : 3432 (pb_cplex) R 3409 3409 2525 0 -1 4202560 21741 0 0 0 2686 8 0 0 20 0 8 0 390971840 252510208 36872 33554432000 134512640 146736320 4286975920 4035961632 135845822 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 272.35
Current children cumulated vsize (KiB) 255740

[startup+162.3 s]
/proc/loadavg: 8.86 8.37 7.19 11/193 3432
/proc/meminfo: memFree=28478324/32873648 swapFree=7372/7372
[pid=3409] ppid=3407 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3409/stat : 3409 (run) S 3407 3409 2525 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390968914 9367552 270 33554432000 4194304 5064252 140734839662448 140734839661360 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3409/statm: 2287 270 229 213 0 72 0
[pid=3410] ppid=3409 vsize=272876 CPUtime=469.39 cores=1,3,5,7
/proc/3410/stat : 3410 (pb_cplex) R 3409 3409 2525 0 -1 4202496 330745 0 0 0 46799 140 0 0 20 0 8 0 390968914 279425024 42975 33554432000 134512640 146736320 4286975920 4286969032 136000532 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3410/statm: 68219 42975 976 2985 0 65153 0
[pid=3410/tid=3426] ppid=3409 vsize=272876 CPUtime=41.49 cores=1,3,5,7
/proc/3410/task/3426/stat : 3426 (pb_cplex) R 3409 3409 2525 0 -1 4202560 46065 0 0 0 4133 16 0 0 20 0 8 0 390971840 279425024 42975 33554432000 134512640 146736320 4286975920 4130623696 136008450 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=3410/tid=3427] ppid=3409 vsize=272876 CPUtime=52.54 cores=1,3,5,7
/proc/3410/task/3427/stat : 3427 (pb_cplex) R 3409 3409 2525 0 -1 4202560 25093 0 0 0 5242 12 0 0 20 0 8 0 390971840 279425024 42975 33554432000 134512640 146736320 4286975920 4141109456 136008050 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=3410/tid=3428] ppid=3409 vsize=272876 CPUtime=51.12 cores=1,3,5,7
/proc/3410/task/3428/stat : 3428 (pb_cplex) R 3409 3409 2525 0 -1 4202560 36217 0 0 0 5098 14 0 0 20 0 8 0 390971840 279425024 42975 33554432000 134512640 146736320 4286975920 4151595216 136008363 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=3410/tid=3429] ppid=3409 vsize=272876 CPUtime=66.16 cores=1,3,5,7
/proc/3410/task/3429/stat : 3429 (pb_cplex) R 3409 3409 2525 0 -1 4202560 21593 0 0 0 6606 10 0 0 20 0 8 0 390971840 279425024 42975 33554432000 134512640 146736320 4286975920 4110193640 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=3410/tid=3430] ppid=3409 vsize=272876 CPUtime=52.27 cores=1,3,5,7
/proc/3410/task/3430/stat : 3430 (pb_cplex) R 3409 3409 2525 0 -1 4202560 31330 0 0 0 5213 14 0 0 20 0 8 0 390971840 279425024 42975 33554432000 134512640 146736320 4286975920 4056932560 136008299 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=3410/tid=3431] ppid=3409 vsize=272876 CPUtime=55.85 cores=1,3,5,7
/proc/3410/task/3431/stat : 3431 (pb_cplex) R 3409 3409 2525 0 -1 4202560 36222 0 0 0 5570 15 0 0 20 0 8 0 390971840 279425024 42975 33554432000 134512640 146736320 4286975920 4046447028 136400586 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=3410/tid=3432] ppid=3409 vsize=272876 CPUtime=56.62 cores=1,3,5,7
/proc/3410/task/3432/stat : 3432 (pb_cplex) R 3409 3409 2525 0 -1 4202560 39454 0 0 0 5646 16 0 0 20 0 8 0 390971840 279425024 42975 33554432000 134512640 146736320 4286975920 4035961040 136008044 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 469.39

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

/proc/loadavg: 7.96 8.22 7.27 9/193 3436
/proc/meminfo: memFree=28427840/32873648 swapFree=7372/7372
[pid=3409] ppid=3407 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3409/stat : 3409 (run) S 3407 3409 2525 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390968914 9367552 270 33554432000 4194304 5064252 140734839662448 140734839661360 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3409/statm: 2287 270 229 213 0 72 0
[pid=3410] ppid=3409 vsize=298044 CPUtime=877.16 cores=1,3,5,7
/proc/3410/stat : 3410 (pb_cplex) R 3409 3409 2525 0 -1 4202496 532017 0 0 0 87474 242 0 0 20 0 8 0 390968914 305197056 47782 33554432000 134512640 146736320 4286975920 4286968468 136017766 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3410/statm: 74511 47782 981 2985 0 71445 0
[pid=3410/tid=3426] ppid=3409 vsize=298044 CPUtime=89.09 cores=1,3,5,7
/proc/3410/task/3426/stat : 3426 (pb_cplex) R 3409 3409 2525 0 -1 4202560 62272 0 0 0 8883 26 0 0 20 0 8 0 390971840 305197056 47782 33554432000 134512640 146736320 4286975920 4130624080 136403109 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=3410/tid=3427] ppid=3409 vsize=298044 CPUtime=104.18 cores=1,3,5,7
/proc/3410/task/3427/stat : 3427 (pb_cplex) R 3409 3409 2525 0 -1 4202560 40993 0 0 0 10395 23 0 0 20 0 8 0 390971840 305197056 47782 33554432000 134512640 146736320 4286975920 4141109012 135983225 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=3410/tid=3428] ppid=3409 vsize=298044 CPUtime=93.09 cores=1,3,5,7
/proc/3410/task/3428/stat : 3428 (pb_cplex) R 3409 3409 2525 0 -1 4202560 63578 0 0 0 9282 27 0 0 20 0 8 0 390971840 305197056 47782 33554432000 134512640 146736320 4286975920 4151595416 139023034 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=3410/tid=3429] ppid=3409 vsize=298044 CPUtime=114.99 cores=1,3,5,7
/proc/3410/task/3429/stat : 3429 (pb_cplex) R 3409 3409 2525 0 -1 4202560 50371 0 0 0 11473 26 0 0 20 0 8 0 390971840 305197056 47782 33554432000 134512640 146736320 4286975920 4110193640 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=3410/tid=3430] ppid=3409 vsize=298044 CPUtime=104.07 cores=1,3,5,7
/proc/3410/task/3430/stat : 3430 (pb_cplex) R 3409 3409 2525 0 -1 4202560 51081 0 0 0 10383 24 0 0 20 0 8 0 390971840 305197056 47782 33554432000 134512640 146736320 4286975920 4056932792 136015575 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=3410/tid=3431] ppid=3409 vsize=298044 CPUtime=111.72 cores=1,3,5,7
/proc/3410/task/3431/stat : 3431 (pb_cplex) S 3409 3409 2525 0 -1 4202560 70077 0 0 0 11138 34 0 0 20 0 8 0 390971840 305197056 47782 33554432000 134512640 146736320 4286975920 4046450320 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3410/tid=3432] ppid=3409 vsize=298044 CPUtime=114.16 cores=1,3,5,7
/proc/3410/task/3432/stat : 3432 (pb_cplex) S 3409 3409 2525 0 -1 4202560 80863 0 0 0 11382 34 0 0 20 0 8 0 390971840 305197056 47782 33554432000 134512640 146736320 4286975920 4035964560 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 877.16
Current children cumulated vsize (KiB) 307192

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

[startup+287.9 s]
/proc/loadavg: 8.20 8.26 7.29 4/193 3436
/proc/meminfo: memFree=28434040/32873648 swapFree=7372/7372
[pid=3409] ppid=3407 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3409/stat : 3409 (run) S 3407 3409 2525 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390968914 9367552 270 33554432000 4194304 5064252 140734839662448 140734839661360 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3409/statm: 2287 270 229 213 0 72 0
[pid=3410] ppid=3409 vsize=292584 CPUtime=894.54 cores=1,3,5,7
/proc/3410/stat : 3410 (pb_cplex) R 3409 3409 2525 0 -1 4202496 533342 0 0 0 89211 243 0 0 20 0 8 0 390968914 299606016 46939 33554432000 134512640 146736320 4286975920 4286969168 136403116 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3410/statm: 73146 46939 981 2985 0 70080 0
[pid=3410/tid=3426] ppid=3409 vsize=292584 CPUtime=92.29 cores=1,3,5,7
/proc/3410/task/3426/stat : 3426 (pb_cplex) R 3409 3409 2525 0 -1 4202560 63080 0 0 0 9203 26 0 0 20 0 8 0 390971840 299606016 46939 33554432000 134512640 146736320 4286975920 4130622652 135526874 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=3410/tid=3427] ppid=3409 vsize=292584 CPUtime=106.2 cores=1,3,5,7
/proc/3410/task/3427/stat : 3427 (pb_cplex) R 3409 3409 2525 0 -1 4202560 41000 0 0 0 10596 24 0 0 20 0 8 0 390971840 299606016 46939 33554432000 134512640 146736320 4286975920 4141109340 135854509 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=3410/tid=3428] ppid=3409 vsize=292584 CPUtime=95.58 cores=1,3,5,7
/proc/3410/task/3428/stat : 3428 (pb_cplex) R 3409 3409 2525 0 -1 4202560 63588 0 0 0 9530 28 0 0 20 0 8 0 390971840 299606016 46939 33554432000 134512640 146736320 4286975920 4151595600 136403109 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=3410/tid=3429] ppid=3409 vsize=292584 CPUtime=118.16 cores=1,3,5,7
/proc/3410/task/3429/stat : 3429 (pb_cplex) R 3409 3409 2525 0 -1 4202560 50845 0 0 0 11789 27 0 0 20 0 8 0 390971840 299606016 46939 33554432000 134512640 146736320 4286975920 4110192792 136007270 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=3410/tid=3430] ppid=3409 vsize=292584 CPUtime=105.91 cores=1,3,5,7
/proc/3410/task/3430/stat : 3430 (pb_cplex) R 3409 3409 2525 0 -1 4202560 51099 0 0 0 10567 24 0 0 20 0 8 0 390971840 299606016 46939 33554432000 134512640 146736320 4286975920 4056933352 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=3410/tid=3431] ppid=3409 vsize=292584 CPUtime=113.65 cores=1,3,5,7
/proc/3410/task/3431/stat : 3431 (pb_cplex) R 3409 3409 2525 0 -1 4202560 70077 0 0 0 11331 34 0 0 20 0 8 0 390971840 299606016 46939 33554432000 134512640 146736320 4286975920 4046447048 136000521 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=3410/tid=3432] ppid=3409 vsize=292584 CPUtime=114.94 cores=1,3,5,7
/proc/3410/task/3432/stat : 3432 (pb_cplex) R 3409 3409 2525 0 -1 4202560 80863 0 0 0 11460 34 0 0 20 0 8 0 390971840 299606016 46939 33554432000 134512640 146736320 4286975920 4035960832 136019067 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 894.54
Current children cumulated vsize (KiB) 301732

[startup+291.1 s]
/proc/loadavg: 8.43 8.31 7.31 8/193 3436
/proc/meminfo: memFree=28433668/32873648 swapFree=7372/7372
[pid=3409] ppid=3407 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3409/stat : 3409 (run) S 3407 3409 2525 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390968914 9367552 270 33554432000 4194304 5064252 140734839662448 140734839661360 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3409/statm: 2287 270 229 213 0 72 0
[pid=3410] ppid=3409 vsize=292584 CPUtime=903.59 cores=1,3,5,7
/proc/3410/stat : 3410 (pb_cplex) S 3409 3409 2525 0 -1 4202496 533358 0 0 0 90114 245 0 0 20 0 8 0 390968914 299606016 46954 33554432000 134512640 146736320 4286975920 4286972304 144580073 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3410/statm: 73146 46954 981 2985 0 70080 0
[pid=3410/tid=3426] ppid=3409 vsize=292584 CPUtime=93.01 cores=1,3,5,7
/proc/3410/task/3426/stat : 3426 (pb_cplex) S 3409 3409 2525 0 -1 4202560 63080 0 0 0 9274 27 0 0 20 0 8 0 390971840 299606016 46954 33554432000 134512640 146736320 4286975920 4130627216 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3410/tid=3427] ppid=3409 vsize=292584 CPUtime=106.71 cores=1,3,5,7
/proc/3410/task/3427/stat : 3427 (pb_cplex) S 3409 3409 2525 0 -1 4202560 41000 0 0 0 10647 24 0 0 20 0 8 0 390971840 299606016 46954 33554432000 134512640 146736320 4286975920 4141112976 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3410/tid=3428] ppid=3409 vsize=292584 CPUtime=96.21 cores=1,3,5,7
/proc/3410/task/3428/stat : 3428 (pb_cplex) S 3409 3409 2525 0 -1 4202560 63598 0 0 0 9593 28 0 0 20 0 8 0 390971840 299606016 46954 33554432000 134512640 146736320 4286975920 4151598736 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3410/tid=3429] ppid=3409 vsize=292584 CPUtime=119.37 cores=1,3,5,7
/proc/3410/task/3429/stat : 3429 (pb_cplex) S 3409 3409 2525 0 -1 4202560 50850 0 0 0 11910 27 0 0 20 0 8 0 390971840 299606016 46954 33554432000 134512640 146736320 4286975920 4110196368 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3410/tid=3430] ppid=3409 vsize=292584 CPUtime=107.94 cores=1,3,5,7
/proc/3410/task/3430/stat : 3430 (pb_cplex) R 3409 3409 2525 0 -1 4202560 51099 0 0 0 10770 24 0 0 20 0 8 0 390971840 299606016 46954 33554432000 134512640 146736320 4286975920 4056932560 136008328 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=3410/tid=3431] ppid=3409 vsize=292584 CPUtime=115.37 cores=1,3,5,7
/proc/3410/task/3431/stat : 3431 (pb_cplex) S 3409 3409 2525 0 -1 4202560 70078 0 0 0 11503 34 0 0 20 0 8 0 390971840 299606016 46954 33554432000 134512640 146736320 4286975920 4046450320 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3410/tid=3432] ppid=3409 vsize=292584 CPUtime=115.95 cores=1,3,5,7
/proc/3410/task/3432/stat : 3432 (pb_cplex) S 3409 3409 2525 0 -1 4202560 80863 0 0 0 11561 34 0 0 20 0 8 0 390971840 299606016 46954 33554432000 134512640 146736320 4286975920 4035964560 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 903.59
Current children cumulated vsize (KiB) 301732

[startup+291.9 s]
/proc/loadavg: 8.43 8.31 7.31 7/193 3436
/proc/meminfo: memFree=28433792/32873648 swapFree=7372/7372
[pid=3409] ppid=3407 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3409/stat : 3409 (run) S 3407 3409 2525 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390968914 9367552 270 33554432000 4194304 5064252 140734839662448 140734839661360 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3409/statm: 2287 270 229 213 0 72 0
[pid=3410] ppid=3409 vsize=292584 CPUtime=904.39 cores=1,3,5,7
/proc/3410/stat : 3410 (pb_cplex) S 3409 3409 2525 0 -1 4202496 533358 0 0 0 90194 245 0 0 20 0 8 0 390968914 299606016 46954 33554432000 134512640 146736320 4286975920 4286972304 144580073 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3410/statm: 73146 46954 981 2985 0 70080 0
[pid=3410/tid=3426] ppid=3409 vsize=292584 CPUtime=93.01 cores=1,3,5,7
/proc/3410/task/3426/stat : 3426 (pb_cplex) S 3409 3409 2525 0 -1 4202560 63080 0 0 0 9274 27 0 0 20 0 8 0 390971840 299606016 46954 33554432000 134512640 146736320 4286975920 4130627216 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3410/tid=3427] ppid=3409 vsize=292584 CPUtime=106.71 cores=1,3,5,7
/proc/3410/task/3427/stat : 3427 (pb_cplex) S 3409 3409 2525 0 -1 4202560 41000 0 0 0 10647 24 0 0 20 0 8 0 390971840 299606016 46954 33554432000 134512640 146736320 4286975920 4141112976 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3410/tid=3428] ppid=3409 vsize=292584 CPUtime=96.21 cores=1,3,5,7
/proc/3410/task/3428/stat : 3428 (pb_cplex) S 3409 3409 2525 0 -1 4202560 63598 0 0 0 9593 28 0 0 20 0 8 0 390971840 299606016 46954 33554432000 134512640 146736320 4286975920 4151598736 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3410/tid=3429] ppid=3409 vsize=292584 CPUtime=119.37 cores=1,3,5,7
/proc/3410/task/3429/stat : 3429 (pb_cplex) S 3409 3409 2525 0 -1 4202560 50850 0 0 0 11910 27 0 0 20 0 8 0 390971840 299606016 46954 33554432000 134512640 146736320 4286975920 4110196368 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3410/tid=3430] ppid=3409 vsize=292584 CPUtime=108.74 cores=1,3,5,7
/proc/3410/task/3430/stat : 3430 (pb_cplex) R 3409 3409 2525 0 -1 4202560 51099 0 0 0 10850 24 0 0 20 0 8 0 390971840 299606016 46954 33554432000 134512640 146736320 4286975920 4056932216 136400447 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=3410/tid=3431] ppid=3409 vsize=292584 CPUtime=115.37 cores=1,3,5,7
/proc/3410/task/3431/stat : 3431 (pb_cplex) S 3409 3409 2525 0 -1 4202560 70078 0 0 0 11503 34 0 0 20 0 8 0 390971840 299606016 46954 33554432000 134512640 146736320 4286975920 4046450320 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3410/tid=3432] ppid=3409 vsize=292584 CPUtime=115.95 cores=1,3,5,7
/proc/3410/task/3432/stat : 3432 (pb_cplex) S 3409 3409 2525 0 -1 4202560 80863 0 0 0 11561 34 0 0 20 0 8 0 390971840 299606016 46954 33554432000 134512640 146736320 4286975920 4035964560 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 904.39
Current children cumulated vsize (KiB) 301732

[startup+292.3 s]
/proc/loadavg: 8.43 8.31 7.31 7/193 3436
/proc/meminfo: memFree=28433792/32873648 swapFree=7372/7372
[pid=3409] ppid=3407 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3409/stat : 3409 (run) S 3407 3409 2525 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390968914 9367552 270 33554432000 4194304 5064252 140734839662448 140734839661360 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3409/statm: 2287 270 229 213 0 72 0
[pid=3410] ppid=3409 vsize=292584 CPUtime=904.79 cores=1,3,5,7
/proc/3410/stat : 3410 (pb_cplex) S 3409 3409 2525 0 -1 4202496 533358 0 0 0 90234 245 0 0 20 0 8 0 390968914 299606016 46954 33554432000 134512640 146736320 4286975920 4286972304 144580073 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3410/statm: 73146 46954 981 2985 0 70080 0
[pid=3410/tid=3426] ppid=3409 vsize=292584 CPUtime=93.01 cores=1,3,5,7
/proc/3410/task/3426/stat : 3426 (pb_cplex) S 3409 3409 2525 0 -1 4202560 63080 0 0 0 9274 27 0 0 20 0 8 0 390971840 299606016 46954 33554432000 134512640 146736320 4286975920 4130627216 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3410/tid=3427] ppid=3409 vsize=292584 CPUtime=106.71 cores=1,3,5,7
/proc/3410/task/3427/stat : 3427 (pb_cplex) S 3409 3409 2525 0 -1 4202560 41000 0 0 0 10647 24 0 0 20 0 8 0 390971840 299606016 46954 33554432000 134512640 146736320 4286975920 4141112976 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3410/tid=3428] ppid=3409 vsize=292584 CPUtime=96.21 cores=1,3,5,7
/proc/3410/task/3428/stat : 3428 (pb_cplex) S 3409 3409 2525 0 -1 4202560 63598 0 0 0 9593 28 0 0 20 0 8 0 390971840 299606016 46954 33554432000 134512640 146736320 4286975920 4151598736 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3410/tid=3429] ppid=3409 vsize=292584 CPUtime=119.37 cores=1,3,5,7
/proc/3410/task/3429/stat : 3429 (pb_cplex) S 3409 3409 2525 0 -1 4202560 50850 0 0 0 11910 27 0 0 20 0 8 0 390971840 299606016 46954 33554432000 134512640 146736320 4286975920 4110196368 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3410/tid=3430] ppid=3409 vsize=292584 CPUtime=109.14 cores=1,3,5,7
/proc/3410/task/3430/stat : 3430 (pb_cplex) R 3409 3409 2525 0 -1 4202560 51099 0 0 0 10890 24 0 0 20 0 8 0 390971840 299606016 46954 33554432000 134512640 146736320 4286975920 4056932352 136019067 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=3410/tid=3431] ppid=3409 vsize=292584 CPUtime=115.37 cores=1,3,5,7
/proc/3410/task/3431/stat : 3431 (pb_cplex) S 3409 3409 2525 0 -1 4202560 70078 0 0 0 11503 34 0 0 20 0 8 0 390971840 299606016 46954 33554432000 134512640 146736320 4286975920 4046450320 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3410/tid=3432] ppid=3409 vsize=292584 CPUtime=115.95 cores=1,3,5,7
/proc/3410/task/3432/stat : 3432 (pb_cplex) S 3409 3409 2525 0 -1 4202560 80863 0 0 0 11561 34 0 0 20 0 8 0 390971840 299606016 46954 33554432000 134512640 146736320 4286975920 4035964560 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 904.79
Current children cumulated vsize (KiB) 301732

[startup+292.5 s]
/proc/loadavg: 8.43 8.31 7.31 7/193 3436
/proc/meminfo: memFree=28432804/32873648 swapFree=7372/7372
[pid=3409] ppid=3407 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3409/stat : 3409 (run) S 3407 3409 2525 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390968914 9367552 270 33554432000 4194304 5064252 140734839662448 140734839661360 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3409/statm: 2287 270 229 213 0 72 0
[pid=3410] ppid=3409 vsize=292584 CPUtime=905 cores=1,3,5,7
/proc/3410/stat : 3410 (pb_cplex) S 3409 3409 2525 0 -1 4202496 533358 0 0 0 90255 245 0 0 20 0 8 0 390968914 299606016 46954 33554432000 134512640 146736320 4286975920 4286972304 144580073 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3410/statm: 73146 46954 981 2985 0 70080 0
[pid=3410/tid=3426] ppid=3409 vsize=292584 CPUtime=93.01 cores=1,3,5,7
/proc/3410/task/3426/stat : 3426 (pb_cplex) S 3409 3409 2525 0 -1 4202560 63080 0 0 0 9274 27 0 0 20 0 8 0 390971840 299606016 46954 33554432000 134512640 146736320 4286975920 4130627216 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3410/tid=3427] ppid=3409 vsize=292584 CPUtime=106.71 cores=1,3,5,7
/proc/3410/task/3427/stat : 3427 (pb_cplex) S 3409 3409 2525 0 -1 4202560 41000 0 0 0 10647 24 0 0 20 0 8 0 390971840 299606016 46954 33554432000 134512640 146736320 4286975920 4141112976 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3410/tid=3428] ppid=3409 vsize=292584 CPUtime=96.21 cores=1,3,5,7
/proc/3410/task/3428/stat : 3428 (pb_cplex) S 3409 3409 2525 0 -1 4202560 63598 0 0 0 9593 28 0 0 20 0 8 0 390971840 299606016 46954 33554432000 134512640 146736320 4286975920 4151598736 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3410/tid=3429] ppid=3409 vsize=292584 CPUtime=119.37 cores=1,3,5,7
/proc/3410/task/3429/stat : 3429 (pb_cplex) S 3409 3409 2525 0 -1 4202560 50850 0 0 0 11910 27 0 0 20 0 8 0 390971840 299606016 46954 33554432000 134512640 146736320 4286975920 4110196368 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3410/tid=3430] ppid=3409 vsize=292584 CPUtime=109.35 cores=1,3,5,7
/proc/3410/task/3430/stat : 3430 (pb_cplex) R 3409 3409 2525 0 -1 4202560 51099 0 0 0 10911 24 0 0 20 0 8 0 390971840 299606016 46954 33554432000 134512640 146736320 4286975920 4056932352 136018955 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=3410/tid=3431] ppid=3409 vsize=292584 CPUtime=115.37 cores=1,3,5,7
/proc/3410/task/3431/stat : 3431 (pb_cplex) S 3409 3409 2525 0 -1 4202560 70078 0 0 0 11503 34 0 0 20 0 8 0 390971840 299606016 46954 33554432000 134512640 146736320 4286975920 4046450320 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3410/tid=3432] ppid=3409 vsize=292584 CPUtime=115.95 cores=1,3,5,7
/proc/3410/task/3432/stat : 3432 (pb_cplex) S 3409 3409 2525 0 -1 4202560 80863 0 0 0 11561 34 0 0 20 0 8 0 390971840 299606016 46954 33554432000 134512640 146736320 4286975920 4035964560 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 905
Current children cumulated vsize (KiB) 301732

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3409 and gives
#  childrusage.ru_utime.tv_sec=902
#  childrusage.ru_utime.tv_usec=44868
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=573608
# CPU time returned by wait4() is 904.619
# while last known CPU time is 905
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 292.572
CPU time (s): 905
CPU user time (s): 902.55
CPU system time (s): 2.45
CPU usage (%): 309.325
Max. virtual memory (cumulated for all children) (KiB): 322148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 902.045
system time used= 2.57361
maximum resident set size= 202060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 533745
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= 9913
involuntary context switches= 46278

runsolver used 0.563914 second user time and 1.39779 second system time

The end