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-3740914-1339249642/watcher-3740914-1339249642 -o /tmp/evaluation-result-3740914-1339249642/solver-3740914-1339249642 -C 1800 -W 1900 -M 15500 run HOME/instance-3740914-1339249642.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 9.49 11.05 9.22 3/178 4044
/proc/meminfo: memFree=28693016/32873648 swapFree=7372/7372
[pid=4043] ppid=4041 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4043/stat : 4043 (run) S 4041 4043 2525 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391091031 9367552 269 33554432000 4194304 5064252 140735885722192 140735885721104 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/4043/statm: 2287 269 229 213 0 72 0
[pid=4044] ppid=4043 vsize=20128 CPUtime=0 cores=0,2,4,6
/proc/4044/stat : 4044 (pb_cplex) R 4043 4043 2525 0 -1 4202496 441 0 0 0 0 0 0 0 20 0 1 0 391091031 20611072 397 33554432000 134512640 146736320 4286760880 4286758832 134542742 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/4044/statm: 5032 398 292 2985 0 152 0
[startup+0.050443 s]
/proc/loadavg: 9.49 11.05 9.22 3/178 4044
/proc/meminfo: memFree=28693016/32873648 swapFree=7372/7372
[pid=4043] ppid=4041 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4043/stat : 4043 (run) S 4041 4043 2525 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391091031 9367552 269 33554432000 4194304 5064252 140735885722192 140735885721104 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/4043/statm: 2287 269 229 213 0 72 0
[pid=4044] ppid=4043 vsize=21920 CPUtime=0.04 cores=0,2,4,6
/proc/4044/stat : 4044 (pb_cplex) R 4043 4043 2525 0 -1 4202496 947 0 0 0 4 0 0 0 20 0 1 0 391091031 22446080 903 33554432000 134512640 146736320 4286760880 4286758792 144716523 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/4044/statm: 5480 903 368 2985 0 600 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 31068
[startup+0.100326 s]
/proc/loadavg: 9.49 11.05 9.22 3/178 4044
/proc/meminfo: memFree=28693016/32873648 swapFree=7372/7372
[pid=4043] ppid=4041 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4043/stat : 4043 (run) S 4041 4043 2525 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391091031 9367552 269 33554432000 4194304 5064252 140735885722192 140735885721104 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/4043/statm: 2287 269 229 213 0 72 0
[pid=4044] ppid=4043 vsize=23764 CPUtime=0.09 cores=0,2,4,6
/proc/4044/stat : 4044 (pb_cplex) R 4043 4043 2525 0 -1 4202496 1553 0 0 0 9 0 0 0 20 0 1 0 391091031 24334336 1476 33554432000 134512640 146736320 4286760880 4286757880 144926239 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/4044/statm: 5941 1477 456 2985 0 1061 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32912
[startup+0.300249 s]
/proc/loadavg: 9.49 11.05 9.22 3/178 4044
/proc/meminfo: memFree=28693016/32873648 swapFree=7372/7372
[pid=4043] ppid=4041 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4043/stat : 4043 (run) S 4041 4043 2525 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391091031 9367552 269 33554432000 4194304 5064252 140735885722192 140735885721104 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/4043/statm: 2287 269 229 213 0 72 0
[pid=4044] ppid=4043 vsize=31196 CPUtime=0.29 cores=0,2,4,6
/proc/4044/stat : 4044 (pb_cplex) R 4043 4043 2525 0 -1 4202496 3838 0 0 0 29 0 0 0 20 0 1 0 391091031 31944704 3696 33554432000 134512640 146736320 4286760880 4286759200 134538458 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/4044/statm: 7799 3696 832 2985 0 2919 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 40344
[startup+0.700236 s]
/proc/loadavg: 9.49 11.05 9.22 3/178 4044
/proc/meminfo: memFree=28693016/32873648 swapFree=7372/7372
[pid=4043] ppid=4041 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4043/stat : 4043 (run) S 4041 4043 2525 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391091031 9367552 269 33554432000 4194304 5064252 140735885722192 140735885721104 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/4043/statm: 2287 269 229 213 0 72 0
[pid=4044] ppid=4043 vsize=45720 CPUtime=0.69 cores=0,2,4,6
/proc/4044/stat : 4044 (pb_cplex) R 4043 4043 2525 0 -1 4202496 8311 0 0 0 68 1 0 0 20 0 1 0 391091031 46817280 8040 33554432000 134512640 146736320 4286760880 4286758904 144716523 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/4044/statm: 11430 8040 1570 2985 0 6550 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 54868
[startup+1.50027 s]
/proc/loadavg: 9.49 11.05 9.22 3/179 4045
/proc/meminfo: memFree=28645128/32873648 swapFree=7372/7372
[pid=4043] ppid=4041 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4043/stat : 4043 (run) S 4041 4043 2525 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391091031 9367552 269 33554432000 4194304 5064252 140735885722192 140735885721104 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/4043/statm: 2287 269 229 213 0 72 0
[pid=4044] ppid=4043 vsize=112328 CPUtime=1.49 cores=0,2,4,6
/proc/4044/stat : 4044 (pb_cplex) R 4043 4043 2525 0 -1 4202496 30697 0 0 0 145 4 0 0 20 0 1 0 391091031 115023872 24399 33554432000 134512640 146736320 4286760880 4286758592 138711389 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/4044/statm: 28082 24399 564 2985 0 25016 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 121476
[startup+3.10029 s]
/proc/loadavg: 8.97 10.92 9.19 3/179 4045
/proc/meminfo: memFree=28599308/32873648 swapFree=7372/7372
[pid=4043] ppid=4041 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4043/stat : 4043 (run) S 4041 4043 2525 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391091031 9367552 269 33554432000 4194304 5064252 140735885722192 140735885721104 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/4043/statm: 2287 269 229 213 0 72 0
[pid=4044] ppid=4043 vsize=252992 CPUtime=3.08 cores=0,2,4,6
/proc/4044/stat : 4044 (pb_cplex) R 4043 4043 2525 0 -1 4202496 56343 0 0 0 300 8 0 0 20 0 1 0 391091031 259063808 29473 33554432000 134512640 146736320 4286760880 4286757304 137177454 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/4044/statm: 63248 29473 638 2985 0 60182 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 262140
[startup+6.30028 s]
/proc/loadavg: 8.97 10.92 9.19 3/186 4052
/proc/meminfo: memFree=28390596/32873648 swapFree=7372/7372
[pid=4043] ppid=4041 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4043/stat : 4043 (run) S 4041 4043 2525 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391091031 9367552 269 33554432000 4194304 5064252 140735885722192 140735885721104 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/4043/statm: 2287 269 229 213 0 72 0
[pid=4044] ppid=4043 vsize=422912 CPUtime=6.28 cores=0,2,4,6
/proc/4044/stat : 4044 (pb_cplex) R 4043 4043 2525 0 -1 4202496 126165 0 0 0 606 22 0 0 20 0 1 0 391091031 433061888 62774 33554432000 134512640 146736320 4286760880 4286755324 138666169 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/4044/statm: 105728 62774 827 2985 0 102662 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 432060
[startup+12.7003 s]
/proc/loadavg: 7.90 10.62 9.11 3/186 4052
/proc/meminfo: memFree=28334056/32873648 swapFree=7372/7372
[pid=4043] ppid=4041 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4043/stat : 4043 (run) S 4041 4043 2525 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391091031 9367552 269 33554432000 4194304 5064252 140735885722192 140735885721104 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/4043/statm: 2287 269 229 213 0 72 0
[pid=4044] ppid=4043 vsize=487500 CPUtime=12.68 cores=0,2,4,6
/proc/4044/stat : 4044 (pb_cplex) R 4043 4043 2525 0 -1 4202496 161597 0 0 0 1237 31 0 0 20 0 1 0 391091031 499200000 76887 33554432000 134512640 146736320 4286760880 4286754504 135526330 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/4044/statm: 121875 76887 837 2985 0 118809 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 496648
[startup+25.5003 s]
/proc/loadavg: 6.99 10.34 9.04 3/186 4052
/proc/meminfo: memFree=28431356/32873648 swapFree=7372/7372
[pid=4043] ppid=4041 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4043/stat : 4043 (run) S 4041 4043 2525 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391091031 9367552 269 33554432000 4194304 5064252 140735885722192 140735885721104 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/4043/statm: 2287 269 229 213 0 72 0
[pid=4044] ppid=4043 vsize=367152 CPUtime=25.48 cores=0,2,4,6
/proc/4044/stat : 4044 (pb_cplex) R 4043 4043 2525 0 -1 4202496 218414 0 0 0 2502 46 0 0 20 0 1 0 391091031 375963648 52091 33554432000 134512640 146736320 4286760880 4286754920 139044581 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/4044/statm: 91788 52091 840 2985 0 88722 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 376300
[startup+51.1003 s]
/proc/loadavg: 5.29 9.67 8.85 3/186 4052
/proc/meminfo: memFree=28325660/32873648 swapFree=7372/7372
[pid=4043] ppid=4041 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4043/stat : 4043 (run) S 4041 4043 2525 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391091031 9367552 269 33554432000 4194304 5064252 140735885722192 140735885721104 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/4043/statm: 2287 269 229 213 0 72 0
[pid=4044] ppid=4043 vsize=498812 CPUtime=51.08 cores=0,2,4,6
/proc/4044/stat : 4044 (pb_cplex) R 4043 4043 2525 0 -1 4202496 323163 0 0 0 5036 72 0 0 20 0 1 0 391091031 510783488 78462 33554432000 134512640 146736320 4286760880 4286755068 136017505 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/4044/statm: 124703 78462 840 2985 0 121637 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 507960
[startup+102.307 s]
/proc/loadavg: 5.87 9.08 8.69 5/186 4052
/proc/meminfo: memFree=28327036/32873648 swapFree=7372/7372
[pid=4043] ppid=4041 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4043/stat : 4043 (run) S 4041 4043 2525 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391091031 9367552 269 33554432000 4194304 5064252 140735885722192 140735885721104 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/4043/statm: 2287 269 229 213 0 72 0
[pid=4044] ppid=4043 vsize=366820 CPUtime=102.27 cores=0,2,4,6
/proc/4044/stat : 4044 (pb_cplex) R 4043 4043 2525 0 -1 4202496 630484 0 0 0 10094 133 0 0 20 0 1 0 391091031 375623680 54714 33554432000 134512640 146736320 4286760880 4286755260 136017491 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/4044/statm: 91705 54714 854 2985 0 88639 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 375968
[startup+162.3 s]
/proc/loadavg: 6.74 8.70 8.58 7/194 4062
/proc/meminfo: memFree=27340788/32873648 swapFree=7372/7372
[pid=4043] ppid=4041 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4043/stat : 4043 (run) S 4041 4043 2525 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391091031 9367552 269 33554432000 4194304 5064252 140735885722192 140735885721104 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/4043/statm: 2287 269 229 213 0 72 0
[pid=4044] ppid=4043 vsize=1620112 CPUtime=254.77 cores=0,2,4,6
/proc/4044/stat : 4044 (pb_cplex) R 4043 4043 2525 0 -1 4202496 993912 0 0 0 25215 262 0 0 20 0 8 0 391091031 1658994688 303159 33554432000 134512640 146736320 4286760880 4286755268 135850322 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4044/statm: 405028 303159 887 2985 0 401962 0
[pid=4044/tid=4053] ppid=4043 vsize=1620112 CPUtime=16.94 cores=0,2,4,6
/proc/4044/task/4053/stat : 4053 (pb_cplex) R 4043 4043 2525 0 -1 4202560 27022 0 0 0 1680 14 0 0 20 0 8 0 391103073 1658994688 303159 33554432000 134512640 146736320 4286760880 3467719320 139023058 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=4044/tid=4054] ppid=4043 vsize=1620112 CPUtime=13.56 cores=0,2,4,6
/proc/4044/task/4054/stat : 4054 (pb_cplex) S 4043 4043 2525 0 -1 4202560 32129 0 0 0 1342 14 0 0 20 0 8 0 391103073 1658994688 303159 33554432000 134512640 146736320 4286760880 3457236624 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4044/tid=4055] ppid=4043 vsize=1620112 CPUtime=16.12 cores=0,2,4,6
/proc/4044/task/4055/stat : 4055 (pb_cplex) S 4043 4043 2525 0 -1 4202560 31806 0 0 0 1598 14 0 0 20 0 8 0 391103073 1658994688 303159 33554432000 134512640 146736320 4286760880 3446750864 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4044/tid=4056] ppid=4043 vsize=1620112 CPUtime=16.8 cores=0,2,4,6
/proc/4044/task/4056/stat : 4056 (pb_cplex) R 4043 4043 2525 0 -1 4202560 31687 0 0 0 1667 13 0 0 20 0 8 0 391103073 1658994688 303159 33554432000 134512640 146736320 4286760880 3436261448 139042901 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=4044/tid=4057] ppid=4043 vsize=1620112 CPUtime=16.91 cores=0,2,4,6
/proc/4044/task/4057/stat : 4057 (pb_cplex) R 4043 4043 2525 0 -1 4202560 21610 0 0 0 1684 7 0 0 20 0 8 0 391103073 1658994688 303159 33554432000 134512640 146736320 4286760880 3425775768 136007665 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=4044/tid=4058] ppid=4043 vsize=1620112 CPUtime=17.03 cores=0,2,4,6
/proc/4044/task/4058/stat : 4058 (pb_cplex) R 4043 4043 2525 0 -1 4202560 28338 0 0 0 1690 13 0 0 20 0 8 0 391103073 1658994688 303159 33554432000 134512640 146736320 4286760880 3415290008 136007622 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=4044/tid=4059] ppid=4043 vsize=1620112 CPUtime=9.07 cores=0,2,4,6
/proc/4044/task/4059/stat : 4059 (pb_cplex) S 4043 4043 2525 0 -1 4202560 32361 0 0 0 895 12 0 0 20 0 8 0 391103073 1658994688 303159 33554432000 134512640 146736320 4286760880 3404807824 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 254.77
Current children cumulated vsize (KiB) 1629260
[startup+222.301 s]
/proc/loadavg: 10.46 9.21 8.74 16/193 4062
/proc/meminfo: memFree=27298768/32873648 swapFree=7372/7372
[pid=4043] ppid=4041 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4043/stat : 4043 (run) S 4041 4043 2525 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391091031 9367552 269 33554432000 4194304 5064252 140735885722192 140735885721104 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/4043/statm: 2287 269 229 213 0 72 0
[pid=4044] ppid=4043 vsize=1616420 CPUtime=474.87 cores=0,2,4,6
/proc/4044/stat : 4044 (pb_cplex) R 4043 4043 2525 0 -1 4202496 1275278 0 0 0 47091 396 0 0 20 0 8 0 391091031 1655214080 306380 33554432000 134512640 146736320 4286760880 4286753576 139044550 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4044/statm: 404105 306380 887 2985 0 401039 0
[pid=4044/tid=4053] ppid=4043 vsize=1616420 CPUtime=46.46 cores=0,2,4,6
/proc/4044/task/4053/stat : 4053 (pb_cplex) S 4043 4043 2525 0 -1 4202560 69411 0 0 0 4614 32 0 0 20 0 8 0 391103073 1655214080 306380 33554432000 134512640 146736320 4286760880 3467722384 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
################
# More data... #
################
/proc/4044/statm: 426087 323949 887 2985 0 423021 0
[pid=4044/tid=4053] ppid=4043 vsize=1704348 CPUtime=142.34 cores=0,2,4,6
/proc/4044/task/4053/stat : 4053 (pb_cplex) S 4043 4043 2525 0 -1 4202560 157809 0 0 0 14171 63 0 0 20 0 8 0 391103073 1745252352 323949 33554432000 134512640 146736320 4286760880 3467722384 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4044/tid=4054] ppid=4043 vsize=1704348 CPUtime=156.62 cores=0,2,4,6
/proc/4044/task/4054/stat : 4054 (pb_cplex) R 4043 4043 2525 0 -1 4202560 81486 0 0 0 15621 41 0 0 20 0 8 0 391103073 1745252352 323949 33554432000 134512640 146736320 4286760880 3457231960 136007602 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=4044/tid=4055] ppid=4043 vsize=1704348 CPUtime=83.69 cores=0,2,4,6
/proc/4044/task/4055/stat : 4055 (pb_cplex) S 4043 4043 2525 0 -1 4202560 114456 0 0 0 8318 51 0 0 20 0 8 0 391103073 1745252352 323949 33554432000 134512640 146736320 4286760880 3446750864 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4044/tid=4056] ppid=4043 vsize=1704348 CPUtime=75.5 cores=0,2,4,6
/proc/4044/task/4056/stat : 4056 (pb_cplex) S 4043 4043 2525 0 -1 4202560 108269 0 0 0 7499 51 0 0 20 0 8 0 391103073 1745252352 323949 33554432000 134512640 146736320 4286760880 3436265104 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4044/tid=4057] ppid=4043 vsize=1704348 CPUtime=125.77 cores=0,2,4,6
/proc/4044/task/4057/stat : 4057 (pb_cplex) S 4043 4043 2525 0 -1 4202560 98853 0 0 0 12535 42 0 0 20 0 8 0 391103073 1745252352 323949 33554432000 134512640 146736320 4286760880 3425779344 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4044/tid=4058] ppid=4043 vsize=1704348 CPUtime=121.66 cores=0,2,4,6
/proc/4044/task/4058/stat : 4058 (pb_cplex) S 4043 4043 2525 0 -1 4202560 99254 0 0 0 12121 45 0 0 20 0 8 0 391103073 1745252352 323949 33554432000 134512640 146736320 4286760880 3415293584 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4044/tid=4059] ppid=4043 vsize=1704348 CPUtime=111.52 cores=0,2,4,6
/proc/4044/task/4059/stat : 4059 (pb_cplex) S 4043 4043 2525 0 -1 4202560 106315 0 0 0 11103 49 0 0 20 0 8 0 391103073 1745252352 323949 33554432000 134512640 146736320 4286760880 3404807824 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1056.41
Current children cumulated vsize (KiB) 1713496
[startup+462.301 s]
/proc/loadavg: 7.18 9.44 9.05 3/186 4063
/proc/meminfo: memFree=27334076/32873648 swapFree=7372/7372
[pid=4043] ppid=4041 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4043/stat : 4043 (run) S 4041 4043 2525 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391091031 9367552 269 33554432000 4194304 5064252 140735885722192 140735885721104 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/4043/statm: 2287 269 229 213 0 72 0
[pid=4044] ppid=4043 vsize=1705308 CPUtime=1116.4 cores=0,2,4,6
/proc/4044/stat : 4044 (pb_cplex) S 4043 4043 2525 0 -1 4202496 1640620 0 0 0 111087 553 0 0 20 0 8 0 391091031 1746235392 326621 33554432000 134512640 146736320 4286760880 4286757264 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4044/statm: 426327 326621 887 2985 0 423261 0
[pid=4044/tid=4053] ppid=4043 vsize=1705308 CPUtime=142.34 cores=0,2,4,6
/proc/4044/task/4053/stat : 4053 (pb_cplex) S 4043 4043 2525 0 -1 4202560 157809 0 0 0 14171 63 0 0 20 0 8 0 391103073 1746235392 326621 33554432000 134512640 146736320 4286760880 3467722384 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4044/tid=4054] ppid=4043 vsize=1705308 CPUtime=216.62 cores=0,2,4,6
/proc/4044/task/4054/stat : 4054 (pb_cplex) R 4043 4043 2525 0 -1 4202560 87540 0 0 0 21617 45 0 0 20 0 8 0 391103073 1746235392 326621 33554432000 134512640 146736320 4286760880 3457231960 136007030 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=4044/tid=4055] ppid=4043 vsize=1705308 CPUtime=83.69 cores=0,2,4,6
/proc/4044/task/4055/stat : 4055 (pb_cplex) S 4043 4043 2525 0 -1 4202560 114456 0 0 0 8318 51 0 0 20 0 8 0 391103073 1746235392 326621 33554432000 134512640 146736320 4286760880 3446750864 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4044/tid=4056] ppid=4043 vsize=1705308 CPUtime=75.5 cores=0,2,4,6
/proc/4044/task/4056/stat : 4056 (pb_cplex) S 4043 4043 2525 0 -1 4202560 108269 0 0 0 7499 51 0 0 20 0 8 0 391103073 1746235392 326621 33554432000 134512640 146736320 4286760880 3436265104 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4044/tid=4057] ppid=4043 vsize=1705308 CPUtime=125.77 cores=0,2,4,6
/proc/4044/task/4057/stat : 4057 (pb_cplex) S 4043 4043 2525 0 -1 4202560 98853 0 0 0 12535 42 0 0 20 0 8 0 391103073 1746235392 326621 33554432000 134512640 146736320 4286760880 3425779344 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4044/tid=4058] ppid=4043 vsize=1705308 CPUtime=121.66 cores=0,2,4,6
/proc/4044/task/4058/stat : 4058 (pb_cplex) S 4043 4043 2525 0 -1 4202560 99254 0 0 0 12121 45 0 0 20 0 8 0 391103073 1746235392 326621 33554432000 134512640 146736320 4286760880 3415293584 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4044/tid=4059] ppid=4043 vsize=1705308 CPUtime=111.52 cores=0,2,4,6
/proc/4044/task/4059/stat : 4059 (pb_cplex) S 4043 4043 2525 0 -1 4202560 106315 0 0 0 11103 49 0 0 20 0 8 0 391103073 1746235392 326621 33554432000 134512640 146736320 4286760880 3404807824 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1116.4
Current children cumulated vsize (KiB) 1714456
[startup+522.3 s]
/proc/loadavg: 6.05 8.64 8.79 10/186 4063
/proc/meminfo: memFree=27343432/32873648 swapFree=7372/7372
[pid=4043] ppid=4041 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4043/stat : 4043 (run) S 4041 4043 2525 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391091031 9367552 269 33554432000 4194304 5064252 140735885722192 140735885721104 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/4043/statm: 2287 269 229 213 0 72 0
[pid=4044] ppid=4043 vsize=1627532 CPUtime=1249.19 cores=0,2,4,6
/proc/4044/stat : 4044 (pb_cplex) R 4043 4043 2525 0 -1 4202496 1800938 0 0 0 124310 609 0 0 20 0 8 0 391091031 1666592768 318724 33554432000 134512640 146736320 4286760880 4286753688 136007083 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4044/statm: 406883 318724 887 2985 0 403817 0
[pid=4044/tid=4053] ppid=4043 vsize=1627532 CPUtime=154.22 cores=0,2,4,6
/proc/4044/task/4053/stat : 4053 (pb_cplex) R 4043 4043 2525 0 -1 4202560 159105 0 0 0 15358 64 0 0 20 0 8 0 391103073 1666592768 318724 33554432000 134512640 146736320 4286760880 3467718808 136007605 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=4044/tid=4054] ppid=4043 vsize=1627532 CPUtime=264.41 cores=0,2,4,6
/proc/4044/task/4054/stat : 4054 (pb_cplex) R 4043 4043 2525 0 -1 4202560 151418 0 0 0 26378 63 0 0 20 0 8 0 391103073 1666592768 318724 33554432000 134512640 146736320 4286760880 3457233048 136007616 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=4044/tid=4055] ppid=4043 vsize=1627532 CPUtime=95.9 cores=0,2,4,6
/proc/4044/task/4055/stat : 4055 (pb_cplex) R 4043 4043 2525 0 -1 4202560 153608 0 0 0 9523 67 0 0 20 0 8 0 391103073 1666592768 318724 33554432000 134512640 146736320 4286760880 3446747028 136017519 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=4044/tid=4056] ppid=4043 vsize=1627532 CPUtime=88.23 cores=0,2,4,6
/proc/4044/task/4056/stat : 4056 (pb_cplex) R 4043 4043 2525 0 -1 4202560 136382 0 0 0 8761 62 0 0 20 0 8 0 391103073 1666592768 318724 33554432000 134512640 146736320 4286760880 3436261528 136007612 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=4044/tid=4057] ppid=4043 vsize=1627532 CPUtime=137.89 cores=0,2,4,6
/proc/4044/task/4057/stat : 4057 (pb_cplex) R 4043 4043 2525 0 -1 4202560 99370 0 0 0 13745 44 0 0 20 0 8 0 391103073 1666592768 318724 33554432000 134512640 146736320 4286760880 3425775728 136384883 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=4044/tid=4058] ppid=4043 vsize=1627532 CPUtime=133.72 cores=0,2,4,6
/proc/4044/task/4058/stat : 4058 (pb_cplex) R 4043 4043 2525 0 -1 4202560 102193 0 0 0 13324 48 0 0 20 0 8 0 391103073 1666592768 318724 33554432000 134512640 146736320 4286760880 3415290008 136007640 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=4044/tid=4059] ppid=4043 vsize=1627532 CPUtime=123.67 cores=0,2,4,6
/proc/4044/task/4059/stat : 4059 (pb_cplex) R 4043 4043 2525 0 -1 4202560 119725 0 0 0 12313 54 0 0 20 0 8 0 391103073 1666592768 318724 33554432000 134512640 146736320 4286760880 3404803160 136007643 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1249.19
Current children cumulated vsize (KiB) 1636680
[startup+582.3 s]
/proc/loadavg: 7.10 8.50 8.73 8/186 4064
/proc/meminfo: memFree=27314436/32873648 swapFree=7372/7372
[pid=4043] ppid=4041 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4043/stat : 4043 (run) S 4041 4043 2525 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391091031 9367552 269 33554432000 4194304 5064252 140735885722192 140735885721104 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/4043/statm: 2287 269 229 213 0 72 0
[pid=4044] ppid=4043 vsize=1648576 CPUtime=1488.73 cores=0,2,4,6
/proc/4044/stat : 4044 (pb_cplex) R 4043 4043 2525 0 -1 4202496 1889274 0 0 0 148219 654 0 0 20 0 8 0 391091031 1688141824 328839 33554432000 134512640 146736320 4286760880 4286753992 135999265 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4044/statm: 412144 328839 887 2985 0 409078 0
[pid=4044/tid=4053] ppid=4043 vsize=1648576 CPUtime=189.73 cores=0,2,4,6
/proc/4044/task/4053/stat : 4053 (pb_cplex) R 4043 4043 2525 0 -1 4202560 175632 0 0 0 18900 73 0 0 20 0 8 0 391103073 1688141824 328839 33554432000 134512640 146736320 4286760880 3467718768 136384852 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=4044/tid=4054] ppid=4043 vsize=1648576 CPUtime=300.14 cores=0,2,4,6
/proc/4044/task/4054/stat : 4054 (pb_cplex) R 4043 4043 2525 0 -1 4202560 155721 0 0 0 29948 66 0 0 20 0 8 0 391103073 1688141824 328839 33554432000 134512640 146736320 4286760880 3457233048 136007626 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=4044/tid=4055] ppid=4043 vsize=1648576 CPUtime=102.31 cores=0,2,4,6
/proc/4044/task/4055/stat : 4055 (pb_cplex) S 4043 4043 2525 0 -1 4202560 156530 0 0 0 10163 68 0 0 20 0 8 0 391103073 1688141824 328839 33554432000 134512640 146736320 4286760880 3446750864 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4044/tid=4056] ppid=4043 vsize=1648576 CPUtime=108.68 cores=0,2,4,6
/proc/4044/task/4056/stat : 4056 (pb_cplex) S 4043 4043 2525 0 -1 4202560 146326 0 0 0 10801 67 0 0 20 0 8 0 391103073 1688141824 328839 33554432000 134512640 146736320 4286760880 3436265104 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4044/tid=4057] ppid=4043 vsize=1648576 CPUtime=173.4 cores=0,2,4,6
/proc/4044/task/4057/stat : 4057 (pb_cplex) R 4043 4043 2525 0 -1 4202560 100751 0 0 0 17295 45 0 0 20 0 8 0 391103073 1688141824 328839 33554432000 134512640 146736320 4286760880 3425775508 136017474 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=4044/tid=4058] ppid=4043 vsize=1648576 CPUtime=168.92 cores=0,2,4,6
/proc/4044/task/4058/stat : 4058 (pb_cplex) R 4043 4043 2525 0 -1 4202560 108134 0 0 0 16840 52 0 0 20 0 8 0 391103073 1688141824 328839 33554432000 134512640 146736320 4286760880 3415290448 136403109 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=4044/tid=4059] ppid=4043 vsize=1648576 CPUtime=159.06 cores=0,2,4,6
/proc/4044/task/4059/stat : 4059 (pb_cplex) R 4043 4043 2525 0 -1 4202560 128400 0 0 0 15845 61 0 0 20 0 8 0 391103073 1688141824 328839 33554432000 134512640 146736320 4286760880 3404804248 136007616 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1488.73
Current children cumulated vsize (KiB) 1657724
[startup+642.3 s]
/proc/loadavg: 5.46 7.81 8.48 4/186 4064
/proc/meminfo: memFree=27265540/32873648 swapFree=7372/7372
[pid=4043] ppid=4041 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4043/stat : 4043 (run) S 4041 4043 2525 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391091031 9367552 269 33554432000 4194304 5064252 140735885722192 140735885721104 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/4043/statm: 2287 269 229 213 0 72 0
[pid=4044] ppid=4043 vsize=1703764 CPUtime=1690.66 cores=0,2,4,6
/proc/4044/stat : 4044 (pb_cplex) S 4043 4043 2525 0 -1 4202496 1916964 0 0 0 168397 669 0 0 20 0 8 0 391091031 1744654336 340954 33554432000 134512640 146736320 4286760880 4286757264 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4044/statm: 425941 340954 887 2985 0 422875 0
[pid=4044/tid=4053] ppid=4043 vsize=1703764 CPUtime=196.07 cores=0,2,4,6
/proc/4044/task/4053/stat : 4053 (pb_cplex) S 4043 4043 2525 0 -1 4202560 178540 0 0 0 19533 74 0 0 20 0 8 0 391103073 1744654336 340954 33554432000 134512640 146736320 4286760880 3467722384 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4044/tid=4054] ppid=4043 vsize=1703764 CPUtime=353.55 cores=0,2,4,6
/proc/4044/task/4054/stat : 4054 (pb_cplex) R 4043 4043 2525 0 -1 4202560 157907 0 0 0 35286 69 0 0 20 0 8 0 391103073 1744654336 340954 33554432000 134512640 146736320 4286760880 3457232968 139042916 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=4044/tid=4055] ppid=4043 vsize=1703764 CPUtime=102.31 cores=0,2,4,6
/proc/4044/task/4055/stat : 4055 (pb_cplex) S 4043 4043 2525 0 -1 4202560 156530 0 0 0 10163 68 0 0 20 0 8 0 391103073 1744654336 340954 33554432000 134512640 146736320 4286760880 3446750864 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4044/tid=4056] ppid=4043 vsize=1703764 CPUtime=108.68 cores=0,2,4,6
/proc/4044/task/4056/stat : 4056 (pb_cplex) S 4043 4043 2525 0 -1 4202560 146326 0 0 0 10801 67 0 0 20 0 8 0 391103073 1744654336 340954 33554432000 134512640 146736320 4286760880 3436265104 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4044/tid=4057] ppid=4043 vsize=1703764 CPUtime=227.05 cores=0,2,4,6
/proc/4044/task/4057/stat : 4057 (pb_cplex) R 4043 4043 2525 0 -1 4202560 102847 0 0 0 22656 49 0 0 20 0 8 0 391103073 1744654336 340954 33554432000 134512640 146736320 4286760880 3425775768 136007053 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=4044/tid=4058] ppid=4043 vsize=1703764 CPUtime=208.85 cores=0,2,4,6
/proc/4044/task/4058/stat : 4058 (pb_cplex) S 4043 4043 2525 0 -1 4202560 114501 0 0 0 20829 56 0 0 20 0 8 0 391103073 1744654336 340954 33554432000 134512640 146736320 4286760880 3415293584 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4044/tid=4059] ppid=4043 vsize=1703764 CPUtime=188.07 cores=0,2,4,6
/proc/4044/task/4059/stat : 4059 (pb_cplex) S 4043 4043 2525 0 -1 4202560 136911 0 0 0 18743 64 0 0 20 0 8 0 391103073 1744654336 340954 33554432000 134512640 146736320 4286760880 3404807824 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1690.66
Current children cumulated vsize (KiB) 1712912
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+697 s]
/proc/loadavg: 3.98 7.00 8.16 4/193 4071
/proc/meminfo: memFree=27239204/32873648 swapFree=7372/7372
[pid=4043] ppid=4041 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4043/stat : 4043 (run) S 4041 4043 2525 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391091031 9367552 269 33554432000 4194304 5064252 140735885722192 140735885721104 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/4043/statm: 2287 269 229 213 0 72 0
[pid=4044] ppid=4043 vsize=1706144 CPUtime=1800.04 cores=0,2,4,6
/proc/4044/stat : 4044 (pb_cplex) S 4043 4043 2525 0 -1 4202496 1922294 0 0 0 179330 674 0 0 20 0 8 0 391091031 1747091456 343152 33554432000 134512640 146736320 4286760880 4286757264 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4044/statm: 426536 343152 887 2985 0 423470 0
[pid=4044/tid=4053] ppid=4043 vsize=1706144 CPUtime=196.07 cores=0,2,4,6
/proc/4044/task/4053/stat : 4053 (pb_cplex) S 4043 4043 2525 0 -1 4202560 178540 0 0 0 19533 74 0 0 20 0 8 0 391103073 1747091456 343152 33554432000 134512640 146736320 4286760880 3467722384 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4044/tid=4054] ppid=4043 vsize=1706144 CPUtime=408.25 cores=0,2,4,6
/proc/4044/task/4054/stat : 4054 (pb_cplex) R 4043 4043 2525 0 -1 4202560 160577 0 0 0 40752 73 0 0 20 0 8 0 391103073 1747091456 343152 33554432000 134512640 146736320 4286760880 3457232788 136017471 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=4044/tid=4055] ppid=4043 vsize=1706144 CPUtime=102.31 cores=0,2,4,6
/proc/4044/task/4055/stat : 4055 (pb_cplex) S 4043 4043 2525 0 -1 4202560 156530 0 0 0 10163 68 0 0 20 0 8 0 391103073 1747091456 343152 33554432000 134512640 146736320 4286760880 3446750864 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4044/tid=4056] ppid=4043 vsize=1706144 CPUtime=108.68 cores=0,2,4,6
/proc/4044/task/4056/stat : 4056 (pb_cplex) S 4043 4043 2525 0 -1 4202560 146326 0 0 0 10801 67 0 0 20 0 8 0 391103073 1747091456 343152 33554432000 134512640 146736320 4286760880 3436265104 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4044/tid=4057] ppid=4043 vsize=1706144 CPUtime=281.75 cores=0,2,4,6
/proc/4044/task/4057/stat : 4057 (pb_cplex) R 4043 4043 2525 0 -1 4202560 105507 0 0 0 28123 52 0 0 20 0 8 0 391103073 1747091456 343152 33554432000 134512640 146736320 4286760880 3425775768 136007657 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=4044/tid=4058] ppid=4043 vsize=1706144 CPUtime=208.85 cores=0,2,4,6
/proc/4044/task/4058/stat : 4058 (pb_cplex) S 4043 4043 2525 0 -1 4202560 114501 0 0 0 20829 56 0 0 20 0 8 0 391103073 1747091456 343152 33554432000 134512640 146736320 4286760880 3415293584 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4044/tid=4059] ppid=4043 vsize=1706144 CPUtime=188.07 cores=0,2,4,6
/proc/4044/task/4059/stat : 4059 (pb_cplex) S 4043 4043 2525 0 -1 4202560 136911 0 0 0 18743 64 0 0 20 0 8 0 391103073 1747091456 343152 33554432000 134512640 146736320 4286760880 3404807824 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1715292
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 4043 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 697.017
CPU time (s): 1800.04
CPU user time (s): 1793.3
CPU system time (s): 6.74
CPU usage (%): 258.249
Max. virtual memory (cumulated for all children) (KiB): 1735832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 1076
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= 1
runsolver used 1.74473 second user time and 5.11222 second system time
The end