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-3742770-1339251452/watcher-3742770-1339251452 -o /tmp/evaluation-result-3742770-1339251452/solver-3742770-1339251452 -C 1800 -W 1900 -M 15500 run HOME/instance-3742770-1339251452.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: 5.24 5.46 4.21 10/184 6295
/proc/meminfo: memFree=30775196/32873648 swapFree=7124/7124
[pid=6295] ppid=6293 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6295/stat : 6295 (run) S 6293 6295 4676 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391272620 9367552 270 33554432000 4194304 5064252 140735300791488 140735300790400 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6295/statm: 2287 270 229 213 0 72 0
[startup+0.011723 s]
/proc/loadavg: 5.24 5.46 4.21 10/184 6295
/proc/meminfo: memFree=30775196/32873648 swapFree=7124/7124
[pid=6295] ppid=6293 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6295/stat : 6295 (run) S 6293 6295 4676 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391272620 9367552 270 33554432000 4194304 5064252 140735300791488 140735300790400 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6295/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100244 s]
/proc/loadavg: 5.24 5.46 4.21 10/184 6295
/proc/meminfo: memFree=30775196/32873648 swapFree=7124/7124
[pid=6295] ppid=6293 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6295/stat : 6295 (run) S 6293 6295 4676 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391272620 9367552 270 33554432000 4194304 5064252 140735300791488 140735300790400 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6295/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300252 s]
/proc/loadavg: 5.24 5.46 4.21 10/184 6295
/proc/meminfo: memFree=30775196/32873648 swapFree=7124/7124
[pid=6295] ppid=6293 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6295/stat : 6295 (run) S 6293 6295 4676 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391272620 9367552 270 33554432000 4194304 5064252 140735300791488 140735300790400 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6295/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700221 s]
/proc/loadavg: 5.24 5.46 4.21 10/184 6295
/proc/meminfo: memFree=30775196/32873648 swapFree=7124/7124
[pid=6295] ppid=6293 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6295/stat : 6295 (run) S 6293 6295 4676 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391272620 9367552 270 33554432000 4194304 5064252 140735300791488 140735300790400 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6295/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50026 s]
/proc/loadavg: 5.24 5.46 4.21 10/186 6297
/proc/meminfo: memFree=30765732/32873648 swapFree=7124/7124
[pid=6295] ppid=6293 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6295/stat : 6295 (run) S 6293 6295 4676 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391272620 9367552 270 33554432000 4194304 5064252 140735300791488 140735300790400 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6295/statm: 2287 270 229 213 0 72 0
[pid=6296] ppid=6295 vsize=25464 CPUtime=1.49 cores=0,2,4,6
/proc/6296/stat : 6296 (pb_cplex) R 6295 6295 4676 0 -1 4202496 4571 0 0 0 149 0 0 0 20 0 1 0 391272620 26075136 3223 33554432000 134512640 146736320 4293421072 4293416040 144757825 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/6296/statm: 6366 3223 778 2985 0 3300 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34612
[startup+3.10025 s]
/proc/loadavg: 5.54 5.52 4.24 10/186 6297
/proc/meminfo: memFree=30764988/32873648 swapFree=7124/7124
[pid=6295] ppid=6293 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6295/stat : 6295 (run) S 6293 6295 4676 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391272620 9367552 270 33554432000 4194304 5064252 140735300791488 140735300790400 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6295/statm: 2287 270 229 213 0 72 0
[pid=6296] ppid=6295 vsize=25464 CPUtime=3.09 cores=0,2,4,6
/proc/6296/stat : 6296 (pb_cplex) R 6295 6295 4676 0 -1 4202496 4576 0 0 0 309 0 0 0 20 0 1 0 391272620 26075136 3228 33554432000 134512640 146736320 4293421072 4293415632 136403117 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/6296/statm: 6366 3228 778 2985 0 3300 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 34612
[startup+6.30026 s]
/proc/loadavg: 5.54 5.52 4.24 10/186 6297
/proc/meminfo: memFree=30759412/32873648 swapFree=7124/7124
[pid=6295] ppid=6293 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6295/stat : 6295 (run) S 6293 6295 4676 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391272620 9367552 270 33554432000 4194304 5064252 140735300791488 140735300790400 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6295/statm: 2287 270 229 213 0 72 0
[pid=6296] ppid=6295 vsize=32612 CPUtime=6.29 cores=0,2,4,6
/proc/6296/stat : 6296 (pb_cplex) R 6295 6295 4676 0 -1 4202496 7245 0 0 0 628 1 0 0 20 0 1 0 391272620 33394688 4624 33554432000 134512640 146736320 4293421072 4293414660 135991116 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/6296/statm: 8153 4624 837 2985 0 5087 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 41760
[startup+12.7003 s]
/proc/loadavg: 6.07 5.63 4.29 9/186 6297
/proc/meminfo: memFree=30757080/32873648 swapFree=7124/7124
[pid=6295] ppid=6293 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6295/stat : 6295 (run) S 6293 6295 4676 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391272620 9367552 270 33554432000 4194304 5064252 140735300791488 140735300790400 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6295/statm: 2287 270 229 213 0 72 0
[pid=6296] ppid=6295 vsize=33848 CPUtime=12.69 cores=0,2,4,6
/proc/6296/stat : 6296 (pb_cplex) R 6295 6295 4676 0 -1 4202496 8978 0 0 0 1268 1 0 0 20 0 1 0 391272620 34660352 5162 33554432000 134512640 146736320 4293421072 4293414004 135451519 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/6296/statm: 8462 5162 840 2985 0 5396 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 42996
[startup+25.5003 s]
/proc/loadavg: 6.37 5.71 4.33 9/186 6297
/proc/meminfo: memFree=30755732/32873648 swapFree=7124/7124
[pid=6295] ppid=6293 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6295/stat : 6295 (run) S 6293 6295 4676 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391272620 9367552 270 33554432000 4194304 5064252 140735300791488 140735300790400 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6295/statm: 2287 270 229 213 0 72 0
[pid=6296] ppid=6295 vsize=28508 CPUtime=25.48 cores=0,2,4,6
/proc/6296/stat : 6296 (pb_cplex) R 6295 6295 4676 0 -1 4202496 9008 0 0 0 2547 1 0 0 20 0 1 0 391272620 29192192 4210 33554432000 134512640 146736320 4293421072 4293414720 136382629 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/6296/statm: 7127 4210 843 2985 0 4061 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 37656
[startup+51.1004 s]
/proc/loadavg: 6.04 5.70 4.36 10/193 6304
/proc/meminfo: memFree=30727076/32873648 swapFree=7124/7124
[pid=6295] ppid=6293 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6295/stat : 6295 (run) S 6293 6295 4676 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391272620 9367552 270 33554432000 4194304 5064252 140735300791488 140735300790400 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6295/statm: 2287 270 229 213 0 72 0
[pid=6296] ppid=6295 vsize=132772 CPUtime=51.07 cores=0,2,4,6
/proc/6296/stat : 6296 (pb_cplex) R 6295 6295 4676 0 -1 4202496 15140 0 0 0 5105 2 0 0 20 0 8 0 391272620 135958528 10089 33554432000 134512640 146736320 4293421072 4293414696 144757825 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6296/statm: 33193 10089 884 2985 0 30127 0
[pid=6296/tid=6298] ppid=6295 vsize=132772 CPUtime=0 cores=0,2,4,6
/proc/6296/task/6298/stat : 6298 (pb_cplex) S 6295 6295 4676 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 391276733 135958528 10089 33554432000 134512640 146736320 4293421072 4141207184 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6296/tid=6299] ppid=6295 vsize=132772 CPUtime=0 cores=0,2,4,6
/proc/6296/task/6299/stat : 6299 (pb_cplex) S 6295 6295 4676 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391276733 135958528 10089 33554432000 134512640 146736320 4293421072 4130721424 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6296/tid=6300] ppid=6295 vsize=132772 CPUtime=0 cores=0,2,4,6
/proc/6296/task/6300/stat : 6300 (pb_cplex) S 6295 6295 4676 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391276733 135958528 10089 33554432000 134512640 146736320 4293421072 4120235664 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6296/tid=6301] ppid=6295 vsize=132772 CPUtime=0 cores=0,2,4,6
/proc/6296/task/6301/stat : 6301 (pb_cplex) S 6295 6295 4676 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391276733 135958528 10089 33554432000 134512640 146736320 4293421072 4109749904 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6296/tid=6302] ppid=6295 vsize=132772 CPUtime=0 cores=0,2,4,6
/proc/6296/task/6302/stat : 6302 (pb_cplex) S 6295 6295 4676 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 391276733 135958528 10089 33554432000 134512640 146736320 4293421072 4099264144 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6296/tid=6303] ppid=6295 vsize=132772 CPUtime=0 cores=0,2,4,6
/proc/6296/task/6303/stat : 6303 (pb_cplex) S 6295 6295 4676 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391276733 135958528 10089 33554432000 134512640 146736320 4293421072 4088778384 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6296/tid=6304] ppid=6295 vsize=132772 CPUtime=0 cores=0,2,4,6
/proc/6296/task/6304/stat : 6304 (pb_cplex) S 6295 6295 4676 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391276733 135958528 10089 33554432000 134512640 146736320 4293421072 4078292624 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 141920
[startup+102.307 s]
/proc/loadavg: 10.96 7.06 4.90 16/193 6304
/proc/meminfo: memFree=30699608/32873648 swapFree=7124/7124
[pid=6295] ppid=6293 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6295/stat : 6295 (run) S 6293 6295 4676 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391272620 9367552 270 33554432000 4194304 5064252 140735300791488 140735300790400 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6295/statm: 2287 270 229 213 0 72 0
[pid=6296] ppid=6295 vsize=160884 CPUtime=210.35 cores=0,2,4,6
/proc/6296/stat : 6296 (pb_cplex) R 6295 6295 4676 0 -1 4202496 22232 0 0 0 21028 7 0 0 20 0 8 0 391272620 164745216 15946 33554432000 134512640 146736320 4293421072 4293414088 136388084 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6296/statm: 40221 15946 907 2985 0 37155 0
[pid=6296/tid=6298] ppid=6295 vsize=160884 CPUtime=18.55 cores=0,2,4,6
/proc/6296/task/6298/stat : 6298 (pb_cplex) R 6295 6295 4676 0 -1 4202560 878 0 0 0 1855 0 0 0 20 0 8 0 391276733 164745216 15946 33554432000 134512640 146736320 4293421072 4141203496 139044557 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=6296/tid=6299] ppid=6295 vsize=160884 CPUtime=2.54 cores=0,2,4,6
/proc/6296/task/6299/stat : 6299 (pb_cplex) S 6295 6295 4676 0 -1 4202560 815 0 0 0 254 0 0 0 20 0 8 0 391276733 164745216 15946 33554432000 134512640 146736320 4293421072 4130721424 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6296/tid=6300] ppid=6295 vsize=160884 CPUtime=30.67 cores=0,2,4,6
/proc/6296/task/6300/stat : 6300 (pb_cplex) R 6295 6295 4676 0 -1 4202560 1290 0 0 0 3067 0 0 0 20 0 8 0 391276733 164745216 15946 33554432000 134512640 146736320 4293421072 4120232524 139028303 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=6296/tid=6301] ppid=6295 vsize=160884 CPUtime=18.42 cores=0,2,4,6
/proc/6296/task/6301/stat : 6301 (pb_cplex) R 6295 6295 4676 0 -1 4202560 827 0 0 0 1842 0 0 0 20 0 8 0 391276733 164745216 15946 33554432000 134512640 146736320 4293421072 4109746392 136008653 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=6296/tid=6302] ppid=6295 vsize=160884 CPUtime=18.14 cores=0,2,4,6
/proc/6296/task/6302/stat : 6302 (pb_cplex) R 6295 6295 4676 0 -1 4202560 1008 0 0 0 1814 0 0 0 20 0 8 0 391276733 164745216 15946 33554432000 134512640 146736320 4293421072 4099260872 136000767 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=6296/tid=6303] ppid=6295 vsize=160884 CPUtime=19.95 cores=0,2,4,6
/proc/6296/task/6303/stat : 6303 (pb_cplex) R 6295 6295 4676 0 -1 4202560 964 0 0 0 1995 0 0 0 20 0 8 0 391276733 164745216 15946 33554432000 134512640 146736320 4293421072 4088774748 135855165 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=6296/tid=6304] ppid=6295 vsize=160884 CPUtime=18.26 cores=0,2,4,6
/proc/6296/task/6304/stat : 6304 (pb_cplex) R 6295 6295 4676 0 -1 4202560 1084 0 0 0 1826 0 0 0 20 0 8 0 391276733 164745216 15946 33554432000 134512640 146736320 4293421072 4078289104 136008167 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 210.35
Current children cumulated vsize (KiB) 170032
[startup+162.3 s]
/proc/loadavg: 11.45 7.94 5.33 10/194 6307
/proc/meminfo: memFree=30683184/32873648 swapFree=7124/7124
[pid=6295] ppid=6293 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6295/stat : 6295 (run) S 6293 6295 4676 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391272620 9367552 270 33554432000 4194304 5064252 140735300791488 140735300790400 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6295/statm: 2287 270 229 213 0 72 0
[pid=6296] ppid=6295 vsize=162288 CPUtime=443.93 cores=0,2,4,6
/proc/6296/stat : 6296 (pb_cplex) S 6295 6295 4676 0 -1 4202496 31337 0 0 0 44382 11 0 0 20 0 8 0 391272620 166182912 18109 33554432000 134512640 146736320 4293421072 4293417424 144580073 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6296/statm: 40572 18109 911 2985 0 37506 0
[pid=6296/tid=6298] ppid=6295 vsize=162288 CPUtime=73.65 cores=0,2,4,6
/proc/6296/task/6298/stat : 6298 (pb_cplex) R 6295 6295 4676 0 -1 4202560 8003 0 0 0 7361 4 0 0 20 0 8 0 391276733 166182912 18109 33554432000 134512640 146736320 4293421072 4141203528 139042864 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=6296/tid=6299] ppid=6295 vsize=162288 CPUtime=2.54 cores=0,2,4,6
/proc/6296/task/6299/stat : 6299 (pb_cplex) S 6295 6295 4676 0 -1 4202560 815 0 0 0 254 0 0 0 20 0 8 0 391276733 166182912 18109 33554432000 134512640 146736320 4293421072 4130721424 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6296/tid=6300] ppid=6295 vsize=162288 CPUtime=83.67 cores=0,2,4,6
/proc/6296/task/6300/stat : 6300 (pb_cplex) R 6295 6295 4676 0 -1 4202560 1666 0 0 0 8364 3 0 0 20 0 8 0 391276733 166182912 18109 33554432000 134512640 146736320 4293421072 4120232028 135855165 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=6296/tid=6301] ppid=6295 vsize=162288 CPUtime=19.61 cores=0,2,4,6
/proc/6296/task/6301/stat : 6301 (pb_cplex) S 6295 6295 4676 0 -1 4202560 828 0 0 0 1961 0 0 0 20 0 8 0 391276733 166182912 18109 33554432000 134512640 146736320 4293421072 4109749904 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6296/tid=6302] ppid=6295 vsize=162288 CPUtime=65.25 cores=0,2,4,6
/proc/6296/task/6302/stat : 6302 (pb_cplex) S 6295 6295 4676 0 -1 4202560 1935 0 0 0 6523 2 0 0 20 0 8 0 391276733 166182912 18109 33554432000 134512640 146736320 4293421072 4099264144 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6296/tid=6303] ppid=6295 vsize=162288 CPUtime=75.1 cores=0,2,4,6
/proc/6296/task/6303/stat : 6303 (pb_cplex) R 6295 6295 4676 0 -1 4202560 1599 0 0 0 7509 1 0 0 20 0 8 0 391276733 166182912 18109 33554432000 134512640 146736320 4293421072 4088774704 136384846 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=6296/tid=6304] ppid=6295 vsize=162288 CPUtime=33.25 cores=0,2,4,6
/proc/6296/task/6304/stat : 6304 (pb_cplex) S 6295 6295 4676 0 -1 4202560 1114 0 0 0 3325 0 0 0 20 0 8 0 391276733 166182912 18109 33554432000 134512640 146736320 4293421072 4078292624 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 443.93
################
# More data... #
################
/proc/6296/task/6303/stat : 6303 (pb_cplex) R 6295 6295 4676 0 -1 4202560 2873 0 0 0 17861 4 0 0 20 0 8 0 391276733 172339200 20574 33554432000 134512640 146736320 4293421072 4088774932 136003486 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=6296/tid=6304] ppid=6295 vsize=168300 CPUtime=49.31 cores=0,2,4,6
/proc/6296/task/6304/stat : 6304 (pb_cplex) R 6295 6295 4676 0 -1 4202560 1351 0 0 0 4931 0 0 0 20 0 8 0 391276733 172339200 20574 33554432000 134512640 146736320 4293421072 4078288964 136385174 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 756.66
Current children cumulated vsize (KiB) 177448
[startup+342.3 s]
/proc/loadavg: 9.56 8.81 6.13 10/193 6315
/proc/meminfo: memFree=30523520/32873648 swapFree=7124/7124
[pid=6295] ppid=6293 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6295/stat : 6295 (run) S 6293 6295 4676 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391272620 9367552 270 33554432000 4194304 5064252 140735300791488 140735300790400 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6295/statm: 2287 270 229 213 0 72 0
[pid=6296] ppid=6295 vsize=176204 CPUtime=990.05 cores=0,2,4,6
/proc/6296/stat : 6296 (pb_cplex) R 6295 6295 4676 0 -1 4202496 46329 0 0 0 98985 20 0 0 20 0 8 0 391272620 180432896 22500 33554432000 134512640 146736320 4293421072 4293413764 136385175 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6296/statm: 44051 22500 912 2985 0 40985 0
[pid=6296/tid=6298] ppid=6295 vsize=176204 CPUtime=201.9 cores=0,2,4,6
/proc/6296/task/6298/stat : 6298 (pb_cplex) R 6295 6295 4676 0 -1 4202560 13426 0 0 0 20182 8 0 0 20 0 8 0 391276733 180432896 22500 33554432000 134512640 146736320 4293421072 4141203524 136385175 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=6296/tid=6299] ppid=6295 vsize=176204 CPUtime=48.81 cores=0,2,4,6
/proc/6296/task/6299/stat : 6299 (pb_cplex) R 6295 6295 4676 0 -1 4202560 2676 0 0 0 4879 2 0 0 20 0 8 0 391276733 180432896 22500 33554432000 134512640 146736320 4293421072 4130717912 136009162 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=6296/tid=6300] ppid=6295 vsize=176204 CPUtime=145.87 cores=0,2,4,6
/proc/6296/task/6300/stat : 6300 (pb_cplex) R 6295 6295 4676 0 -1 4202560 2833 0 0 0 14582 5 0 0 20 0 8 0 391276733 180432896 22500 33554432000 134512640 146736320 4293421072 4120231936 136018974 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=6296/tid=6301] ppid=6295 vsize=176204 CPUtime=65.53 cores=0,2,4,6
/proc/6296/task/6301/stat : 6301 (pb_cplex) R 6295 6295 4676 0 -1 4202560 1543 0 0 0 6551 2 0 0 20 0 8 0 391276733 180432896 22500 33554432000 134512640 146736320 4293421072 4109746768 136403116 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=6296/tid=6302] ppid=6295 vsize=176204 CPUtime=109.47 cores=0,2,4,6
/proc/6296/task/6302/stat : 6302 (pb_cplex) R 6295 6295 4676 0 -1 4202560 3052 0 0 0 10943 4 0 0 20 0 8 0 391276733 180432896 22500 33554432000 134512640 146736320 4293421072 4099260872 136000937 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=6296/tid=6303] ppid=6295 vsize=176204 CPUtime=209.61 cores=0,2,4,6
/proc/6296/task/6303/stat : 6303 (pb_cplex) R 6295 6295 4676 0 -1 4202560 2909 0 0 0 20955 6 0 0 20 0 8 0 391276733 180432896 22500 33554432000 134512640 146736320 4293421072 4088774848 136470869 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=6296/tid=6304] ppid=6295 vsize=176204 CPUtime=76.25 cores=0,2,4,6
/proc/6296/task/6304/stat : 6304 (pb_cplex) R 6295 6295 4676 0 -1 4202560 3521 0 0 0 7622 3 0 0 20 0 8 0 391276733 180432896 22500 33554432000 134512640 146736320 4293421072 4078289488 136403129 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 990.05
Current children cumulated vsize (KiB) 185352
[startup+402.3 s]
/proc/loadavg: 12.72 9.90 6.67 13/193 6315
/proc/meminfo: memFree=30498156/32873648 swapFree=7124/7124
[pid=6295] ppid=6293 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6295/stat : 6295 (run) S 6293 6295 4676 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391272620 9367552 270 33554432000 4194304 5064252 140735300791488 140735300790400 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6295/statm: 2287 270 229 213 0 72 0
[pid=6296] ppid=6295 vsize=176204 CPUtime=1221.54 cores=0,2,4,6
/proc/6296/stat : 6296 (pb_cplex) R 6295 6295 4676 0 -1 4202496 51256 0 0 0 122130 24 0 0 20 0 8 0 391272620 180432896 22809 33554432000 134512640 146736320 4293421072 4293413752 136475800 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6296/statm: 44051 22809 912 2985 0 40985 0
[pid=6296/tid=6298] ppid=6295 vsize=176204 CPUtime=229.85 cores=0,2,4,6
/proc/6296/task/6298/stat : 6298 (pb_cplex) R 6295 6295 4676 0 -1 4202560 13426 0 0 0 22977 8 0 0 20 0 8 0 391276733 180432896 22809 33554432000 134512640 146736320 4293421072 4141203524 136385175 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=6296/tid=6299] ppid=6295 vsize=176204 CPUtime=78.91 cores=0,2,4,6
/proc/6296/task/6299/stat : 6299 (pb_cplex) R 6295 6295 4676 0 -1 4202560 3430 0 0 0 7888 3 0 0 20 0 8 0 391276733 180432896 22809 33554432000 134512640 146736320 4293421072 4130717788 135855174 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=6296/tid=6300] ppid=6295 vsize=176204 CPUtime=174.97 cores=0,2,4,6
/proc/6296/task/6300/stat : 6300 (pb_cplex) R 6295 6295 4676 0 -1 4202560 2835 0 0 0 17492 5 0 0 20 0 8 0 391276733 180432896 22809 33554432000 134512640 146736320 4293421072 4120231124 135455221 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=6296/tid=6301] ppid=6295 vsize=176204 CPUtime=93.35 cores=0,2,4,6
/proc/6296/task/6301/stat : 6301 (pb_cplex) R 6295 6295 4676 0 -1 4202560 2364 0 0 0 9331 4 0 0 20 0 8 0 391276733 180432896 22809 33554432000 134512640 146736320 4293421072 4109746244 136385184 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=6296/tid=6302] ppid=6295 vsize=176204 CPUtime=137.66 cores=0,2,4,6
/proc/6296/task/6302/stat : 6302 (pb_cplex) R 6295 6295 4676 0 -1 4202560 3981 0 0 0 13761 5 0 0 20 0 8 0 391276733 180432896 22809 33554432000 134512640 146736320 4293421072 4099260656 136485520 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=6296/tid=6303] ppid=6295 vsize=176204 CPUtime=241.83 cores=0,2,4,6
/proc/6296/task/6303/stat : 6303 (pb_cplex) R 6295 6295 4676 0 -1 4202560 2909 0 0 0 24176 7 0 0 20 0 8 0 391276733 180432896 22809 33554432000 134512640 146736320 4293421072 4088774724 136385179 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=6296/tid=6304] ppid=6295 vsize=176204 CPUtime=103.36 cores=0,2,4,6
/proc/6296/task/6304/stat : 6304 (pb_cplex) R 6295 6295 4676 0 -1 4202560 5108 0 0 0 10333 3 0 0 20 0 8 0 391276733 180432896 22809 33554432000 134512640 146736320 4293421072 4078289112 136008682 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1221.54
Current children cumulated vsize (KiB) 185352
[startup+462.3 s]
/proc/loadavg: 7.29 8.97 6.56 3/186 6315
/proc/meminfo: memFree=30506244/32873648 swapFree=7124/7124
[pid=6295] ppid=6293 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6295/stat : 6295 (run) S 6293 6295 4676 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391272620 9367552 270 33554432000 4194304 5064252 140735300791488 140735300790400 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6295/statm: 2287 270 229 213 0 72 0
[pid=6296] ppid=6295 vsize=133624 CPUtime=1345.12 cores=0,2,4,6
/proc/6296/stat : 6296 (pb_cplex) R 6295 6295 4676 0 -1 4202496 52135 0 0 0 134463 49 0 0 20 0 1 0 391272620 136830976 18773 33554432000 134512640 146736320 4293421072 4293415144 139044505 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/6296/statm: 33406 18773 915 2985 0 30340 0
Current children cumulated CPU time (s) 1345.12
Current children cumulated vsize (KiB) 142772
[startup+522.3 s]
/proc/loadavg: 7.04 8.47 6.53 10/193 6322
/proc/meminfo: memFree=30319296/32873648 swapFree=7124/7124
[pid=6295] ppid=6293 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6295/stat : 6295 (run) S 6293 6295 4676 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391272620 9367552 270 33554432000 4194304 5064252 140735300791488 140735300790400 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6295/statm: 2287 270 229 213 0 72 0
[pid=6296] ppid=6295 vsize=401712 CPUtime=1502.25 cores=0,2,4,6
/proc/6296/stat : 6296 (pb_cplex) R 6295 6295 4676 0 -1 4202496 64884 0 0 0 150169 56 0 0 20 0 8 0 391272620 411353088 64009 33554432000 134512640 146736320 4293421072 4293413696 136018899 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6296/statm: 100428 64009 918 2985 0 97362 0
[pid=6296/tid=6316] ppid=6295 vsize=401712 CPUtime=16.12 cores=0,2,4,6
/proc/6296/task/6316/stat : 6316 (pb_cplex) R 6295 6295 4676 0 -1 4202560 938 0 0 0 1612 0 0 0 20 0 8 0 391319307 411353088 64009 33554432000 134512640 146736320 4293421072 4078289856 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=6296/tid=6317] ppid=6295 vsize=401712 CPUtime=16.23 cores=0,2,4,6
/proc/6296/task/6317/stat : 6317 (pb_cplex) R 6295 6295 4676 0 -1 4202560 820 0 0 0 1623 0 0 0 20 0 8 0 391319307 411353088 64009 33554432000 134512640 146736320 4293421072 4088775244 139027182 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=6296/tid=6318] ppid=6295 vsize=401712 CPUtime=16.2 cores=0,2,4,6
/proc/6296/task/6318/stat : 6318 (pb_cplex) R 6295 6295 4676 0 -1 4202560 820 0 0 0 1620 0 0 0 20 0 8 0 391319307 411353088 64009 33554432000 134512640 146736320 4293421072 4099260636 136009799 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=6296/tid=6319] ppid=6295 vsize=401712 CPUtime=16.25 cores=0,2,4,6
/proc/6296/task/6319/stat : 6319 (pb_cplex) R 6295 6295 4676 0 -1 4202560 868 0 0 0 1625 0 0 0 20 0 8 0 391319307 411353088 64009 33554432000 134512640 146736320 4293421072 4109746452 136003859 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=6296/tid=6320] ppid=6295 vsize=401712 CPUtime=15.94 cores=0,2,4,6
/proc/6296/task/6320/stat : 6320 (pb_cplex) R 6295 6295 4676 0 -1 4202560 1363 0 0 0 1594 0 0 0 20 0 8 0 391319307 411353088 64009 33554432000 134512640 146736320 4293421072 3852156984 136475800 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=6296/tid=6321] ppid=6295 vsize=401712 CPUtime=16.56 cores=0,2,4,6
/proc/6296/task/6321/stat : 6321 (pb_cplex) R 6295 6295 4676 0 -1 4202560 820 0 0 0 1656 0 0 0 20 0 8 0 391319307 411353088 64009 33554432000 134512640 146736320 4293421072 3841671376 136008042 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=6296/tid=6322] ppid=6295 vsize=401712 CPUtime=16.26 cores=0,2,4,6
/proc/6296/task/6322/stat : 6322 (pb_cplex) R 6295 6295 4676 0 -1 4202560 1081 0 0 0 1626 0 0 0 20 0 8 0 391319307 411353088 64009 33554432000 134512640 146736320 4293421072 3831185464 136475780 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1502.25
Current children cumulated vsize (KiB) 410860
[startup+582.3 s]
/proc/loadavg: 7.16 8.29 6.60 7/186 6373
/proc/meminfo: memFree=30432848/32873648 swapFree=7124/7124
[pid=6295] ppid=6293 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6295/stat : 6295 (run) S 6293 6295 4676 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391272620 9367552 270 33554432000 4194304 5064252 140735300791488 140735300790400 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6295/statm: 2287 270 229 213 0 72 0
[pid=6296] ppid=6295 vsize=403760 CPUtime=1741.26 cores=0,2,4,6
/proc/6296/stat : 6296 (pb_cplex) R 6295 6295 4676 0 -1 4202496 68900 0 0 0 174065 61 0 0 20 0 8 0 391272620 413450240 64647 33554432000 134512640 146736320 4293421072 4293413788 135854132 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/6296/statm: 100940 64647 918 2985 0 97874 0
[pid=6296/tid=6316] ppid=6295 vsize=403760 CPUtime=37.6 cores=0,2,4,6
/proc/6296/task/6316/stat : 6316 (pb_cplex) S 6295 6295 4676 0 -1 4202560 940 0 0 0 3760 0 0 0 20 0 8 0 391319307 413450240 64647 33554432000 134512640 146736320 4293421072 4078292624 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6296/tid=6317] ppid=6295 vsize=403760 CPUtime=53.34 cores=0,2,4,6
/proc/6296/task/6317/stat : 6317 (pb_cplex) R 6295 6295 4676 0 -1 4202560 2049 0 0 0 5332 2 0 0 20 0 8 0 391319307 413450240 64647 33554432000 134512640 146736320 4293421072 4088774864 136008039 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=6296/tid=6318] ppid=6295 vsize=403760 CPUtime=55.04 cores=0,2,4,6
/proc/6296/task/6318/stat : 6318 (pb_cplex) R 6295 6295 4676 0 -1 4202560 1104 0 0 0 5502 2 0 0 20 0 8 0 391319307 413450240 64647 33554432000 134512640 146736320 4293421072 4099260872 136000333 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=6296/tid=6319] ppid=6295 vsize=403760 CPUtime=33.57 cores=0,2,4,6
/proc/6296/task/6319/stat : 6319 (pb_cplex) S 6295 6295 4676 0 -1 4202560 924 0 0 0 3357 0 0 0 20 0 8 0 391319307 413450240 64647 33554432000 134512640 146736320 4293421072 4109749904 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6296/tid=6320] ppid=6295 vsize=403760 CPUtime=28.77 cores=0,2,4,6
/proc/6296/task/6320/stat : 6320 (pb_cplex) S 6295 6295 4676 0 -1 4202560 1369 0 0 0 2877 0 0 0 20 0 8 0 391319307 413450240 64647 33554432000 134512640 146736320 4293421072 3852160656 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6296/tid=6321] ppid=6295 vsize=403760 CPUtime=54.01 cores=0,2,4,6
/proc/6296/task/6321/stat : 6321 (pb_cplex) R 6295 6295 4676 0 -1 4202560 861 0 0 0 5401 0 0 0 20 0 8 0 391319307 413450240 64647 33554432000 134512640 146736320 4293421072 3841671384 136009170 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=6296/tid=6322] ppid=6295 vsize=403760 CPUtime=53.46 cores=0,2,4,6
/proc/6296/task/6322/stat : 6322 (pb_cplex) R 6295 6295 4676 0 -1 4202560 2571 0 0 0 5344 2 0 0 20 0 8 0 391319307 413450240 64647 33554432000 134512640 146736320 4293421072 3831185616 136007975 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1741.26
Current children cumulated vsize (KiB) 412908
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+597.1 s]
/proc/loadavg: 6.97 8.20 6.59 7/186 6373
/proc/meminfo: memFree=30203320/32873648 swapFree=7124/7124
[pid=6295] ppid=6293 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6295/stat : 6295 (run) S 6293 6295 4676 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391272620 9367552 270 33554432000 4194304 5064252 140735300791488 140735300790400 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6295/statm: 2287 270 229 213 0 72 0
[pid=6296] ppid=6295 vsize=403760 CPUtime=1800.26 cores=0,2,4,6
/proc/6296/stat : 6296 (pb_cplex) R 6295 6295 4676 0 -1 4202496 68903 0 0 0 179965 61 0 0 20 0 8 0 391272620 413450240 64650 33554432000 134512640 146736320 4293421072 4293413912 136009170 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6296/statm: 100940 64650 918 2985 0 97874 0
[pid=6296/tid=6316] ppid=6295 vsize=403760 CPUtime=37.6 cores=0,2,4,6
/proc/6296/task/6316/stat : 6316 (pb_cplex) S 6295 6295 4676 0 -1 4202560 940 0 0 0 3760 0 0 0 20 0 8 0 391319307 413450240 64650 33554432000 134512640 146736320 4293421072 4078292624 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6296/tid=6317] ppid=6295 vsize=403760 CPUtime=64.7 cores=0,2,4,6
/proc/6296/task/6317/stat : 6317 (pb_cplex) R 6295 6295 4676 0 -1 4202560 2049 0 0 0 6468 2 0 0 20 0 8 0 391319307 413450240 64650 33554432000 134512640 146736320 4293421072 4088774724 136385185 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=6296/tid=6318] ppid=6295 vsize=403760 CPUtime=66.53 cores=0,2,4,6
/proc/6296/task/6318/stat : 6318 (pb_cplex) R 6295 6295 4676 0 -1 4202560 1104 0 0 0 6650 3 0 0 20 0 8 0 391319307 413450240 64650 33554432000 134512640 146736320 4293421072 4099260508 135855167 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=6296/tid=6319] ppid=6295 vsize=403760 CPUtime=33.57 cores=0,2,4,6
/proc/6296/task/6319/stat : 6319 (pb_cplex) S 6295 6295 4676 0 -1 4202560 924 0 0 0 3357 0 0 0 20 0 8 0 391319307 413450240 64650 33554432000 134512640 146736320 4293421072 4109749904 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6296/tid=6320] ppid=6295 vsize=403760 CPUtime=28.77 cores=0,2,4,6
/proc/6296/task/6320/stat : 6320 (pb_cplex) S 6295 6295 4676 0 -1 4202560 1369 0 0 0 2877 0 0 0 20 0 8 0 391319307 413450240 64650 33554432000 134512640 146736320 4293421072 3852160656 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6296/tid=6321] ppid=6295 vsize=403760 CPUtime=66.33 cores=0,2,4,6
/proc/6296/task/6321/stat : 6321 (pb_cplex) R 6295 6295 4676 0 -1 4202560 861 0 0 0 6630 3 0 0 20 0 8 0 391319307 413450240 64650 33554432000 134512640 146736320 4293421072 3841671260 135855162 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=6296/tid=6322] ppid=6295 vsize=403760 CPUtime=65.68 cores=0,2,4,6
/proc/6296/task/6322/stat : 6322 (pb_cplex) R 6295 6295 4676 0 -1 4202560 2572 0 0 0 6566 2 0 0 20 0 8 0 391319307 413450240 64650 33554432000 134512640 146736320 4293421072 3831185464 136475775 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 412908
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 6295 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 1800.26
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 597.117
CPU time (s): 1800.26
CPU user time (s): 1799.65
CPU system time (s): 0.61
CPU usage (%): 301.492
Max. virtual memory (cumulated for all children) (KiB): 413432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0
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= 1
runsolver used 1.55276 second user time and 3.69344 second system time
The end