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-3460970-1307106157/watcher-3460970-1307106157 -o /tmp/evaluation-result-3460970-1307106157/solver-3460970-1307106157 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460970-1307106157.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.09 1.53 1.81 3/410 1411
/proc/meminfo: memFree=26028608/32950928 swapFree=52006644/67111528
[pid=1411] ppid=1409 vsize=2104 CPUtime=0 cores=0,2,4,6
/proc/1411/stat : 1411 (wbo1.6) R 1409 1411 32638 0 -1 4202496 313 0 0 0 0 0 0 0 23 0 1 0 278225151 2154496 263 33554432000 4194304 5714214 140733595508720 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1411/statm: 526 266 174 372 0 151 0
[startup+0.0570619 s]
/proc/loadavg: 1.09 1.53 1.81 3/410 1411
/proc/meminfo: memFree=26028608/32950928 swapFree=52006644/67111528
[pid=1411] ppid=1409 vsize=2500 CPUtime=0.05 cores=0,2,4,6
/proc/1411/stat : 1411 (wbo1.6) R 1409 1411 32638 0 -1 4202496 436 0 0 0 5 0 0 0 23 0 1 0 278225151 2560000 386 33554432000 4194304 5714214 140733595508720 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1411/statm: 625 386 180 372 0 250 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2500
[startup+0.101056 s]
/proc/loadavg: 1.09 1.53 1.81 3/410 1411
/proc/meminfo: memFree=26028608/32950928 swapFree=52006644/67111528
[pid=1411] ppid=1409 vsize=2896 CPUtime=0.09 cores=0,2,4,6
/proc/1411/stat : 1411 (wbo1.6) R 1409 1411 32638 0 -1 4202496 533 0 0 0 9 0 0 0 23 0 1 0 278225151 2965504 483 33554432000 4194304 5714214 140733595508720 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1411/statm: 724 483 180 372 0 349 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2896
[startup+0.301017 s]
/proc/loadavg: 1.09 1.53 1.81 3/410 1411
/proc/meminfo: memFree=26028608/32950928 swapFree=52006644/67111528
[pid=1411] ppid=1409 vsize=4476 CPUtime=0.29 cores=0,2,4,6
/proc/1411/stat : 1411 (wbo1.6) R 1409 1411 32638 0 -1 4202496 919 0 0 0 29 0 0 0 25 0 1 0 278225151 4583424 869 33554432000 4194304 5714214 140733595508720 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1411/statm: 1119 869 180 372 0 744 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4476
[startup+0.70095 s]
/proc/loadavg: 1.09 1.53 1.81 3/410 1411
/proc/meminfo: memFree=26028608/32950928 swapFree=52006644/67111528
[pid=1411] ppid=1409 vsize=6992 CPUtime=0.69 cores=0,2,4,6
/proc/1411/stat : 1411 (wbo1.6) R 1409 1411 32638 0 -1 4202496 1540 0 0 0 69 0 0 0 25 0 1 0 278225151 7159808 1490 33554432000 4194304 5714214 140733595508720 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1411/statm: 1748 1490 180 372 0 1373 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6992
[startup+1.50081 s]
/proc/loadavg: 1.09 1.53 1.81 3/416 1417
/proc/meminfo: memFree=26015564/32950928 swapFree=52006644/67111528
[pid=1411] ppid=1409 vsize=9008 CPUtime=1.49 cores=0,2,4,6
/proc/1411/stat : 1411 (wbo1.6) R 1409 1411 32638 0 -1 4202496 2047 0 0 0 148 1 0 0 25 0 1 0 278225151 9224192 1997 33554432000 4194304 5714214 140733595508720 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1411/statm: 2252 1997 180 372 0 1877 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9008
[startup+3.10053 s]
/proc/loadavg: 1.09 1.53 1.81 3/416 1417
/proc/meminfo: memFree=26009756/32950928 swapFree=52006644/67111528
[pid=1411] ppid=1409 vsize=11512 CPUtime=3.09 cores=0,2,4,6
/proc/1411/stat : 1411 (wbo1.6) R 1409 1411 32638 0 -1 4202496 2677 0 0 0 307 2 0 0 25 0 1 0 278225151 11788288 2627 33554432000 4194304 5714214 140733595508720 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1411/statm: 2878 2627 180 372 0 2503 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11512
[startup+6.30096 s]
/proc/loadavg: 1.17 1.54 1.81 3/416 1417
/proc/meminfo: memFree=25997860/32950928 swapFree=52006644/67111528
[pid=1411] ppid=1409 vsize=16644 CPUtime=6.29 cores=0,2,4,6
/proc/1411/stat : 1411 (wbo1.6) R 1409 1411 32638 0 -1 4202496 3932 0 0 0 625 4 0 0 25 0 1 0 278225151 17043456 3882 33554432000 4194304 5714214 140733595508720 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1411/statm: 4161 3882 180 372 0 3786 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16644
[startup+12.7008 s]
/proc/loadavg: 1.23 1.55 1.81 3/416 1417
/proc/meminfo: memFree=25978412/32950928 swapFree=52006644/67111528
[pid=1411] ppid=1409 vsize=23308 CPUtime=12.69 cores=0,2,4,6
/proc/1411/stat : 1411 (wbo1.6) R 1409 1411 32638 0 -1 4202496 5595 0 0 0 1260 9 0 0 25 0 1 0 278225151 23867392 5545 33554432000 4194304 5714214 140733595508720 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1411/statm: 5827 5545 180 372 0 5452 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23308
[startup+25.5006 s]
/proc/loadavg: 1.40 1.57 1.81 3/416 1418
/proc/meminfo: memFree=25946296/32950928 swapFree=52006644/67111528
[pid=1411] ppid=1409 vsize=36496 CPUtime=25.48 cores=0,2,4,6
/proc/1411/stat : 1411 (wbo1.6) R 1409 1411 32638 0 -1 4202496 8843 0 0 0 2532 16 0 0 25 0 1 0 278225151 37371904 8793 33554432000 4194304 5714214 140733595508720 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1411/statm: 9124 8793 180 372 0 8749 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 36496
[startup+51.101 s]
/proc/loadavg: 1.60 1.60 1.82 3/416 1418
/proc/meminfo: memFree=25891568/32950928 swapFree=52006644/67111528
[pid=1411] ppid=1409 vsize=58852 CPUtime=51.09 cores=0,2,4,6
/proc/1411/stat : 1411 (wbo1.6) R 1409 1411 32638 0 -1 4202496 14402 0 0 0 5076 33 0 0 25 0 1 0 278225151 60264448 14352 33554432000 4194304 5714214 140733595508720 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1411/statm: 14713 14352 180 372 0 14338 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 58852
[startup+102.316 s]
/proc/loadavg: 1.83 1.66 1.82 3/416 1420
/proc/meminfo: memFree=25788760/32950928 swapFree=52006644/67111528
[pid=1411] ppid=1409 vsize=102228 CPUtime=102.3 cores=0,2,4,6
/proc/1411/stat : 1411 (wbo1.6) R 1409 1411 32638 0 -1 4202496 25184 0 0 0 10165 65 0 0 25 0 1 0 278225151 104681472 25134 33554432000 4194304 5714214 140733595508720 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1411/statm: 25557 25134 180 372 0 25182 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 102228
[startup+162.3 s]
/proc/loadavg: 1.93 1.72 1.83 3/416 1421
/proc/meminfo: memFree=25679736/32950928 swapFree=52006644/67111528
[pid=1411] ppid=1409 vsize=146564 CPUtime=162.28 cores=0,2,4,6
/proc/1411/stat : 1411 (wbo1.6) R 1409 1411 32638 0 -1 4202496 36234 0 0 0 16131 97 0 0 25 0 1 0 278225151 150081536 36184 33554432000 4194304 5714214 140733595508720 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1411/statm: 36641 36184 180 372 0 36266 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 146564
[startup+222.301 s]
/proc/loadavg: 1.97 1.77 1.83 3/416 1423
/proc/meminfo: memFree=25579284/32950928 swapFree=52006644/67111528
[pid=1411] ppid=1409 vsize=185920 CPUtime=222.28 cores=0,2,4,6
/proc/1411/stat : 1411 (wbo1.6) R 1409 1411 32638 0 -1 4202496 46063 0 0 0 22103 125 0 0 25 0 1 0 278225151 190382080 46013 33554432000 4194304 5714214 140733595508720 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1411/statm: 46480 46013 180 372 0 46105 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 185920
[startup+282.3 s]
/proc/loadavg: 1.99 1.81 1.84 3/416 1425
/proc/meminfo: memFree=25484284/32950928 swapFree=52006644/67111528
[pid=1411] ppid=1409 vsize=226832 CPUtime=282.29 cores=0,2,4,6
/proc/1411/stat : 1411 (wbo1.6) R 1409 1411 32638 0 -1 4202496 56279 0 0 0 28073 156 0 0 25 0 1 0 278225151 232275968 56229 33554432000 4194304 5714214 140733595508720 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1411/statm: 56708 56229 180 372 0 56333 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 226832
[startup+342.301 s]
/proc/loadavg: 1.99 1.84 1.85 3/416 1426
/proc/meminfo: memFree=25387668/32950928 swapFree=52006644/67111528
[pid=1411] ppid=1409 vsize=265064 CPUtime=342.29 cores=0,2,4,6
/proc/1411/stat : 1411 (wbo1.6) R 1409 1411 32638 0 -1 4202496 65800 0 0 0 34043 186 0 0 25 0 1 0 278225151 271425536 65750 33554432000 4194304 5714214 140733595508720 18446744073709551615 4319240 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1411/statm: 66266 65750 180 372 0 65891 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 265064
[startup+402.301 s]
/proc/loadavg: 1.99 1.87 1.85 3/416 1428
/proc/meminfo: memFree=25294408/32950928 swapFree=52006644/67111528
[pid=1411] ppid=1409 vsize=303468 CPUtime=402.29 cores=0,2,4,6
/proc/1411/stat : 1411 (wbo1.6) R 1409 1411 32638 0 -1 4202496 75346 0 0 0 40013 216 0 0 25 0 1 0 278225151 310751232 75296 33554432000 4194304 5714214 140733595508720 18446744073709551615 4319373 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1411/statm: 75867 75296 180 372 0 75492 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 303468
[startup+462.3 s]
/proc/loadavg: 2.03 1.90 1.86 3/416 1429
/proc/meminfo: memFree=25205244/32950928 swapFree=52006644/67111528
[pid=1411] ppid=1409 vsize=340188 CPUtime=462.28 cores=0,2,4,6
/proc/1411/stat : 1411 (wbo1.6) R 1409 1411 32638 0 -1 4202496 84530 0 0 0 45983 245 0 0 25 0 1 0 278225151 348352512 84480 33554432000 4194304 5714214 140733595508720 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1411/statm: 85047 84480 180 372 0 84672 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 340188
[startup+522.301 s]
/proc/loadavg: 2.08 1.94 1.88 3/416 1431
/proc/meminfo: memFree=25111968/32950928 swapFree=52006644/67111528
[pid=1411] ppid=1409 vsize=381436 CPUtime=522.28 cores=0,2,4,6
/proc/1411/stat : 1411 (wbo1.6) R 1409 1411 32638 0 -1 4202496 94802 0 0 0 51957 271 0 0 25 0 1 0 278225151 390590464 94752 33554432000 4194304 5714214 140733595508720 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1411/statm: 95359 94752 180 372 0 94984 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 381436
[startup+582.3 s]
/proc/loadavg: 2.06 1.97 1.89 3/416 1433
/proc/meminfo: memFree=25032476/32950928 swapFree=52006644/67111528
[pid=1411] ppid=1409 vsize=414676 CPUtime=582.28 cores=0,2,4,6
/proc/1411/stat : 1411 (wbo1.6) R 1409 1411 32638 0 -1 4202496 103092 0 0 0 57930 298 0 0 25 0 1 0 278225151 424628224 103042 33554432000 4194304 5714214 140733595508720 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1411/statm: 103669 103042 180 372 0 103294 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 414676
[startup+642.301 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/416 1444
/proc/meminfo: memFree=24625336/32950928 swapFree=52006644/67111528
[pid=1411] ppid=1409 vsize=588548 CPUtime=882.28 cores=0,2,4,6
/proc/1411/stat : 1411 (wbo1.6) R 1409 1411 32638 0 -1 4202496 146469 0 0 0 87791 437 0 0 25 0 1 0 278225151 602673152 146419 33554432000 4194304 5714214 140733595508720 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1411/statm: 147137 146419 180 372 0 146762 0
Current children cumulated CPU time (s) 882.28
Current children cumulated vsize (KiB) 588548
[startup+942.301 s]
/proc/loadavg: 2.00 1.97 1.91 3/416 1445
/proc/meminfo: memFree=24547828/32950928 swapFree=52006644/67111528
[pid=1411] ppid=1409 vsize=619400 CPUtime=942.28 cores=0,2,4,6
/proc/1411/stat : 1411 (wbo1.6) R 1409 1411 32638 0 -1 4202496 154189 0 0 0 93764 464 0 0 25 0 1 0 278225151 634265600 154139 33554432000 4194304 5714214 140733595508720 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1411/statm: 154850 154139 180 372 0 154475 0
Current children cumulated CPU time (s) 942.28
Current children cumulated vsize (KiB) 619400
[startup+1002.3 s]
/proc/loadavg: 2.05 1.99 1.91 3/416 1447
/proc/meminfo: memFree=24467096/32950928 swapFree=52006644/67111528
[pid=1411] ppid=1409 vsize=653004 CPUtime=1002.28 cores=0,2,4,6
/proc/1411/stat : 1411 (wbo1.6) R 1409 1411 32638 0 -1 4202496 162562 0 0 0 99738 490 0 0 25 0 1 0 278225151 668676096 162512 33554432000 4194304 5714214 140733595508720 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1411/statm: 163251 162512 180 372 0 162876 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 653004
[startup+1062.3 s]
/proc/loadavg: 2.16 2.03 1.93 3/416 1448
/proc/meminfo: memFree=24386988/32950928 swapFree=52006644/67111528
[pid=1411] ppid=1409 vsize=687588 CPUtime=1062.27 cores=0,2,4,6
/proc/1411/stat : 1411 (wbo1.6) R 1409 1411 32638 0 -1 4202496 171214 0 0 0 105714 513 0 0 25 0 1 0 278225151 704090112 171164 33554432000 4194304 5714214 140733595508720 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1411/statm: 171897 171164 180 372 0 171522 0
Current children cumulated CPU time (s) 1062.27
Current children cumulated vsize (KiB) 687588
[startup+1122.3 s]
/proc/loadavg: 2.10 2.04 1.94 3/416 1450
/proc/meminfo: memFree=24307120/32950928 swapFree=52006644/67111528
[pid=1411] ppid=1409 vsize=717576 CPUtime=1122.26 cores=0,2,4,6
/proc/1411/stat : 1411 (wbo1.6) R 1409 1411 32638 0 -1 4202496 178693 0 0 0 111688 538 0 0 25 0 1 0 278225151 734797824 178643 33554432000 4194304 5714214 140733595508720 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1411/statm: 179394 178643 180 372 0 179019 0
Current children cumulated CPU time (s) 1122.26
Current children cumulated vsize (KiB) 717576
[startup+1182.3 s]
/proc/loadavg: 2.04 2.03 1.94 3/416 1452
/proc/meminfo: memFree=24224528/32950928 swapFree=52006644/67111528
[pid=1411] ppid=1409 vsize=752040 CPUtime=1182.26 cores=0,2,4,6
/proc/1411/stat : 1411 (wbo1.6) R 1409 1411 32638 0 -1 4202496 187319 0 0 0 117663 563 0 0 25 0 1 0 278225151 770088960 187269 33554432000 4194304 5714214 140733595508720 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1411/statm: 188010 187269 180 372 0 187635 0
Current children cumulated CPU time (s) 1182.26
Current children cumulated vsize (KiB) 752040
[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 1.94 3/416 1453
/proc/meminfo: memFree=24142308/32950928 swapFree=52006644/67111528
[pid=1411] ppid=1409 vsize=786372 CPUtime=1242.27 cores=0,2,4,6
/proc/1411/stat : 1411 (wbo1.6) R 1409 1411 32638 0 -1 4202496 195933 0 0 0 123639 588 0 0 25 0 1 0 278225151 805244928 195883 33554432000 4194304 5714214 140733595508720 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1411/statm: 196593 195883 180 372 0 196218 0
Current children cumulated CPU time (s) 1242.27
Current children cumulated vsize (KiB) 786372
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 1.94 3/416 1455
/proc/meminfo: memFree=24060820/32950928 swapFree=52006644/67111528
[pid=1411] ppid=1409 vsize=817860 CPUtime=1302.26 cores=0,2,4,6
/proc/1411/stat : 1411 (wbo1.6) R 1409 1411 32638 0 -1 4202496 203770 0 0 0 129611 615 0 0 25 0 1 0 278225151 837488640 203720 33554432000 4194304 5714214 140733595508720 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1411/statm: 204465 203720 180 372 0 204090 0
Current children cumulated CPU time (s) 1302.26
Current children cumulated vsize (KiB) 817860
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/416 1456
/proc/meminfo: memFree=23986408/32950928 swapFree=52006644/67111528
[pid=1411] ppid=1409 vsize=849028 CPUtime=1362.26 cores=0,2,4,6
/proc/1411/stat : 1411 (wbo1.6) R 1409 1411 32638 0 -1 4202496 211498 0 0 0 135584 642 0 0 25 0 1 0 278225151 869404672 211448 33554432000 4194304 5714214 140733595508720 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1411/statm: 212257 211448 180 372 0 211882 0
Current children cumulated CPU time (s) 1362.26
Current children cumulated vsize (KiB) 849028
[startup+1422.32 s]
/proc/loadavg: 2.00 2.00 1.94 3/416 1458
/proc/meminfo: memFree=23908408/32950928 swapFree=52006644/67111528
[pid=1411] ppid=1409 vsize=883684 CPUtime=1422.28 cores=0,2,4,6
/proc/1411/stat : 1411 (wbo1.6) R 1409 1411 32638 0 -1 4202496 220160 0 0 0 141561 667 0 0 25 0 1 0 278225151 904892416 220110 33554432000 4194304 5714214 140733595508720 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1411/statm: 220921 220110 180 372 0 220546 0
Current children cumulated CPU time (s) 1422.28
Current children cumulated vsize (KiB) 883684
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/416 1460
/proc/meminfo: memFree=23836352/32950928 swapFree=52006644/67111528
[pid=1411] ppid=1409 vsize=911140 CPUtime=1482.27 cores=0,2,4,6
/proc/1411/stat : 1411 (wbo1.6) R 1409 1411 32638 0 -1 4202496 227048 0 0 0 147535 692 0 0 25 0 1 0 278225151 933007360 226998 33554432000 4194304 5714214 140733595508720 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1411/statm: 227785 226998 180 372 0 227410 0
Current children cumulated CPU time (s) 1482.27
Current children cumulated vsize (KiB) 911140
[startup+1542.3 s]
/proc/loadavg: 2.07 2.02 1.94 3/416 1461
/proc/meminfo: memFree=23758096/32950928 swapFree=52006644/67111528
[pid=1411] ppid=1409 vsize=943492 CPUtime=1542.26 cores=0,2,4,6
/proc/1411/stat : 1411 (wbo1.6) R 1409 1411 32638 0 -1 4202496 235112 0 0 0 153509 717 0 0 25 0 1 0 278225151 966135808 235062 33554432000 4194304 5714214 140733595508720 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1411/statm: 235873 235062 180 372 0 235498 0
Current children cumulated CPU time (s) 1542.26
Current children cumulated vsize (KiB) 943492
[startup+1602.3 s]
/proc/loadavg: 2.23 2.06 1.96 3/416 1463
/proc/meminfo: memFree=23685924/32950928 swapFree=52006644/67111528
[pid=1411] ppid=1409 vsize=974464 CPUtime=1602.27 cores=0,2,4,6
/proc/1411/stat : 1411 (wbo1.6) R 1409 1411 32638 0 -1 4202496 242855 0 0 0 159482 745 0 0 25 0 1 0 278225151 997851136 242805 33554432000 4194304 5714214 140733595508720 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1411/statm: 243616 242805 180 372 0 243241 0
Current children cumulated CPU time (s) 1602.27
Current children cumulated vsize (KiB) 974464
[startup+1662.3 s]
/proc/loadavg: 2.14 2.06 1.96 3/416 1464
/proc/meminfo: memFree=23611644/32950928 swapFree=52006644/67111528
[pid=1411] ppid=1409 vsize=1004848 CPUtime=1662.26 cores=0,2,4,6
/proc/1411/stat : 1411 (wbo1.6) R 1409 1411 32638 0 -1 4202496 250434 0 0 0 165455 771 0 0 25 0 1 0 278225151 1028964352 250384 33554432000 4194304 5714214 140733595508720 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1411/statm: 251212 250384 180 372 0 250837 0
Current children cumulated CPU time (s) 1662.26
Current children cumulated vsize (KiB) 1004848
[startup+1722.3 s]
/proc/loadavg: 2.05 2.05 1.96 3/416 1466
/proc/meminfo: memFree=23535872/32950928 swapFree=52006644/67111528
[pid=1411] ppid=1409 vsize=1039048 CPUtime=1722.26 cores=0,2,4,6
/proc/1411/stat : 1411 (wbo1.6) R 1409 1411 32638 0 -1 4202496 258941 0 0 0 171429 797 0 0 25 0 1 0 278225151 1063985152 258891 33554432000 4194304 5714214 140733595508720 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1411/statm: 259762 258891 180 372 0 259387 0
Current children cumulated CPU time (s) 1722.26
Current children cumulated vsize (KiB) 1039048
[startup+1782.3 s]
/proc/loadavg: 2.02 2.04 1.96 3/416 1468
/proc/meminfo: memFree=23453160/32950928 swapFree=52006644/67111528
[pid=1411] ppid=1409 vsize=1072708 CPUtime=1782.25 cores=0,2,4,6
/proc/1411/stat : 1411 (wbo1.6) R 1409 1411 32638 0 -1 4202496 267380 0 0 0 177399 826 0 0 25 0 1 0 278225151 1098452992 267330 33554432000 4194304 5714214 140733595508720 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1411/statm: 268177 267330 180 372 0 267802 0
Current children cumulated CPU time (s) 1782.25
Current children cumulated vsize (KiB) 1072708
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.01 2.03 1.96 2/415 1469
/proc/meminfo: memFree=24942156/32950928 swapFree=52006644/67111528
[pid=1411] ppid=1409 vsize=1082020 CPUtime=1800.06 cores=0,2,4,6
/proc/1411/stat : 1411 (wbo1.6) R 1409 1411 32638 0 -1 4202496 269686 0 0 0 179172 834 0 0 25 0 1 0 278225151 1107988480 269636 33554432000 4194304 5714214 140733595508720 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1411/statm: 270505 269636 180 372 0 270130 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1082020
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.01 2.03 1.96 2/415 1469
/proc/meminfo: memFree=24942156/32950928 swapFree=52006644/67111528
[pid=1411] ppid=1409 vsize=1082020 CPUtime=1800.06 cores=0,2,4,6
/proc/1411/stat : 1411 (wbo1.6) R 1409 1411 32638 0 -1 4202496 269686 0 0 0 179172 834 0 0 25 0 1 0 278225151 1107988480 269636 33554432000 4194304 5714214 140733595508720 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1411/statm: 270505 269636 180 372 0 270130 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1082020
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.16
CPU time (s): 1800.12
CPU user time (s): 1791.73
CPU system time (s): 8.39072
CPU usage (%): 99.998
Max. virtual memory (cumulated for all children) (KiB): 1082020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.73
system time used= 8.39072
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269686
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= 4
involuntary context switches= 2185
runsolver used 7.66483 second user time and 16.8904 second system time
The end