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-3737106-1339248508/watcher-3737106-1339248508 -o /tmp/evaluation-result-3737106-1339248508/solver-3737106-1339248508 -C 1800 -W 1900 -M 15500 run HOME/instance-3737106-1339248508.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 10.67 8.86 6.12 3/177 24541
/proc/meminfo: memFree=31721024/32873844 swapFree=6904/6904
[pid=24541] ppid=24539 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24541/stat : 24541 (run) S 24539 24541 23543 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390975253 9367552 269 33554432000 4194304 5064252 140737416757008 140737416755920 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24541/statm: 2287 269 229 213 0 72 0
[startup+0.0676521 s]
/proc/loadavg: 10.67 8.86 6.12 3/177 24541
/proc/meminfo: memFree=31721024/32873844 swapFree=6904/6904
[pid=24541] ppid=24539 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24541/stat : 24541 (run) S 24539 24541 23543 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390975253 9367552 269 33554432000 4194304 5064252 140737416757008 140737416755920 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24541/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10026 s]
/proc/loadavg: 10.67 8.86 6.12 3/177 24541
/proc/meminfo: memFree=31721024/32873844 swapFree=6904/6904
[pid=24541] ppid=24539 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24541/stat : 24541 (run) S 24539 24541 23543 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390975253 9367552 269 33554432000 4194304 5064252 140737416757008 140737416755920 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24541/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300267 s]
/proc/loadavg: 10.67 8.86 6.12 3/177 24541
/proc/meminfo: memFree=31721024/32873844 swapFree=6904/6904
[pid=24541] ppid=24539 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24541/stat : 24541 (run) S 24539 24541 23543 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390975253 9367552 269 33554432000 4194304 5064252 140737416757008 140737416755920 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24541/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700226 s]
/proc/loadavg: 10.67 8.86 6.12 3/177 24541
/proc/meminfo: memFree=31721024/32873844 swapFree=6904/6904
[pid=24541] ppid=24539 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24541/stat : 24541 (run) S 24539 24541 23543 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390975253 9367552 269 33554432000 4194304 5064252 140737416757008 140737416755920 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24541/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50028 s]
/proc/loadavg: 10.67 8.86 6.12 3/179 24543
/proc/meminfo: memFree=31705516/32873844 swapFree=6904/6904
[pid=24541] ppid=24539 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24541/stat : 24541 (run) S 24539 24541 23543 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390975253 9367552 269 33554432000 4194304 5064252 140737416757008 140737416755920 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24541/statm: 2287 269 229 213 0 72 0
[pid=24542] ppid=24541 vsize=36852 CPUtime=1.49 cores=1,3,5,7
/proc/24542/stat : 24542 (pb_cplex) R 24541 24541 23543 0 -1 4202496 7060 0 0 0 148 1 0 0 20 0 1 0 390975253 37736448 5578 33554432000 134512640 146736320 4290010672 4290006480 137698804 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/24542/statm: 9213 5578 856 2985 0 6147 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 46000
[startup+3.10026 s]
/proc/loadavg: 10.67 8.86 6.12 3/179 24543
/proc/meminfo: memFree=31700432/32873844 swapFree=6904/6904
[pid=24541] ppid=24539 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24541/stat : 24541 (run) S 24539 24541 23543 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390975253 9367552 269 33554432000 4194304 5064252 140737416757008 140737416755920 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24541/statm: 2287 269 229 213 0 72 0
[pid=24542] ppid=24541 vsize=35596 CPUtime=3.09 cores=1,3,5,7
/proc/24542/stat : 24542 (pb_cplex) R 24541 24541 23543 0 -1 4202496 9707 0 0 0 308 1 0 0 20 0 1 0 390975253 36450304 5719 33554432000 134512640 146736320 4290010672 4290006552 144757825 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/24542/statm: 8899 5719 893 2985 0 5833 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 44744
[startup+6.30026 s]
/proc/loadavg: 9.97 8.74 6.10 3/179 24543
/proc/meminfo: memFree=31699192/32873844 swapFree=6904/6904
[pid=24541] ppid=24539 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24541/stat : 24541 (run) S 24539 24541 23543 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390975253 9367552 269 33554432000 4194304 5064252 140737416757008 140737416755920 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24541/statm: 2287 269 229 213 0 72 0
[pid=24542] ppid=24541 vsize=35812 CPUtime=6.28 cores=1,3,5,7
/proc/24542/stat : 24542 (pb_cplex) R 24541 24541 23543 0 -1 4202496 13058 0 0 0 627 1 0 0 20 0 1 0 390975253 36671488 5784 33554432000 134512640 146736320 4290010672 4290004880 136403112 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/24542/statm: 8953 5784 894 2985 0 5887 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 44960
[startup+12.7004 s]
/proc/loadavg: 9.33 8.63 6.08 3/186 24550
/proc/meminfo: memFree=31683908/32873844 swapFree=6904/6904
[pid=24541] ppid=24539 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24541/stat : 24541 (run) S 24539 24541 23543 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390975253 9367552 269 33554432000 4194304 5064252 140737416757008 140737416755920 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24541/statm: 2287 269 229 213 0 72 0
[pid=24542] ppid=24541 vsize=132092 CPUtime=12.68 cores=1,3,5,7
/proc/24542/stat : 24542 (pb_cplex) R 24541 24541 23543 0 -1 4202496 17408 0 0 0 1266 2 0 0 20 0 8 0 390975253 135262208 10073 33554432000 134512640 146736320 4290010672 4290004328 144757825 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24542/statm: 33023 10073 925 2985 0 29957 0
[pid=24542/tid=24544] ppid=24541 vsize=132092 CPUtime=0 cores=1,3,5,7
/proc/24542/task/24544/stat : 24544 (pb_cplex) S 24541 24541 23543 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 390976249 135262208 10073 33554432000 134512640 146736320 4290010672 4137614992 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24542/tid=24545] ppid=24541 vsize=132092 CPUtime=0 cores=1,3,5,7
/proc/24542/task/24545/stat : 24545 (pb_cplex) S 24541 24541 23543 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 390976249 135262208 10073 33554432000 134512640 146736320 4290010672 4127129232 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24542/tid=24546] ppid=24541 vsize=132092 CPUtime=0 cores=1,3,5,7
/proc/24542/task/24546/stat : 24546 (pb_cplex) S 24541 24541 23543 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 390976249 135262208 10073 33554432000 134512640 146736320 4290010672 4116643472 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24542/tid=24547] ppid=24541 vsize=132092 CPUtime=0 cores=1,3,5,7
/proc/24542/task/24547/stat : 24547 (pb_cplex) S 24541 24541 23543 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 390976249 135262208 10073 33554432000 134512640 146736320 4290010672 4106157712 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24542/tid=24548] ppid=24541 vsize=132092 CPUtime=0 cores=1,3,5,7
/proc/24542/task/24548/stat : 24548 (pb_cplex) S 24541 24541 23543 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 390976249 135262208 10073 33554432000 134512640 146736320 4290010672 4095671952 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24542/tid=24549] ppid=24541 vsize=132092 CPUtime=0 cores=1,3,5,7
/proc/24542/task/24549/stat : 24549 (pb_cplex) S 24541 24541 23543 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 390976249 135262208 10073 33554432000 134512640 146736320 4290010672 4085186192 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24542/tid=24550] ppid=24541 vsize=132092 CPUtime=0 cores=1,3,5,7
/proc/24542/task/24550/stat : 24550 (pb_cplex) S 24541 24541 23543 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 390976249 135262208 10073 33554432000 134512640 146736320 4290010672 4074700432 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 141240
[startup+25.5005 s]
/proc/loadavg: 8.72 8.52 6.08 10/186 24550
/proc/meminfo: memFree=31661448/32873844 swapFree=6904/6904
[pid=24541] ppid=24539 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24541/stat : 24541 (run) S 24539 24541 23543 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390975253 9367552 269 33554432000 4194304 5064252 140737416757008 140737416755920 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24541/statm: 2287 269 229 213 0 72 0
[pid=24542] ppid=24541 vsize=163744 CPUtime=56.2 cores=1,3,5,7
/proc/24542/stat : 24542 (pb_cplex) R 24541 24541 23543 0 -1 4202496 27238 0 0 0 5612 8 0 0 20 0 8 0 390975253 167673856 15777 33554432000 134512640 146736320 4290010672 4290003784 136000532 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24542/statm: 40936 15777 925 2985 0 37870 0
[pid=24542/tid=24544] ppid=24541 vsize=163744 CPUtime=6.19 cores=1,3,5,7
/proc/24542/task/24544/stat : 24544 (pb_cplex) R 24541 24541 23543 0 -1 4202560 1193 0 0 0 619 0 0 0 20 0 8 0 390976249 167673856 15777 33554432000 134512640 146736320 4290010672 4137611856 136403112 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=24542/tid=24545] ppid=24541 vsize=163744 CPUtime=6.53 cores=1,3,5,7
/proc/24542/task/24545/stat : 24545 (pb_cplex) R 24541 24541 23543 0 -1 4202560 1121 0 0 0 653 0 0 0 20 0 8 0 390976249 167673856 15777 33554432000 134512640 146736320 4290010672 4127125712 136008109 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24542/tid=24546] ppid=24541 vsize=163744 CPUtime=3.83 cores=1,3,5,7
/proc/24542/task/24546/stat : 24546 (pb_cplex) R 24541 24541 23543 0 -1 4202560 1620 0 0 0 382 1 0 0 20 0 8 0 390976249 167673856 15777 33554432000 134512640 146736320 4290010672 4116638908 135453318 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=24542/tid=24547] ppid=24541 vsize=163744 CPUtime=5.2 cores=1,3,5,7
/proc/24542/task/24547/stat : 24547 (pb_cplex) R 24541 24541 23543 0 -1 4202560 991 0 0 0 520 0 0 0 20 0 8 0 390976249 167673856 15777 33554432000 134512640 146736320 4290010672 4106154576 136403117 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=24542/tid=24548] ppid=24541 vsize=163744 CPUtime=4.9 cores=1,3,5,7
/proc/24542/task/24548/stat : 24548 (pb_cplex) R 24541 24541 23543 0 -1 4202560 1868 0 0 0 490 0 0 0 20 0 8 0 390976249 167673856 15777 33554432000 134512640 146736320 4290010672 4095667356 139028313 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24542/tid=24549] ppid=24541 vsize=163744 CPUtime=4.88 cores=1,3,5,7
/proc/24542/task/24549/stat : 24549 (pb_cplex) R 24541 24541 23543 0 -1 4202560 1179 0 0 0 488 0 0 0 20 0 8 0 390976249 167673856 15777 33554432000 134512640 146736320 4290010672 4085182536 139042897 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=24542/tid=24550] ppid=24541 vsize=163744 CPUtime=5.22 cores=1,3,5,7
/proc/24542/task/24550/stat : 24550 (pb_cplex) R 24541 24541 23543 0 -1 4202560 1623 0 0 0 522 0 0 0 20 0 8 0 390976249 167673856 15777 33554432000 134512640 146736320 4290010672 4074698264 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 56.2
Current children cumulated vsize (KiB) 172892
[startup+51.1005 s]
/proc/loadavg: 8.34 8.46 6.13 5/186 24550
/proc/meminfo: memFree=31656448/32873844 swapFree=6904/6904
[pid=24541] ppid=24539 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24541/stat : 24541 (run) S 24539 24541 23543 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390975253 9367552 269 33554432000 4194304 5064252 140737416757008 140737416755920 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24541/statm: 2287 269 229 213 0 72 0
[pid=24542] ppid=24541 vsize=165248 CPUtime=151.87 cores=1,3,5,7
/proc/24542/stat : 24542 (pb_cplex) S 24541 24541 23543 0 -1 4202496 36011 0 0 0 15169 18 0 0 20 0 8 0 390975253 169213952 16234 33554432000 134512640 146736320 4290010672 4290007056 144580073 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24542/statm: 41312 16234 927 2985 0 38246 0
[pid=24542/tid=24544] ppid=24541 vsize=165248 CPUtime=17.74 cores=1,3,5,7
/proc/24542/task/24544/stat : 24544 (pb_cplex) R 24541 24541 23543 0 -1 4202560 1206 0 0 0 1774 0 0 0 20 0 8 0 390976249 169213952 16234 33554432000 134512640 146736320 4290010672 4137611856 136403109 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=24542/tid=24545] ppid=24541 vsize=165248 CPUtime=17.18 cores=1,3,5,7
/proc/24542/task/24545/stat : 24545 (pb_cplex) S 24541 24541 23543 0 -1 4202560 1142 0 0 0 1717 1 0 0 20 0 8 0 390976249 169213952 16234 33554432000 134512640 146736320 4290010672 4127129232 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24542/tid=24546] ppid=24541 vsize=165248 CPUtime=15.42 cores=1,3,5,7
/proc/24542/task/24546/stat : 24546 (pb_cplex) R 24541 24541 23543 0 -1 4202560 5670 0 0 0 1539 3 0 0 20 0 8 0 390976249 169213952 16234 33554432000 134512640 146736320 4290010672 4116637652 144798020 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=24542/tid=24547] ppid=24541 vsize=165248 CPUtime=17.05 cores=1,3,5,7
/proc/24542/task/24547/stat : 24547 (pb_cplex) R 24541 24541 23543 0 -1 4202560 1044 0 0 0 1704 1 0 0 20 0 8 0 390976249 169213952 16234 33554432000 134512640 146736320 4290010672 4106155032 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24542/tid=24548] ppid=24541 vsize=165248 CPUtime=16.59 cores=1,3,5,7
/proc/24542/task/24548/stat : 24548 (pb_cplex) S 24541 24541 23543 0 -1 4202560 2640 0 0 0 1657 2 0 0 20 0 8 0 390976249 169213952 16234 33554432000 134512640 146736320 4290010672 4095671952 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24542/tid=24549] ppid=24541 vsize=165248 CPUtime=17.05 cores=1,3,5,7
/proc/24542/task/24549/stat : 24549 (pb_cplex) S 24541 24541 23543 0 -1 4202560 3485 0 0 0 1703 2 0 0 20 0 8 0 390976249 169213952 16234 33554432000 134512640 146736320 4290010672 4085186192 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24542/tid=24550] ppid=24541 vsize=165248 CPUtime=18.3 cores=1,3,5,7
/proc/24542/task/24550/stat : 24550 (pb_cplex) S 24541 24541 23543 0 -1 4202560 3151 0 0 0 1828 2 0 0 20 0 8 0 390976249 169213952 16234 33554432000 134512640 146736320 4290010672 4074700432 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 151.87
Current children cumulated vsize (KiB) 174396
############
# WARNING:
# current cumulated CPU time (189.36 s) is less than in the last sample (189.7 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (0.339996 s) to the 'lost time'.
[startup+62.7065 s]
/proc/loadavg: 8.20 8.43 6.14 3/186 24550
/proc/meminfo: memFree=31656200/32873844 swapFree=6904/6904
[pid=24541] ppid=24539 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24541/stat : 24541 (run) S 24539 24541 23543 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390975253 9367552 269 33554432000 4194304 5064252 140737416757008 140737416755920 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24541/statm: 2287 269 229 213 0 72 0
[pid=24542] ppid=24541 vsize=165476 CPUtime=189.7 cores=1,3,5,7
/proc/24542/stat : 24542 (pb_cplex) S 24541 24541 23543 0 -1 4202496 39836 0 0 0 18948 22 0 0 20 0 8 0 390975253 169447424 16295 33554432000 134512640 146736320 4290010672 4290007056 144580073 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24542/statm: 41369 16295 927 2985 0 38303 0
[pid=24542/tid=24544] ppid=24541 vsize=165476 CPUtime=23.3 cores=1,3,5,7
/proc/24542/task/24544/stat : 24544 (pb_cplex) S 24541 24541 23543 0 -1 4202560 1208 0 0 0 2330 0 0 0 20 0 8 0 390976249 169447424 16295 33554432000 134512640 146736320 4290010672 4137614992 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24542/tid=24545] ppid=24541 vsize=165476 CPUtime=21.95 cores=1,3,5,7
/proc/24542/task/24545/stat : 24545 (pb_cplex) S 24541 24541 23543 0 -1 4202560 1142 0 0 0 2194 1 0 0 20 0 8 0 390976249 169447424 16295 33554432000 134512640 146736320 4290010672 4127129232 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24542/tid=24546] ppid=24541 vsize=165476 CPUtime=19.98 cores=1,3,5,7
/proc/24542/task/24546/stat : 24546 (pb_cplex) S 24541 24541 23543 0 -1 4202560 6564 0 0 0 1995 3 0 0 20 0 8 0 390976249 169447424 16295 33554432000 134512640 146736320 4290010672 4116643472 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
################
# More data... #
################
[pid=24542/tid=24562] ppid=24541 vsize=221196 CPUtime=89.32 cores=1,3,5,7
/proc/24542/task/24562/stat : 24562 (pb_cplex) R 24541 24541 23543 0 -1 4202560 7984 0 0 0 8925 7 0 0 20 0 8 0 390982848 226504704 30641 33554432000 134512640 146736320 4290010672 4032975848 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24542/tid=24563] ppid=24541 vsize=221196 CPUtime=93.26 cores=1,3,5,7
/proc/24542/task/24563/stat : 24563 (pb_cplex) R 24541 24541 23543 0 -1 4202560 11955 0 0 0 9318 8 0 0 20 0 8 0 390982848 226504704 30641 33554432000 134512640 146736320 4290010672 4022489160 139042902 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=24542/tid=24564] ppid=24541 vsize=221196 CPUtime=91.91 cores=1,3,5,7
/proc/24542/task/24564/stat : 24564 (pb_cplex) R 24541 24541 23543 0 -1 4202560 3452 0 0 0 9184 7 0 0 20 0 8 0 390982848 226504704 30641 33554432000 134512640 146736320 4290010672 4012003400 139042885 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 948.75
Current children cumulated vsize (KiB) 230344
[startup+342.3 s]
/proc/loadavg: 6.73 7.73 6.43 10/186 24568
/proc/meminfo: memFree=31584248/32873844 swapFree=6904/6904
[pid=24541] ppid=24539 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24541/stat : 24541 (run) S 24539 24541 23543 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390975253 9367552 269 33554432000 4194304 5064252 140737416757008 140737416755920 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24541/statm: 2287 269 229 213 0 72 0
[pid=24542] ppid=24541 vsize=221196 CPUtime=1158.08 cores=1,3,5,7
/proc/24542/stat : 24542 (pb_cplex) R 24541 24541 23543 0 -1 4202496 136933 0 0 0 115694 114 0 0 20 0 8 0 390975253 226504704 30836 33554432000 134512640 146736320 4290010672 4290002476 135454083 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24542/statm: 55299 30836 955 2985 0 52233 0
[pid=24542/tid=24558] ppid=24541 vsize=221196 CPUtime=116.91 cores=1,3,5,7
/proc/24542/task/24558/stat : 24558 (pb_cplex) R 24541 24541 23543 0 -1 4202560 1384 0 0 0 11684 7 0 0 20 0 8 0 390982848 226504704 30836 33554432000 134512640 146736320 4290010672 4126052560 136008039 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=24542/tid=24559] ppid=24541 vsize=221196 CPUtime=117.88 cores=1,3,5,7
/proc/24542/task/24559/stat : 24559 (pb_cplex) R 24541 24541 23543 0 -1 4202560 4937 0 0 0 11780 8 0 0 20 0 8 0 390982848 226504704 30836 33554432000 134512640 146736320 4290010672 4136537064 139044580 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=24542/tid=24560] ppid=24541 vsize=221196 CPUtime=116.92 cores=1,3,5,7
/proc/24542/task/24560/stat : 24560 (pb_cplex) R 24541 24541 23543 0 -1 4202560 8424 0 0 0 11684 8 0 0 20 0 8 0 390982848 226504704 30836 33554432000 134512640 146736320 4290010672 4147023964 135854505 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=24542/tid=24561] ppid=24541 vsize=221196 CPUtime=122.94 cores=1,3,5,7
/proc/24542/task/24561/stat : 24561 (pb_cplex) R 24541 24541 23543 0 -1 4202560 137 0 0 0 12287 7 0 0 20 0 8 0 390982848 226504704 30836 33554432000 134512640 146736320 4290010672 4106153100 136388877 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24542/tid=24562] ppid=24541 vsize=221196 CPUtime=113.73 cores=1,3,5,7
/proc/24542/task/24562/stat : 24562 (pb_cplex) R 24541 24541 23543 0 -1 4202560 8345 0 0 0 11363 10 0 0 20 0 8 0 390982848 226504704 30836 33554432000 134512640 146736320 4290010672 4032975056 136008172 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=24542/tid=24563] ppid=24541 vsize=221196 CPUtime=118.82 cores=1,3,5,7
/proc/24542/task/24563/stat : 24563 (pb_cplex) R 24541 24541 23543 0 -1 4202560 12810 0 0 0 11870 12 0 0 20 0 8 0 390982848 226504704 30836 33554432000 134512640 146736320 4290010672 4022489296 136007994 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=24542/tid=24564] ppid=24541 vsize=221196 CPUtime=118.93 cores=1,3,5,7
/proc/24542/task/24564/stat : 24564 (pb_cplex) R 24541 24541 23543 0 -1 4202560 3534 0 0 0 11884 9 0 0 20 0 8 0 390982848 226504704 30836 33554432000 134512640 146736320 4290010672 4012003920 136403129 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1158.08
Current children cumulated vsize (KiB) 230344
[startup+402.3 s]
/proc/loadavg: 5.68 7.35 6.39 10/185 24568
/proc/meminfo: memFree=31582768/32873844 swapFree=6904/6904
[pid=24541] ppid=24539 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24541/stat : 24541 (run) S 24539 24541 23543 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390975253 9367552 269 33554432000 4194304 5064252 140737416757008 140737416755920 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24541/statm: 2287 269 229 213 0 72 0
[pid=24542] ppid=24541 vsize=224268 CPUtime=1354 cores=1,3,5,7
/proc/24542/stat : 24542 (pb_cplex) R 24541 24541 23543 0 -1 4202496 138615 0 0 0 135266 134 0 0 20 0 8 0 390975253 229650432 31355 33554432000 134512640 146736320 4290010672 4290003920 136403112 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24542/statm: 56067 31355 955 2985 0 53001 0
[pid=24542/tid=24558] ppid=24541 vsize=224268 CPUtime=142.56 cores=1,3,5,7
/proc/24542/task/24558/stat : 24558 (pb_cplex) R 24541 24541 23543 0 -1 4202560 1500 0 0 0 14246 10 0 0 20 0 8 0 390982848 229650432 31355 33554432000 134512640 146736320 4290010672 4126052168 135525953 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=24542/tid=24559] ppid=24541 vsize=224268 CPUtime=140.84 cores=1,3,5,7
/proc/24542/task/24559/stat : 24559 (pb_cplex) R 24541 24541 23543 0 -1 4202560 5135 0 0 0 14073 11 0 0 20 0 8 0 390982848 229650432 31355 33554432000 134512640 146736320 4290010672 4136538320 136008050 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=24542/tid=24560] ppid=24541 vsize=224268 CPUtime=142.38 cores=1,3,5,7
/proc/24542/task/24560/stat : 24560 (pb_cplex) R 24541 24541 23543 0 -1 4202560 8565 0 0 0 14226 12 0 0 20 0 8 0 390982848 229650432 31355 33554432000 134512640 146736320 4290010672 4147024464 136403112 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=24542/tid=24561] ppid=24541 vsize=224268 CPUtime=148.02 cores=1,3,5,7
/proc/24542/task/24561/stat : 24561 (pb_cplex) R 24541 24541 23543 0 -1 4202560 137 0 0 0 14791 11 0 0 20 0 8 0 390982848 229650432 31355 33554432000 134512640 146736320 4290010672 4106153132 135454079 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=24542/tid=24562] ppid=24541 vsize=224268 CPUtime=137.62 cores=1,3,5,7
/proc/24542/task/24562/stat : 24562 (pb_cplex) R 24541 24541 23543 0 -1 4202560 8692 0 0 0 13749 13 0 0 20 0 8 0 390982848 229650432 31355 33554432000 134512640 146736320 4290010672 4032974904 136475827 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=24542/tid=24563] ppid=24541 vsize=224268 CPUtime=143.97 cores=1,3,5,7
/proc/24542/task/24563/stat : 24563 (pb_cplex) R 24541 24541 23543 0 -1 4202560 12963 0 0 0 14382 15 0 0 20 0 8 0 390982848 229650432 31355 33554432000 134512640 146736320 4290010672 4022489144 136475822 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=24542/tid=24564] ppid=24541 vsize=224268 CPUtime=140.65 cores=1,3,5,7
/proc/24542/task/24564/stat : 24564 (pb_cplex) R 24541 24541 23543 0 -1 4202560 3912 0 0 0 14052 13 0 0 20 0 8 0 390982848 229650432 31355 33554432000 134512640 146736320 4290010672 4012003920 136403109 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1354
Current children cumulated vsize (KiB) 233416
[startup+462.3 s]
/proc/loadavg: 5.55 7.02 6.33 10/186 24569
/proc/meminfo: memFree=31613668/32873844 swapFree=6904/6904
[pid=24541] ppid=24539 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24541/stat : 24541 (run) S 24539 24541 23543 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390975253 9367552 269 33554432000 4194304 5064252 140737416757008 140737416755920 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24541/statm: 2287 269 229 213 0 72 0
[pid=24542] ppid=24541 vsize=230412 CPUtime=1535.87 cores=1,3,5,7
/proc/24542/stat : 24542 (pb_cplex) R 24541 24541 23543 0 -1 4202496 151551 0 0 0 153427 160 0 0 20 0 8 0 390975253 235941888 32750 33554432000 134512640 146736320 4290010672 4290004328 144757825 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24542/statm: 57603 32750 955 2985 0 54537 0
[pid=24542/tid=24558] ppid=24541 vsize=230412 CPUtime=165.53 cores=1,3,5,7
/proc/24542/task/24558/stat : 24558 (pb_cplex) R 24541 24541 23543 0 -1 4202560 1845 0 0 0 16541 12 0 0 20 0 8 0 390982848 235941888 32750 33554432000 134512640 146736320 4290010672 4126051472 136008259 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=24542/tid=24559] ppid=24541 vsize=230412 CPUtime=163.47 cores=1,3,5,7
/proc/24542/task/24559/stat : 24559 (pb_cplex) R 24541 24541 23543 0 -1 4202560 5671 0 0 0 16332 15 0 0 20 0 8 0 390982848 235941888 32750 33554432000 134512640 146736320 4290010672 4136538184 139042902 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=24542/tid=24560] ppid=24541 vsize=230412 CPUtime=165.98 cores=1,3,5,7
/proc/24542/task/24560/stat : 24560 (pb_cplex) R 24541 24541 23543 0 -1 4202560 9415 0 0 0 16583 15 0 0 20 0 8 0 390982848 235941888 32750 33554432000 134512640 146736320 4290010672 4147024300 136400493 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=24542/tid=24561] ppid=24541 vsize=230412 CPUtime=169.55 cores=1,3,5,7
/proc/24542/task/24561/stat : 24561 (pb_cplex) R 24541 24541 23543 0 -1 4202560 858 0 0 0 16942 13 0 0 20 0 8 0 390982848 235941888 32750 33554432000 134512640 146736320 4290010672 4106154376 136388095 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=24542/tid=24562] ppid=24541 vsize=230412 CPUtime=161.08 cores=1,3,5,7
/proc/24542/task/24562/stat : 24562 (pb_cplex) R 24541 24541 23543 0 -1 4202560 8692 0 0 0 16092 16 0 0 20 0 8 0 390982848 235941888 32750 33554432000 134512640 146736320 4290010672 4032975848 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=24542/tid=24563] ppid=24541 vsize=230412 CPUtime=170.65 cores=1,3,5,7
/proc/24542/task/24563/stat : 24563 (pb_cplex) R 24541 24541 23543 0 -1 4202560 13728 0 0 0 17048 17 0 0 20 0 8 0 390982848 235941888 32750 33554432000 134512640 146736320 4290010672 4022489296 136008065 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=24542/tid=24564] ppid=24541 vsize=230412 CPUtime=159.45 cores=1,3,5,7
/proc/24542/task/24564/stat : 24564 (pb_cplex) R 24541 24541 23543 0 -1 4202560 13631 0 0 0 15923 22 0 0 20 0 8 0 390982848 235941888 32750 33554432000 134512640 146736320 4290010672 4012003532 136388881 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1535.87
Current children cumulated vsize (KiB) 239560
[startup+522.3 s]
/proc/loadavg: 6.97 7.10 6.39 10/186 24569
/proc/meminfo: memFree=31580932/32873844 swapFree=6904/6904
[pid=24541] ppid=24539 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24541/stat : 24541 (run) S 24539 24541 23543 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390975253 9367552 269 33554432000 4194304 5064252 140737416757008 140737416755920 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24541/statm: 2287 269 229 213 0 72 0
[pid=24542] ppid=24541 vsize=273908 CPUtime=1746.81 cores=1,3,5,7
/proc/24542/stat : 24542 (pb_cplex) R 24541 24541 23543 0 -1 4202496 187558 0 0 0 174493 188 0 0 20 0 8 0 390975253 280481792 40754 33554432000 134512640 146736320 4290010672 4289999696 136403116 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24542/statm: 68477 40754 977 2985 0 65411 0
[pid=24542/tid=24558] ppid=24541 vsize=273908 CPUtime=192.35 cores=1,3,5,7
/proc/24542/task/24558/stat : 24558 (pb_cplex) R 24541 24541 23543 0 -1 4202560 2890 0 0 0 19220 15 0 0 20 0 8 0 390982848 280481792 40754 33554432000 134512640 146736320 4290010672 4126047728 136384892 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=24542/tid=24559] ppid=24541 vsize=273908 CPUtime=187.59 cores=1,3,5,7
/proc/24542/task/24559/stat : 24559 (pb_cplex) R 24541 24541 23543 0 -1 4202560 7984 0 0 0 18742 17 0 0 20 0 8 0 390982848 280481792 40754 33554432000 134512640 146736320 4290010672 4136534104 136008653 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=24542/tid=24560] ppid=24541 vsize=273908 CPUtime=190.49 cores=1,3,5,7
/proc/24542/task/24560/stat : 24560 (pb_cplex) R 24541 24541 23543 0 -1 4202560 16415 0 0 0 19030 19 0 0 20 0 8 0 390982848 280481792 40754 33554432000 134512640 146736320 4290010672 4147019740 135854459 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=24542/tid=24561] ppid=24541 vsize=273908 CPUtime=195.07 cores=1,3,5,7
/proc/24542/task/24561/stat : 24561 (pb_cplex) R 24541 24541 23543 0 -1 4202560 2324 0 0 0 19491 16 0 0 20 0 8 0 390982848 280481792 40754 33554432000 134512640 146736320 4290010672 4106148992 135443362 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=24542/tid=24562] ppid=24541 vsize=273908 CPUtime=186.36 cores=1,3,5,7
/proc/24542/task/24562/stat : 24562 (pb_cplex) R 24541 24541 23543 0 -1 4202560 11895 0 0 0 18617 19 0 0 20 0 8 0 390982848 280481792 40754 33554432000 134512640 146736320 4290010672 4032970832 136008050 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=24542/tid=24563] ppid=24541 vsize=273908 CPUtime=196.07 cores=1,3,5,7
/proc/24542/task/24563/stat : 24563 (pb_cplex) R 24541 24541 23543 0 -1 4202560 15788 0 0 0 19588 19 0 0 20 0 8 0 390982848 280481792 40754 33554432000 134512640 146736320 4290010672 4022485916 144785853 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24542/tid=24564] ppid=24541 vsize=273908 CPUtime=187.11 cores=1,3,5,7
/proc/24542/task/24564/stat : 24564 (pb_cplex) R 24541 24541 23543 0 -1 4202560 28647 0 0 0 18682 29 0 0 20 0 8 0 390982848 280481792 40754 33554432000 134512640 146736320 4290010672 4011998056 139044509 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1746.81
Current children cumulated vsize (KiB) 283056
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+535.6 s]
/proc/loadavg: 7.42 7.19 6.44 10/186 24569
/proc/meminfo: memFree=31580932/32873844 swapFree=6904/6904
[pid=24541] ppid=24539 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24541/stat : 24541 (run) S 24539 24541 23543 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390975253 9367552 269 33554432000 4194304 5064252 140737416757008 140737416755920 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24541/statm: 2287 269 229 213 0 72 0
[pid=24542] ppid=24541 vsize=274568 CPUtime=1799.97 cores=1,3,5,7
/proc/24542/stat : 24542 (pb_cplex) R 24541 24541 23543 0 -1 4202496 187595 0 0 0 179807 190 0 0 20 0 8 0 390975253 281157632 40782 33554432000 134512640 146736320 4290010672 4289998224 136008061 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24542/statm: 68642 40782 978 2985 0 65576 0
[pid=24542/tid=24558] ppid=24541 vsize=274568 CPUtime=199 cores=1,3,5,7
/proc/24542/task/24558/stat : 24558 (pb_cplex) R 24541 24541 23543 0 -1 4202560 2913 0 0 0 19883 17 0 0 20 0 8 0 390982848 281157632 40782 33554432000 134512640 146736320 4290010672 4126048208 136403109 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=24542/tid=24559] ppid=24541 vsize=274568 CPUtime=194.01 cores=1,3,5,7
/proc/24542/task/24559/stat : 24559 (pb_cplex) R 24541 24541 23543 0 -1 4202560 7984 0 0 0 19383 18 0 0 20 0 8 0 390982848 281157632 40782 33554432000 134512640 146736320 4290010672 4136533804 144785853 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=24542/tid=24560] ppid=24541 vsize=274568 CPUtime=196.98 cores=1,3,5,7
/proc/24542/task/24560/stat : 24560 (pb_cplex) R 24541 24541 23543 0 -1 4202560 16415 0 0 0 19679 19 0 0 20 0 8 0 390982848 281157632 40782 33554432000 134512640 146736320 4290010672 4147019740 135854577 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=24542/tid=24561] ppid=24541 vsize=274568 CPUtime=201.7 cores=1,3,5,7
/proc/24542/task/24561/stat : 24561 (pb_cplex) R 24541 24541 23543 0 -1 4202560 2338 0 0 0 20153 17 0 0 20 0 8 0 390982848 281157632 40782 33554432000 134512640 146736320 4290010672 4106148924 135526881 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=24542/tid=24562] ppid=24541 vsize=274568 CPUtime=192.79 cores=1,3,5,7
/proc/24542/task/24562/stat : 24562 (pb_cplex) R 24541 24541 23543 0 -1 4202560 11895 0 0 0 19260 19 0 0 20 0 8 0 390982848 281157632 40782 33554432000 134512640 146736320 4290010672 4032970664 139044581 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24542/tid=24563] ppid=24541 vsize=274568 CPUtime=202.92 cores=1,3,5,7
/proc/24542/task/24563/stat : 24563 (pb_cplex) R 24541 24541 23543 0 -1 4202560 15788 0 0 0 20272 20 0 0 20 0 8 0 390982848 281157632 40782 33554432000 134512640 146736320 4290010672 4022485072 136008050 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=24542/tid=24564] ppid=24541 vsize=274568 CPUtime=193.75 cores=1,3,5,7
/proc/24542/task/24564/stat : 24564 (pb_cplex) R 24541 24541 23543 0 -1 4202560 28647 0 0 0 19346 29 0 0 20 0 8 0 390982848 281157632 40782 33554432000 134512640 146736320 4290010672 4011999068 144785853 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1799.97
Current children cumulated vsize (KiB) 283716
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24541 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=0
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1799.97
#
# 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.339996
# lost CPU user time (s): 0.349991
# lost CPU system time (s): -0.01
Real time (s): 535.632
CPU time (s): 1800.31
CPU user time (s): 1798.42
CPU system time (s): 1.89
CPU usage (%): 336.109
Max. virtual memory (cumulated for all children) (KiB): 289544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0
maximum resident set size= 1076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 354
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= 1
runsolver used 1.44178 second user time and 3.55446 second system time
The end