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-3464499-1307409842/watcher-3464499-1307409842 -o /tmp/evaluation-result-3464499-1307409842/solver-3464499-1307409842 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid HOME/instance-3464499-1307409842.opb --verbosity=0 --format=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
Using a pseudo terminal to collect output from the solver
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.93 1.99 1.90 2/461 12521
/proc/meminfo: memFree=28548784/32951124 swapFree=41830676/67111528
[pid=12521] ppid=12519 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/12521/stat : 12521 (runsolver) S 12519 12521 10199 0 -1 4202560 46 0 0 0 0 0 0 0 25 0 1 0 852582228 12079104 55 33554432000 4194304 5432328 140734352797024 18446744073709551615 4881591 0 2147483391 4096 24578 18446744071699968823 0 0 17 3 0 0 0
/proc/12521/statm: 2949 55 34 303 0 2643 0

[startup+0.086654 s]
/proc/loadavg: 1.93 1.99 1.90 2/461 12521
/proc/meminfo: memFree=28548784/32951124 swapFree=41830676/67111528
[pid=12521] ppid=12519 vsize=11880 CPUtime=0.05 cores=1,3,5,7
/proc/12521/stat : 12521 (minisatid) R 12519 12521 10199 0 -1 4202496 1431 0 0 0 5 0 0 0 25 0 1 0 852582228 12165120 1347 33554432000 4194304 6539028 140734158399344 18446744073709551615 5643793 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12521/statm: 2970 1347 236 573 0 2388 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11880

[startup+0.10065 s]
/proc/loadavg: 1.93 1.99 1.90 2/461 12521
/proc/meminfo: memFree=28548784/32951124 swapFree=41830676/67111528
[pid=12521] ppid=12519 vsize=12276 CPUtime=0.07 cores=1,3,5,7
/proc/12521/stat : 12521 (minisatid) R 12519 12521 10199 0 -1 4202496 1571 0 0 0 7 0 0 0 25 0 1 0 852582228 12570624 1487 33554432000 4194304 6539028 140734158399344 18446744073709551615 5641374 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12521/statm: 3069 1487 236 573 0 2487 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 12276

[startup+0.300622 s]
/proc/loadavg: 1.93 1.99 1.90 2/461 12521
/proc/meminfo: memFree=28548784/32951124 swapFree=41830676/67111528
[pid=12521] ppid=12519 vsize=40440 CPUtime=0.27 cores=1,3,5,7
/proc/12521/stat : 12521 (minisatid) R 12519 12521 10199 0 -1 4202496 8760 0 0 0 26 1 0 0 25 0 1 0 852582228 41410560 8455 33554432000 4194304 6539028 140734158399344 18446744073709551615 5641374 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12521/statm: 10110 8458 236 573 0 9528 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 40440

[startup+0.700547 s]
/proc/loadavg: 1.93 1.99 1.90 2/461 12521
/proc/meminfo: memFree=28548784/32951124 swapFree=41830676/67111528
[pid=12521] ppid=12519 vsize=128496 CPUtime=0.67 cores=1,3,5,7
/proc/12521/stat : 12521 (minisatid) R 12519 12521 10199 0 -1 4202496 30854 0 0 0 63 4 0 0 25 0 1 0 852582228 131579904 30075 33554432000 4194304 6539028 140734158399344 18446744073709551615 5641374 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12521/statm: 32124 30078 251 573 0 31542 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 128496

[startup+1.5004 s]
/proc/loadavg: 1.93 1.99 1.90 3/462 12522
/proc/meminfo: memFree=28419444/32951124 swapFree=41830676/67111528
[pid=12521] ppid=12519 vsize=133832 CPUtime=1.47 cores=1,3,5,7
/proc/12521/stat : 12521 (minisatid) R 12519 12521 10199 0 -1 4202496 33166 0 0 0 143 4 0 0 25 0 1 0 852582228 137043968 32383 33554432000 4194304 6539028 140734158399344 18446744073709551615 4707328 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12521/statm: 33458 32383 270 573 0 32876 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 133832

[startup+3.10011 s]
/proc/loadavg: 1.93 1.99 1.90 3/462 12522
/proc/meminfo: memFree=28417616/32951124 swapFree=41830676/67111528
[pid=12521] ppid=12519 vsize=135480 CPUtime=3.07 cores=1,3,5,7
/proc/12521/stat : 12521 (minisatid) R 12519 12521 10199 0 -1 4202496 33563 0 0 0 303 4 0 0 25 0 1 0 852582228 138731520 32780 33554432000 4194304 6539028 140734158399344 18446744073709551615 4494796 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12521/statm: 33870 32780 270 573 0 33288 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 135480

[startup+6.30054 s]
/proc/loadavg: 1.94 1.99 1.90 3/462 12522
/proc/meminfo: memFree=28416188/32951124 swapFree=41830676/67111528
[pid=12521] ppid=12519 vsize=135480 CPUtime=6.27 cores=1,3,5,7
/proc/12521/stat : 12521 (minisatid) R 12519 12521 10199 0 -1 4202496 33563 0 0 0 623 4 0 0 25 0 1 0 852582228 138731520 32780 33554432000 4194304 6539028 140734158399344 18446744073709551615 4707337 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12521/statm: 33870 32780 270 573 0 33288 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 135480

[startup+12.7004 s]
/proc/loadavg: 1.94 1.99 1.90 3/462 12522
/proc/meminfo: memFree=28413640/32951124 swapFree=41830676/67111528
[pid=12521] ppid=12519 vsize=139848 CPUtime=12.67 cores=1,3,5,7
/proc/12521/stat : 12521 (minisatid) R 12519 12521 10199 0 -1 4202496 34157 0 0 0 1263 4 0 0 25 0 1 0 852582228 143204352 33374 33554432000 4194304 6539028 140734158399344 18446744073709551615 4695669 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12521/statm: 34962 33374 270 573 0 34380 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 139848

[startup+25.501 s]
/proc/loadavg: 1.95 1.99 1.90 3/462 12522
/proc/meminfo: memFree=28412656/32951124 swapFree=41830676/67111528
[pid=12521] ppid=12519 vsize=139848 CPUtime=25.47 cores=1,3,5,7
/proc/12521/stat : 12521 (minisatid) R 12519 12521 10199 0 -1 4202496 34157 0 0 0 2543 4 0 0 25 0 1 0 852582228 143204352 33374 33554432000 4194304 6539028 140734158399344 18446744073709551615 4707414 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12521/statm: 34962 33374 270 573 0 34380 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 139848

[startup+51.1004 s]
/proc/loadavg: 1.97 1.99 1.91 3/462 12523
/proc/meminfo: memFree=28412852/32951124 swapFree=41830676/67111528
[pid=12521] ppid=12519 vsize=139848 CPUtime=51.06 cores=1,3,5,7
/proc/12521/stat : 12521 (minisatid) R 12519 12521 10199 0 -1 4202496 36084 0 0 0 5102 4 0 0 25 0 1 0 852582228 143204352 33374 33554432000 4194304 6539028 140734158399344 18446744073709551615 4707337 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12521/statm: 34962 33374 270 573 0 34380 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 139848

[startup+102.317 s]
/proc/loadavg: 2.02 2.00 1.91 3/462 12524
/proc/meminfo: memFree=27654324/32951124 swapFree=41830676/67111528
[pid=12521] ppid=12519 vsize=1059432 CPUtime=102.29 cores=1,3,5,7
/proc/12521/stat : 12521 (minisatid) R 12519 12521 10199 0 -1 4202496 290823 0 0 0 10190 39 0 0 25 0 1 0 852582228 1084858368 223463 33554432000 4194304 6539028 140734158399344 18446744073709551615 4283089 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12521/statm: 264858 223463 270 573 0 264276 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1059432

[startup+162.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/462 12526
/proc/meminfo: memFree=28396908/32951124 swapFree=41830676/67111528
[pid=12521] ppid=12519 vsize=151384 CPUtime=162.27 cores=1,3,5,7
/proc/12521/stat : 12521 (minisatid) R 12519 12521 10199 0 -1 4202496 312107 0 0 0 16183 44 0 0 25 0 1 0 852582228 155017216 36852 33554432000 4194304 6539028 140734158399344 18446744073709551615 4713360 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12521/statm: 37846 36852 270 573 0 37264 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 151384

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/462 12528
/proc/meminfo: memFree=28399116/32951124 swapFree=41830676/67111528
[pid=12521] ppid=12519 vsize=151976 CPUtime=222.27 cores=1,3,5,7
/proc/12521/stat : 12521 (minisatid) R 12519 12521 10199 0 -1 4202496 576656 0 0 0 22145 82 0 0 25 0 1 0 852582228 155623424 36867 33554432000 4194304 6539028 140734158399344 18446744073709551615 4707355 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12521/statm: 37994 36867 270 573 0 37412 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 151976

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/462 12529
/proc/meminfo: memFree=28399948/32951124 swapFree=41830676/67111528
[pid=12521] ppid=12519 vsize=151976 CPUtime=282.27 cores=1,3,5,7
/proc/12521/stat : 12521 (minisatid) R 12519 12521 10199 0 -1 4202496 576656 0 0 0 28145 82 0 0 25 0 1 0 852582228 155623424 36867 33554432000 4194304 6539028 140734158399344 18446744073709551615 4707576 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12521/statm: 37994 36867 270 573 0 37412 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 151976

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/462 12531
/proc/meminfo: memFree=28192472/32951124 swapFree=41830676/67111528
[pid=12521] ppid=12519 vsize=502024 CPUtime=342.27 cores=1,3,5,7
/proc/12521/stat : 12521 (minisatid) R 12519 12521 10199 0 -1 4202496 1071109 0 0 0 34075 152 0 0 25 0 1 0 852582228 514072576 91347 33554432000 4194304 6539028 140734158399344 18446744073709551615 4283046 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12521/statm: 125506 91348 270 573 0 124924 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 502024

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/462 12532
/proc/meminfo: memFree=28379804/32951124 swapFree=41830676/67111528
[pid=12521] ppid=12519 vsize=189520 CPUtime=402.28 cores=1,3,5,7
/proc/12521/stat : 12521 (minisatid) R 12519 12521 10199 0 -1 4202496 1289003 0 0 0 40043 185 0 0 25 0 1 0 852582228 194068480 41695 33554432000 4194304 6539028 140734158399344 18446744073709551615 4707714 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12521/statm: 47380 41695 270 573 0 46798 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 189520

[startup+462.301 s]
/proc/loadavg: 2.10 2.03 1.92 3/462 12534
/proc/meminfo: memFree=28379660/32951124 swapFree=41830676/67111528
[pid=12521] ppid=12519 vsize=189520 CPUtime=462.28 cores=1,3,5,7
/proc/12521/stat : 12521 (minisatid) R 12519 12521 10199 0 -1 4202496 1289003 0 0 0 46043 185 0 0 25 0 1 0 852582228 194068480 41695 33554432000 4194304 6539028 140734158399344 18446744073709551615 4707680 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12521/statm: 47380 41695 270 573 0 46798 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 189520

[startup+522.301 s]
/proc/loadavg: 2.08 2.04 1.93 3/462 12536
/proc/meminfo: memFree=28379624/32951124 swapFree=41830676/67111528
[pid=12521] ppid=12519 vsize=189520 CPUtime=522.28 cores=1,3,5,7
/proc/12521/stat : 12521 (minisatid) R 12519 12521 10199 0 -1 4202496 1289003 0 0 0 52043 185 0 0 25 0 1 0 852582228 194068480 41695 33554432000 4194304 6539028 140734158399344 18446744073709551615 4707576 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12521/statm: 47380 41695 270 573 0 46798 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 189520

[startup+582.3 s]
/proc/loadavg: 2.03 2.03 1.93 3/462 12537
/proc/meminfo: memFree=28379836/32951124 swapFree=41830676/67111528
[pid=12521] ppid=12519 vsize=189520 CPUtime=582.28 cores=1,3,5,7
/proc/12521/stat : 12521 (minisatid) R 12519 12521 10199 0 -1 4202496 1289003 0 0 0 58043 185 0 0 25 0 1 0 852582228 194068480 41695 33554432000 4194304 6539028 140734158399344 18446744073709551615 4707576 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12521/statm: 47380 41695 270 573 0 46798 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 189520


################
# More data... #
################

[startup+822.301 s]
/proc/loadavg: 2.00 2.01 1.93 3/462 12544
/proc/meminfo: memFree=27753400/32951124 swapFree=41830676/67111528
[pid=12521] ppid=12519 vsize=1097568 CPUtime=822.29 cores=1,3,5,7
/proc/12521/stat : 12521 (minisatid) R 12519 12521 10199 0 -1 4202496 1914925 0 0 0 81962 267 0 0 25 0 1 0 852582228 1123909632 204674 33554432000 4194304 6539028 140734158399344 18446744073709551615 4283089 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12521/statm: 274392 204674 270 573 0 273810 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 1097568

[startup+882.301 s]
/proc/loadavg: 2.00 2.01 1.93 3/462 12545
/proc/meminfo: memFree=28377556/32951124 swapFree=41830676/67111528
[pid=12521] ppid=12519 vsize=189520 CPUtime=882.29 cores=1,3,5,7
/proc/12521/stat : 12521 (minisatid) R 12519 12521 10199 0 -1 4202496 1949012 0 0 0 87954 275 0 0 25 0 1 0 852582228 194068480 42193 33554432000 4194304 6539028 140734158399344 18446744073709551615 4715612 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12521/statm: 47380 42193 270 573 0 46798 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 189520

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/462 12547
/proc/meminfo: memFree=28325324/32951124 swapFree=41830676/67111528
[pid=12521] ppid=12519 vsize=319748 CPUtime=942.3 cores=1,3,5,7
/proc/12521/stat : 12521 (minisatid) R 12519 12521 10199 0 -1 4202496 2298761 0 0 0 93905 325 0 0 25 0 1 0 852582228 327421952 62555 33554432000 4194304 6539028 140734158399344 18446744073709551615 4283089 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12521/statm: 79937 62555 270 573 0 79355 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 319748

[startup+1002.3 s]
/proc/loadavg: 2.13 2.03 1.94 3/462 12548
/proc/meminfo: memFree=28316220/32951124 swapFree=41830676/67111528
[pid=12521] ppid=12519 vsize=269660 CPUtime=1002.3 cores=1,3,5,7
/proc/12521/stat : 12521 (minisatid) R 12519 12521 10199 0 -1 4202496 2827242 0 0 0 99827 403 0 0 25 0 1 0 852582228 276131840 60482 33554432000 4194304 6539028 140734158399344 18446744073709551615 4283089 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12521/statm: 67415 60482 270 573 0 66833 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 269660

[startup+1062.3 s]
/proc/loadavg: 2.11 2.04 1.95 3/462 12550
/proc/meminfo: memFree=28377960/32951124 swapFree=41830676/67111528
[pid=12521] ppid=12519 vsize=189520 CPUtime=1062.29 cores=1,3,5,7
/proc/12521/stat : 12521 (minisatid) R 12519 12521 10199 0 -1 4202496 2990776 0 0 0 105804 425 0 0 25 0 1 0 852582228 194068480 42193 33554432000 4194304 6539028 140734158399344 18446744073709551615 4707590 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12521/statm: 47380 42193 270 573 0 46798 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 189520

[startup+1122.3 s]
/proc/loadavg: 2.20 2.06 1.96 3/462 12552
/proc/meminfo: memFree=28377416/32951124 swapFree=41830676/67111528
[pid=12521] ppid=12519 vsize=189520 CPUtime=1122.3 cores=1,3,5,7
/proc/12521/stat : 12521 (minisatid) R 12519 12521 10199 0 -1 4202496 2990776 0 0 0 111805 425 0 0 25 0 1 0 852582228 194068480 42193 33554432000 4194304 6539028 140734158399344 18446744073709551615 4499126 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12521/statm: 47380 42193 270 573 0 46798 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 189520

[startup+1182.3 s]
/proc/loadavg: 2.14 2.06 1.97 3/462 12553
/proc/meminfo: memFree=28172288/32951124 swapFree=41830676/67111528
[pid=12521] ppid=12519 vsize=533396 CPUtime=1182.3 cores=1,3,5,7
/proc/12521/stat : 12521 (minisatid) R 12519 12521 10199 0 -1 4202496 3050642 0 0 0 117797 433 0 0 25 0 1 0 852582228 546197504 102007 33554432000 4194304 6539028 140734158399344 18446744073709551615 4283089 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12521/statm: 133349 102007 270 573 0 132767 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 533396

[startup+1242.3 s]
/proc/loadavg: 2.05 2.05 1.97 3/462 12555
/proc/meminfo: memFree=28377612/32951124 swapFree=41830676/67111528
[pid=12521] ppid=12519 vsize=189520 CPUtime=1242.3 cores=1,3,5,7
/proc/12521/stat : 12521 (minisatid) R 12519 12521 10199 0 -1 4202496 3201208 0 0 0 123772 458 0 0 25 0 1 0 852582228 194068480 42193 33554432000 4194304 6539028 140734158399344 18446744073709551615 4716049 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12521/statm: 47380 42193 270 573 0 46798 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 189520

[startup+1302.3 s]
/proc/loadavg: 2.02 2.04 1.97 3/462 12556
/proc/meminfo: memFree=27494208/32951124 swapFree=41830676/67111528
[pid=12521] ppid=12519 vsize=1097568 CPUtime=1302.32 cores=1,3,5,7
/proc/12521/stat : 12521 (minisatid) R 12519 12521 10199 0 -1 4202496 3435149 0 0 0 129742 490 0 0 25 0 1 0 852582228 1123909632 262877 33554432000 4194304 6539028 140734158399344 18446744073709551615 4283089 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12521/statm: 274392 262877 270 573 0 273810 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 1097568

[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 1.97 3/462 12558
/proc/meminfo: memFree=28376688/32951124 swapFree=41830676/67111528
[pid=12521] ppid=12519 vsize=189520 CPUtime=1362.31 cores=1,3,5,7
/proc/12521/stat : 12521 (minisatid) R 12519 12521 10199 0 -1 4202496 3552704 0 0 0 135723 508 0 0 25 0 1 0 852582228 194068480 42462 33554432000 4194304 6539028 140734158399344 18446744073709551615 4715612 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12521/statm: 47380 42462 270 573 0 46798 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 189520

[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 1.97 3/462 12560
/proc/meminfo: memFree=28376664/32951124 swapFree=41830676/67111528
[pid=12521] ppid=12519 vsize=189520 CPUtime=1422.32 cores=1,3,5,7
/proc/12521/stat : 12521 (minisatid) R 12519 12521 10199 0 -1 4202496 3552704 0 0 0 141724 508 0 0 25 0 1 0 852582228 194068480 42462 33554432000 4194304 6539028 140734158399344 18446744073709551615 4713360 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12521/statm: 47380 42462 270 573 0 46798 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 189520

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 1.97 3/462 12561
/proc/meminfo: memFree=28376368/32951124 swapFree=41830676/67111528
[pid=12521] ppid=12519 vsize=189520 CPUtime=1482.31 cores=1,3,5,7
/proc/12521/stat : 12521 (minisatid) R 12519 12521 10199 0 -1 4202496 3552704 0 0 0 147723 508 0 0 25 0 1 0 852582228 194068480 42462 33554432000 4194304 6539028 140734158399344 18446744073709551615 4707446 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12521/statm: 47380 42462 270 573 0 46798 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 189520

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/462 12563
/proc/meminfo: memFree=28377208/32951124 swapFree=41830676/67111528
[pid=12521] ppid=12519 vsize=189520 CPUtime=1542.31 cores=1,3,5,7
/proc/12521/stat : 12521 (minisatid) R 12519 12521 10199 0 -1 4202496 3552704 0 0 0 153723 508 0 0 25 0 1 0 852582228 194068480 42462 33554432000 4194304 6539028 140734158399344 18446744073709551615 4707355 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12521/statm: 47380 42462 270 573 0 46798 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 189520

[startup+1602.3 s]
/proc/loadavg: 2.07 2.03 1.98 3/462 12564
/proc/meminfo: memFree=28376432/32951124 swapFree=41830676/67111528
[pid=12521] ppid=12519 vsize=189520 CPUtime=1602.31 cores=1,3,5,7
/proc/12521/stat : 12521 (minisatid) R 12519 12521 10199 0 -1 4202496 3853757 0 0 0 159675 556 0 0 25 0 1 0 852582228 194068480 42463 33554432000 4194304 6539028 140734158399344 18446744073709551615 4718184 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12521/statm: 47380 42463 270 573 0 46798 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 189520

[startup+1662.3 s]
/proc/loadavg: 2.06 2.04 1.98 3/462 12566
/proc/meminfo: memFree=28376768/32951124 swapFree=41830676/67111528
[pid=12521] ppid=12519 vsize=189520 CPUtime=1662.31 cores=1,3,5,7
/proc/12521/stat : 12521 (minisatid) R 12519 12521 10199 0 -1 4202496 3853757 0 0 0 165675 556 0 0 25 0 1 0 852582228 194068480 42463 33554432000 4194304 6539028 140734158399344 18446744073709551615 4707690 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12521/statm: 47380 42463 270 573 0 46798 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 189520

[startup+1722.3 s]
/proc/loadavg: 2.10 2.06 1.99 3/462 12623
/proc/meminfo: memFree=28370020/32951124 swapFree=41830676/67111528
[pid=12521] ppid=12519 vsize=189520 CPUtime=1722.31 cores=1,3,5,7
/proc/12521/stat : 12521 (minisatid) R 12519 12521 10199 0 -1 4202496 3853757 0 0 0 171675 556 0 0 25 0 1 0 852582228 194068480 42463 33554432000 4194304 6539028 140734158399344 18446744073709551615 4707446 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12521/statm: 47380 42463 270 573 0 46798 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 189520

[startup+1782.3 s]
/proc/loadavg: 2.07 2.06 2.00 3/462 12624
/proc/meminfo: memFree=28357344/32951124 swapFree=41830676/67111528
[pid=12521] ppid=12519 vsize=189520 CPUtime=1782.31 cores=1,3,5,7
/proc/12521/stat : 12521 (minisatid) R 12519 12521 10199 0 -1 4202496 3874820 0 0 0 177673 558 0 0 25 0 1 0 852582228 194068480 45193 33554432000 4194304 6539028 140734158399344 18446744073709551615 4707446 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12521/statm: 47380 45193 270 573 0 46798 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 189520



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.05 2.05 2.00 3/462 12625
/proc/meminfo: memFree=28358084/32951124 swapFree=41830676/67111528
[pid=12521] ppid=12519 vsize=189520 CPUtime=1800.02 cores=1,3,5,7
/proc/12521/stat : 12521 (minisatid) R 12519 12521 10199 0 -1 4202496 3874820 0 0 0 179444 558 0 0 25 0 1 0 852582228 194068480 45193 33554432000 4194304 6539028 140734158399344 18446744073709551615 4499107 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12521/statm: 47380 45193 270 573 0 46798 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 189520

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child status: 0
Real time (s): 1800.03
CPU time (s): 1800.05
CPU user time (s): 1794.46
CPU system time (s): 5.59615
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1665096

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.46
system time used= 5.59615
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3874823
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= 7
involuntary context switches= 2370

runsolver used 7.69083 second user time and 17.7513 second system time

The end