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-3737447-1339248654/watcher-3737447-1339248654 -o /tmp/evaluation-result-3737447-1339248654/solver-3737447-1339248654 -C 1800 -W 1900 -M 15500 run HOME/instance-3737447-1339248654.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: 3.59 3.95 4.27 3/178 5714
/proc/meminfo: memFree=30601712/32873648 swapFree=7124/7124
[pid=5714] ppid=5712 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5714/stat : 5714 (run) S 5712 5714 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390992774 9367552 269 33554432000 4194304 5064252 140733309604352 140733309603264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5714/statm: 2287 269 229 213 0 72 0
[startup+0.053822 s]
/proc/loadavg: 3.59 3.95 4.27 3/178 5714
/proc/meminfo: memFree=30601712/32873648 swapFree=7124/7124
[pid=5714] ppid=5712 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5714/stat : 5714 (run) S 5712 5714 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390992774 9367552 269 33554432000 4194304 5064252 140733309604352 140733309603264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5714/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100256 s]
/proc/loadavg: 3.59 3.95 4.27 3/178 5714
/proc/meminfo: memFree=30601712/32873648 swapFree=7124/7124
[pid=5714] ppid=5712 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5714/stat : 5714 (run) S 5712 5714 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390992774 9367552 269 33554432000 4194304 5064252 140733309604352 140733309603264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5714/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300217 s]
/proc/loadavg: 3.59 3.95 4.27 3/178 5714
/proc/meminfo: memFree=30601712/32873648 swapFree=7124/7124
[pid=5714] ppid=5712 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5714/stat : 5714 (run) S 5712 5714 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390992774 9367552 269 33554432000 4194304 5064252 140733309604352 140733309603264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5714/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700182 s]
/proc/loadavg: 3.59 3.95 4.27 3/178 5714
/proc/meminfo: memFree=30601712/32873648 swapFree=7124/7124
[pid=5714] ppid=5712 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5714/stat : 5714 (run) S 5712 5714 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390992774 9367552 269 33554432000 4194304 5064252 140733309604352 140733309603264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5714/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50023 s]
/proc/loadavg: 3.59 3.95 4.27 3/180 5716
/proc/meminfo: memFree=30577292/32873648 swapFree=7124/7124
[pid=5714] ppid=5712 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5714/stat : 5714 (run) S 5712 5714 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390992774 9367552 269 33554432000 4194304 5064252 140733309604352 140733309603264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5714/statm: 2287 269 229 213 0 72 0
[pid=5715] ppid=5714 vsize=50296 CPUtime=1.49 cores=0,2,4,6
/proc/5715/stat : 5715 (pb_cplex) R 5714 5714 4676 0 -1 4202496 8757 0 0 0 148 1 0 0 20 0 1 0 390992774 51503104 6791 33554432000 134512640 146736320 4289755152 4289749588 136017845 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/5715/statm: 12574 6791 795 2985 0 9508 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 59444
[startup+3.10023 s]
/proc/loadavg: 3.59 3.95 4.27 3/180 5716
/proc/meminfo: memFree=30575060/32873648 swapFree=7124/7124
[pid=5714] ppid=5712 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5714/stat : 5714 (run) S 5712 5714 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390992774 9367552 269 33554432000 4194304 5064252 140733309604352 140733309603264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5714/statm: 2287 269 229 213 0 72 0
[pid=5715] ppid=5714 vsize=50332 CPUtime=3.09 cores=0,2,4,6
/proc/5715/stat : 5715 (pb_cplex) R 5714 5714 4676 0 -1 4202496 8779 0 0 0 308 1 0 0 20 0 1 0 390992774 51539968 6813 33554432000 134512640 146736320 4289755152 4289749696 136018931 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/5715/statm: 12583 6813 795 2985 0 9517 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 59480
[startup+6.30029 s]
/proc/loadavg: 3.46 3.92 4.25 3/180 5716
/proc/meminfo: memFree=30574800/32873648 swapFree=7124/7124
[pid=5714] ppid=5712 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5714/stat : 5714 (run) S 5712 5714 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390992774 9367552 269 33554432000 4194304 5064252 140733309604352 140733309603264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5714/statm: 2287 269 229 213 0 72 0
[pid=5715] ppid=5714 vsize=50964 CPUtime=6.29 cores=0,2,4,6
/proc/5715/stat : 5715 (pb_cplex) R 5714 5714 4676 0 -1 4202496 8948 0 0 0 628 1 0 0 20 0 1 0 390992774 52187136 6982 33554432000 134512640 146736320 4289755152 4289749904 136008450 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/5715/statm: 12741 6982 795 2985 0 9675 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 60112
[startup+12.7003 s]
/proc/loadavg: 3.34 3.89 4.24 3/178 5716
/proc/meminfo: memFree=30574004/32873648 swapFree=7124/7124
[pid=5714] ppid=5712 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5714/stat : 5714 (run) S 5712 5714 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390992774 9367552 269 33554432000 4194304 5064252 140733309604352 140733309603264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5714/statm: 2287 269 229 213 0 72 0
[pid=5715] ppid=5714 vsize=51052 CPUtime=12.69 cores=0,2,4,6
/proc/5715/stat : 5715 (pb_cplex) R 5714 5714 4676 0 -1 4202496 8991 0 0 0 1268 1 0 0 20 0 1 0 390992774 52277248 7025 33554432000 134512640 146736320 4289755152 4289749764 136385179 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/5715/statm: 12763 7025 795 2985 0 9697 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 60200
[startup+25.5003 s]
/proc/loadavg: 3.04 3.79 4.20 3/179 5717
/proc/meminfo: memFree=30560440/32873648 swapFree=7124/7124
[pid=5714] ppid=5712 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5714/stat : 5714 (run) S 5712 5714 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390992774 9367552 269 33554432000 4194304 5064252 140733309604352 140733309603264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5714/statm: 2287 269 229 213 0 72 0
[pid=5715] ppid=5714 vsize=68168 CPUtime=25.48 cores=0,2,4,6
/proc/5715/stat : 5715 (pb_cplex) R 5714 5714 4676 0 -1 4202496 15810 0 0 0 2546 2 0 0 20 0 1 0 390992774 69804032 10257 33554432000 134512640 146736320 4289755152 4289749584 136403117 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/5715/statm: 17042 10257 901 2985 0 13976 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 77316
[startup+51.1003 s]
/proc/loadavg: 2.69 3.65 4.14 3/179 5717
/proc/meminfo: memFree=30559836/32873648 swapFree=7124/7124
[pid=5714] ppid=5712 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5714/stat : 5714 (run) S 5712 5714 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390992774 9367552 269 33554432000 4194304 5064252 140733309604352 140733309603264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5714/statm: 2287 269 229 213 0 72 0
[pid=5715] ppid=5714 vsize=53392 CPUtime=51.08 cores=0,2,4,6
/proc/5715/stat : 5715 (pb_cplex) R 5714 5714 4676 0 -1 4202496 23179 0 0 0 5104 4 0 0 20 0 1 0 390992774 54673408 8145 33554432000 134512640 146736320 4289755152 4289748736 136018873 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/5715/statm: 13348 8145 907 2985 0 10282 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 62540
[startup+102.307 s]
/proc/loadavg: 2.30 3.39 4.03 3/187 5739
/proc/meminfo: memFree=30497964/32873648 swapFree=7124/7124
[pid=5714] ppid=5712 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5714/stat : 5714 (run) S 5712 5714 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390992774 9367552 269 33554432000 4194304 5064252 140733309604352 140733309603264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5714/statm: 2287 269 229 213 0 72 0
[pid=5715] ppid=5714 vsize=190964 CPUtime=109.57 cores=0,2,4,6
/proc/5715/stat : 5715 (pb_cplex) R 5714 5714 4676 0 -1 4202496 100328 0 0 0 10928 29 0 0 20 0 8 0 390992774 195547136 20496 33554432000 134512640 146736320 4289755152 4289747844 136385183 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5715/statm: 47741 20496 972 2985 0 44675 0
[pid=5715/tid=5733] ppid=5714 vsize=190964 CPUtime=0 cores=0,2,4,6
/proc/5715/task/5733/stat : 5733 (pb_cplex) S 5714 5714 4676 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 391001080 195547136 20496 33554432000 134512640 146736320 4289755152 4109233808 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5715/tid=5734] ppid=5714 vsize=190964 CPUtime=0 cores=0,2,4,6
/proc/5715/task/5734/stat : 5734 (pb_cplex) S 5714 5714 4676 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 391001080 195547136 20496 33554432000 134512640 146736320 4289755152 4119719568 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5715/tid=5735] ppid=5714 vsize=190964 CPUtime=0 cores=0,2,4,6
/proc/5715/task/5735/stat : 5735 (pb_cplex) S 5714 5714 4676 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 391001080 195547136 20496 33554432000 134512640 146736320 4289755152 4130205328 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5715/tid=5736] ppid=5714 vsize=190964 CPUtime=0 cores=0,2,4,6
/proc/5715/task/5736/stat : 5736 (pb_cplex) S 5714 5714 4676 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 391001080 195547136 20496 33554432000 134512640 146736320 4289755152 4098748048 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5715/tid=5737] ppid=5714 vsize=190964 CPUtime=0 cores=0,2,4,6
/proc/5715/task/5737/stat : 5737 (pb_cplex) S 5714 5714 4676 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391001080 195547136 20496 33554432000 134512640 146736320 4289755152 4088262288 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5715/tid=5738] ppid=5714 vsize=190964 CPUtime=0 cores=0,2,4,6
/proc/5715/task/5738/stat : 5738 (pb_cplex) S 5714 5714 4676 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391001080 195547136 20496 33554432000 134512640 146736320 4289755152 4077776528 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5715/tid=5739] ppid=5714 vsize=190964 CPUtime=0 cores=0,2,4,6
/proc/5715/task/5739/stat : 5739 (pb_cplex) S 5714 5714 4676 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391001080 195547136 20496 33554432000 134512640 146736320 4289755152 4067290768 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 109.57
Current children cumulated vsize (KiB) 200112
[startup+162.3 s]
/proc/loadavg: 2.11 3.14 3.90 3/186 5739
/proc/meminfo: memFree=30473524/32873648 swapFree=7124/7124
[pid=5714] ppid=5712 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5714/stat : 5714 (run) S 5712 5714 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390992774 9367552 269 33554432000 4194304 5064252 140733309604352 140733309603264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5714/statm: 2287 269 229 213 0 72 0
[pid=5715] ppid=5714 vsize=193024 CPUtime=169.55 cores=0,2,4,6
/proc/5715/stat : 5715 (pb_cplex) R 5714 5714 4676 0 -1 4202496 150894 0 0 0 16917 38 0 0 20 0 8 0 390992774 197656576 21110 33554432000 134512640 146736320 4289755152 4289747984 136008050 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5715/statm: 48256 21110 974 2985 0 45190 0
[pid=5715/tid=5733] ppid=5714 vsize=193024 CPUtime=0 cores=0,2,4,6
/proc/5715/task/5733/stat : 5733 (pb_cplex) S 5714 5714 4676 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 391001080 197656576 21110 33554432000 134512640 146736320 4289755152 4109233808 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5715/tid=5734] ppid=5714 vsize=193024 CPUtime=0 cores=0,2,4,6
/proc/5715/task/5734/stat : 5734 (pb_cplex) S 5714 5714 4676 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 391001080 197656576 21110 33554432000 134512640 146736320 4289755152 4119719568 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5715/tid=5735] ppid=5714 vsize=193024 CPUtime=0 cores=0,2,4,6
/proc/5715/task/5735/stat : 5735 (pb_cplex) S 5714 5714 4676 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 391001080 197656576 21110 33554432000 134512640 146736320 4289755152 4130205328 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5715/tid=5736] ppid=5714 vsize=193024 CPUtime=0 cores=0,2,4,6
/proc/5715/task/5736/stat : 5736 (pb_cplex) S 5714 5714 4676 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 391001080 197656576 21110 33554432000 134512640 146736320 4289755152 4098748048 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5715/tid=5737] ppid=5714 vsize=193024 CPUtime=0 cores=0,2,4,6
/proc/5715/task/5737/stat : 5737 (pb_cplex) S 5714 5714 4676 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391001080 197656576 21110 33554432000 134512640 146736320 4289755152 4088262288 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5715/tid=5738] ppid=5714 vsize=193024 CPUtime=0 cores=0,2,4,6
/proc/5715/task/5738/stat : 5738 (pb_cplex) S 5714 5714 4676 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391001080 197656576 21110 33554432000 134512640 146736320 4289755152 4077776528 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5715/tid=5739] ppid=5714 vsize=193024 CPUtime=0 cores=0,2,4,6
/proc/5715/task/5739/stat : 5739 (pb_cplex) S 5714 5714 4676 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391001080 197656576 21110 33554432000 134512640 146736320 4289755152 4067290768 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 169.55
Current children cumulated vsize (KiB) 202172
[startup+222.3 s]
/proc/loadavg: 2.04 2.93 3.78 3/186 5739
/proc/meminfo: memFree=30467244/32873648 swapFree=7124/7124
[pid=5714] ppid=5712 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5714/stat : 5714 (run) S 5712 5714 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390992774 9367552 269 33554432000 4194304 5064252 140733309604352 140733309603264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5714/statm: 2287 269 229 213 0 72 0
[pid=5715] ppid=5714 vsize=194232 CPUtime=229.54 cores=0,2,4,6
/proc/5715/stat : 5715 (pb_cplex) R 5714 5714 4676 0 -1 4202496 170583 0 0 0 22913 41 0 0 20 0 8 0 390992774 198893568 21351 33554432000 134512640 146736320 4289755152 4289747832 136475859 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5715/statm: 48558 21351 974 2985 0 45492 0
[pid=5715/tid=5733] ppid=5714 vsize=194232 CPUtime=0 cores=0,2,4,6
/proc/5715/task/5733/stat : 5733 (pb_cplex) S 5714 5714 4676 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 391001080 198893568 21351 33554432000 134512640 146736320 4289755152 4109233808 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5715/tid=5734] ppid=5714 vsize=194232 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/5715/statm: 69053 41755 974 2985 0 65987 0
[pid=5715/tid=5733] ppid=5714 vsize=276212 CPUtime=82.75 cores=0,2,4,6
/proc/5715/task/5733/stat : 5733 (pb_cplex) R 5714 5714 4676 0 -1 4202560 15370 0 0 0 8269 6 0 0 20 0 8 0 391001080 282841088 41755 33554432000 134512640 146736320 4289755152 4109230172 135855170 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=5715/tid=5734] ppid=5714 vsize=276212 CPUtime=77.06 cores=0,2,4,6
/proc/5715/task/5734/stat : 5734 (pb_cplex) S 5714 5714 4676 0 -1 4202560 13082 0 0 0 7700 6 0 0 20 0 8 0 391001080 282841088 41755 33554432000 134512640 146736320 4289755152 4119719568 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5715/tid=5735] ppid=5714 vsize=276212 CPUtime=82.04 cores=0,2,4,6
/proc/5715/task/5735/stat : 5735 (pb_cplex) R 5714 5714 4676 0 -1 4202560 33175 0 0 0 8193 11 0 0 20 0 8 0 391001080 282841088 41755 33554432000 134512640 146736320 4289755152 4130201808 136008042 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=5715/tid=5736] ppid=5714 vsize=276212 CPUtime=73.1 cores=0,2,4,6
/proc/5715/task/5736/stat : 5736 (pb_cplex) S 5714 5714 4676 0 -1 4202560 21853 0 0 0 7302 8 0 0 20 0 8 0 391001080 282841088 41755 33554432000 134512640 146736320 4289755152 4098748048 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5715/tid=5737] ppid=5714 vsize=276212 CPUtime=31.33 cores=0,2,4,6
/proc/5715/task/5737/stat : 5737 (pb_cplex) S 5714 5714 4676 0 -1 4202560 6526 0 0 0 3130 3 0 0 20 0 8 0 391001080 282841088 41755 33554432000 134512640 146736320 4289755152 4088262288 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5715/tid=5738] ppid=5714 vsize=276212 CPUtime=82.81 cores=0,2,4,6
/proc/5715/task/5738/stat : 5738 (pb_cplex) R 5714 5714 4676 0 -1 4202560 16071 0 0 0 8275 6 0 0 20 0 8 0 391001080 282841088 41755 33554432000 134512640 146736320 4289755152 4077772304 136403112 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=5715/tid=5739] ppid=5714 vsize=276212 CPUtime=62.21 cores=0,2,4,6
/proc/5715/task/5739/stat : 5739 (pb_cplex) S 5714 5714 4676 0 -1 4202560 20702 0 0 0 6214 7 0 0 20 0 8 0 391001080 282841088 41755 33554432000 134512640 146736320 4289755152 4067290768 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 839.37
Current children cumulated vsize (KiB) 285360
[startup+462.3 s]
/proc/loadavg: 6.08 4.91 4.40 10/186 5740
/proc/meminfo: memFree=30381760/32873648 swapFree=7124/7124
[pid=5714] ppid=5712 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5714/stat : 5714 (run) S 5712 5714 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390992774 9367552 269 33554432000 4194304 5064252 140733309604352 140733309603264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5714/statm: 2287 269 229 213 0 72 0
[pid=5715] ppid=5714 vsize=277204 CPUtime=1025.32 cores=0,2,4,6
/proc/5715/stat : 5715 (pb_cplex) R 5714 5714 4676 0 -1 4202496 381164 0 0 0 102427 105 0 0 20 0 8 0 390992774 283856896 41889 33554432000 134512640 146736320 4289755152 4289747984 136008069 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/5715/statm: 69301 41889 974 2985 0 66235 0
[pid=5715/tid=5733] ppid=5714 vsize=277204 CPUtime=117.72 cores=0,2,4,6
/proc/5715/task/5733/stat : 5733 (pb_cplex) R 5714 5714 4676 0 -1 4202560 22037 0 0 0 11763 9 0 0 20 0 8 0 391001080 283856896 41889 33554432000 134512640 146736320 4289755152 4109230080 136018922 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=5715/tid=5734] ppid=5714 vsize=277204 CPUtime=84.76 cores=0,2,4,6
/proc/5715/task/5734/stat : 5734 (pb_cplex) R 5714 5714 4676 0 -1 4202560 14801 0 0 0 8470 6 0 0 20 0 8 0 391001080 283856896 41889 33554432000 134512640 146736320 4289755152 4119715888 136384857 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=5715/tid=5735] ppid=5714 vsize=277204 CPUtime=115.14 cores=0,2,4,6
/proc/5715/task/5735/stat : 5735 (pb_cplex) R 5714 5714 4676 0 -1 4202560 40815 0 0 0 11499 15 0 0 20 0 8 0 391001080 283856896 41889 33554432000 134512640 146736320 4289755152 4130201808 136008450 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=5715/tid=5736] ppid=5714 vsize=277204 CPUtime=80.92 cores=0,2,4,6
/proc/5715/task/5736/stat : 5736 (pb_cplex) R 5714 5714 4676 0 -1 4202560 22971 0 0 0 8083 9 0 0 20 0 8 0 391001080 283856896 41889 33554432000 134512640 146736320 4289755152 4098744392 139042981 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=5715/tid=5737] ppid=5714 vsize=277204 CPUtime=39.23 cores=0,2,4,6
/proc/5715/task/5737/stat : 5737 (pb_cplex) R 5714 5714 4676 0 -1 4202560 8608 0 0 0 3919 4 0 0 20 0 8 0 391001080 283856896 41889 33554432000 134512640 146736320 4289755152 4088257688 136008642 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=5715/tid=5738] ppid=5714 vsize=277204 CPUtime=117.63 cores=0,2,4,6
/proc/5715/task/5738/stat : 5738 (pb_cplex) R 5714 5714 4676 0 -1 4202560 25626 0 0 0 11752 11 0 0 20 0 8 0 391001080 283856896 41889 33554432000 134512640 146736320 4289755152 4077772892 135855165 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=5715/tid=5739] ppid=5714 vsize=277204 CPUtime=69.98 cores=0,2,4,6
/proc/5715/task/5739/stat : 5739 (pb_cplex) R 5714 5714 4676 0 -1 4202560 23145 0 0 0 6989 9 0 0 20 0 8 0 391001080 283856896 41889 33554432000 134512640 146736320 4289755152 4067287088 136384852 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1025.32
Current children cumulated vsize (KiB) 286352
[startup+522.3 s]
/proc/loadavg: 7.93 5.65 4.68 10/186 5740
/proc/meminfo: memFree=30377612/32873648 swapFree=7124/7124
[pid=5714] ppid=5712 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5714/stat : 5714 (run) S 5712 5714 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390992774 9367552 269 33554432000 4194304 5064252 140733309604352 140733309603264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5714/statm: 2287 269 229 213 0 72 0
[pid=5715] ppid=5714 vsize=280192 CPUtime=1264.4 cores=0,2,4,6
/proc/5715/stat : 5715 (pb_cplex) R 5714 5714 4676 0 -1 4202496 398892 0 0 0 126326 114 0 0 20 0 8 0 390992774 286916608 42833 33554432000 134512640 146736320 4289755152 4289746896 136008167 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5715/statm: 70048 42833 974 2985 0 66982 0
[pid=5715/tid=5733] ppid=5714 vsize=280192 CPUtime=147.7 cores=0,2,4,6
/proc/5715/task/5733/stat : 5733 (pb_cplex) R 5714 5714 4676 0 -1 4202560 23450 0 0 0 14759 11 0 0 20 0 8 0 391001080 286916608 42833 33554432000 134512640 146736320 4289755152 4109230172 135855165 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=5715/tid=5734] ppid=5714 vsize=280192 CPUtime=114.72 cores=0,2,4,6
/proc/5715/task/5734/stat : 5734 (pb_cplex) R 5714 5714 4676 0 -1 4202560 16660 0 0 0 11464 8 0 0 20 0 8 0 391001080 286916608 42833 33554432000 134512640 146736320 4289755152 4119716048 136008050 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=5715/tid=5735] ppid=5714 vsize=280192 CPUtime=145.48 cores=0,2,4,6
/proc/5715/task/5735/stat : 5735 (pb_cplex) R 5714 5714 4676 0 -1 4202560 42353 0 0 0 14532 16 0 0 20 0 8 0 391001080 286916608 42833 33554432000 134512640 146736320 4289755152 4130202600 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=5715/tid=5736] ppid=5714 vsize=280192 CPUtime=110.69 cores=0,2,4,6
/proc/5715/task/5736/stat : 5736 (pb_cplex) R 5714 5714 4676 0 -1 4202560 25125 0 0 0 11059 10 0 0 20 0 8 0 391001080 286916608 42833 33554432000 134512640 146736320 4289755152 4098743488 135468524 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=5715/tid=5737] ppid=5714 vsize=280192 CPUtime=69.32 cores=0,2,4,6
/proc/5715/task/5737/stat : 5737 (pb_cplex) R 5714 5714 4676 0 -1 4202560 9954 0 0 0 6927 5 0 0 20 0 8 0 391001080 286916608 42833 33554432000 134512640 146736320 4289755152 4088257564 135855165 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=5715/tid=5738] ppid=5714 vsize=280192 CPUtime=146.87 cores=0,2,4,6
/proc/5715/task/5738/stat : 5738 (pb_cplex) R 5714 5714 4676 0 -1 4202560 30839 0 0 0 14674 13 0 0 20 0 8 0 391001080 286916608 42833 33554432000 134512640 146736320 4289755152 4077772840 139044550 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=5715/tid=5739] ppid=5714 vsize=280192 CPUtime=100.05 cores=0,2,4,6
/proc/5715/task/5739/stat : 5739 (pb_cplex) R 5714 5714 4676 0 -1 4202560 24693 0 0 0 9994 11 0 0 20 0 8 0 391001080 286916608 42833 33554432000 134512640 146736320 4289755152 4067287108 136385167 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1264.4
Current children cumulated vsize (KiB) 289340
[startup+582.3 s]
/proc/loadavg: 8.60 6.26 4.95 10/187 5743
/proc/meminfo: memFree=30377368/32873648 swapFree=7124/7124
[pid=5714] ppid=5712 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5714/stat : 5714 (run) S 5712 5714 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390992774 9367552 269 33554432000 4194304 5064252 140733309604352 140733309603264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5714/statm: 2287 269 229 213 0 72 0
[pid=5715] ppid=5714 vsize=280820 CPUtime=1503.48 cores=0,2,4,6
/proc/5715/stat : 5715 (pb_cplex) R 5714 5714 4676 0 -1 4202496 437628 0 0 0 150220 128 0 0 20 0 8 0 390992774 287559680 43022 33554432000 134512640 146736320 4289755152 4289746896 136008050 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5715/statm: 70205 43022 974 2985 0 67139 0
[pid=5715/tid=5733] ppid=5714 vsize=280820 CPUtime=177.46 cores=0,2,4,6
/proc/5715/task/5733/stat : 5733 (pb_cplex) R 5714 5714 4676 0 -1 4202560 25017 0 0 0 17734 12 0 0 20 0 8 0 391001080 287559680 43022 33554432000 134512640 146736320 4289755152 4109230288 136008050 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=5715/tid=5734] ppid=5714 vsize=280820 CPUtime=144.52 cores=0,2,4,6
/proc/5715/task/5734/stat : 5734 (pb_cplex) R 5714 5714 4676 0 -1 4202560 18233 0 0 0 14442 10 0 0 20 0 8 0 391001080 287559680 43022 33554432000 134512640 146736320 4289755152 4119714568 135526330 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=5715/tid=5735] ppid=5714 vsize=280820 CPUtime=175.57 cores=0,2,4,6
/proc/5715/task/5735/stat : 5735 (pb_cplex) R 5714 5714 4676 0 -1 4202560 43750 0 0 0 17540 17 0 0 20 0 8 0 391001080 287559680 43022 33554432000 134512640 146736320 4289755152 4130201656 136475868 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=5715/tid=5736] ppid=5714 vsize=280820 CPUtime=140.9 cores=0,2,4,6
/proc/5715/task/5736/stat : 5736 (pb_cplex) R 5714 5714 4676 0 -1 4202560 33807 0 0 0 14077 13 0 0 20 0 8 0 391001080 287559680 43022 33554432000 134512640 146736320 4289755152 4098744388 136385179 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=5715/tid=5737] ppid=5714 vsize=280820 CPUtime=99.19 cores=0,2,4,6
/proc/5715/task/5737/stat : 5737 (pb_cplex) R 5714 5714 4676 0 -1 4202560 13928 0 0 0 9912 7 0 0 20 0 8 0 391001080 287559680 43022 33554432000 134512640 146736320 4289755152 4088257688 136008656 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=5715/tid=5738] ppid=5714 vsize=280820 CPUtime=176.84 cores=0,2,4,6
/proc/5715/task/5738/stat : 5738 (pb_cplex) R 5714 5714 4676 0 -1 4202560 43789 0 0 0 17667 17 0 0 20 0 8 0 391001080 287559680 43022 33554432000 134512640 146736320 4289755152 4077772168 136001929 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=5715/tid=5739] ppid=5714 vsize=280820 CPUtime=130.19 cores=0,2,4,6
/proc/5715/task/5739/stat : 5739 (pb_cplex) R 5714 5714 4676 0 -1 4202560 26247 0 0 0 13007 12 0 0 20 0 8 0 391001080 287559680 43022 33554432000 134512640 146736320 4289755152 4067287316 136003493 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1503.48
Current children cumulated vsize (KiB) 289968
[startup+642.3 s]
/proc/loadavg: 8.95 6.78 5.21 10/186 5744
/proc/meminfo: memFree=30375628/32873648 swapFree=7124/7124
[pid=5714] ppid=5712 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5714/stat : 5714 (run) S 5712 5714 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390992774 9367552 269 33554432000 4194304 5064252 140733309604352 140733309603264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5714/statm: 2287 269 229 213 0 72 0
[pid=5715] ppid=5714 vsize=280820 CPUtime=1742.59 cores=0,2,4,6
/proc/5715/stat : 5715 (pb_cplex) R 5714 5714 4676 0 -1 4202496 482476 0 0 0 174114 145 0 0 20 0 8 0 390992774 287559680 43270 33554432000 134512640 146736320 4289755152 4289747984 136008042 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5715/statm: 70205 43270 974 2985 0 67139 0
[pid=5715/tid=5733] ppid=5714 vsize=280820 CPUtime=207.59 cores=0,2,4,6
/proc/5715/task/5733/stat : 5733 (pb_cplex) R 5714 5714 4676 0 -1 4202560 29740 0 0 0 20745 14 0 0 20 0 8 0 391001080 287559680 43270 33554432000 134512640 146736320 4289755152 4109229972 136018126 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=5715/tid=5734] ppid=5714 vsize=280820 CPUtime=174.52 cores=0,2,4,6
/proc/5715/task/5734/stat : 5734 (pb_cplex) R 5714 5714 4676 0 -1 4202560 27553 0 0 0 17438 14 0 0 20 0 8 0 391001080 287559680 43270 33554432000 134512640 146736320 4289755152 4119716432 136403112 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=5715/tid=5735] ppid=5714 vsize=280820 CPUtime=205.4 cores=0,2,4,6
/proc/5715/task/5735/stat : 5735 (pb_cplex) R 5714 5714 4676 0 -1 4202560 48540 0 0 0 20521 19 0 0 20 0 8 0 391001080 287559680 43270 33554432000 134512640 146736320 4289755152 4130200512 136019061 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=5715/tid=5736] ppid=5714 vsize=280820 CPUtime=170.91 cores=0,2,4,6
/proc/5715/task/5736/stat : 5736 (pb_cplex) R 5714 5714 4676 0 -1 4202560 40429 0 0 0 17075 16 0 0 20 0 8 0 391001080 287559680 43270 33554432000 134512640 146736320 4289755152 4098743624 136388013 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=5715/tid=5737] ppid=5714 vsize=280820 CPUtime=128.78 cores=0,2,4,6
/proc/5715/task/5737/stat : 5737 (pb_cplex) R 5714 5714 4676 0 -1 4202560 20416 0 0 0 12869 9 0 0 20 0 8 0 391001080 287559680 43270 33554432000 134512640 146736320 4289755152 4088258628 136385175 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=5715/tid=5738] ppid=5714 vsize=280820 CPUtime=206.63 cores=0,2,4,6
/proc/5715/task/5738/stat : 5738 (pb_cplex) R 5714 5714 4676 0 -1 4202560 46850 0 0 0 20643 20 0 0 20 0 8 0 391001080 287559680 43270 33554432000 134512640 146736320 4289755152 4077773008 136008423 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=5715/tid=5739] ppid=5714 vsize=280820 CPUtime=160.3 cores=0,2,4,6
/proc/5715/task/5739/stat : 5739 (pb_cplex) R 5714 5714 4676 0 -1 4202560 31961 0 0 0 16015 15 0 0 20 0 8 0 391001080 287559680 43270 33554432000 134512640 146736320 4289755152 4067287496 135999693 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1742.59
Current children cumulated vsize (KiB) 289968
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+656.8 s]
/proc/loadavg: 8.96 6.89 5.27 10/186 5744
/proc/meminfo: memFree=30374076/32873648 swapFree=7124/7124
[pid=5714] ppid=5712 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5714/stat : 5714 (run) S 5712 5714 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390992774 9367552 269 33554432000 4194304 5064252 140733309604352 140733309603264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5714/statm: 2287 269 229 213 0 72 0
[pid=5715] ppid=5714 vsize=280820 CPUtime=1800.36 cores=0,2,4,6
/proc/5715/stat : 5715 (pb_cplex) R 5714 5714 4676 0 -1 4202496 493818 0 0 0 179887 149 0 0 20 0 8 0 390992774 287559680 43392 33554432000 134512640 146736320 4289755152 4289747868 135854186 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5715/statm: 70205 43392 974 2985 0 67139 0
[pid=5715/tid=5733] ppid=5714 vsize=280820 CPUtime=214.52 cores=0,2,4,6
/proc/5715/task/5733/stat : 5733 (pb_cplex) R 5714 5714 4676 0 -1 4202560 30587 0 0 0 21438 14 0 0 20 0 8 0 391001080 287559680 43392 33554432000 134512640 146736320 4289755152 4109230288 136008443 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=5715/tid=5734] ppid=5714 vsize=280820 CPUtime=181.52 cores=0,2,4,6
/proc/5715/task/5734/stat : 5734 (pb_cplex) R 5714 5714 4676 0 -1 4202560 28458 0 0 0 18138 14 0 0 20 0 8 0 391001080 287559680 43392 33554432000 134512640 146736320 4289755152 4119716296 136000488 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=5715/tid=5735] ppid=5714 vsize=280820 CPUtime=212.6 cores=0,2,4,6
/proc/5715/task/5735/stat : 5735 (pb_cplex) R 5714 5714 4676 0 -1 4202560 50077 0 0 0 21240 20 0 0 20 0 8 0 391001080 287559680 43392 33554432000 134512640 146736320 4289755152 4130200512 136019021 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=5715/tid=5736] ppid=5714 vsize=280820 CPUtime=178.3 cores=0,2,4,6
/proc/5715/task/5736/stat : 5736 (pb_cplex) R 5714 5714 4676 0 -1 4202560 44380 0 0 0 17813 17 0 0 20 0 8 0 391001080 287559680 43392 33554432000 134512640 146736320 4289755152 4098744912 136403109 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=5715/tid=5737] ppid=5714 vsize=280820 CPUtime=136.22 cores=0,2,4,6
/proc/5715/task/5737/stat : 5737 (pb_cplex) R 5714 5714 4676 0 -1 4202560 22044 0 0 0 13611 11 0 0 20 0 8 0 391001080 287559680 43392 33554432000 134512640 146736320 4289755152 4088258652 135855165 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=5715/tid=5738] ppid=5714 vsize=280820 CPUtime=213.9 cores=0,2,4,6
/proc/5715/task/5738/stat : 5738 (pb_cplex) R 5714 5714 4676 0 -1 4202560 47420 0 0 0 21370 20 0 0 20 0 8 0 391001080 287559680 43392 33554432000 134512640 146736320 4289755152 4077772692 136018066 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=5715/tid=5739] ppid=5714 vsize=280820 CPUtime=167.68 cores=0,2,4,6
/proc/5715/task/5739/stat : 5739 (pb_cplex) R 5714 5714 4676 0 -1 4202560 33864 0 0 0 16752 16 0 0 20 0 8 0 391001080 287559680 43392 33554432000 134512640 146736320 4289755152 4067287632 136403112 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.36
Current children cumulated vsize (KiB) 289968
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 5714 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.36
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 656.816
CPU time (s): 1800.36
CPU user time (s): 1798.87
CPU system time (s): 1.49
CPU usage (%): 274.104
Max. virtual memory (cumulated for all children) (KiB): 292664
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= 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.67175 second user time and 4.25435 second system time
The end