runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3491328-1307787383/watcher-3491328-1307787383 -o /tmp/evaluation-result-3491328-1307787383/solver-3491328-1307787383 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3491328-1307787383.opb --verbosity=0 --format=opb --randomseed=1924276430
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 1.99 1.91 2/177 18992
/proc/meminfo: memFree=31682476/32951124 swapFree=67053960/67111528
[pid=18992] ppid=18990 vsize=7712 CPUtime=0 cores=1,3,5,7
/proc/18992/stat : 18992 (minisatid) R 18990 18992 15536 0 -1 4202496 456 0 0 0 0 0 0 0 22 0 1 0 871153799 7897088 408 33554432000 4194304 6720400 140736271593456 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/18992/statm: 1928 409 230 617 0 1302 0
[startup+0.0283529 s]
/proc/loadavg: 2.01 1.99 1.91 2/177 18992
/proc/meminfo: memFree=31682476/32951124 swapFree=67053960/67111528
[pid=18992] ppid=18990 vsize=10632 CPUtime=0.02 cores=1,3,5,7
/proc/18992/stat : 18992 (minisatid) R 18990 18992 15536 0 -1 4202496 1165 0 0 0 2 0 0 0 22 0 1 0 871153799 10887168 1117 33554432000 4194304 6720400 140736271593456 18446744073709551615 5748534 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18992/statm: 2658 1119 230 617 0 2032 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10632
[startup+0.100358 s]
/proc/loadavg: 2.01 1.99 1.91 2/177 18992
/proc/meminfo: memFree=31682476/32951124 swapFree=67053960/67111528
[pid=18992] ppid=18990 vsize=19672 CPUtime=0.09 cores=1,3,5,7
/proc/18992/stat : 18992 (minisatid) R 18990 18992 15536 0 -1 4202496 3382 0 0 0 9 0 0 0 22 0 1 0 871153799 20144128 3301 33554432000 4194304 6720400 140736271593456 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18992/statm: 4918 3301 230 617 0 4292 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19672
[startup+0.300313 s]
/proc/loadavg: 2.01 1.99 1.91 2/177 18992
/proc/meminfo: memFree=31682476/32951124 swapFree=67053960/67111528
[pid=18992] ppid=18990 vsize=35908 CPUtime=0.29 cores=1,3,5,7
/proc/18992/stat : 18992 (minisatid) R 18990 18992 15536 0 -1 4202496 7452 0 0 0 29 0 0 0 23 0 1 0 871153799 36769792 7371 33554432000 4194304 6720400 140736271593456 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18992/statm: 8977 7372 230 617 0 8351 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35908
[startup+0.700234 s]
/proc/loadavg: 2.01 1.99 1.91 2/177 18992
/proc/meminfo: memFree=31682476/32951124 swapFree=67053960/67111528
[pid=18992] ppid=18990 vsize=65788 CPUtime=0.69 cores=1,3,5,7
/proc/18992/stat : 18992 (minisatid) R 18990 18992 15536 0 -1 4202496 15021 0 0 0 68 1 0 0 25 0 1 0 871153799 67366912 14753 33554432000 4194304 6720400 140736271593456 18446744073709551615 5256560 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18992/statm: 16447 14753 230 617 0 15821 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 65788
[startup+1.50109 s]
/proc/loadavg: 2.01 1.99 1.91 3/178 18993
/proc/meminfo: memFree=31577476/32951124 swapFree=67053960/67111528
[pid=18992] ppid=18990 vsize=206468 CPUtime=1.49 cores=1,3,5,7
/proc/18992/stat : 18992 (minisatid) R 18990 18992 15536 0 -1 4202496 50624 0 0 0 143 6 0 0 25 0 1 0 871153799 211423232 49876 33554432000 4194304 6720400 140736271593456 18446744073709551615 4820024 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18992/statm: 51617 49876 247 617 0 50991 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 206468
[startup+3.1008 s]
/proc/loadavg: 2.01 1.99 1.91 3/178 18993
/proc/meminfo: memFree=31453972/32951124 swapFree=67053960/67111528
[pid=18992] ppid=18990 vsize=202112 CPUtime=3.09 cores=1,3,5,7
/proc/18992/stat : 18992 (minisatid) R 18990 18992 15536 0 -1 4202496 50651 0 0 0 303 6 0 0 25 0 1 0 871153799 206962688 49902 33554432000 4194304 6720400 140736271593456 18446744073709551615 4820710 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18992/statm: 50528 49902 263 617 0 49902 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 202112
[startup+6.30021 s]
/proc/loadavg: 2.01 1.99 1.91 3/178 18993
/proc/meminfo: memFree=31483296/32951124 swapFree=67053960/67111528
[pid=18992] ppid=18990 vsize=202112 CPUtime=6.29 cores=1,3,5,7
/proc/18992/stat : 18992 (minisatid) R 18990 18992 15536 0 -1 4202496 50653 0 0 0 623 6 0 0 25 0 1 0 871153799 206962688 49904 33554432000 4194304 6720400 140736271593456 18446744073709551615 4438844 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18992/statm: 50528 49904 264 617 0 49902 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 202112
[startup+12.701 s]
/proc/loadavg: 2.01 1.99 1.91 3/178 18993
/proc/meminfo: memFree=31445988/32951124 swapFree=67053960/67111528
[pid=18992] ppid=18990 vsize=202112 CPUtime=12.69 cores=1,3,5,7
/proc/18992/stat : 18992 (minisatid) R 18990 18992 15536 0 -1 4202496 50653 0 0 0 1263 6 0 0 25 0 1 0 871153799 206962688 49904 33554432000 4194304 6720400 140736271593456 18446744073709551615 4806599 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18992/statm: 50528 49904 264 617 0 49902 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 202112
[startup+25.5007 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 18993
/proc/meminfo: memFree=31450580/32951124 swapFree=67053960/67111528
[pid=18992] ppid=18990 vsize=202112 CPUtime=25.49 cores=1,3,5,7
/proc/18992/stat : 18992 (minisatid) R 18990 18992 15536 0 -1 4202496 50654 0 0 0 2543 6 0 0 25 0 1 0 871153799 206962688 49905 33554432000 4194304 6720400 140736271593456 18446744073709551615 4592929 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18992/statm: 50528 49905 264 617 0 49902 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 202112
[startup+51.101 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 18994
/proc/meminfo: memFree=31483352/32951124 swapFree=67053960/67111528
[pid=18992] ppid=18990 vsize=202112 CPUtime=51.09 cores=1,3,5,7
/proc/18992/stat : 18992 (minisatid) R 18990 18992 15536 0 -1 4202496 50661 0 0 0 5103 6 0 0 25 0 1 0 871153799 206962688 49910 33554432000 4194304 6720400 140736271593456 18446744073709551615 4717810 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18992/statm: 50528 49910 264 617 0 49902 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 202112
[startup+102.307 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 19109
/proc/meminfo: memFree=31523412/32951124 swapFree=67053960/67111528
[pid=18992] ppid=18990 vsize=202112 CPUtime=102.3 cores=1,3,5,7
/proc/18992/stat : 18992 (minisatid) R 18990 18992 15536 0 -1 4202496 50667 0 0 0 10224 6 0 0 25 0 1 0 871153799 206962688 49916 33554432000 4194304 6720400 140736271593456 18446744073709551615 5718127 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18992/statm: 50528 49916 264 617 0 49902 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 202112
[startup+162.301 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 19377
/proc/meminfo: memFree=31405132/32951124 swapFree=67053960/67111528
[pid=18992] ppid=18990 vsize=202112 CPUtime=162.29 cores=1,3,5,7
/proc/18992/stat : 18992 (minisatid) R 18990 18992 15536 0 -1 4202496 50667 0 0 0 16223 6 0 0 25 0 1 0 871153799 206962688 49916 33554432000 4194304 6720400 140736271593456 18446744073709551615 4807296 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18992/statm: 50528 49916 264 617 0 49902 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 202112
[startup+222.301 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 19417
/proc/meminfo: memFree=31209176/32951124 swapFree=67053960/67111528
[pid=18992] ppid=18990 vsize=202112 CPUtime=222.3 cores=1,3,5,7
/proc/18992/stat : 18992 (minisatid) R 18990 18992 15536 0 -1 4202496 50667 0 0 0 22224 6 0 0 25 0 1 0 871153799 206962688 49916 33554432000 4194304 6720400 140736271593456 18446744073709551615 4616636 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18992/statm: 50528 49916 264 617 0 49902 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 202112
[startup+282.301 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 19418
/proc/meminfo: memFree=31205056/32951124 swapFree=67053960/67111528
[pid=18992] ppid=18990 vsize=202112 CPUtime=282.3 cores=1,3,5,7
/proc/18992/stat : 18992 (minisatid) R 18990 18992 15536 0 -1 4202496 50667 0 0 0 28224 6 0 0 25 0 1 0 871153799 206962688 49916 33554432000 4194304 6720400 140736271593456 18446744073709551615 4803206 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18992/statm: 50528 49916 264 617 0 49902 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 202112
[startup+342.301 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 19420
/proc/meminfo: memFree=31201680/32951124 swapFree=67053960/67111528
[pid=18992] ppid=18990 vsize=208160 CPUtime=342.3 cores=1,3,5,7
/proc/18992/stat : 18992 (minisatid) R 18990 18992 15536 0 -1 4202496 51544 0 0 0 34224 6 0 0 25 0 1 0 871153799 213155840 50763 33554432000 4194304 6720400 140736271593456 18446744073709551615 5718280 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18992/statm: 52040 50763 264 617 0 51414 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 208160
[startup+402.301 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 19421
/proc/meminfo: memFree=31201656/32951124 swapFree=67053960/67111528
[pid=18992] ppid=18990 vsize=208160 CPUtime=402.3 cores=1,3,5,7
/proc/18992/stat : 18992 (minisatid) R 18990 18992 15536 0 -1 4202496 51544 0 0 0 40224 6 0 0 25 0 1 0 871153799 213155840 50763 33554432000 4194304 6720400 140736271593456 18446744073709551615 4820730 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18992/statm: 52040 50763 264 617 0 51414 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 208160
[startup+462.301 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 19423
/proc/meminfo: memFree=31201384/32951124 swapFree=67053960/67111528
[pid=18992] ppid=18990 vsize=208160 CPUtime=462.3 cores=1,3,5,7
/proc/18992/stat : 18992 (minisatid) R 18990 18992 15536 0 -1 4202496 51544 0 0 0 46224 6 0 0 25 0 1 0 871153799 213155840 50763 33554432000 4194304 6720400 140736271593456 18446744073709551615 4717420 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18992/statm: 52040 50763 264 617 0 51414 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 208160
[startup+522.301 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 19427
/proc/meminfo: memFree=31200128/32951124 swapFree=67053960/67111528
[pid=18992] ppid=18990 vsize=208160 CPUtime=522.3 cores=1,3,5,7
/proc/18992/stat : 18992 (minisatid) R 18990 18992 15536 0 -1 4202496 51544 0 0 0 52224 6 0 0 25 0 1 0 871153799 213155840 50763 33554432000 4194304 6720400 140736271593456 18446744073709551615 4820719 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18992/statm: 52040 50763 264 617 0 51414 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 208160
[startup+582.301 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 19429
/proc/meminfo: memFree=31200108/32951124 swapFree=67053960/67111528
[pid=18992] ppid=18990 vsize=208160 CPUtime=582.31 cores=1,3,5,7
/proc/18992/stat : 18992 (minisatid) R 18990 18992 15536 0 -1 4202496 51544 0 0 0 58225 6 0 0 25 0 1 0 871153799 213155840 50763 33554432000 4194304 6720400 140736271593456 18446744073709551615 4617392 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18992/statm: 52040 50763 264 617 0 51414 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 208160
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 19436
/proc/meminfo: memFree=31196036/32951124 swapFree=67053960/67111528
[pid=18992] ppid=18990 vsize=209216 CPUtime=822.32 cores=1,3,5,7
/proc/18992/stat : 18992 (minisatid) R 18990 18992 15536 0 -1 4202496 53851 0 0 0 82225 7 0 0 25 0 1 0 871153799 214237184 51681 33554432000 4194304 6720400 140736271593456 18446744073709551615 4717383 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18992/statm: 52304 51681 264 617 0 51678 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 209216
[startup+882.301 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 19437
/proc/meminfo: memFree=31195640/32951124 swapFree=67053960/67111528
[pid=18992] ppid=18990 vsize=209216 CPUtime=882.32 cores=1,3,5,7
/proc/18992/stat : 18992 (minisatid) R 18990 18992 15536 0 -1 4202496 53851 0 0 0 88225 7 0 0 25 0 1 0 871153799 214237184 51681 33554432000 4194304 6720400 140736271593456 18446744073709551615 5517999 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18992/statm: 52304 51681 264 617 0 51678 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 209216
[startup+942.301 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 19439
/proc/meminfo: memFree=31195864/32951124 swapFree=67053960/67111528
[pid=18992] ppid=18990 vsize=209216 CPUtime=942.32 cores=1,3,5,7
/proc/18992/stat : 18992 (minisatid) R 18990 18992 15536 0 -1 4202496 53851 0 0 0 94225 7 0 0 25 0 1 0 871153799 214237184 51681 33554432000 4194304 6720400 140736271593456 18446744073709551615 4719593 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18992/statm: 52304 51681 264 617 0 51678 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 209216
[startup+1002.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 19440
/proc/meminfo: memFree=31192368/32951124 swapFree=67053960/67111528
[pid=18992] ppid=18990 vsize=215232 CPUtime=1002.32 cores=1,3,5,7
/proc/18992/stat : 18992 (minisatid) R 18990 18992 15536 0 -1 4202496 54939 0 0 0 100225 7 0 0 25 0 1 0 871153799 220397568 52755 33554432000 4194304 6720400 140736271593456 18446744073709551615 4803154 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18992/statm: 53808 52755 264 617 0 53182 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 215232
[startup+1062.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 19442
/proc/meminfo: memFree=31191472/32951124 swapFree=67053960/67111528
[pid=18992] ppid=18990 vsize=215232 CPUtime=1062.32 cores=1,3,5,7
/proc/18992/stat : 18992 (minisatid) R 18990 18992 15536 0 -1 4202496 55188 0 0 0 106225 7 0 0 25 0 1 0 871153799 220397568 52982 33554432000 4194304 6720400 140736271593456 18446744073709551615 5518112 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18992/statm: 53808 52982 264 617 0 53182 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 215232
[startup+1122.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 19444
/proc/meminfo: memFree=31191440/32951124 swapFree=67053960/67111528
[pid=18992] ppid=18990 vsize=215232 CPUtime=1122.33 cores=1,3,5,7
/proc/18992/stat : 18992 (minisatid) R 18990 18992 15536 0 -1 4202496 55188 0 0 0 112226 7 0 0 25 0 1 0 871153799 220397568 52982 33554432000 4194304 6720400 140736271593456 18446744073709551615 4616660 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18992/statm: 53808 52982 264 617 0 53182 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 215232
[startup+1182.3 s]
/proc/loadavg: 2.04 2.00 1.92 3/178 19445
/proc/meminfo: memFree=31191524/32951124 swapFree=67053960/67111528
[pid=18992] ppid=18990 vsize=215232 CPUtime=1182.33 cores=1,3,5,7
/proc/18992/stat : 18992 (minisatid) R 18990 18992 15536 0 -1 4202496 55188 0 0 0 118226 7 0 0 25 0 1 0 871153799 220397568 52982 33554432000 4194304 6720400 140736271593456 18446744073709551615 4806574 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18992/statm: 53808 52982 264 617 0 53182 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 215232
[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 1.92 3/178 19447
/proc/meminfo: memFree=31191372/32951124 swapFree=67053960/67111528
[pid=18992] ppid=18990 vsize=215232 CPUtime=1242.33 cores=1,3,5,7
/proc/18992/stat : 18992 (minisatid) R 18990 18992 15536 0 -1 4202496 55188 0 0 0 124226 7 0 0 25 0 1 0 871153799 220397568 52982 33554432000 4194304 6720400 140736271593456 18446744073709551615 4592570 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18992/statm: 53808 52982 264 617 0 53182 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 215232
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 19448
/proc/meminfo: memFree=31191480/32951124 swapFree=67053960/67111528
[pid=18992] ppid=18990 vsize=215232 CPUtime=1302.34 cores=1,3,5,7
/proc/18992/stat : 18992 (minisatid) R 18990 18992 15536 0 -1 4202496 55188 0 0 0 130227 7 0 0 25 0 1 0 871153799 220397568 52982 33554432000 4194304 6720400 140736271593456 18446744073709551615 5734190 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18992/statm: 53808 52982 264 617 0 53182 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 215232
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 19450
/proc/meminfo: memFree=31191216/32951124 swapFree=67053960/67111528
[pid=18992] ppid=18990 vsize=215232 CPUtime=1362.33 cores=1,3,5,7
/proc/18992/stat : 18992 (minisatid) R 18990 18992 15536 0 -1 4202496 57473 0 0 0 136226 7 0 0 25 0 1 0 871153799 220397568 53008 33554432000 4194304 6720400 140736271593456 18446744073709551615 4718500 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18992/statm: 53808 53008 264 617 0 53182 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 215232
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 19452
/proc/meminfo: memFree=31181028/32951124 swapFree=67053960/67111528
[pid=18992] ppid=18990 vsize=224344 CPUtime=1422.34 cores=1,3,5,7
/proc/18992/stat : 18992 (minisatid) R 18990 18992 15536 0 -1 4202496 63052 0 0 0 142226 8 0 0 25 0 1 0 871153799 229728256 55471 33554432000 4194304 6720400 140736271593456 18446744073709551615 4820710 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18992/statm: 56086 55471 264 617 0 55460 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 224344
[startup+1482.3 s]
/proc/loadavg: 2.06 2.01 1.93 3/178 19453
/proc/meminfo: memFree=31181248/32951124 swapFree=67053960/67111528
[pid=18992] ppid=18990 vsize=224344 CPUtime=1482.33 cores=1,3,5,7
/proc/18992/stat : 18992 (minisatid) R 18990 18992 15536 0 -1 4202496 63052 0 0 0 148225 8 0 0 25 0 1 0 871153799 229728256 55471 33554432000 4194304 6720400 140736271593456 18446744073709551615 4616636 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18992/statm: 56086 55471 264 617 0 55460 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 224344
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/178 19455
/proc/meminfo: memFree=31181100/32951124 swapFree=67053960/67111528
[pid=18992] ppid=18990 vsize=224344 CPUtime=1542.34 cores=1,3,5,7
/proc/18992/stat : 18992 (minisatid) R 18990 18992 15536 0 -1 4202496 63052 0 0 0 154226 8 0 0 25 0 1 0 871153799 229728256 55471 33554432000 4194304 6720400 140736271593456 18446744073709551615 4803090 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18992/statm: 56086 55471 264 617 0 55460 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 224344
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 19456
/proc/meminfo: memFree=31181204/32951124 swapFree=67053960/67111528
[pid=18992] ppid=18990 vsize=224344 CPUtime=1602.34 cores=1,3,5,7
/proc/18992/stat : 18992 (minisatid) R 18990 18992 15536 0 -1 4202496 63052 0 0 0 160226 8 0 0 25 0 1 0 871153799 229728256 55471 33554432000 4194304 6720400 140736271593456 18446744073709551615 4819040 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18992/statm: 56086 55471 264 617 0 55460 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 224344
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 19458
/proc/meminfo: memFree=31181280/32951124 swapFree=67053960/67111528
[pid=18992] ppid=18990 vsize=224344 CPUtime=1662.34 cores=1,3,5,7
/proc/18992/stat : 18992 (minisatid) R 18990 18992 15536 0 -1 4202496 63052 0 0 0 166226 8 0 0 25 0 1 0 871153799 229728256 55471 33554432000 4194304 6720400 140736271593456 18446744073709551615 4718494 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18992/statm: 56086 55471 264 617 0 55460 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 224344
[startup+1722.3 s]
/proc/loadavg: 2.06 2.02 1.93 3/178 19460
/proc/meminfo: memFree=31181120/32951124 swapFree=67053960/67111528
[pid=18992] ppid=18990 vsize=224344 CPUtime=1722.34 cores=1,3,5,7
/proc/18992/stat : 18992 (minisatid) R 18990 18992 15536 0 -1 4202496 63052 0 0 0 172226 8 0 0 25 0 1 0 871153799 229728256 55471 33554432000 4194304 6720400 140736271593456 18446744073709551615 4820710 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18992/statm: 56086 55471 264 617 0 55460 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 224344
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/178 19461
/proc/meminfo: memFree=31181208/32951124 swapFree=67053960/67111528
[pid=18992] ppid=18990 vsize=243020 CPUtime=1782.34 cores=1,3,5,7
/proc/18992/stat : 18992 (minisatid) R 18990 18992 15536 0 -1 4202496 63089 0 0 0 178226 8 0 0 25 0 1 0 871153799 248852480 55508 33554432000 4194304 6720400 140736271593456 18446744073709551615 4820710 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18992/statm: 60755 55508 264 617 0 60129 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 243020
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.02 2.01 1.93 3/178 19462
/proc/meminfo: memFree=31180952/32951124 swapFree=67053960/67111528
[pid=18992] ppid=18990 vsize=243020 CPUtime=1800.05 cores=1,3,5,7
/proc/18992/stat : 18992 (minisatid) R 18990 18992 15536 0 -1 4202496 63089 0 0 0 179997 8 0 0 25 0 1 0 871153799 248852480 55508 33554432000 4194304 6720400 140736271593456 18446744073709551615 4807326 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18992/statm: 60755 55508 264 617 0 60129 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 243020
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.02
CPU time (s): 1800.07
CPU user time (s): 1799.97
CPU system time (s): 0.097985
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 243020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.97
system time used= 0.097985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63096
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= 20695
runsolver used 2.86356 second user time and 5.8831 second system time
The end