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-3731290-1339246861/watcher-3731290-1339246861 -o /tmp/evaluation-result-3731290-1339246861/solver-3731290-1339246861 -C 1800 -W 1900 -M 15500 run HOME/instance-3731290-1339246861.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: 0.39 0.09 0.03 3/178 22369
/proc/meminfo: memFree=29782264/32873648 swapFree=6860/6860
[pid=22369] ppid=22367 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22369/stat : 22369 (run) S 22367 22369 22071 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390812662 9367552 270 33554432000 4194304 5064252 140733354854352 140733354853264 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22369/statm: 2287 270 229 213 0 72 0
[startup+0.031019 s]
/proc/loadavg: 0.39 0.09 0.03 3/178 22369
/proc/meminfo: memFree=29782264/32873648 swapFree=6860/6860
[pid=22369] ppid=22367 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22369/stat : 22369 (run) S 22367 22369 22071 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390812662 9367552 270 33554432000 4194304 5064252 140733354854352 140733354853264 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22369/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100132 s]
/proc/loadavg: 0.39 0.09 0.03 3/178 22369
/proc/meminfo: memFree=29782264/32873648 swapFree=6860/6860
[pid=22369] ppid=22367 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22369/stat : 22369 (run) S 22367 22369 22071 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390812662 9367552 270 33554432000 4194304 5064252 140733354854352 140733354853264 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22369/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300106 s]
/proc/loadavg: 0.39 0.09 0.03 3/178 22369
/proc/meminfo: memFree=29782264/32873648 swapFree=6860/6860
[pid=22369] ppid=22367 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22369/stat : 22369 (run) S 22367 22369 22071 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390812662 9367552 270 33554432000 4194304 5064252 140733354854352 140733354853264 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22369/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700096 s]
/proc/loadavg: 0.39 0.09 0.03 3/178 22369
/proc/meminfo: memFree=29782264/32873648 swapFree=6860/6860
[pid=22369] ppid=22367 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22369/stat : 22369 (run) S 22367 22369 22071 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390812662 9367552 270 33554432000 4194304 5064252 140733354854352 140733354853264 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22369/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50027 s]
/proc/loadavg: 0.39 0.09 0.03 3/180 22371
/proc/meminfo: memFree=29775692/32873648 swapFree=6860/6860
[pid=22369] ppid=22367 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22369/stat : 22369 (run) S 22367 22369 22071 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390812662 9367552 270 33554432000 4194304 5064252 140733354854352 140733354853264 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22369/statm: 2287 270 229 213 0 72 0
[pid=22370] ppid=22369 vsize=22512 CPUtime=1.49 cores=1,3,5,7
/proc/22370/stat : 22370 (pb_cplex) R 22369 22369 22071 0 -1 4202496 4007 0 0 0 149 0 0 0 20 0 1 0 390812662 23052288 2867 33554432000 134512640 146736320 4294067968 4294063896 144757825 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/22370/statm: 5628 2867 868 2985 0 2562 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31660
[startup+3.10027 s]
/proc/loadavg: 0.39 0.09 0.03 3/180 22371
/proc/meminfo: memFree=29774080/32873648 swapFree=6860/6860
[pid=22369] ppid=22367 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22369/stat : 22369 (run) S 22367 22369 22071 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390812662 9367552 270 33554432000 4194304 5064252 140733354854352 140733354853264 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22369/statm: 2287 270 229 213 0 72 0
[pid=22370] ppid=22369 vsize=22160 CPUtime=3.08 cores=1,3,5,7
/proc/22370/stat : 22370 (pb_cplex) R 22369 22369 22071 0 -1 4202496 5275 0 0 0 308 0 0 0 20 0 1 0 390812662 22691840 2908 33554432000 134512640 146736320 4294067968 4294061952 136018903 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/22370/statm: 5540 2908 899 2985 0 2474 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 31308
[startup+6.30027 s]
/proc/loadavg: 0.52 0.12 0.04 3/180 22371
/proc/meminfo: memFree=29346872/32873648 swapFree=6860/6860
[pid=22369] ppid=22367 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22369/stat : 22369 (run) S 22367 22369 22071 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390812662 9367552 270 33554432000 4194304 5064252 140733354854352 140733354853264 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22369/statm: 2287 270 229 213 0 72 0
[pid=22370] ppid=22369 vsize=22496 CPUtime=6.28 cores=1,3,5,7
/proc/22370/stat : 22370 (pb_cplex) R 22369 22369 22071 0 -1 4202496 5711 0 0 0 628 0 0 0 20 0 1 0 390812662 23035904 2975 33554432000 134512640 146736320 4294067968 4294061660 135855167 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/22370/statm: 5624 2975 902 2985 0 2558 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 31644
[startup+12.7004 s]
/proc/loadavg: 0.64 0.16 0.05 3/187 22378
/proc/meminfo: memFree=29260020/32873648 swapFree=6860/6860
[pid=22369] ppid=22367 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22369/stat : 22369 (run) S 22367 22369 22071 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390812662 9367552 270 33554432000 4194304 5064252 140733354854352 140733354853264 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22369/statm: 2287 270 229 213 0 72 0
[pid=22370] ppid=22369 vsize=112644 CPUtime=12.68 cores=1,3,5,7
/proc/22370/stat : 22370 (pb_cplex) R 22369 22369 22071 0 -1 4202496 10353 0 0 0 1267 1 0 0 20 0 8 0 390812662 115347456 6614 33554432000 134512640 146736320 4294067968 4294058956 135465139 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22370/statm: 28161 6614 956 2985 0 25095 0
[pid=22370/tid=22372] ppid=22369 vsize=112644 CPUtime=0 cores=1,3,5,7
/proc/22370/task/22372/stat : 22372 (pb_cplex) S 22369 22369 22071 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 8 0 390813685 115347456 6614 33554432000 134512640 146736320 4294067968 4149603984 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22370/tid=22373] ppid=22369 vsize=112644 CPUtime=0 cores=1,3,5,7
/proc/22370/task/22373/stat : 22373 (pb_cplex) S 22369 22369 22071 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 390813685 115347456 6614 33554432000 134512640 146736320 4294067968 4139118224 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22370/tid=22374] ppid=22369 vsize=112644 CPUtime=0 cores=1,3,5,7
/proc/22370/task/22374/stat : 22374 (pb_cplex) S 22369 22369 22071 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 390813685 115347456 6614 33554432000 134512640 146736320 4294067968 4128632464 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22370/tid=22375] ppid=22369 vsize=112644 CPUtime=0 cores=1,3,5,7
/proc/22370/task/22375/stat : 22375 (pb_cplex) S 22369 22369 22071 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 390813685 115347456 6614 33554432000 134512640 146736320 4294067968 4118146704 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22370/tid=22376] ppid=22369 vsize=112644 CPUtime=0 cores=1,3,5,7
/proc/22370/task/22376/stat : 22376 (pb_cplex) S 22369 22369 22071 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 390813685 115347456 6614 33554432000 134512640 146736320 4294067968 4107660944 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22370/tid=22377] ppid=22369 vsize=112644 CPUtime=0 cores=1,3,5,7
/proc/22370/task/22377/stat : 22377 (pb_cplex) S 22369 22369 22071 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 390813685 115347456 6614 33554432000 134512640 146736320 4294067968 4097175184 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22370/tid=22378] ppid=22369 vsize=112644 CPUtime=0 cores=1,3,5,7
/proc/22370/task/22378/stat : 22378 (pb_cplex) S 22369 22369 22071 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 390813685 115347456 6614 33554432000 134512640 146736320 4294067968 4086689424 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 121792
[startup+25.5004 s]
/proc/loadavg: 1.50 0.36 0.12 10/187 22378
/proc/meminfo: memFree=28943580/32873648 swapFree=6860/6860
[pid=22369] ppid=22367 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22369/stat : 22369 (run) S 22367 22369 22071 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390812662 9367552 270 33554432000 4194304 5064252 140733354854352 140733354853264 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22369/statm: 2287 270 229 213 0 72 0
[pid=22370] ppid=22369 vsize=137512 CPUtime=38.57 cores=1,3,5,7
/proc/22370/stat : 22370 (pb_cplex) R 22369 22369 22071 0 -1 4202496 15319 0 0 0 3854 3 0 0 20 0 8 0 390812662 140812288 11313 33554432000 134512640 146736320 4294067968 4294059976 136000488 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22370/statm: 34378 11313 959 2985 0 31312 0
[pid=22370/tid=22372] ppid=22369 vsize=137512 CPUtime=2.16 cores=1,3,5,7
/proc/22370/task/22372/stat : 22372 (pb_cplex) R 22369 22369 22071 0 -1 4202560 742 0 0 0 216 0 0 0 20 0 8 0 390813685 140812288 11313 33554432000 134512640 146736320 4294067968 4149600712 136000750 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=22370/tid=22373] ppid=22369 vsize=137512 CPUtime=2.14 cores=1,3,5,7
/proc/22370/task/22373/stat : 22373 (pb_cplex) R 22369 22369 22071 0 -1 4202560 506 0 0 0 214 0 0 0 20 0 8 0 390813685 140812288 11313 33554432000 134512640 146736320 4294067968 4139114184 136002914 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=22370/tid=22374] ppid=22369 vsize=137512 CPUtime=2.17 cores=1,3,5,7
/proc/22370/task/22374/stat : 22374 (pb_cplex) R 22369 22369 22071 0 -1 4202560 698 0 0 0 217 0 0 0 20 0 8 0 390813685 140812288 11313 33554432000 134512640 146736320 4294067968 4128629192 136000404 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=22370/tid=22375] ppid=22369 vsize=137512 CPUtime=2.17 cores=1,3,5,7
/proc/22370/task/22375/stat : 22375 (pb_cplex) R 22369 22369 22071 0 -1 4202560 734 0 0 0 217 0 0 0 20 0 8 0 390813685 140812288 11313 33554432000 134512640 146736320 4294067968 4118142084 135844439 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22370/tid=22376] ppid=22369 vsize=137512 CPUtime=2.17 cores=1,3,5,7
/proc/22370/task/22376/stat : 22376 (pb_cplex) R 22369 22369 22071 0 -1 4202560 733 0 0 0 217 0 0 0 20 0 8 0 390813685 140812288 11313 33554432000 134512640 146736320 4294067968 4107657320 136384749 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22370/tid=22377] ppid=22369 vsize=137512 CPUtime=2.17 cores=1,3,5,7
/proc/22370/task/22377/stat : 22377 (pb_cplex) R 22369 22369 22071 0 -1 4202560 699 0 0 0 217 0 0 0 20 0 8 0 390813685 140812288 11313 33554432000 134512640 146736320 4294067968 4097171528 139042890 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22370/tid=22378] ppid=22369 vsize=137512 CPUtime=2.17 cores=1,3,5,7
/proc/22370/task/22378/stat : 22378 (pb_cplex) R 22369 22369 22071 0 -1 4202560 775 0 0 0 217 0 0 0 20 0 8 0 390813685 140812288 11313 33554432000 134512640 146736320 4294067968 4086684816 136008050 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 38.57
Current children cumulated vsize (KiB) 146660
[startup+51.1004 s]
/proc/loadavg: 3.99 1.04 0.35 10/187 22378
/proc/meminfo: memFree=28986804/32873648 swapFree=6860/6860
[pid=22369] ppid=22367 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22369/stat : 22369 (run) S 22367 22369 22071 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390812662 9367552 270 33554432000 4194304 5064252 140733354854352 140733354853264 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22369/statm: 2287 270 229 213 0 72 0
[pid=22370] ppid=22369 vsize=138536 CPUtime=137.7 cores=1,3,5,7
/proc/22370/stat : 22370 (pb_cplex) R 22369 22369 22071 0 -1 4202496 15558 0 0 0 13765 5 0 0 20 0 8 0 390812662 141860864 11552 33554432000 134512640 146736320 4294067968 4294059592 139042897 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22370/statm: 34634 11552 964 2985 0 31568 0
[pid=22370/tid=22372] ppid=22369 vsize=138536 CPUtime=15.04 cores=1,3,5,7
/proc/22370/task/22372/stat : 22372 (pb_cplex) R 22369 22369 22071 0 -1 4202560 765 0 0 0 1504 0 0 0 20 0 8 0 390813685 141860864 11552 33554432000 134512640 146736320 4294067968 4149600472 136009078 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22370/tid=22373] ppid=22369 vsize=138536 CPUtime=15.61 cores=1,3,5,7
/proc/22370/task/22373/stat : 22373 (pb_cplex) R 22369 22369 22071 0 -1 4202560 584 0 0 0 1561 0 0 0 20 0 8 0 390813685 141860864 11552 33554432000 134512640 146736320 4294067968 4139114496 136019067 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=22370/tid=22374] ppid=22369 vsize=138536 CPUtime=16.84 cores=1,3,5,7
/proc/22370/task/22374/stat : 22374 (pb_cplex) R 22369 22369 22071 0 -1 4202560 701 0 0 0 1684 0 0 0 20 0 8 0 390813685 141860864 11552 33554432000 134512640 146736320 4294067968 4128628944 136008050 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22370/tid=22375] ppid=22369 vsize=138536 CPUtime=14.04 cores=1,3,5,7
/proc/22370/task/22375/stat : 22375 (pb_cplex) R 22369 22369 22071 0 -1 4202560 850 0 0 0 1404 0 0 0 20 0 8 0 390813685 141860864 11552 33554432000 134512640 146736320 4294067968 4118143432 135999705 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=22370/tid=22376] ppid=22369 vsize=138536 CPUtime=12.9 cores=1,3,5,7
/proc/22370/task/22376/stat : 22376 (pb_cplex) R 22369 22369 22071 0 -1 4202560 738 0 0 0 1290 0 0 0 20 0 8 0 390813685 141860864 11552 33554432000 134512640 146736320 4294067968 4107657424 136008172 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22370/tid=22377] ppid=22369 vsize=138536 CPUtime=15.74 cores=1,3,5,7
/proc/22370/task/22377/stat : 22377 (pb_cplex) R 22369 22369 22071 0 -1 4202560 702 0 0 0 1574 0 0 0 20 0 8 0 390813685 141860864 11552 33554432000 134512640 146736320 4294067968 4097171664 136008356 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22370/tid=22378] ppid=22369 vsize=138536 CPUtime=13.89 cores=1,3,5,7
/proc/22370/task/22378/stat : 22378 (pb_cplex) R 22369 22369 22071 0 -1 4202560 782 0 0 0 1389 0 0 0 20 0 8 0 390813685 141860864 11552 33554432000 134512640 146736320 4294067968 4086685764 136385183 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 137.7
Current children cumulated vsize (KiB) 147684
[startup+102.307 s]
/proc/loadavg: 6.16 2.09 0.74 10/186 22378
/proc/meminfo: memFree=29241976/32873648 swapFree=6860/6860
[pid=22369] ppid=22367 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22369/stat : 22369 (run) S 22367 22369 22071 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390812662 9367552 270 33554432000 4194304 5064252 140733354854352 140733354853264 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22369/statm: 2287 270 229 213 0 72 0
[pid=22370] ppid=22369 vsize=138536 CPUtime=332.8 cores=1,3,5,7
/proc/22370/stat : 22370 (pb_cplex) R 22369 22369 22071 0 -1 4202496 18302 0 0 0 33270 10 0 0 20 0 8 0 390812662 141860864 11788 33554432000 134512640 146736320 4294067968 4294060676 136385172 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22370/statm: 34634 11788 964 2985 0 31568 0
[pid=22370/tid=22372] ppid=22369 vsize=138536 CPUtime=36.41 cores=1,3,5,7
/proc/22370/task/22372/stat : 22372 (pb_cplex) R 22369 22369 22071 0 -1 4202560 766 0 0 0 3641 0 0 0 20 0 8 0 390813685 141860864 11788 33554432000 134512640 146736320 4294067968 4149600328 136474230 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22370/tid=22373] ppid=22369 vsize=138536 CPUtime=40.73 cores=1,3,5,7
/proc/22370/task/22373/stat : 22373 (pb_cplex) R 22369 22369 22071 0 -1 4202560 595 0 0 0 4073 0 0 0 20 0 8 0 390813685 141860864 11788 33554432000 134512640 146736320 4294067968 4139114704 136008050 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=22370/tid=22374] ppid=22369 vsize=138536 CPUtime=44.16 cores=1,3,5,7
/proc/22370/task/22374/stat : 22374 (pb_cplex) R 22369 22369 22071 0 -1 4202560 1447 0 0 0 4416 0 0 0 20 0 8 0 390813685 141860864 11788 33554432000 134512640 146736320 4294067968 4128628944 136007982 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22370/tid=22375] ppid=22369 vsize=138536 CPUtime=40.7 cores=1,3,5,7
/proc/22370/task/22375/stat : 22375 (pb_cplex) R 22369 22369 22071 0 -1 4202560 1029 0 0 0 4069 1 0 0 20 0 8 0 390813685 141860864 11788 33554432000 134512640 146736320 4294067968 4118141392 135459565 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=22370/tid=22376] ppid=22369 vsize=138536 CPUtime=34.26 cores=1,3,5,7
/proc/22370/task/22376/stat : 22376 (pb_cplex) R 22369 22369 22071 0 -1 4202560 1335 0 0 0 3426 0 0 0 20 0 8 0 390813685 141860864 11788 33554432000 134512640 146736320 4294067968 4107657424 136008454 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=22370/tid=22377] ppid=22369 vsize=138536 CPUtime=38.45 cores=1,3,5,7
/proc/22370/task/22377/stat : 22377 (pb_cplex) R 22369 22369 22071 0 -1 4202560 1230 0 0 0 3845 0 0 0 20 0 8 0 390813685 141860864 11788 33554432000 134512640 146736320 4294067968 4097171664 136008167 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22370/tid=22378] ppid=22369 vsize=138536 CPUtime=38.05 cores=1,3,5,7
################
# More data... #
################
[pid=22370/tid=22446] ppid=22369 vsize=257916 CPUtime=62.83 cores=1,3,5,7
/proc/22370/task/22446/stat : 22446 (pb_cplex) R 22369 22369 22071 0 -1 4202560 1169 0 0 0 6281 2 0 0 20 0 8 0 390832561 264105984 37351 33554432000 134512640 146736320 4294067968 3984970728 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22370/tid=22447] ppid=22369 vsize=257916 CPUtime=56.66 cores=1,3,5,7
/proc/22370/task/22447/stat : 22447 (pb_cplex) R 22369 22369 22071 0 -1 4202560 3961 0 0 0 5664 2 0 0 20 0 8 0 390832561 264105984 37351 33554432000 134512640 146736320 4294067968 3974484412 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22370/tid=22448] ppid=22369 vsize=257916 CPUtime=57.81 cores=1,3,5,7
/proc/22370/task/22448/stat : 22448 (pb_cplex) R 22369 22369 22071 0 -1 4202560 1892 0 0 0 5779 2 0 0 20 0 8 0 390832561 264105984 37351 33554432000 134512640 146736320 4294067968 3963998280 139042902 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1074.51
Current children cumulated vsize (KiB) 267064
[startup+402.3 s]
/proc/loadavg: 13.48 8.11 3.56 17/193 22456
/proc/meminfo: memFree=30292800/32873648 swapFree=6860/6860
[pid=22369] ppid=22367 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22369/stat : 22369 (run) S 22367 22369 22071 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390812662 9367552 270 33554432000 4194304 5064252 140733354854352 140733354853264 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22369/statm: 2287 270 229 213 0 72 0
[pid=22370] ppid=22369 vsize=259180 CPUtime=1286.08 cores=1,3,5,7
/proc/22370/stat : 22370 (pb_cplex) R 22369 22369 22071 0 -1 4202496 69100 0 0 0 128553 55 0 0 20 0 8 0 390812662 265400320 39662 33554432000 134512640 146736320 4294067968 4294060232 136002908 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22370/statm: 64795 39662 1003 2985 0 61729 0
[pid=22370/tid=22442] ppid=22369 vsize=259180 CPUtime=86.26 cores=1,3,5,7
/proc/22370/task/22442/stat : 22442 (pb_cplex) R 22369 22369 22071 0 -1 4202560 880 0 0 0 8624 2 0 0 20 0 8 0 390832561 265400320 39662 33554432000 134512640 146736320 4294067968 4066369744 136008042 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22370/tid=22443] ppid=22369 vsize=259180 CPUtime=79.5 cores=1,3,5,7
/proc/22370/task/22443/stat : 22443 (pb_cplex) R 22369 22369 22071 0 -1 4202560 3739 0 0 0 7947 3 0 0 20 0 8 0 390832561 265400320 39662 33554432000 134512640 146736320 4294067968 4133207880 135525908 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=22370/tid=22444] ppid=22369 vsize=259180 CPUtime=81.58 cores=1,3,5,7
/proc/22370/task/22444/stat : 22444 (pb_cplex) R 22369 22369 22071 0 -1 4202560 11012 0 0 0 8155 3 0 0 20 0 8 0 390832561 265400320 39662 33554432000 134512640 146736320 4294067968 4143694032 136008044 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=22370/tid=22445] ppid=22369 vsize=259180 CPUtime=96.66 cores=1,3,5,7
/proc/22370/task/22445/stat : 22445 (pb_cplex) R 22369 22369 22071 0 -1 4202560 2868 0 0 0 9663 3 0 0 20 0 8 0 390832561 265400320 39662 33554432000 134512640 146736320 4294067968 4118142096 136008356 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=22370/tid=22446] ppid=22369 vsize=259180 CPUtime=88.28 cores=1,3,5,7
/proc/22370/task/22446/stat : 22446 (pb_cplex) R 22369 22369 22071 0 -1 4202560 1524 0 0 0 8825 3 0 0 20 0 8 0 390832561 265400320 39662 33554432000 134512640 146736320 4294067968 3984969936 136007982 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22370/tid=22447] ppid=22369 vsize=259180 CPUtime=84.69 cores=1,3,5,7
/proc/22370/task/22447/stat : 22447 (pb_cplex) R 22369 22369 22071 0 -1 4202560 3980 0 0 0 8465 4 0 0 20 0 8 0 390832561 265400320 39662 33554432000 134512640 146736320 4294067968 3974484176 136008443 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22370/tid=22448] ppid=22369 vsize=259180 CPUtime=83.2 cores=1,3,5,7
/proc/22370/task/22448/stat : 22448 (pb_cplex) R 22369 22369 22071 0 -1 4202560 1951 0 0 0 8317 3 0 0 20 0 8 0 390832561 265400320 39662 33554432000 134512640 146736320 4294067968 3963998300 135855165 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1286.08
Current children cumulated vsize (KiB) 268328
[startup+462.3 s]
/proc/loadavg: 14.00 9.25 4.24 17/193 22456
/proc/meminfo: memFree=30228320/32873648 swapFree=6860/6860
[pid=22369] ppid=22367 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22369/stat : 22369 (run) S 22367 22369 22071 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390812662 9367552 270 33554432000 4194304 5064252 140733354854352 140733354853264 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22369/statm: 2287 270 229 213 0 72 0
[pid=22370] ppid=22369 vsize=259952 CPUtime=1500.29 cores=1,3,5,7
/proc/22370/stat : 22370 (pb_cplex) R 22369 22369 22071 0 -1 4202496 70063 0 0 0 149969 60 0 0 20 0 8 0 390812662 266190848 39786 33554432000 134512640 146736320 4294067968 4294059948 136400653 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22370/statm: 64988 39786 1003 2985 0 61922 0
[pid=22370/tid=22442] ppid=22369 vsize=259952 CPUtime=110.81 cores=1,3,5,7
/proc/22370/task/22442/stat : 22442 (pb_cplex) R 22369 22369 22071 0 -1 4202560 1227 0 0 0 11078 3 0 0 20 0 8 0 390832561 266190848 39786 33554432000 134512640 146736320 4294067968 4066369992 136000409 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=22370/tid=22443] ppid=22369 vsize=259952 CPUtime=108.59 cores=1,3,5,7
/proc/22370/task/22443/stat : 22443 (pb_cplex) R 22369 22369 22071 0 -1 4202560 3741 0 0 0 10855 4 0 0 20 0 8 0 390832561 266190848 39786 33554432000 134512640 146736320 4294067968 4133208520 136000426 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=22370/tid=22444] ppid=22369 vsize=259952 CPUtime=106.36 cores=1,3,5,7
/proc/22370/task/22444/stat : 22444 (pb_cplex) R 22369 22369 22071 0 -1 4202560 11052 0 0 0 10632 4 0 0 20 0 8 0 390832561 266190848 39786 33554432000 134512640 146736320 4294067968 4143693880 136475782 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22370/tid=22445] ppid=22369 vsize=259952 CPUtime=124.37 cores=1,3,5,7
/proc/22370/task/22445/stat : 22445 (pb_cplex) R 22369 22369 22071 0 -1 4202560 3157 0 0 0 12433 4 0 0 20 0 8 0 390832561 266190848 39786 33554432000 134512640 146736320 4294067968 4118142104 136009199 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22370/tid=22446] ppid=22369 vsize=259952 CPUtime=115.21 cores=1,3,5,7
/proc/22370/task/22446/stat : 22446 (pb_cplex) R 22369 22369 22071 0 -1 4202560 1663 0 0 0 11517 4 0 0 20 0 8 0 390832561 266190848 39786 33554432000 134512640 146736320 4294067968 3984969544 135526308 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=22370/tid=22447] ppid=22369 vsize=259952 CPUtime=110.36 cores=1,3,5,7
/proc/22370/task/22447/stat : 22447 (pb_cplex) R 22369 22369 22071 0 -1 4202560 3981 0 0 0 11032 4 0 0 20 0 8 0 390832561 266190848 39786 33554432000 134512640 146736320 4294067968 3974484176 136008044 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=22370/tid=22448] ppid=22369 vsize=259952 CPUtime=114.92 cores=1,3,5,7
/proc/22370/task/22448/stat : 22448 (pb_cplex) R 22369 22369 22071 0 -1 4202560 2047 0 0 0 11488 4 0 0 20 0 8 0 390832561 266190848 39786 33554432000 134512640 146736320 4294067968 3963998556 139023098 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1500.29
Current children cumulated vsize (KiB) 269100
[startup+522.3 s]
/proc/loadavg: 13.65 10.05 4.82 11/193 22456
/proc/meminfo: memFree=30225224/32873648 swapFree=6860/6860
[pid=22369] ppid=22367 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22369/stat : 22369 (run) S 22367 22369 22071 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390812662 9367552 270 33554432000 4194304 5064252 140733354854352 140733354853264 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22369/statm: 2287 270 229 213 0 72 0
[pid=22370] ppid=22369 vsize=262252 CPUtime=1725.51 cores=1,3,5,7
/proc/22370/stat : 22370 (pb_cplex) S 22369 22369 22071 0 -1 4202496 79163 0 0 0 172482 69 0 0 20 0 8 0 390812662 268546048 40556 33554432000 134512640 146736320 4294067968 4294064336 144580073 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22370/statm: 65563 40556 1004 2985 0 62497 0
[pid=22370/tid=22442] ppid=22369 vsize=262252 CPUtime=140.25 cores=1,3,5,7
/proc/22370/task/22442/stat : 22442 (pb_cplex) S 22369 22369 22071 0 -1 4202560 2173 0 0 0 14020 5 0 0 20 0 8 0 390832561 268546048 40556 33554432000 134512640 146736320 4294067968 4066373264 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22370/tid=22443] ppid=22369 vsize=262252 CPUtime=136.7 cores=1,3,5,7
/proc/22370/task/22443/stat : 22443 (pb_cplex) R 22369 22369 22071 0 -1 4202560 3741 0 0 0 13665 5 0 0 20 0 8 0 390832561 268546048 40556 33554432000 134512640 146736320 4294067968 4133208520 136000338 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=22370/tid=22444] ppid=22369 vsize=262252 CPUtime=135.99 cores=1,3,5,7
/proc/22370/task/22444/stat : 22444 (pb_cplex) S 22369 22369 22071 0 -1 4202560 11096 0 0 0 13593 6 0 0 20 0 8 0 390832561 268546048 40556 33554432000 134512640 146736320 4294067968 4143697552 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22370/tid=22445] ppid=22369 vsize=262252 CPUtime=149.71 cores=1,3,5,7
/proc/22370/task/22445/stat : 22445 (pb_cplex) S 22369 22369 22071 0 -1 4202560 4205 0 0 0 14965 6 0 0 20 0 8 0 390832561 268546048 40556 33554432000 134512640 146736320 4294067968 4118146704 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22370/tid=22446] ppid=22369 vsize=262252 CPUtime=144.1 cores=1,3,5,7
/proc/22370/task/22446/stat : 22446 (pb_cplex) S 22369 22369 22071 0 -1 4202560 1778 0 0 0 14404 6 0 0 20 0 8 0 390832561 268546048 40556 33554432000 134512640 146736320 4294067968 3984973456 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22370/tid=22447] ppid=22369 vsize=262252 CPUtime=136 cores=1,3,5,7
/proc/22370/task/22447/stat : 22447 (pb_cplex) S 22369 22369 22071 0 -1 4202560 3983 0 0 0 13594 6 0 0 20 0 8 0 390832561 268546048 40556 33554432000 134512640 146736320 4294067968 3974487696 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22370/tid=22448] ppid=22369 vsize=262252 CPUtime=142.66 cores=1,3,5,7
/proc/22370/task/22448/stat : 22448 (pb_cplex) S 22369 22369 22071 0 -1 4202560 8766 0 0 0 14259 7 0 0 20 0 8 0 390832561 268546048 40556 33554432000 134512640 146736320 4294067968 3964001936 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1725.51
Current children cumulated vsize (KiB) 271400
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+544.1 s]
/proc/loadavg: 13.47 10.25 5.00 16/194 22460
/proc/meminfo: memFree=30230276/32873648 swapFree=6860/6860
[pid=22369] ppid=22367 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22369/stat : 22369 (run) S 22367 22369 22071 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390812662 9367552 270 33554432000 4194304 5064252 140733354854352 140733354853264 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22369/statm: 2287 270 229 213 0 72 0
[pid=22370] ppid=22369 vsize=262252 CPUtime=1800.13 cores=1,3,5,7
/proc/22370/stat : 22370 (pb_cplex) R 22369 22369 22071 0 -1 4202496 79199 0 0 0 179941 72 0 0 20 0 8 0 390812662 268546048 40556 33554432000 134512640 146736320 4294067968 4294061608 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22370/statm: 65563 40556 1004 2985 0 62497 0
[pid=22370/tid=22442] ppid=22369 vsize=262252 CPUtime=147.79 cores=1,3,5,7
/proc/22370/task/22442/stat : 22442 (pb_cplex) R 22369 22369 22071 0 -1 4202560 2173 0 0 0 14773 6 0 0 20 0 8 0 390832561 268546048 40556 33554432000 134512640 146736320 4294067968 4066369592 136475800 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=22370/tid=22443] ppid=22369 vsize=262252 CPUtime=146.42 cores=1,3,5,7
/proc/22370/task/22443/stat : 22443 (pb_cplex) R 22369 22369 22071 0 -1 4202560 3741 0 0 0 14637 5 0 0 20 0 8 0 390832561 268546048 40556 33554432000 134512640 146736320 4294067968 4133208120 136475778 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=22370/tid=22444] ppid=22369 vsize=262252 CPUtime=143.87 cores=1,3,5,7
/proc/22370/task/22444/stat : 22444 (pb_cplex) R 22369 22369 22071 0 -1 4202560 11114 0 0 0 14380 7 0 0 20 0 8 0 390832561 268546048 40556 33554432000 134512640 146736320 4294067968 4143693892 136385184 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22370/tid=22445] ppid=22369 vsize=262252 CPUtime=159.21 cores=1,3,5,7
/proc/22370/task/22445/stat : 22445 (pb_cplex) R 22369 22369 22071 0 -1 4202560 4205 0 0 0 15914 7 0 0 20 0 8 0 390832561 268546048 40556 33554432000 134512640 146736320 4294067968 4118143068 135855165 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=22370/tid=22446] ppid=22369 vsize=262252 CPUtime=153.31 cores=1,3,5,7
/proc/22370/task/22446/stat : 22446 (pb_cplex) R 22369 22369 22071 0 -1 4202560 1779 0 0 0 15325 6 0 0 20 0 8 0 390832561 268546048 40556 33554432000 134512640 146736320 4294067968 3984969668 135523443 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=22370/tid=22447] ppid=22369 vsize=262252 CPUtime=144.81 cores=1,3,5,7
/proc/22370/task/22447/stat : 22447 (pb_cplex) R 22369 22369 22071 0 -1 4202560 3984 0 0 0 14474 7 0 0 20 0 8 0 390832561 268546048 40556 33554432000 134512640 146736320 4294067968 3974484424 136000532 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22370/tid=22448] ppid=22369 vsize=262252 CPUtime=151.85 cores=1,3,5,7
/proc/22370/task/22448/stat : 22448 (pb_cplex) R 22369 22369 22071 0 -1 4202560 8782 0 0 0 15177 8 0 0 20 0 8 0 390832561 268546048 40556 33554432000 134512640 146736320 4294067968 3963998428 136009700 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 271400
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+544.1 s]
/proc/loadavg: 13.47 10.25 5.00 16/194 22460
/proc/meminfo: memFree=30230276/32873648 swapFree=6860/6860
[pid=22369] ppid=22367 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22369/stat : 22369 (run) S 22367 22369 22071 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390812662 9367552 270 33554432000 4194304 5064252 140733354854352 140733354853264 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22369/statm: 2287 270 229 213 0 72 0
[pid=22370] ppid=22369 vsize=262252 CPUtime=1800.13 cores=1,3,5,7
/proc/22370/stat : 22370 (pb_cplex) R 22369 22369 22071 0 -1 4202496 79199 0 0 0 179941 72 0 0 20 0 8 0 390812662 268546048 40556 33554432000 134512640 146736320 4294067968 4294061608 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22370/statm: 65563 40556 1004 2985 0 62497 0
[pid=22370/tid=22442] ppid=22369 vsize=262252 CPUtime=147.79 cores=1,3,5,7
/proc/22370/task/22442/stat : 22442 (pb_cplex) R 22369 22369 22071 0 -1 4202560 2173 0 0 0 14773 6 0 0 20 0 8 0 390832561 268546048 40556 33554432000 134512640 146736320 4294067968 4066369592 136475800 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=22370/tid=22443] ppid=22369 vsize=262252 CPUtime=146.42 cores=1,3,5,7
/proc/22370/task/22443/stat : 22443 (pb_cplex) R 22369 22369 22071 0 -1 4202560 3741 0 0 0 14637 5 0 0 20 0 8 0 390832561 268546048 40556 33554432000 134512640 146736320 4294067968 4133208120 136475778 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=22370/tid=22444] ppid=22369 vsize=262252 CPUtime=143.87 cores=1,3,5,7
/proc/22370/task/22444/stat : 22444 (pb_cplex) R 22369 22369 22071 0 -1 4202560 11114 0 0 0 14380 7 0 0 20 0 8 0 390832561 268546048 40556 33554432000 134512640 146736320 4294067968 4143693892 136385184 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22370/tid=22445] ppid=22369 vsize=262252 CPUtime=159.21 cores=1,3,5,7
/proc/22370/task/22445/stat : 22445 (pb_cplex) R 22369 22369 22071 0 -1 4202560 4205 0 0 0 15914 7 0 0 20 0 8 0 390832561 268546048 40556 33554432000 134512640 146736320 4294067968 4118143068 135855165 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=22370/tid=22446] ppid=22369 vsize=262252 CPUtime=153.31 cores=1,3,5,7
/proc/22370/task/22446/stat : 22446 (pb_cplex) R 22369 22369 22071 0 -1 4202560 1779 0 0 0 15325 6 0 0 20 0 8 0 390832561 268546048 40556 33554432000 134512640 146736320 4294067968 3984969668 135523443 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=22370/tid=22447] ppid=22369 vsize=262252 CPUtime=144.81 cores=1,3,5,7
/proc/22370/task/22447/stat : 22447 (pb_cplex) R 22369 22369 22071 0 -1 4202560 3984 0 0 0 14474 7 0 0 20 0 8 0 390832561 268546048 40556 33554432000 134512640 146736320 4294067968 3974484424 136000532 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22370/tid=22448] ppid=22369 vsize=262252 CPUtime=151.85 cores=1,3,5,7
/proc/22370/task/22448/stat : 22448 (pb_cplex) R 22369 22369 22071 0 -1 4202560 8782 0 0 0 15177 8 0 0 20 0 8 0 390832561 268546048 40556 33554432000 134512640 146736320 4294067968 3963998428 136009700 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 271400
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22369 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=999
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.001998
# while last known CPU time is 1800.13
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
# 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): 0.0900269
# lost CPU user time (s): 0.150024
# lost CPU system time (s): -0.06
Real time (s): 544.116
CPU time (s): 1800.22
CPU user time (s): 1799.56
CPU system time (s): 0.66
CPU usage (%): 330.852
Max. virtual memory (cumulated for all children) (KiB): 272424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0.000999
maximum resident set size= 1080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 355
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= 2
involuntary context switches= 2
runsolver used 1.35179 second user time and 3.57546 second system time
The end