runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3460987-1307107013/watcher-3460987-1307107013 -o /tmp/evaluation-result-3460987-1307107013/solver-3460987-1307107013 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460987-1307107013.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: 1.97 2.01 2.00 2/386 28371
/proc/meminfo: memFree=23813132/32951124 swapFree=49244120/67111528
[pid=28371] ppid=28369 vsize=2104 CPUtime=0.01 cores=0,2,4,6
/proc/28371/stat : 28371 (wbo1.6) R 28369 28371 27315 0 -1 4202496 335 0 0 0 1 0 0 0 25 0 1 0 822304066 2154496 285 33554432000 4194304 5714214 140737130872096 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/28371/statm: 526 285 180 372 0 151 0
[startup+0.0652929 s]
/proc/loadavg: 1.97 2.01 2.00 2/386 28371
/proc/meminfo: memFree=23813132/32951124 swapFree=49244120/67111528
[pid=28371] ppid=28369 vsize=2632 CPUtime=0.06 cores=0,2,4,6
/proc/28371/stat : 28371 (wbo1.6) R 28369 28371 27315 0 -1 4202496 452 0 0 0 6 0 0 0 25 0 1 0 822304066 2695168 402 33554432000 4194304 5714214 140737130872096 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/28371/statm: 658 402 180 372 0 283 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2632
[startup+0.100292 s]
/proc/loadavg: 1.97 2.01 2.00 2/386 28371
/proc/meminfo: memFree=23813132/32951124 swapFree=49244120/67111528
[pid=28371] ppid=28369 vsize=2896 CPUtime=0.09 cores=0,2,4,6
/proc/28371/stat : 28371 (wbo1.6) R 28369 28371 27315 0 -1 4202496 527 0 0 0 9 0 0 0 25 0 1 0 822304066 2965504 477 33554432000 4194304 5714214 140737130872096 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/28371/statm: 724 477 180 372 0 349 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2896
[startup+0.300258 s]
/proc/loadavg: 1.97 2.01 2.00 2/386 28371
/proc/meminfo: memFree=23813132/32951124 swapFree=49244120/67111528
[pid=28371] ppid=28369 vsize=4344 CPUtime=0.29 cores=0,2,4,6
/proc/28371/stat : 28371 (wbo1.6) R 28369 28371 27315 0 -1 4202496 896 0 0 0 29 0 0 0 25 0 1 0 822304066 4448256 846 33554432000 4194304 5714214 140737130872096 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/28371/statm: 1086 846 180 372 0 711 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4344
[startup+0.700191 s]
/proc/loadavg: 1.97 2.01 2.00 2/386 28371
/proc/meminfo: memFree=23813132/32951124 swapFree=49244120/67111528
[pid=28371] ppid=28369 vsize=6848 CPUtime=0.69 cores=0,2,4,6
/proc/28371/stat : 28371 (wbo1.6) R 28369 28371 27315 0 -1 4202496 1524 0 0 0 69 0 0 0 25 0 1 0 822304066 7012352 1474 33554432000 4194304 5714214 140737130872096 18446744073709551615 4319292 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/28371/statm: 1712 1474 180 372 0 1337 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6848
[startup+1.50102 s]
/proc/loadavg: 1.97 2.01 2.00 3/387 28372
/proc/meminfo: memFree=23804692/32951124 swapFree=49244120/67111528
[pid=28371] ppid=28369 vsize=8864 CPUtime=1.49 cores=0,2,4,6
/proc/28371/stat : 28371 (wbo1.6) R 28369 28371 27315 0 -1 4202496 2021 0 0 0 148 1 0 0 25 0 1 0 822304066 9076736 1971 33554432000 4194304 5714214 140737130872096 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/28371/statm: 2216 1971 180 372 0 1841 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8864
[startup+3.10076 s]
/proc/loadavg: 1.97 2.00 2.00 3/387 28372
/proc/meminfo: memFree=23800600/32951124 swapFree=49244120/67111528
[pid=28371] ppid=28369 vsize=11504 CPUtime=3.09 cores=0,2,4,6
/proc/28371/stat : 28371 (wbo1.6) R 28369 28371 27315 0 -1 4202496 2650 0 0 0 308 1 0 0 25 0 1 0 822304066 11780096 2600 33554432000 4194304 5714214 140737130872096 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/28371/statm: 2876 2600 180 372 0 2501 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11504
[startup+6.30019 s]
/proc/loadavg: 1.97 2.00 2.00 3/387 28372
/proc/meminfo: memFree=23791660/32951124 swapFree=49244120/67111528
[pid=28371] ppid=28369 vsize=16340 CPUtime=6.29 cores=0,2,4,6
/proc/28371/stat : 28371 (wbo1.6) R 28369 28371 27315 0 -1 4202496 3868 0 0 0 625 4 0 0 25 0 1 0 822304066 16732160 3818 33554432000 4194304 5714214 140737130872096 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/28371/statm: 4085 3818 180 372 0 3710 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16340
[startup+12.7011 s]
/proc/loadavg: 1.97 2.00 2.00 3/387 28373
/proc/meminfo: memFree=23774068/32951124 swapFree=49244120/67111528
[pid=28371] ppid=28369 vsize=22888 CPUtime=12.69 cores=0,2,4,6
/proc/28371/stat : 28371 (wbo1.6) R 28369 28371 27315 0 -1 4202496 5503 0 0 0 1261 8 0 0 25 0 1 0 822304066 23437312 5453 33554432000 4194304 5714214 140737130872096 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/28371/statm: 5722 5453 180 372 0 5347 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22888
[startup+25.5008 s]
/proc/loadavg: 1.98 2.00 2.00 3/387 28373
/proc/meminfo: memFree=23745048/32951124 swapFree=49244120/67111528
[pid=28371] ppid=28369 vsize=36524 CPUtime=25.49 cores=0,2,4,6
/proc/28371/stat : 28371 (wbo1.6) R 28369 28371 27315 0 -1 4202496 8866 0 0 0 2533 16 0 0 25 0 1 0 822304066 37400576 8816 33554432000 4194304 5714214 140737130872096 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/28371/statm: 9131 8816 180 372 0 8756 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 36524
[startup+51.1003 s]
/proc/loadavg: 1.98 2.00 2.00 3/387 28374
/proc/meminfo: memFree=23693828/32951124 swapFree=49244120/67111528
[pid=28371] ppid=28369 vsize=57336 CPUtime=51.09 cores=0,2,4,6
/proc/28371/stat : 28371 (wbo1.6) R 28369 28371 27315 0 -1 4202496 14023 0 0 0 5075 34 0 0 25 0 1 0 822304066 58712064 13973 33554432000 4194304 5714214 140737130872096 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/28371/statm: 14334 13973 180 372 0 13959 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 57336
[startup+102.315 s]
/proc/loadavg: 1.99 2.00 2.00 3/387 28375
/proc/meminfo: memFree=23597368/32951124 swapFree=49244120/67111528
[pid=28371] ppid=28369 vsize=96320 CPUtime=102.31 cores=0,2,4,6
/proc/28371/stat : 28371 (wbo1.6) R 28369 28371 27315 0 -1 4202496 23742 0 0 0 10169 62 0 0 25 0 1 0 822304066 98631680 23692 33554432000 4194304 5714214 140737130872096 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/28371/statm: 24080 23692 180 372 0 23705 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 96320
[startup+162.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/387 28377
/proc/meminfo: memFree=23494792/32951124 swapFree=49244120/67111528
[pid=28371] ppid=28369 vsize=135920 CPUtime=162.29 cores=0,2,4,6
/proc/28371/stat : 28371 (wbo1.6) R 28369 28371 27315 0 -1 4202496 33583 0 0 0 16135 94 0 0 25 0 1 0 822304066 139182080 33533 33554432000 4194304 5714214 140737130872096 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/28371/statm: 33980 33533 180 372 0 33605 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 135920
[startup+222.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/387 28378
/proc/meminfo: memFree=23394272/32951124 swapFree=49244120/67111528
[pid=28371] ppid=28369 vsize=174968 CPUtime=222.3 cores=0,2,4,6
/proc/28371/stat : 28371 (wbo1.6) R 28369 28371 27315 0 -1 4202496 43299 0 0 0 22105 125 0 0 25 0 1 0 822304066 179167232 43249 33554432000 4194304 5714214 140737130872096 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/28371/statm: 43742 43249 180 372 0 43367 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 174968
[startup+282.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/387 28380
/proc/meminfo: memFree=23303596/32951124 swapFree=49244120/67111528
[pid=28371] ppid=28369 vsize=211820 CPUtime=282.3 cores=0,2,4,6
/proc/28371/stat : 28371 (wbo1.6) R 28369 28371 27315 0 -1 4202496 52527 0 0 0 28076 154 0 0 25 0 1 0 822304066 216903680 52477 33554432000 4194304 5714214 140737130872096 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/28371/statm: 52955 52477 180 372 0 52580 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 211820
[startup+342.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/387 28381
/proc/meminfo: memFree=23203360/32951124 swapFree=49244120/67111528
[pid=28371] ppid=28369 vsize=250272 CPUtime=342.3 cores=0,2,4,6
/proc/28371/stat : 28371 (wbo1.6) R 28369 28371 27315 0 -1 4202496 62076 0 0 0 34042 188 0 0 25 0 1 0 822304066 256278528 62026 33554432000 4194304 5714214 140737130872096 18446744073709551615 4319337 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/28371/statm: 62568 62026 180 372 0 62193 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 250272
[startup+402.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/387 28383
/proc/meminfo: memFree=23107248/32951124 swapFree=49244120/67111528
[pid=28371] ppid=28369 vsize=284228 CPUtime=402.3 cores=0,2,4,6
/proc/28371/stat : 28371 (wbo1.6) R 28369 28371 27315 0 -1 4202496 70529 0 0 0 40010 220 0 0 25 0 1 0 822304066 291049472 70479 33554432000 4194304 5714214 140737130872096 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/28371/statm: 71057 70479 180 372 0 70682 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 284228
[startup+462.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/387 28385
/proc/meminfo: memFree=23010372/32951124 swapFree=49244120/67111528
[pid=28371] ppid=28369 vsize=320100 CPUtime=462.3 cores=0,2,4,6
/proc/28371/stat : 28371 (wbo1.6) R 28369 28371 27315 0 -1 4202496 79493 0 0 0 45981 249 0 0 25 0 1 0 822304066 327782400 79443 33554432000 4194304 5714214 140737130872096 18446744073709551615 4319349 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/28371/statm: 80025 79443 180 372 0 79650 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 320100
[startup+522.301 s]
/proc/loadavg: 2.11 2.04 2.01 3/387 28386
/proc/meminfo: memFree=22920808/32951124 swapFree=49244120/67111528
[pid=28371] ppid=28369 vsize=353244 CPUtime=522.3 cores=0,2,4,6
/proc/28371/stat : 28371 (wbo1.6) R 28369 28371 27315 0 -1 4202496 87761 0 0 0 51954 276 0 0 25 0 1 0 822304066 361721856 87711 33554432000 4194304 5714214 140737130872096 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/28371/statm: 88311 87711 180 372 0 87936 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 353244
[startup+582.301 s]
/proc/loadavg: 2.07 2.04 2.01 3/387 28388
/proc/meminfo: memFree=22828028/32951124 swapFree=49244120/67111528
[pid=28371] ppid=28369 vsize=392152 CPUtime=582.3 cores=0,2,4,6
/proc/28371/stat : 28371 (wbo1.6) R 28369 28371 27315 0 -1 4202496 97448 0 0 0 57923 307 0 0 25 0 1 0 822304066 401563648 97398 33554432000 4194304 5714214 140737130872096 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/28371/statm: 98038 97398 180 372 0 97663 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 392152
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 28394
/proc/meminfo: memFree=22480028/32951124 swapFree=49244120/67111528
[pid=28371] ppid=28369 vsize=527536 CPUtime=822.31 cores=0,2,4,6
/proc/28371/stat : 28371 (wbo1.6) R 28369 28371 27315 0 -1 4202496 131261 0 0 0 81815 416 0 0 25 0 1 0 822304066 540196864 131211 33554432000 4194304 5714214 140737130872096 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/28371/statm: 131884 131211 180 372 0 131509 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 527536
[startup+882.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 28396
/proc/meminfo: memFree=22393208/32951124 swapFree=49244120/67111528
[pid=28371] ppid=28369 vsize=563416 CPUtime=882.31 cores=0,2,4,6
/proc/28371/stat : 28371 (wbo1.6) R 28369 28371 27315 0 -1 4202496 140181 0 0 0 87787 444 0 0 25 0 1 0 822304066 576937984 140131 33554432000 4194304 5714214 140737130872096 18446744073709551615 4299952 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/28371/statm: 140854 140131 180 372 0 140479 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 563416
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 28397
/proc/meminfo: memFree=22310472/32951124 swapFree=49244120/67111528
[pid=28371] ppid=28369 vsize=595384 CPUtime=942.31 cores=0,2,4,6
/proc/28371/stat : 28371 (wbo1.6) R 28369 28371 27315 0 -1 4202496 148168 0 0 0 93761 470 0 0 25 0 1 0 822304066 609673216 148118 33554432000 4194304 5714214 140737130872096 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/28371/statm: 148846 148118 180 372 0 148471 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 595384
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 28399
/proc/meminfo: memFree=22228476/32951124 swapFree=49244120/67111528
[pid=28371] ppid=28369 vsize=626044 CPUtime=1002.31 cores=0,2,4,6
/proc/28371/stat : 28371 (wbo1.6) R 28369 28371 27315 0 -1 4202496 155832 0 0 0 99733 498 0 0 25 0 1 0 822304066 641069056 155782 33554432000 4194304 5714214 140737130872096 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/28371/statm: 156511 155782 180 372 0 156136 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 626044
[startup+1062.3 s]
/proc/loadavg: 2.16 2.04 2.01 3/387 28401
/proc/meminfo: memFree=22150916/32951124 swapFree=49244120/67111528
[pid=28371] ppid=28369 vsize=656368 CPUtime=1062.32 cores=0,2,4,6
/proc/28371/stat : 28371 (wbo1.6) R 28369 28371 27315 0 -1 4202496 163416 0 0 0 105706 526 0 0 25 0 1 0 822304066 672120832 163366 33554432000 4194304 5714214 140737130872096 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/28371/statm: 164092 163366 180 372 0 163717 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 656368
[startup+1122.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/387 28402
/proc/meminfo: memFree=22069796/32951124 swapFree=49244120/67111528
[pid=28371] ppid=28369 vsize=691516 CPUtime=1122.32 cores=0,2,4,6
/proc/28371/stat : 28371 (wbo1.6) R 28369 28371 27315 0 -1 4202496 172186 0 0 0 111679 553 0 0 25 0 1 0 822304066 708112384 172136 33554432000 4194304 5714214 140737130872096 18446744073709551615 4300385 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/28371/statm: 172879 172136 180 372 0 172504 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 691516
[startup+1182.3 s]
/proc/loadavg: 2.04 2.04 2.01 3/387 28404
/proc/meminfo: memFree=21990740/32951124 swapFree=49244120/67111528
[pid=28371] ppid=28369 vsize=721612 CPUtime=1182.32 cores=0,2,4,6
/proc/28371/stat : 28371 (wbo1.6) R 28369 28371 27315 0 -1 4202496 179723 0 0 0 117650 582 0 0 25 0 1 0 822304066 738930688 179673 33554432000 4194304 5714214 140737130872096 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/28371/statm: 180403 179673 180 372 0 180028 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 721612
[startup+1242.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/387 28405
/proc/meminfo: memFree=21908132/32951124 swapFree=49244120/67111528
[pid=28371] ppid=28369 vsize=755856 CPUtime=1242.32 cores=0,2,4,6
/proc/28371/stat : 28371 (wbo1.6) R 28369 28371 27315 0 -1 4202496 188257 0 0 0 123622 610 0 0 25 0 1 0 822304066 773996544 188207 33554432000 4194304 5714214 140737130872096 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/28371/statm: 188964 188207 180 372 0 188589 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 755856
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/387 28407
/proc/meminfo: memFree=21829352/32951124 swapFree=49244120/67111528
[pid=28371] ppid=28369 vsize=787392 CPUtime=1302.33 cores=0,2,4,6
/proc/28371/stat : 28371 (wbo1.6) R 28369 28371 27315 0 -1 4202496 196114 0 0 0 129597 636 0 0 25 0 1 0 822304066 806289408 196064 33554432000 4194304 5714214 140737130872096 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/28371/statm: 196848 196064 180 372 0 196473 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 787392
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/387 28409
/proc/meminfo: memFree=21754032/32951124 swapFree=49244120/67111528
[pid=28371] ppid=28369 vsize=818200 CPUtime=1362.33 cores=0,2,4,6
/proc/28371/stat : 28371 (wbo1.6) R 28369 28371 27315 0 -1 4202496 203755 0 0 0 135569 664 0 0 25 0 1 0 822304066 837836800 203705 33554432000 4194304 5714214 140737130872096 18446744073709551615 4319240 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/28371/statm: 204550 203705 180 372 0 204175 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 818200
[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 28410
/proc/meminfo: memFree=21676996/32951124 swapFree=49244120/67111528
[pid=28371] ppid=28369 vsize=850580 CPUtime=1422.34 cores=0,2,4,6
/proc/28371/stat : 28371 (wbo1.6) R 28369 28371 27315 0 -1 4202496 211843 0 0 0 141546 688 0 0 25 0 1 0 822304066 870993920 211793 33554432000 4194304 5714214 140737130872096 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/28371/statm: 212645 211793 180 372 0 212270 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 850580
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 28412
/proc/meminfo: memFree=21599468/32951124 swapFree=49244120/67111528
[pid=28371] ppid=28369 vsize=878468 CPUtime=1482.33 cores=0,2,4,6
/proc/28371/stat : 28371 (wbo1.6) R 28369 28371 27315 0 -1 4202496 218841 0 0 0 147518 715 0 0 25 0 1 0 822304066 899551232 218791 33554432000 4194304 5714214 140737130872096 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/28371/statm: 219617 218791 180 372 0 219242 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 878468
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 28413
/proc/meminfo: memFree=21523676/32951124 swapFree=49244120/67111528
[pid=28371] ppid=28369 vsize=908348 CPUtime=1542.33 cores=0,2,4,6
/proc/28371/stat : 28371 (wbo1.6) R 28369 28371 27315 0 -1 4202496 226287 0 0 0 153493 740 0 0 25 0 1 0 822304066 930148352 226237 33554432000 4194304 5714214 140737130872096 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/28371/statm: 227087 226237 180 372 0 226712 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 908348
[startup+1602.3 s]
/proc/loadavg: 2.15 2.03 2.01 3/387 28415
/proc/meminfo: memFree=21447512/32951124 swapFree=49244120/67111528
[pid=28371] ppid=28369 vsize=940640 CPUtime=1602.33 cores=0,2,4,6
/proc/28371/stat : 28371 (wbo1.6) R 28369 28371 27315 0 -1 4202496 234361 0 0 0 159468 765 0 0 25 0 1 0 822304066 963215360 234311 33554432000 4194304 5714214 140737130872096 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/28371/statm: 235160 234311 180 372 0 234785 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 940640
[startup+1662.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/387 28417
/proc/meminfo: memFree=21369080/32951124 swapFree=49244120/67111528
[pid=28371] ppid=28369 vsize=970676 CPUtime=1662.33 cores=0,2,4,6
/proc/28371/stat : 28371 (wbo1.6) R 28369 28371 27315 0 -1 4202496 241862 0 0 0 165443 790 0 0 25 0 1 0 822304066 993972224 241812 33554432000 4194304 5714214 140737130872096 18446744073709551615 4300287 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/28371/statm: 242669 241812 180 372 0 242294 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 970676
[startup+1722.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/387 28418
/proc/meminfo: memFree=21298136/32951124 swapFree=49244120/67111528
[pid=28371] ppid=28369 vsize=998624 CPUtime=1722.33 cores=0,2,4,6
/proc/28371/stat : 28371 (wbo1.6) R 28369 28371 27315 0 -1 4202496 248823 0 0 0 171417 816 0 0 25 0 1 0 822304066 1022590976 248773 33554432000 4194304 5714214 140737130872096 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/28371/statm: 249656 248773 180 372 0 249281 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 998624
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/387 28420
/proc/meminfo: memFree=21224308/32951124 swapFree=49244120/67111528
[pid=28371] ppid=28369 vsize=1028468 CPUtime=1782.34 cores=0,2,4,6
/proc/28371/stat : 28371 (wbo1.6) R 28369 28371 27315 0 -1 4202496 256271 0 0 0 177394 840 0 0 25 0 1 0 822304066 1053151232 256221 33554432000 4194304 5714214 140737130872096 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/28371/statm: 257117 256221 180 372 0 256742 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 1028468
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.85 1.99 1.99 2/381 28438
/proc/meminfo: memFree=22804088/32951124 swapFree=49244120/67111528
[pid=28371] ppid=28369 vsize=1037972 CPUtime=1800.05 cores=0,2,4,6
/proc/28371/stat : 28371 (wbo1.6) R 28369 28371 27315 0 -1 4202496 258635 0 0 0 179158 847 0 0 25 0 1 0 822304066 1062883328 258585 33554432000 4194304 5714214 140737130872096 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/28371/statm: 259493 258585 180 372 0 259118 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1037972
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)
Real time (s): 1800.06
CPU time (s): 1800.1
CPU user time (s): 1791.58
CPU system time (s): 8.5207
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1037972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.58
system time used= 8.5207
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 258635
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= 5
involuntary context switches= 1845
runsolver used 7.17491 second user time and 15.7226 second system time
The end