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-3461504-1307102023/watcher-3461504-1307102023 -o /tmp/evaluation-result-3461504-1307102023/solver-3461504-1307102023 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461504-1307102023.opb
running on 4 cores: 1,3,5,7
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: 2.01 2.04 2.00 2/486 11364
/proc/meminfo: memFree=21525932/32951124 swapFree=46575304/67111528
[pid=11364] ppid=11362 vsize=2104 CPUtime=0 cores=1,3,5,7
/proc/11364/stat : 11364 (wbo1.6) R 11362 11364 5006 0 -1 4202496 321 0 0 0 0 0 0 0 23 0 1 0 554393522 2154496 273 33554432000 4194304 5714214 140737139906272 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11364/statm: 526 273 179 372 0 151 0
[startup+0.0251511 s]
/proc/loadavg: 2.01 2.04 2.00 2/486 11364
/proc/meminfo: memFree=21525932/32951124 swapFree=46575304/67111528
[pid=11364] ppid=11362 vsize=2236 CPUtime=0.02 cores=1,3,5,7
/proc/11364/stat : 11364 (wbo1.6) R 11362 11364 5006 0 -1 4202496 373 0 0 0 2 0 0 0 23 0 1 0 554393522 2289664 325 33554432000 4194304 5714214 140737139906272 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11364/statm: 559 325 180 372 0 184 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2236
[startup+0.100147 s]
/proc/loadavg: 2.01 2.04 2.00 2/486 11364
/proc/meminfo: memFree=21525932/32951124 swapFree=46575304/67111528
[pid=11364] ppid=11362 vsize=3160 CPUtime=0.09 cores=1,3,5,7
/proc/11364/stat : 11364 (wbo1.6) R 11362 11364 5006 0 -1 4202496 573 0 0 0 9 0 0 0 23 0 1 0 554393522 3235840 525 33554432000 4194304 5714214 140737139906272 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11364/statm: 790 525 180 372 0 415 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3160
[startup+0.300101 s]
/proc/loadavg: 2.01 2.04 2.00 2/486 11364
/proc/meminfo: memFree=21525932/32951124 swapFree=46575304/67111528
[pid=11364] ppid=11362 vsize=4804 CPUtime=0.29 cores=1,3,5,7
/proc/11364/stat : 11364 (wbo1.6) R 11362 11364 5006 0 -1 4202496 981 0 0 0 28 1 0 0 25 0 1 0 554393522 4919296 933 33554432000 4194304 5714214 140737139906272 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11364/statm: 1201 933 180 372 0 826 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4804
[startup+0.700993 s]
/proc/loadavg: 2.01 2.04 2.00 2/486 11364
/proc/meminfo: memFree=21525932/32951124 swapFree=46575304/67111528
[pid=11364] ppid=11362 vsize=5332 CPUtime=0.69 cores=1,3,5,7
/proc/11364/stat : 11364 (wbo1.6) R 11362 11364 5006 0 -1 4202496 1147 0 0 0 66 3 0 0 25 0 1 0 554393522 5459968 1099 33554432000 4194304 5714214 140737139906272 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/11364/statm: 1333 1099 180 372 0 958 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5332
[startup+1.50089 s]
/proc/loadavg: 2.01 2.04 2.00 2/487 11365
/proc/meminfo: memFree=21519384/32951124 swapFree=46575304/67111528
[pid=11364] ppid=11362 vsize=9416 CPUtime=1.49 cores=1,3,5,7
/proc/11364/stat : 11364 (wbo1.6) R 11362 11364 5006 0 -1 4202496 2130 0 0 0 144 5 0 0 25 0 1 0 554393522 9641984 2082 33554432000 4194304 5714214 140737139906272 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11364/statm: 2354 2082 180 372 0 1979 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9416
[startup+3.1006 s]
/proc/loadavg: 2.01 2.04 2.00 3/489 11392
/proc/meminfo: memFree=21511160/32951124 swapFree=46575304/67111528
[pid=11364] ppid=11362 vsize=13668 CPUtime=3.09 cores=1,3,5,7
/proc/11364/stat : 11364 (wbo1.6) R 11362 11364 5006 0 -1 4202496 3176 0 0 0 302 7 0 0 25 0 1 0 554393522 13996032 3128 33554432000 4194304 5714214 140737139906272 18446744073709551615 4319832 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11364/statm: 3417 3128 180 372 0 3042 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13668
[startup+6.30104 s]
/proc/loadavg: 2.01 2.04 2.00 3/489 11392
/proc/meminfo: memFree=21497396/32951124 swapFree=46575304/67111528
[pid=11364] ppid=11362 vsize=21112 CPUtime=6.28 cores=1,3,5,7
/proc/11364/stat : 11364 (wbo1.6) R 11362 11364 5006 0 -1 4202496 4975 0 0 0 617 11 0 0 25 0 1 0 554393522 21618688 4927 33554432000 4194304 5714214 140737139906272 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11364/statm: 5278 4927 180 372 0 4903 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 21112
[startup+12.7009 s]
/proc/loadavg: 2.01 2.04 2.00 3/489 11392
/proc/meminfo: memFree=21478056/32951124 swapFree=46575304/67111528
[pid=11364] ppid=11362 vsize=30256 CPUtime=12.69 cores=1,3,5,7
/proc/11364/stat : 11364 (wbo1.6) R 11362 11364 5006 0 -1 4202496 7161 0 0 0 1251 18 0 0 25 0 1 0 554393522 30982144 7113 33554432000 4194304 5714214 140737139906272 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11364/statm: 7564 7113 180 372 0 7189 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 30256
[startup+25.5007 s]
/proc/loadavg: 2.01 2.03 2.00 3/489 11393
/proc/meminfo: memFree=21443456/32951124 swapFree=46575304/67111528
[pid=11364] ppid=11362 vsize=45848 CPUtime=25.49 cores=1,3,5,7
/proc/11364/stat : 11364 (wbo1.6) R 11362 11364 5006 0 -1 4202496 11024 0 0 0 2519 30 0 0 25 0 1 0 554393522 46948352 10976 33554432000 4194304 5714214 140737139906272 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11364/statm: 11462 10976 180 372 0 11087 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 45848
[startup+51.1001 s]
/proc/loadavg: 2.12 2.06 2.01 3/489 11393
/proc/meminfo: memFree=21405420/32951124 swapFree=46575304/67111528
[pid=11364] ppid=11362 vsize=57484 CPUtime=51.09 cores=1,3,5,7
/proc/11364/stat : 11364 (wbo1.6) R 11362 11364 5006 0 -1 4202496 14281 0 0 0 5055 54 0 0 25 0 1 0 554393522 58863616 14084 33554432000 4194304 5714214 140737139906272 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11364/statm: 14371 14084 180 372 0 13996 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 57484
[startup+102.318 s]
/proc/loadavg: 2.11 2.06 2.01 3/489 11395
/proc/meminfo: memFree=21327888/32951124 swapFree=46575304/67111528
[pid=11364] ppid=11362 vsize=83840 CPUtime=102.3 cores=1,3,5,7
/proc/11364/stat : 11364 (wbo1.6) R 11362 11364 5006 0 -1 4202496 20698 0 0 0 10145 85 0 0 25 0 1 0 554393522 85852160 20501 33554432000 4194304 5714214 140737139906272 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11364/statm: 20960 20501 180 372 0 20585 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 83840
[startup+162.301 s]
/proc/loadavg: 2.04 2.05 2.00 3/489 11399
/proc/meminfo: memFree=21255584/32951124 swapFree=46575304/67111528
[pid=11364] ppid=11362 vsize=123996 CPUtime=162.28 cores=1,3,5,7
/proc/11364/stat : 11364 (wbo1.6) R 11362 11364 5006 0 -1 4202496 30452 0 0 0 16112 116 0 0 25 0 1 0 554393522 126971904 30255 33554432000 4194304 5714214 140737139906272 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11364/statm: 30999 30255 180 372 0 30624 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 123996
[startup+222.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/489 11401
/proc/meminfo: memFree=21212756/32951124 swapFree=46575304/67111528
[pid=11364] ppid=11362 vsize=168100 CPUtime=222.29 cores=1,3,5,7
/proc/11364/stat : 11364 (wbo1.6) R 11362 11364 5006 0 -1 4202496 41395 0 0 0 22082 147 0 0 25 0 1 0 554393522 172134400 41198 33554432000 4194304 5714214 140737139906272 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11364/statm: 42025 41198 180 372 0 41650 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 168100
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/489 11403
/proc/meminfo: memFree=21180840/32951124 swapFree=46575304/67111528
[pid=11364] ppid=11362 vsize=200044 CPUtime=282.29 cores=1,3,5,7
/proc/11364/stat : 11364 (wbo1.6) R 11362 11364 5006 0 -1 4202496 49215 0 0 0 28053 176 0 0 25 0 1 0 554393522 204845056 49018 33554432000 4194304 5714214 140737139906272 18446744073709551615 4319771 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11364/statm: 50011 49018 180 372 0 49636 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 200044
[startup+342.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/489 11404
/proc/meminfo: memFree=21129948/32951124 swapFree=46575304/67111528
[pid=11364] ppid=11362 vsize=229376 CPUtime=342.29 cores=1,3,5,7
/proc/11364/stat : 11364 (wbo1.6) R 11362 11364 5006 0 -1 4202496 56336 0 0 0 34029 200 0 0 25 0 1 0 554393522 234881024 56139 33554432000 4194304 5714214 140737139906272 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11364/statm: 57344 56139 180 372 0 56969 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 229376
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/489 11406
/proc/meminfo: memFree=21067144/32951124 swapFree=46575304/67111528
[pid=11364] ppid=11362 vsize=264836 CPUtime=402.29 cores=1,3,5,7
/proc/11364/stat : 11364 (wbo1.6) R 11362 11364 5006 0 -1 4202496 65089 0 0 0 39999 230 0 0 25 0 1 0 554393522 271192064 64892 33554432000 4194304 5714214 140737139906272 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11364/statm: 66209 64892 180 372 0 65834 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 264836
[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/489 11416
/proc/meminfo: memFree=21000184/32951124 swapFree=46575304/67111528
[pid=11364] ppid=11362 vsize=292212 CPUtime=462.28 cores=1,3,5,7
/proc/11364/stat : 11364 (wbo1.6) R 11362 11364 5006 0 -1 4202496 71851 0 0 0 45974 254 0 0 25 0 1 0 554393522 299225088 71654 33554432000 4194304 5714214 140737139906272 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11364/statm: 73053 71654 180 372 0 72678 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 292212
[startup+522.301 s]
/proc/loadavg: 2.15 2.04 2.01 3/489 11418
/proc/meminfo: memFree=20934800/32951124 swapFree=46575304/67111528
[pid=11364] ppid=11362 vsize=326880 CPUtime=522.29 cores=1,3,5,7
/proc/11364/stat : 11364 (wbo1.6) R 11362 11364 5006 0 -1 4202496 80415 0 0 0 51943 286 0 0 25 0 1 0 554393522 334725120 80218 33554432000 4194304 5714214 140737139906272 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11364/statm: 81720 80218 180 372 0 81345 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 326880
[startup+582.301 s]
/proc/loadavg: 2.05 2.03 2.00 3/489 11420
/proc/meminfo: memFree=20882924/32951124 swapFree=46575304/67111528
[pid=11364] ppid=11362 vsize=358844 CPUtime=582.28 cores=1,3,5,7
/proc/11364/stat : 11364 (wbo1.6) R 11362 11364 5006 0 -1 4202496 88172 0 0 0 57915 313 0 0 25 0 1 0 554393522 367456256 87975 33554432000 4194304 5714214 140737139906272 18446744073709551615 4319355 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11364/statm: 89711 87975 180 372 0 89336 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 358844
[startup+642.301 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/489 11428
/proc/meminfo: memFree=20585196/32951124 swapFree=46575304/67111528
[pid=11364] ppid=11362 vsize=508440 CPUtime=882.26 cores=1,3,5,7
/proc/11364/stat : 11364 (wbo1.6) R 11362 11364 5006 0 -1 4202496 125301 0 0 0 87765 461 0 0 25 0 1 0 554393522 520642560 125104 33554432000 4194304 5714214 140737139906272 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11364/statm: 127110 125104 180 372 0 126735 0
Current children cumulated CPU time (s) 882.26
Current children cumulated vsize (KiB) 508440
[startup+942.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/489 11429
/proc/meminfo: memFree=20541752/32951124 swapFree=46575304/67111528
[pid=11364] ppid=11362 vsize=539340 CPUtime=942.26 cores=1,3,5,7
/proc/11364/stat : 11364 (wbo1.6) R 11362 11364 5006 0 -1 4202496 132990 0 0 0 93740 486 0 0 25 0 1 0 554393522 552284160 132793 33554432000 4194304 5714214 140737139906272 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11364/statm: 134835 132793 180 372 0 134460 0
Current children cumulated CPU time (s) 942.26
Current children cumulated vsize (KiB) 539340
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/489 11431
/proc/meminfo: memFree=20481432/32951124 swapFree=46575304/67111528
[pid=11364] ppid=11362 vsize=566064 CPUtime=1002.26 cores=1,3,5,7
/proc/11364/stat : 11364 (wbo1.6) R 11362 11364 5006 0 -1 4202496 139608 0 0 0 99711 515 0 0 25 0 1 0 554393522 579649536 139411 33554432000 4194304 5714214 140737139906272 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11364/statm: 141516 139411 180 372 0 141141 0
Current children cumulated CPU time (s) 1002.26
Current children cumulated vsize (KiB) 566064
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/489 11432
/proc/meminfo: memFree=20430664/32951124 swapFree=46575304/67111528
[pid=11364] ppid=11362 vsize=601848 CPUtime=1062.27 cores=1,3,5,7
/proc/11364/stat : 11364 (wbo1.6) R 11362 11364 5006 0 -1 4202496 148590 0 0 0 105677 550 0 0 25 0 1 0 554393522 616292352 148393 33554432000 4194304 5714214 140737139906272 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11364/statm: 150462 148393 180 372 0 150087 0
Current children cumulated CPU time (s) 1062.27
Current children cumulated vsize (KiB) 601848
[startup+1122.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/489 11434
/proc/meminfo: memFree=20383124/32951124 swapFree=46575304/67111528
[pid=11364] ppid=11362 vsize=631040 CPUtime=1122.27 cores=1,3,5,7
/proc/11364/stat : 11364 (wbo1.6) R 11362 11364 5006 0 -1 4202496 155850 0 0 0 111652 575 0 0 25 0 1 0 554393522 646184960 155653 33554432000 4194304 5714214 140737139906272 18446744073709551615 4300287 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11364/statm: 157760 155653 180 372 0 157385 0
Current children cumulated CPU time (s) 1122.27
Current children cumulated vsize (KiB) 631040
[startup+1182.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/489 11436
/proc/meminfo: memFree=20332984/32951124 swapFree=46575304/67111528
[pid=11364] ppid=11362 vsize=659488 CPUtime=1182.27 cores=1,3,5,7
/proc/11364/stat : 11364 (wbo1.6) R 11362 11364 5006 0 -1 4202496 162881 0 0 0 117628 599 0 0 25 0 1 0 554393522 675315712 162684 33554432000 4194304 5714214 140737139906272 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11364/statm: 164872 162684 180 372 0 164497 0
Current children cumulated CPU time (s) 1182.27
Current children cumulated vsize (KiB) 659488
[startup+1242.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/489 11437
/proc/meminfo: memFree=20287308/32951124 swapFree=46575304/67111528
[pid=11364] ppid=11362 vsize=684232 CPUtime=1242.27 cores=1,3,5,7
/proc/11364/stat : 11364 (wbo1.6) R 11362 11364 5006 0 -1 4202496 169019 0 0 0 123604 623 0 0 25 0 1 0 554393522 700653568 168822 33554432000 4194304 5714214 140737139906272 18446744073709551615 4299968 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11364/statm: 171058 168822 180 372 0 170683 0
Current children cumulated CPU time (s) 1242.27
Current children cumulated vsize (KiB) 684232
[startup+1302.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/489 11439
/proc/meminfo: memFree=20237908/32951124 swapFree=46575304/67111528
[pid=11364] ppid=11362 vsize=707036 CPUtime=1302.27 cores=1,3,5,7
/proc/11364/stat : 11364 (wbo1.6) R 11362 11364 5006 0 -1 4202496 174698 0 0 0 129583 644 0 0 25 0 1 0 554393522 724004864 174501 33554432000 4194304 5714214 140737139906272 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11364/statm: 176759 174501 180 372 0 176384 0
Current children cumulated CPU time (s) 1302.27
Current children cumulated vsize (KiB) 707036
[startup+1362.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/489 11440
/proc/meminfo: memFree=20193224/32951124 swapFree=46575304/67111528
[pid=11364] ppid=11362 vsize=734324 CPUtime=1362.26 cores=1,3,5,7
/proc/11364/stat : 11364 (wbo1.6) R 11362 11364 5006 0 -1 4202496 181427 0 0 0 135559 667 0 0 25 0 1 0 554393522 751947776 181230 33554432000 4194304 5714214 140737139906272 18446744073709551615 4300287 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11364/statm: 183581 181230 180 372 0 183206 0
Current children cumulated CPU time (s) 1362.26
Current children cumulated vsize (KiB) 734324
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/489 11442
/proc/meminfo: memFree=20152880/32951124 swapFree=46575304/67111528
[pid=11364] ppid=11362 vsize=758152 CPUtime=1422.28 cores=1,3,5,7
/proc/11364/stat : 11364 (wbo1.6) R 11362 11364 5006 0 -1 4202496 187396 0 0 0 141536 692 0 0 25 0 1 0 554393522 776347648 187199 33554432000 4194304 5714214 140737139906272 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11364/statm: 189538 187199 180 372 0 189163 0
Current children cumulated CPU time (s) 1422.28
Current children cumulated vsize (KiB) 758152
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/489 11444
/proc/meminfo: memFree=20114392/32951124 swapFree=46575304/67111528
[pid=11364] ppid=11362 vsize=781704 CPUtime=1482.25 cores=1,3,5,7
/proc/11364/stat : 11364 (wbo1.6) R 11362 11364 5006 0 -1 4202496 193224 0 0 0 147509 716 0 0 25 0 1 0 554393522 800464896 193027 33554432000 4194304 5714214 140737139906272 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11364/statm: 195426 193027 180 372 0 195051 0
Current children cumulated CPU time (s) 1482.25
Current children cumulated vsize (KiB) 781704
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/489 11445
/proc/meminfo: memFree=20073312/32951124 swapFree=46575304/67111528
[pid=11364] ppid=11362 vsize=808564 CPUtime=1542.25 cores=1,3,5,7
/proc/11364/stat : 11364 (wbo1.6) R 11362 11364 5006 0 -1 4202496 199860 0 0 0 153484 741 0 0 25 0 1 0 554393522 827969536 199663 33554432000 4194304 5714214 140737139906272 18446744073709551615 4319855 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11364/statm: 202141 199663 180 372 0 201766 0
Current children cumulated CPU time (s) 1542.25
Current children cumulated vsize (KiB) 808564
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/489 11447
/proc/meminfo: memFree=20024400/32951124 swapFree=46575304/67111528
[pid=11364] ppid=11362 vsize=839968 CPUtime=1602.24 cores=1,3,5,7
/proc/11364/stat : 11364 (wbo1.6) R 11362 11364 5006 0 -1 4202496 207669 0 0 0 159455 769 0 0 25 0 1 0 554393522 860127232 207472 33554432000 4194304 5714214 140737139906272 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11364/statm: 209992 207472 180 372 0 209617 0
Current children cumulated CPU time (s) 1602.24
Current children cumulated vsize (KiB) 839968
[startup+1662.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/489 11448
/proc/meminfo: memFree=19979464/32951124 swapFree=46575304/67111528
[pid=11364] ppid=11362 vsize=865908 CPUtime=1662.24 cores=1,3,5,7
/proc/11364/stat : 11364 (wbo1.6) R 11362 11364 5006 0 -1 4202496 214130 0 0 0 165432 792 0 0 25 0 1 0 554393522 886689792 213933 33554432000 4194304 5714214 140737139906272 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11364/statm: 216477 213933 180 372 0 216102 0
Current children cumulated CPU time (s) 1662.24
Current children cumulated vsize (KiB) 865908
[startup+1722.3 s]
/proc/loadavg: 2.20 2.06 2.01 3/489 11450
/proc/meminfo: memFree=19936372/32951124 swapFree=46575304/67111528
[pid=11364] ppid=11362 vsize=890340 CPUtime=1722.24 cores=1,3,5,7
/proc/11364/stat : 11364 (wbo1.6) R 11362 11364 5006 0 -1 4202496 220196 0 0 0 171410 814 0 0 25 0 1 0 554393522 911708160 219999 33554432000 4194304 5714214 140737139906272 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11364/statm: 222585 219999 180 372 0 222210 0
Current children cumulated CPU time (s) 1722.24
Current children cumulated vsize (KiB) 890340
[startup+1782.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/489 11452
/proc/meminfo: memFree=19886476/32951124 swapFree=46575304/67111528
[pid=11364] ppid=11362 vsize=913796 CPUtime=1782.24 cores=1,3,5,7
/proc/11364/stat : 11364 (wbo1.6) R 11362 11364 5006 0 -1 4202496 226029 0 0 0 177387 837 0 0 25 0 1 0 554393522 935727104 225832 33554432000 4194304 5714214 140737139906272 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11364/statm: 228449 225832 180 372 0 228074 0
Current children cumulated CPU time (s) 1782.24
Current children cumulated vsize (KiB) 913796
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.10 2.06 2.01 3/489 11452
/proc/meminfo: memFree=19869708/32951124 swapFree=46575304/67111528
[pid=11364] ppid=11362 vsize=920896 CPUtime=1800.04 cores=1,3,5,7
/proc/11364/stat : 11364 (wbo1.6) R 11362 11364 5006 0 -1 4202496 227800 0 0 0 179161 843 0 0 25 0 1 0 554393522 942997504 227603 33554432000 4194304 5714214 140737139906272 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11364/statm: 230224 227603 180 372 0 229849 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 920896
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.1 s]
/proc/loadavg: 2.10 2.06 2.01 3/489 11452
/proc/meminfo: memFree=19869708/32951124 swapFree=46575304/67111528
[pid=11364] ppid=11362 vsize=920896 CPUtime=1800.04 cores=1,3,5,7
/proc/11364/stat : 11364 (wbo1.6) R 11362 11364 5006 0 -1 4202496 227800 0 0 0 179161 843 0 0 25 0 1 0 554393522 942997504 227603 33554432000 4194304 5714214 140737139906272 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11364/statm: 230224 227603 180 372 0 229849 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 920896
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.16
CPU time (s): 1800.1
CPU user time (s): 1791.63
CPU system time (s): 8.47371
CPU usage (%): 99.997
Max. virtual memory (cumulated for all children) (KiB): 920896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.63
system time used= 8.47371
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 227806
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= 3976
runsolver used 8.61769 second user time and 19.2921 second system time
The end