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-3743028-1339251563/watcher-3743028-1339251563 -o /tmp/evaluation-result-3743028-1339251563/solver-3743028-1339251563 -C 1800 -W 1900 -M 15500 run HOME/instance-3743028-1339251563.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.19 5.53 4.51 3/177 28097
/proc/meminfo: memFree=31136092/32873844 swapFree=7116/7116
[pid=28097] ppid=28095 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28097/stat : 28097 (run) S 28095 28097 27040 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391283287 9367552 270 33554432000 4194304 5064252 140733962389520 140733962388432 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28097/statm: 2287 270 229 213 0 72 0
[startup+0.0986901 s]
/proc/loadavg: 5.19 5.53 4.51 3/177 28097
/proc/meminfo: memFree=31136092/32873844 swapFree=7116/7116
[pid=28097] ppid=28095 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28097/stat : 28097 (run) S 28095 28097 27040 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391283287 9367552 270 33554432000 4194304 5064252 140733962389520 140733962388432 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28097/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100281 s]
/proc/loadavg: 5.19 5.53 4.51 3/177 28097
/proc/meminfo: memFree=31136092/32873844 swapFree=7116/7116
[pid=28097] ppid=28095 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28097/stat : 28097 (run) S 28095 28097 27040 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391283287 9367552 270 33554432000 4194304 5064252 140733962389520 140733962388432 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28097/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300241 s]
/proc/loadavg: 5.19 5.53 4.51 3/177 28097
/proc/meminfo: memFree=31136092/32873844 swapFree=7116/7116
[pid=28097] ppid=28095 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28097/stat : 28097 (run) S 28095 28097 27040 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391283287 9367552 270 33554432000 4194304 5064252 140733962389520 140733962388432 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28097/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700239 s]
/proc/loadavg: 5.19 5.53 4.51 3/177 28097
/proc/meminfo: memFree=31136092/32873844 swapFree=7116/7116
[pid=28097] ppid=28095 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28097/stat : 28097 (run) S 28095 28097 27040 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391283287 9367552 270 33554432000 4194304 5064252 140733962389520 140733962388432 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28097/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50027 s]
/proc/loadavg: 5.19 5.53 4.51 3/179 28099
/proc/meminfo: memFree=31118980/32873844 swapFree=7116/7116
[pid=28097] ppid=28095 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28097/stat : 28097 (run) S 28095 28097 27040 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391283287 9367552 270 33554432000 4194304 5064252 140733962389520 140733962388432 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28097/statm: 2287 270 229 213 0 72 0
[pid=28098] ppid=28097 vsize=32600 CPUtime=1.48 cores=0,2,4,6
/proc/28098/stat : 28098 (pb_cplex) R 28097 28097 27040 0 -1 4202496 5394 0 0 0 148 0 0 0 20 0 1 0 391283287 33382400 5212 33554432000 134512640 146736320 4294556416 4294554300 140528736 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/28098/statm: 8150 5212 898 2985 0 4474 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 41748
[startup+3.10027 s]
/proc/loadavg: 5.19 5.53 4.51 3/179 28099
/proc/meminfo: memFree=31118476/32873844 swapFree=7116/7116
[pid=28097] ppid=28095 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28097/stat : 28097 (run) S 28095 28097 27040 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391283287 9367552 270 33554432000 4194304 5064252 140733962389520 140733962388432 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28097/statm: 2287 270 229 213 0 72 0
[pid=28098] ppid=28097 vsize=32600 CPUtime=3.08 cores=0,2,4,6
/proc/28098/stat : 28098 (pb_cplex) R 28097 28097 27040 0 -1 4202496 5401 0 0 0 308 0 0 0 20 0 1 0 391283287 33382400 5219 33554432000 134512640 146736320 4294556416 4294554304 141028076 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/28098/statm: 8150 5219 898 2985 0 4474 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 41748
[startup+6.30028 s]
/proc/loadavg: 4.94 5.47 4.50 3/179 28099
/proc/meminfo: memFree=31117472/32873844 swapFree=7116/7116
[pid=28097] ppid=28095 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28097/stat : 28097 (run) S 28095 28097 27040 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391283287 9367552 270 33554432000 4194304 5064252 140733962389520 140733962388432 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28097/statm: 2287 270 229 213 0 72 0
[pid=28098] ppid=28097 vsize=32732 CPUtime=6.28 cores=0,2,4,6
/proc/28098/stat : 28098 (pb_cplex) R 28097 28097 27040 0 -1 4202496 5411 0 0 0 628 0 0 0 20 0 1 0 391283287 33517568 5250 33554432000 134512640 146736320 4294556416 4294554300 141014053 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/28098/statm: 8183 5250 898 2985 0 4507 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 41880
[startup+12.7003 s]
/proc/loadavg: 4.70 5.42 4.48 3/179 28099
/proc/meminfo: memFree=31057156/32873844 swapFree=7116/7116
[pid=28097] ppid=28095 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28097/stat : 28097 (run) S 28095 28097 27040 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391283287 9367552 270 33554432000 4194304 5064252 140733962389520 140733962388432 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28097/statm: 2287 270 229 213 0 72 0
[pid=28098] ppid=28097 vsize=138516 CPUtime=12.69 cores=0,2,4,6
/proc/28098/stat : 28098 (pb_cplex) R 28097 28097 27040 0 -1 4202496 42917 0 0 0 1261 8 0 0 20 0 1 0 391283287 141840384 20134 33554432000 134512640 146736320 4294556416 4294550132 138462749 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/28098/statm: 34629 20144 797 2985 0 31563 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 147664
[startup+25.5003 s]
/proc/loadavg: 4.10 5.25 4.44 3/179 28099
/proc/meminfo: memFree=31056668/32873844 swapFree=7116/7116
[pid=28097] ppid=28095 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28097/stat : 28097 (run) S 28095 28097 27040 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391283287 9367552 270 33554432000 4194304 5064252 140733962389520 140733962388432 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28097/statm: 2287 270 229 213 0 72 0
[pid=28098] ppid=28097 vsize=137816 CPUtime=25.48 cores=0,2,4,6
/proc/28098/stat : 28098 (pb_cplex) R 28097 28097 27040 0 -1 4202496 57024 0 0 0 2538 10 0 0 20 0 1 0 391283287 141123584 20276 33554432000 134512640 146736320 4294556416 4294551432 136000480 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/28098/statm: 34454 20276 797 2985 0 31388 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 146964
[startup+51.1004 s]
/proc/loadavg: 3.38 4.99 4.38 3/180 28102
/proc/meminfo: memFree=31051572/32873844 swapFree=7116/7116
[pid=28097] ppid=28095 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28097/stat : 28097 (run) S 28095 28097 27040 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391283287 9367552 270 33554432000 4194304 5064252 140733962389520 140733962388432 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28097/statm: 2287 270 229 213 0 72 0
[pid=28098] ppid=28097 vsize=144464 CPUtime=51.08 cores=0,2,4,6
/proc/28098/stat : 28098 (pb_cplex) R 28097 28097 27040 0 -1 4202496 124852 0 0 0 5085 23 0 0 20 0 1 0 391283287 147931136 22214 33554432000 134512640 146736320 4294556416 4294552064 137336309 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/28098/statm: 36116 22214 894 2985 0 33050 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 153612
[startup+102.306 s]
/proc/loadavg: 2.60 4.52 4.25 3/179 28102
/proc/meminfo: memFree=31047928/32873844 swapFree=7116/7116
[pid=28097] ppid=28095 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28097/stat : 28097 (run) S 28095 28097 27040 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391283287 9367552 270 33554432000 4194304 5064252 140733962389520 140733962388432 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28097/statm: 2287 270 229 213 0 72 0
[pid=28098] ppid=28097 vsize=142292 CPUtime=102.28 cores=0,2,4,6
/proc/28098/stat : 28098 (pb_cplex) R 28097 28097 27040 0 -1 4202496 258871 0 0 0 10181 47 0 0 20 0 1 0 391283287 145707008 22561 33554432000 134512640 146736320 4294556416 4294550480 136403112 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/28098/statm: 35573 22561 898 2985 0 32507 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 151440
[startup+162.3 s]
/proc/loadavg: 2.22 4.06 4.11 3/186 28109
/proc/meminfo: memFree=30893976/32873844 swapFree=7116/7116
[pid=28097] ppid=28095 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28097/stat : 28097 (run) S 28095 28097 27040 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391283287 9367552 270 33554432000 4194304 5064252 140733962389520 140733962388432 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28097/statm: 2287 270 229 213 0 72 0
[pid=28098] ppid=28097 vsize=443540 CPUtime=162.27 cores=0,2,4,6
/proc/28098/stat : 28098 (pb_cplex) R 28097 28097 27040 0 -1 4202496 374328 0 0 0 16160 67 0 0 20 0 8 0 391283287 454184960 60972 33554432000 134512640 146736320 4294556416 4294549260 136388868 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28098/statm: 110885 60972 975 2985 0 107819 0
[pid=28098/tid=28103] ppid=28097 vsize=443540 CPUtime=0 cores=0,2,4,6
/proc/28098/task/28103/stat : 28103 (pb_cplex) S 28097 28097 27040 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391294860 454184960 60972 33554432000 134512640 146736320 4294556416 3997462160 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28098/tid=28104] ppid=28097 vsize=443540 CPUtime=0 cores=0,2,4,6
/proc/28098/task/28104/stat : 28104 (pb_cplex) S 28097 28097 27040 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391294860 454184960 60972 33554432000 134512640 146736320 4294556416 3986976400 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28098/tid=28105] ppid=28097 vsize=443540 CPUtime=0 cores=0,2,4,6
/proc/28098/task/28105/stat : 28105 (pb_cplex) S 28097 28097 27040 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 391294860 454184960 60972 33554432000 134512640 146736320 4294556416 3976490640 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28098/tid=28106] ppid=28097 vsize=443540 CPUtime=0 cores=0,2,4,6
/proc/28098/task/28106/stat : 28106 (pb_cplex) S 28097 28097 27040 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391294860 454184960 60972 33554432000 134512640 146736320 4294556416 3966004880 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28098/tid=28107] ppid=28097 vsize=443540 CPUtime=0 cores=0,2,4,6
/proc/28098/task/28107/stat : 28107 (pb_cplex) S 28097 28097 27040 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391294860 454184960 60972 33554432000 134512640 146736320 4294556416 3955519120 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28098/tid=28108] ppid=28097 vsize=443540 CPUtime=0 cores=0,2,4,6
/proc/28098/task/28108/stat : 28108 (pb_cplex) S 28097 28097 27040 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391294860 454184960 60972 33554432000 134512640 146736320 4294556416 3945033360 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28098/tid=28109] ppid=28097 vsize=443540 CPUtime=0 cores=0,2,4,6
/proc/28098/task/28109/stat : 28109 (pb_cplex) S 28097 28097 27040 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391294860 454184960 60972 33554432000 134512640 146736320 4294556416 3934547600 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 452688
[startup+222.3 s]
/proc/loadavg: 4.84 4.35 4.19 10/186 28109
/proc/meminfo: memFree=30710908/32873844 swapFree=7116/7116
[pid=28097] ppid=28095 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28097/stat : 28097 (run) S 28095 28097 27040 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391283287 9367552 270 33554432000 4194304 5064252 140733962389520 140733962388432 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28097/statm: 2287 270 229 213 0 72 0
[pid=28098] ppid=28097 vsize=677704 CPUtime=317.88 cores=0,2,4,6
/proc/28098/stat : 28098 (pb_cplex) R 28097 28097 27040 0 -1 4202496 491773 0 0 0 31688 100 0 0 20 0 8 0 391283287 693968896 106433 33554432000 134512640 146736320 4294556416 4294549512 136000483 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28098/statm: 169426 106433 975 2985 0 166360 0
[pid=28098/tid=28103] ppid=28097 vsize=677704 CPUtime=16.05 cores=0,2,4,6
/proc/28098/task/28103/stat : 28103 (pb_cplex) R 28097 28097 27040 0 -1 4202560 14250 0 0 0 1600 5 0 0 20 0 8 0 391294860 693968896 106433 33554432000 134512640 146736320 4294556416 3997458640 136008047 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=28098/tid=28104] ppid=28097 vsize=677704 CPUtime=16 cores=0,2,4,6
/proc/28098/task/28104/stat : 28104 (pb_cplex) R 28097 28097 27040 0 -1 4202560 11346 0 0 0 1597 3 0 0 20 0 8 0 391294860 693968896 106433 33554432000 134512640 146736320 4294556416 3986972712 139044550 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=28098/tid=28105] ppid=28097 vsize=677704 CPUtime=15.97 cores=0,2,4,6
/proc/28098/task/28105/stat : 28105 (pb_cplex) R 28097 28097 27040 0 -1 4202560 11264 0 0 0 1594 3 0 0 20 0 8 0 391294860 693968896 106433 33554432000 134512640 146736320 4294556416 3976487128 136008604 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=28098/tid=28106] ppid=28097 vsize=677704 CPUtime=15.83 cores=0,2,4,6
/proc/28098/task/28106/stat : 28106 (pb_cplex) R 28097 28097 27040 0 -1 4202560 10715 0 0 0 1578 5 0 0 20 0 8 0 391294860 693968896 106433 33554432000 134512640 146736320 4294556416 3966001224 136474283 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=28098/tid=28107] ppid=28097 vsize=677704 CPUtime=16.05 cores=0,2,4,6
/proc/28098/task/28107/stat : 28107 (pb_cplex) R 28097 28097 27040 0 -1 4202560 13906 0 0 0 1600 5 0 0 20 0 8 0 391294860 693968896 106433 33554432000 134512640 146736320 4294556416 3955515848 135999265 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=28098/tid=28108] ppid=28097 vsize=677704 CPUtime=15.91 cores=0,2,4,6
/proc/28098/task/28108/stat : 28108 (pb_cplex) R 28097 28097 27040 0 -1 4202560 15730 0 0 0 1586 5 0 0 20 0 8 0 391294860 693968896 106433 33554432000 134512640 146736320 4294556416 3945029840 136008441 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=28098/tid=28109] ppid=28097 vsize=677704 CPUtime=15.68 cores=0,2,4,6
/proc/28098/task/28109/stat : 28109 (pb_cplex) R 28097 28097 27040 0 -1 4202560 13253 0 0 0 1564 4 0 0 20 0 8 0 391294860 693968896 106433 33554432000 134512640 146736320 4294556416 3934541960 135468172 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 317.88
Current children cumulated vsize (KiB) 686852
################
# More data... #
################
/proc/28098/statm: 171083 112781 996 2985 0 168017 0
[pid=28098/tid=28103] ppid=28097 vsize=684332 CPUtime=128.9 cores=0,2,4,6
/proc/28098/task/28103/stat : 28103 (pb_cplex) R 28097 28097 27040 0 -1 4202560 64128 0 0 0 12870 20 0 0 20 0 8 0 391294860 700755968 112781 33554432000 134512640 146736320 4294556416 3997458524 135855165 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=28098/tid=28104] ppid=28097 vsize=684332 CPUtime=129.55 cores=0,2,4,6
/proc/28098/task/28104/stat : 28104 (pb_cplex) R 28097 28097 27040 0 -1 4202560 64828 0 0 0 12933 22 0 0 20 0 8 0 391294860 700755968 112781 33554432000 134512640 146736320 4294556416 3986973264 136403112 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=28098/tid=28105] ppid=28097 vsize=684332 CPUtime=129.66 cores=0,2,4,6
/proc/28098/task/28105/stat : 28105 (pb_cplex) R 28097 28097 27040 0 -1 4202560 62297 0 0 0 12946 20 0 0 20 0 8 0 391294860 700755968 112781 33554432000 134512640 146736320 4294556416 3976487128 136009164 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=28098/tid=28106] ppid=28097 vsize=684332 CPUtime=129.61 cores=0,2,4,6
/proc/28098/task/28106/stat : 28106 (pb_cplex) R 28097 28097 27040 0 -1 4202560 53354 0 0 0 12943 18 0 0 20 0 8 0 391294860 700755968 112781 33554432000 134512640 146736320 4294556416 3966001360 136008050 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=28098/tid=28107] ppid=28097 vsize=684332 CPUtime=36.25 cores=0,2,4,6
/proc/28098/task/28107/stat : 28107 (pb_cplex) S 28097 28097 27040 0 -1 4202560 23851 0 0 0 3617 8 0 0 20 0 8 0 391294860 700755968 112781 33554432000 134512640 146736320 4294556416 3955519120 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28098/tid=28108] ppid=28097 vsize=684332 CPUtime=131.04 cores=0,2,4,6
/proc/28098/task/28108/stat : 28108 (pb_cplex) R 28097 28097 27040 0 -1 4202560 73869 0 0 0 13081 23 0 0 20 0 8 0 391294860 700755968 112781 33554432000 134512640 146736320 4294556416 3945029840 136008450 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=28098/tid=28109] ppid=28097 vsize=684332 CPUtime=127.71 cores=0,2,4,6
/proc/28098/task/28109/stat : 28109 (pb_cplex) R 28097 28097 27040 0 -1 4202560 58948 0 0 0 12749 22 0 0 20 0 8 0 391294860 700755968 112781 33554432000 134512640 146736320 4294556416 3934544464 136403109 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1034.72
Current children cumulated vsize (KiB) 693480
[startup+462.3 s]
/proc/loadavg: 6.03 5.66 4.80 6/186 28159
/proc/meminfo: memFree=31145704/32873844 swapFree=7116/7116
[pid=28097] ppid=28095 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28097/stat : 28097 (run) S 28095 28097 27040 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391283287 9367552 270 33554432000 4194304 5064252 140733962389520 140733962388432 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28097/statm: 2287 270 229 213 0 72 0
[pid=28098] ppid=28097 vsize=684364 CPUtime=1273.69 cores=0,2,4,6
/proc/28098/stat : 28098 (pb_cplex) S 28097 28097 27040 0 -1 4202496 954881 0 0 0 127132 237 0 0 20 0 8 0 391283287 700788736 119180 33554432000 134512640 146736320 4294556416 4294552784 144580073 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28098/statm: 171091 119180 996 2985 0 168025 0
[pid=28098/tid=28103] ppid=28097 vsize=684364 CPUtime=155.5 cores=0,2,4,6
/proc/28098/task/28103/stat : 28103 (pb_cplex) S 28097 28097 27040 0 -1 4202560 76139 0 0 0 15526 24 0 0 20 0 8 0 391294860 700788736 119180 33554432000 134512640 146736320 4294556416 3997462160 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28098/tid=28104] ppid=28097 vsize=684364 CPUtime=130.48 cores=0,2,4,6
/proc/28098/task/28104/stat : 28104 (pb_cplex) S 28097 28097 27040 0 -1 4202560 65596 0 0 0 13026 22 0 0 20 0 8 0 391294860 700788736 119180 33554432000 134512640 146736320 4294556416 3986976400 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28098/tid=28105] ppid=28097 vsize=684364 CPUtime=183.28 cores=0,2,4,6
/proc/28098/task/28105/stat : 28105 (pb_cplex) R 28097 28097 27040 0 -1 4202560 87446 0 0 0 18301 27 0 0 20 0 8 0 391294860 700788736 119180 33554432000 134512640 146736320 4294556416 3976486984 139042888 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=28098/tid=28106] ppid=28097 vsize=684364 CPUtime=181.99 cores=0,2,4,6
/proc/28098/task/28106/stat : 28106 (pb_cplex) R 28097 28097 27040 0 -1 4202560 76334 0 0 0 18174 25 0 0 20 0 8 0 391294860 700788736 119180 33554432000 134512640 146736320 4294556416 3966001208 136475824 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=28098/tid=28107] ppid=28097 vsize=684364 CPUtime=36.25 cores=0,2,4,6
/proc/28098/task/28107/stat : 28107 (pb_cplex) S 28097 28097 27040 0 -1 4202560 23851 0 0 0 3617 8 0 0 20 0 8 0 391294860 700788736 119180 33554432000 134512640 146736320 4294556416 3955519120 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28098/tid=28108] ppid=28097 vsize=684364 CPUtime=183.91 cores=0,2,4,6
/proc/28098/task/28108/stat : 28108 (pb_cplex) R 28097 28097 27040 0 -1 4202560 108694 0 0 0 18357 34 0 0 20 0 8 0 391294860 700788736 119180 33554432000 134512640 146736320 4294556416 3945029724 135855174 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=28098/tid=28109] ppid=28097 vsize=684364 CPUtime=180.67 cores=0,2,4,6
/proc/28098/task/28109/stat : 28109 (pb_cplex) R 28097 28097 27040 0 -1 4202560 106459 0 0 0 18032 35 0 0 20 0 8 0 391294860 700788736 119180 33554432000 134512640 146736320 4294556416 3934543964 135855165 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1273.69
Current children cumulated vsize (KiB) 693512
[startup+522.301 s]
/proc/loadavg: 5.15 5.49 4.79 5/186 28159
/proc/meminfo: memFree=31120200/32873844 swapFree=7116/7116
[pid=28097] ppid=28095 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28097/stat : 28097 (run) S 28095 28097 27040 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391283287 9367552 270 33554432000 4194304 5064252 140733962389520 140733962388432 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28097/statm: 2287 270 229 213 0 72 0
[pid=28098] ppid=28097 vsize=690612 CPUtime=1497.7 cores=0,2,4,6
/proc/28098/stat : 28098 (pb_cplex) S 28097 28097 27040 0 -1 4202496 1060921 0 0 0 149505 265 0 0 20 0 8 0 391283287 707186688 125536 33554432000 134512640 146736320 4294556416 4294552784 144580073 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28098/statm: 172653 125536 996 2985 0 169587 0
[pid=28098/tid=28103] ppid=28097 vsize=690612 CPUtime=155.5 cores=0,2,4,6
/proc/28098/task/28103/stat : 28103 (pb_cplex) S 28097 28097 27040 0 -1 4202560 76139 0 0 0 15526 24 0 0 20 0 8 0 391294860 707186688 125536 33554432000 134512640 146736320 4294556416 3997462160 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28098/tid=28104] ppid=28097 vsize=690612 CPUtime=130.48 cores=0,2,4,6
/proc/28098/task/28104/stat : 28104 (pb_cplex) S 28097 28097 27040 0 -1 4202560 65596 0 0 0 13026 22 0 0 20 0 8 0 391294860 707186688 125536 33554432000 134512640 146736320 4294556416 3986976400 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28098/tid=28105] ppid=28097 vsize=690612 CPUtime=243.18 cores=0,2,4,6
/proc/28098/task/28105/stat : 28105 (pb_cplex) R 28097 28097 27040 0 -1 4202560 115297 0 0 0 24282 36 0 0 20 0 8 0 391294860 707186688 125536 33554432000 134512640 146736320 4294556416 3976486976 136382632 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=28098/tid=28106] ppid=28097 vsize=690612 CPUtime=241.99 cores=0,2,4,6
/proc/28098/task/28106/stat : 28106 (pb_cplex) R 28097 28097 27040 0 -1 4202560 106604 0 0 0 24164 35 0 0 20 0 8 0 391294860 707186688 125536 33554432000 134512640 146736320 4294556416 3966001592 136055416 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=28098/tid=28107] ppid=28097 vsize=690612 CPUtime=36.25 cores=0,2,4,6
/proc/28098/task/28107/stat : 28107 (pb_cplex) S 28097 28097 27040 0 -1 4202560 23851 0 0 0 3617 8 0 0 20 0 8 0 391294860 707186688 125536 33554432000 134512640 146736320 4294556416 3955519120 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28098/tid=28108] ppid=28097 vsize=690612 CPUtime=228.56 cores=0,2,4,6
/proc/28098/task/28108/stat : 28108 (pb_cplex) S 28097 28097 27040 0 -1 4202560 128748 0 0 0 22816 40 0 0 20 0 8 0 391294860 707186688 125536 33554432000 134512640 146736320 4294556416 3945033360 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28098/tid=28109] ppid=28097 vsize=690612 CPUtime=240.43 cores=0,2,4,6
/proc/28098/task/28109/stat : 28109 (pb_cplex) R 28097 28097 27040 0 -1 4202560 134324 0 0 0 24000 43 0 0 20 0 8 0 391294860 707186688 125536 33554432000 134512640 146736320 4294556416 3934544464 136403117 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1497.7
Current children cumulated vsize (KiB) 699760
[startup+582.3 s]
/proc/loadavg: 4.11 5.11 4.71 10/186 28160
/proc/meminfo: memFree=31120820/32873844 swapFree=7116/7116
[pid=28097] ppid=28095 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28097/stat : 28097 (run) S 28095 28097 27040 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391283287 9367552 270 33554432000 4194304 5064252 140733962389520 140733962388432 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28097/statm: 2287 270 229 213 0 72 0
[pid=28098] ppid=28097 vsize=696808 CPUtime=1624.86 cores=0,2,4,6
/proc/28098/stat : 28098 (pb_cplex) R 28097 28097 27040 0 -1 4202496 1165565 0 0 0 162195 291 0 0 20 0 8 0 391283287 713531392 125536 33554432000 134512640 146736320 4294556416 4294549148 135855165 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28098/statm: 174202 125536 996 2985 0 171136 0
[pid=28098/tid=28103] ppid=28097 vsize=696808 CPUtime=158.85 cores=0,2,4,6
/proc/28098/task/28103/stat : 28103 (pb_cplex) R 28097 28097 27040 0 -1 4202560 80192 0 0 0 15859 26 0 0 20 0 8 0 391294860 713531392 125536 33554432000 134512640 146736320 4294556416 3997458524 135855165 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=28098/tid=28104] ppid=28097 vsize=696808 CPUtime=133.71 cores=0,2,4,6
/proc/28098/task/28104/stat : 28104 (pb_cplex) R 28097 28097 27040 0 -1 4202560 70021 0 0 0 13346 25 0 0 20 0 8 0 391294860 713531392 125536 33554432000 134512640 146736320 4294556416 3986973128 136000412 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=28098/tid=28105] ppid=28097 vsize=696808 CPUtime=278.94 cores=0,2,4,6
/proc/28098/task/28105/stat : 28105 (pb_cplex) R 28097 28097 27040 0 -1 4202560 140755 0 0 0 27851 43 0 0 20 0 8 0 391294860 713531392 125536 33554432000 134512640 146736320 4294556416 3976487504 136403106 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=28098/tid=28106] ppid=28097 vsize=696808 CPUtime=298.82 cores=0,2,4,6
/proc/28098/task/28106/stat : 28106 (pb_cplex) R 28097 28097 27040 0 -1 4202560 143639 0 0 0 29838 44 0 0 20 0 8 0 391294860 713531392 125536 33554432000 134512640 146736320 4294556416 3966001208 136475780 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=28098/tid=28107] ppid=28097 vsize=696808 CPUtime=39.19 cores=0,2,4,6
/proc/28098/task/28107/stat : 28107 (pb_cplex) R 28097 28097 27040 0 -1 4202560 31664 0 0 0 3909 10 0 0 20 0 8 0 391294860 713531392 125536 33554432000 134512640 146736320 4294556416 3955514344 139044585 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=28098/tid=28108] ppid=28097 vsize=696808 CPUtime=232.1 cores=0,2,4,6
/proc/28098/task/28108/stat : 28108 (pb_cplex) R 28097 28097 27040 0 -1 4202560 132843 0 0 0 23169 41 0 0 20 0 8 0 391294860 713531392 125536 33554432000 134512640 146736320 4294556416 3945029700 136385167 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=28098/tid=28109] ppid=28097 vsize=696808 CPUtime=259.14 cores=0,2,4,6
/proc/28098/task/28109/stat : 28109 (pb_cplex) R 28097 28097 27040 0 -1 4202560 152475 0 0 0 25868 46 0 0 20 0 8 0 391294860 713531392 125536 33554432000 134512640 146736320 4294556416 3934543920 136384857 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1624.86
Current children cumulated vsize (KiB) 705956
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+626.3 s]
/proc/loadavg: 6.69 5.65 4.91 10/186 28160
/proc/meminfo: memFree=31110304/32873844 swapFree=7116/7116
[pid=28097] ppid=28095 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28097/stat : 28097 (run) S 28095 28097 27040 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391283287 9367552 270 33554432000 4194304 5064252 140733962389520 140733962388432 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28097/statm: 2287 270 229 213 0 72 0
[pid=28098] ppid=28097 vsize=697216 CPUtime=1800.15 cores=0,2,4,6
/proc/28098/stat : 28098 (pb_cplex) R 28097 28097 27040 0 -1 4202496 1263462 0 0 0 179701 314 0 0 20 0 8 0 391283287 713949184 127868 33554432000 134512640 146736320 4294556416 4294549264 136008450 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/28098/statm: 174304 127868 996 2985 0 171238 0
[pid=28098/tid=28103] ppid=28097 vsize=697216 CPUtime=180.55 cores=0,2,4,6
/proc/28098/task/28103/stat : 28103 (pb_cplex) R 28097 28097 27040 0 -1 4202560 90160 0 0 0 18027 28 0 0 20 0 8 0 391294860 713949184 127868 33554432000 134512640 146736320 4294556416 3997458488 136475822 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=28098/tid=28104] ppid=28097 vsize=697216 CPUtime=155.68 cores=0,2,4,6
/proc/28098/task/28104/stat : 28104 (pb_cplex) R 28097 28097 27040 0 -1 4202560 81721 0 0 0 15541 27 0 0 20 0 8 0 391294860 713949184 127868 33554432000 134512640 146736320 4294556416 3986972740 136385175 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=28098/tid=28105] ppid=28097 vsize=697216 CPUtime=300.93 cores=0,2,4,6
/proc/28098/task/28105/stat : 28105 (pb_cplex) R 28097 28097 27040 0 -1 4202560 149528 0 0 0 30047 46 0 0 20 0 8 0 391294860 713949184 127868 33554432000 134512640 146736320 4294556416 3976486980 136385170 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=28098/tid=28106] ppid=28097 vsize=697216 CPUtime=320.82 cores=0,2,4,6
/proc/28098/task/28106/stat : 28106 (pb_cplex) R 28097 28097 27040 0 -1 4202560 155563 0 0 0 32034 48 0 0 20 0 8 0 391294860 713949184 127868 33554432000 134512640 146736320 4294556416 3966001244 135855174 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=28098/tid=28107] ppid=28097 vsize=697216 CPUtime=61.23 cores=0,2,4,6
/proc/28098/task/28107/stat : 28107 (pb_cplex) R 28097 28097 27040 0 -1 4202560 46823 0 0 0 6110 13 0 0 20 0 8 0 391294860 713949184 127868 33554432000 134512640 146736320 4294556416 3955515600 136008416 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=28098/tid=28108] ppid=28097 vsize=697216 CPUtime=253.8 cores=0,2,4,6
/proc/28098/task/28108/stat : 28108 (pb_cplex) R 28097 28097 27040 0 -1 4202560 148925 0 0 0 25334 46 0 0 20 0 8 0 391294860 713949184 127868 33554432000 134512640 146736320 4294556416 3945030272 138423055 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=28098/tid=28109] ppid=28097 vsize=697216 CPUtime=281.14 cores=0,2,4,6
/proc/28098/task/28109/stat : 28109 (pb_cplex) R 28097 28097 27040 0 -1 4202560 160552 0 0 0 28065 49 0 0 20 0 8 0 391294860 713949184 127868 33554432000 134512640 146736320 4294556416 3934543920 136384849 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 706364
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+626.3 s]
/proc/loadavg: 6.69 5.65 4.91 10/186 28160
/proc/meminfo: memFree=31110304/32873844 swapFree=7116/7116
[pid=28097] ppid=28095 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28097/stat : 28097 (run) S 28095 28097 27040 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391283287 9367552 270 33554432000 4194304 5064252 140733962389520 140733962388432 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28097/statm: 2287 270 229 213 0 72 0
[pid=28098] ppid=28097 vsize=697216 CPUtime=1800.15 cores=0,2,4,6
/proc/28098/stat : 28098 (pb_cplex) R 28097 28097 27040 0 -1 4202496 1263462 0 0 0 179701 314 0 0 20 0 8 0 391283287 713949184 127868 33554432000 134512640 146736320 4294556416 4294549264 136008450 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/28098/statm: 174304 127868 996 2985 0 171238 0
[pid=28098/tid=28103] ppid=28097 vsize=697216 CPUtime=180.55 cores=0,2,4,6
/proc/28098/task/28103/stat : 28103 (pb_cplex) R 28097 28097 27040 0 -1 4202560 90160 0 0 0 18027 28 0 0 20 0 8 0 391294860 713949184 127868 33554432000 134512640 146736320 4294556416 3997458488 136475822 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=28098/tid=28104] ppid=28097 vsize=697216 CPUtime=155.68 cores=0,2,4,6
/proc/28098/task/28104/stat : 28104 (pb_cplex) R 28097 28097 27040 0 -1 4202560 81721 0 0 0 15541 27 0 0 20 0 8 0 391294860 713949184 127868 33554432000 134512640 146736320 4294556416 3986972740 136385175 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=28098/tid=28105] ppid=28097 vsize=697216 CPUtime=300.93 cores=0,2,4,6
/proc/28098/task/28105/stat : 28105 (pb_cplex) R 28097 28097 27040 0 -1 4202560 149528 0 0 0 30047 46 0 0 20 0 8 0 391294860 713949184 127868 33554432000 134512640 146736320 4294556416 3976486980 136385170 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=28098/tid=28106] ppid=28097 vsize=697216 CPUtime=320.82 cores=0,2,4,6
/proc/28098/task/28106/stat : 28106 (pb_cplex) R 28097 28097 27040 0 -1 4202560 155563 0 0 0 32034 48 0 0 20 0 8 0 391294860 713949184 127868 33554432000 134512640 146736320 4294556416 3966001244 135855174 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=28098/tid=28107] ppid=28097 vsize=697216 CPUtime=61.23 cores=0,2,4,6
/proc/28098/task/28107/stat : 28107 (pb_cplex) R 28097 28097 27040 0 -1 4202560 46823 0 0 0 6110 13 0 0 20 0 8 0 391294860 713949184 127868 33554432000 134512640 146736320 4294556416 3955515600 136008416 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=28098/tid=28108] ppid=28097 vsize=697216 CPUtime=253.8 cores=0,2,4,6
/proc/28098/task/28108/stat : 28108 (pb_cplex) R 28097 28097 27040 0 -1 4202560 148925 0 0 0 25334 46 0 0 20 0 8 0 391294860 713949184 127868 33554432000 134512640 146736320 4294556416 3945030272 138423055 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=28098/tid=28109] ppid=28097 vsize=697216 CPUtime=281.14 cores=0,2,4,6
/proc/28098/task/28109/stat : 28109 (pb_cplex) R 28097 28097 27040 0 -1 4202560 160552 0 0 0 28065 49 0 0 20 0 8 0 391294860 713949184 127868 33554432000 134512640 146736320 4294556416 3934543920 136384849 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 706364
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28097 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.15
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 626.317
CPU time (s): 1800.15
CPU user time (s): 1797.01
CPU system time (s): 3.14
CPU usage (%): 287.418
Max. virtual memory (cumulated for all children) (KiB): 709644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 1080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 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.49177 second user time and 4.51431 second system time
The end