runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (8386 MiB free)
memory of node 1: 16384 MiB (13289 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294339-1532443297/watcher-4294339-1532443297 -o /tmp/evaluation-result-4294339-1532443297/solver-4294339-1532443297 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532432947-16184 --watchdog 2580 xcsp_picat HOME/instance-4294339-1532443297.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=17703, runsolver pid=17700
Current StackSize limit: 8192 KiB
[startup+0.100189 s]*
/proc/loadavg: 2.00 2.01 2.05 3/189 17704
/proc/meminfo: memFree=22166212/32770624 swapFree=67108860/67108860
[pid=17703] ppid=17700 vsize=131796 memory=29516 CPUtime=0.1 cores=1,3,5,7
/proc/17703/stat : 17703 (xcsp_picat) R 17700 17703 16152 0 -1 4202496 3276 0 0 0 10 0 0 0 20 0 1 0 61892878 134959104 7379 33554432000 4194304 5849740 140725520313792 140725520313792 5249600 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 40857600 140725520319670 140725520319748 140725520319748 140725520322506 0
/proc/17703/statm: 32949 7379 634 405 0 29893 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 131796 KiB
Current children cumulated memory: 29516 KiB
[startup+0.210331 s]*
/proc/loadavg: 2.00 2.01 2.05 3/189 17704
/proc/meminfo: memFree=22163296/32770624 swapFree=67108860/67108860
[pid=17703] ppid=17700 vsize=132080 memory=36216 CPUtime=0.21 cores=1,3,5,7
/proc/17703/stat : 17703 (xcsp_picat) R 17700 17703 16152 0 -1 4202496 3405 0 0 0 21 0 0 0 20 0 1 0 61892878 135249920 9054 33554432000 4194304 5849740 140725520313792 140725520313792 140584871292807 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 40857600 140725520319670 140725520319748 140725520319748 140725520322506 0
/proc/17703/statm: 33020 9054 697 405 0 29964 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 132080 KiB
Current children cumulated memory: 36216 KiB
[startup+0.310021 s]*
/proc/loadavg: 2.00 2.01 2.05 3/189 17704
/proc/meminfo: memFree=22160768/32770624 swapFree=67108860/67108860
[pid=17703] ppid=17700 vsize=136112 memory=39648 CPUtime=0.31 cores=1,3,5,7
/proc/17703/stat : 17703 (xcsp_picat) R 17700 17703 16152 0 -1 4202496 4275 0 0 0 30 1 0 0 20 0 1 0 61892878 139378688 9912 33554432000 4194304 5849740 140725520313792 140725520313792 140584870902768 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 40857600 140725520319670 140725520319748 140725520319748 140725520322506 0
/proc/17703/statm: 34028 9912 700 405 0 30972 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 136112 KiB
Current children cumulated memory: 39648 KiB
[startup+0.700391 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 17704
/proc/meminfo: memFree=22143648/32770624 swapFree=67108860/67108860
[pid=17703] ppid=17700 vsize=151476 memory=55480 CPUtime=0.69 cores=1,3,5,7
/proc/17703/stat : 17703 (xcsp_picat) R 17700 17703 16152 0 -1 4202496 6230 0 0 0 68 1 0 0 20 0 1 0 61892878 155111424 13870 33554432000 4194304 5849740 140725520313792 140725520313792 5395300 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 40857600 140725520319670 140725520319748 140725520319748 140725520322506 0
/proc/17703/statm: 37869 13870 700 405 0 34813 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 151476 KiB
Current children cumulated memory: 55480 KiB
[startup+1.50041 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 17704
/proc/meminfo: memFree=22143276/32770624 swapFree=67108860/67108860
[pid=17703] ppid=17700 vsize=159668 memory=63728 CPUtime=1.49 cores=1,3,5,7
/proc/17703/stat : 17703 (xcsp_picat) R 17700 17703 16152 0 -1 4202496 6751 0 0 0 148 1 0 0 20 0 1 0 61892878 163500032 15932 33554432000 4194304 5849740 140725520313792 140725520312664 5361682 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 40857600 140725520319670 140725520319748 140725520319748 140725520322506 0
/proc/17703/statm: 39917 15932 719 405 0 36861 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 159668 KiB
Current children cumulated memory: 63728 KiB
[startup+3.10954 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 17704
/proc/meminfo: memFree=22125340/32770624 swapFree=67108860/67108860
[pid=17703] ppid=17700 vsize=169792 memory=74104 CPUtime=3.1 cores=1,3,5,7
/proc/17703/stat : 17703 (xcsp_picat) R 17700 17703 16152 0 -1 4202496 12661 0 0 0 308 2 0 0 20 0 1 0 61892878 173867008 18526 33554432000 4194304 5849740 140725520313792 140725520312664 4211495 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 40857600 140725520319670 140725520319748 140725520319748 140725520322506 0
/proc/17703/statm: 42448 18526 728 405 0 39392 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 169792 KiB
Current children cumulated memory: 74104 KiB
[startup+6.30027 s]
/proc/loadavg: 2.08 2.03 2.05 3/189 17704
/proc/meminfo: memFree=22125176/32770624 swapFree=67108860/67108860
[pid=17703] ppid=17700 vsize=169792 memory=74104 CPUtime=6.29 cores=1,3,5,7
/proc/17703/stat : 17703 (xcsp_picat) R 17700 17703 16152 0 -1 4202496 14678 0 0 0 627 2 0 0 20 0 1 0 61892878 173867008 18526 33554432000 4194304 5849740 140725520313792 140725520310824 4212035 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 40857600 140725520319670 140725520319748 140725520319748 140725520322506 0
/proc/17703/statm: 42448 18526 728 405 0 39392 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 169792 KiB
Current children cumulated memory: 74104 KiB
[startup+12.7003 s]
/proc/loadavg: 2.08 2.03 2.05 3/189 17704
/proc/meminfo: memFree=22125368/32770624 swapFree=67108860/67108860
[pid=17703] ppid=17700 vsize=169792 memory=74104 CPUtime=12.69 cores=1,3,5,7
/proc/17703/stat : 17703 (xcsp_picat) R 17700 17703 16152 0 -1 4202496 16322 0 0 0 1267 2 0 0 20 0 1 0 61892878 173867008 18526 33554432000 4194304 5849740 140725520313792 140725520310824 4212035 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 40857600 140725520319670 140725520319748 140725520319748 140725520322506 0
/proc/17703/statm: 42448 18526 728 405 0 39392 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 169792 KiB
Current children cumulated memory: 74104 KiB
[startup+25.5003 s]
/proc/loadavg: 2.06 2.03 2.05 3/189 17704
/proc/meminfo: memFree=22132900/32770624 swapFree=67108860/67108860
[pid=17703] ppid=17700 vsize=161600 memory=65928 CPUtime=25.49 cores=1,3,5,7
/proc/17703/stat : 17703 (xcsp_picat) R 17700 17703 16152 0 -1 4202496 21162 0 0 0 2545 4 0 0 20 0 1 0 61892878 165478400 16482 33554432000 4194304 5849740 140725520313792 140725520310824 140584871292807 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 40857600 140725520319670 140725520319748 140725520319748 140725520322506 0
/proc/17703/statm: 40400 16482 732 405 0 37344 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 161600 KiB
Current children cumulated memory: 65928 KiB
[startup+51.1097 s]
/proc/loadavg: 2.04 2.03 2.05 3/189 17704
/proc/meminfo: memFree=22065752/32770624 swapFree=67108860/67108860
[pid=17703] ppid=17700 vsize=162356 memory=68756 CPUtime=51.1 cores=1,3,5,7
/proc/17703/stat : 17703 (xcsp_picat) R 17700 17703 16152 0 -1 4202496 30923 0 0 0 5082 28 0 0 20 0 1 0 61892878 166252544 17189 33554432000 4194304 5849740 140725520313792 140725520312792 140584871292807 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 40857600 140725520319670 140725520319748 140725520319748 140725520322506 0
/proc/17703/statm: 40589 17189 732 405 0 37533 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 162356 KiB
Current children cumulated memory: 68756 KiB
[startup+102.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/189 17705
/proc/meminfo: memFree=22110464/32770624 swapFree=67108860/67108860
[pid=17703] ppid=17700 vsize=179520 memory=87120 CPUtime=102.29 cores=1,3,5,7
/proc/17703/stat : 17703 (xcsp_picat) R 17700 17703 16152 0 -1 4202496 40859 0 0 0 10161 68 0 0 20 0 1 0 61892878 183828480 21780 33554432000 4194304 5849740 140725520313792 140725520312792 140584871292807 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 40857600 140725520319670 140725520319748 140725520319748 140725520322506 0
/proc/17703/statm: 44880 21780 732 405 0 41824 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 179520 KiB
Current children cumulated memory: 87120 KiB
[startup+162.3 s]
/proc/loadavg: 2.49 2.14 2.08 3/189 17706
/proc/meminfo: memFree=22150660/32770624 swapFree=67108860/67108860
[pid=17703] ppid=17700 vsize=190784 memory=100224 CPUtime=162.29 cores=1,3,5,7
/proc/17703/stat : 17703 (xcsp_picat) R 17700 17703 16152 0 -1 4202496 61059 0 0 0 16124 105 0 0 20 0 1 0 61892878 195362816 25056 33554432000 4194304 5849740 140725520313792 140725520312792 140584871292807 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 40857600 140725520319670 140725520319748 140725520319748 140725520322506 0
/proc/17703/statm: 47696 25056 732 405 0 44640 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 190784 KiB
Current children cumulated memory: 100224 KiB
[startup+222.3 s]
/proc/loadavg: 2.28 2.16 2.10 3/188 17707
/proc/meminfo: memFree=22149036/32770624 swapFree=67108860/67108860
[pid=17703] ppid=17700 vsize=190784 memory=100396 CPUtime=222.29 cores=1,3,5,7
/proc/17703/stat : 17703 (xcsp_picat) R 17700 17703 16152 0 -1 4202496 76051 0 0 0 22086 143 0 0 20 0 1 0 61892878 195362816 25099 33554432000 4194304 5849740 140725520313792 140725520312792 140584871292807 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 40857600 140725520319670 140725520319748 140725520319748 140725520322506 0
/proc/17703/statm: 47696 25099 732 405 0 44640 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 190784 KiB
Current children cumulated memory: 100396 KiB
[startup+282.3 s]
/proc/loadavg: 2.10 2.13 2.09 3/188 17708
/proc/meminfo: memFree=22078060/32770624 swapFree=67108860/67108860
[pid=17703] ppid=17700 vsize=190784 memory=100224 CPUtime=282.28 cores=1,3,5,7
/proc/17703/stat : 17703 (xcsp_picat) R 17700 17703 16152 0 -1 4202496 101354 0 0 0 28053 175 0 0 20 0 1 0 61892878 195362816 25056 33554432000 4194304 5849740 140725520313792 140725520312792 140584871292807 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 40857600 140725520319670 140725520319748 140725520319748 140725520322506 0
/proc/17703/statm: 47696 25056 732 405 0 44640 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 190784 KiB
Current children cumulated memory: 100224 KiB
[startup+342.3 s]
/proc/loadavg: 2.04 2.11 2.08 3/187 17709
/proc/meminfo: memFree=22065288/32770624 swapFree=67108860/67108860
[pid=17703] ppid=17700 vsize=198544 memory=105636 CPUtime=342.28 cores=1,3,5,7
/proc/17703/stat : 17703 (xcsp_picat) R 17700 17703 16152 0 -1 4202496 127163 0 0 0 34017 211 0 0 20 0 1 0 61892878 203309056 26409 33554432000 4194304 5849740 140725520313792 140725520312792 5437576 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 40857600 140725520319670 140725520319748 140725520319748 140725520322506 0
/proc/17703/statm: 49636 26409 732 405 0 46580 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 198544 KiB
Current children cumulated memory: 105636 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 2.09 2.08 3/187 17710
/proc/meminfo: memFree=22080012/32770624 swapFree=67108860/67108860
[pid=17703] ppid=17700 vsize=211892 memory=121332 CPUtime=402.28 cores=1,3,5,7
/proc/17703/stat : 17703 (xcsp_picat) R 17700 17703 16152 0 -1 4202496 144981 0 0 0 39983 245 0 0 20 0 1 0 61892878 216977408 30333 33554432000 4194304 5849740 140725520313792 140725520312792 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 40857600 140725520319670 140725520319748 140725520319748 140725520322506 0
/proc/17703/statm: 52973 30333 732 405 0 49917 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 211892 KiB
Current children cumulated memory: 121332 KiB
[startup+462.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/187 17711
/proc/meminfo: memFree=22080008/32770624 swapFree=67108860/67108860
[pid=17703] ppid=17700 vsize=212188 memory=121800 CPUtime=462.28 cores=1,3,5,7
/proc/17703/stat : 17703 (xcsp_picat) R 17700 17703 16152 0 -1 4202496 165564 0 0 0 45954 274 0 0 20 0 1 0 61892878 217280512 30450 33554432000 4194304 5849740 140725520313792 140725520312792 140584871292807 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 40857600 140725520319670 140725520319748 140725520319748 140725520322506 0
/proc/17703/statm: 53047 30450 732 405 0 49991 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 212188 KiB
Current children cumulated memory: 121800 KiB
################
# More data... #
################
/proc/17703/statm: 84073 61487 732 405 0 81017 0
Current children cumulated CPU time: 1722.25 s
Current children cumulated vsize: 336292 KiB
Current children cumulated memory: 245948 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 17900
/proc/meminfo: memFree=22062232/32770624 swapFree=67108860/67108860
[pid=17703] ppid=17700 vsize=348232 memory=257888 CPUtime=1782.25 cores=1,3,5,7
/proc/17703/stat : 17703 (xcsp_picat) R 17700 17703 16152 0 -1 4202496 478404 0 0 0 177586 639 0 0 20 0 1 0 61892878 356589568 64472 33554432000 4194304 5849740 140725520313792 140725520312792 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 40857600 140725520319670 140725520319748 140725520319748 140725520322506 0
/proc/17703/statm: 87058 64472 732 405 0 84002 0
Current children cumulated CPU time: 1782.25 s
Current children cumulated vsize: 348232 KiB
Current children cumulated memory: 257888 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 17901
/proc/meminfo: memFree=22046052/32770624 swapFree=67108860/67108860
[pid=17703] ppid=17700 vsize=369376 memory=278856 CPUtime=1842.25 cores=1,3,5,7
/proc/17703/stat : 17703 (xcsp_picat) R 17700 17703 16152 0 -1 4202496 483698 0 0 0 183576 649 0 0 20 0 1 0 61892878 378241024 69714 33554432000 4194304 5849740 140725520313792 140725520312792 140584871292807 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 40857600 140725520319670 140725520319748 140725520319748 140725520322506 0
/proc/17703/statm: 92344 69714 732 405 0 89288 0
Current children cumulated CPU time: 1842.25 s
Current children cumulated vsize: 369376 KiB
Current children cumulated memory: 278856 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 17902
/proc/meminfo: memFree=22025016/32770624 swapFree=67108860/67108860
[pid=17703] ppid=17700 vsize=369376 memory=279032 CPUtime=1902.25 cores=1,3,5,7
/proc/17703/stat : 17703 (xcsp_picat) R 17700 17703 16152 0 -1 4202496 486008 0 0 0 189566 659 0 0 20 0 1 0 61892878 378241024 69758 33554432000 4194304 5849740 140725520313792 140725520312792 5437839 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 40857600 140725520319670 140725520319748 140725520319748 140725520322506 0
/proc/17703/statm: 92344 69758 732 405 0 89288 0
Current children cumulated CPU time: 1902.25 s
Current children cumulated vsize: 369376 KiB
Current children cumulated memory: 279032 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 17903
/proc/meminfo: memFree=21939812/32770624 swapFree=67108860/67108860
[pid=17703] ppid=17700 vsize=460628 memory=370284 CPUtime=1962.25 cores=1,3,5,7
/proc/17703/stat : 17703 (xcsp_picat) R 17700 17703 16152 0 -1 4202496 491757 0 0 0 195558 667 0 0 20 0 1 0 61892878 471683072 92571 33554432000 4194304 5849740 140725520313792 140725520312792 5335572 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 40857600 140725520319670 140725520319748 140725520319748 140725520322506 0
/proc/17703/statm: 115157 92571 732 405 0 112101 0
Current children cumulated CPU time: 1962.25 s
Current children cumulated vsize: 460628 KiB
Current children cumulated memory: 370284 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 17904
/proc/meminfo: memFree=21923456/32770624 swapFree=67108860/67108860
[pid=17703] ppid=17700 vsize=469688 memory=379344 CPUtime=2022.25 cores=1,3,5,7
/proc/17703/stat : 17703 (xcsp_picat) R 17700 17703 16152 0 -1 4202496 496507 0 0 0 201550 675 0 0 20 0 1 0 61892878 480960512 94836 33554432000 4194304 5849740 140725520313792 140725520312792 140584871292807 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 40857600 140725520319670 140725520319748 140725520319748 140725520322506 0
/proc/17703/statm: 117422 94836 732 405 0 114366 0
Current children cumulated CPU time: 2022.25 s
Current children cumulated vsize: 469688 KiB
Current children cumulated memory: 379344 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 17905
/proc/meminfo: memFree=21989300/32770624 swapFree=67108860/67108860
[pid=17703] ppid=17700 vsize=404152 memory=313808 CPUtime=2082.25 cores=1,3,5,7
/proc/17703/stat : 17703 (xcsp_picat) R 17700 17703 16152 0 -1 4202496 498368 0 0 0 207544 681 0 0 20 0 1 0 61892878 413851648 78452 33554432000 4194304 5849740 140725520313792 140725520312792 5335566 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 40857600 140725520319670 140725520319748 140725520319748 140725520322506 0
/proc/17703/statm: 101038 78452 732 405 0 97982 0
Current children cumulated CPU time: 2082.25 s
Current children cumulated vsize: 404152 KiB
Current children cumulated memory: 313808 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 17906
/proc/meminfo: memFree=21924320/32770624 swapFree=67108860/67108860
[pid=17703] ppid=17700 vsize=469688 memory=379344 CPUtime=2142.25 cores=1,3,5,7
/proc/17703/stat : 17703 (xcsp_picat) R 17700 17703 16152 0 -1 4202496 502097 0 0 0 213537 688 0 0 20 0 1 0 61892878 480960512 94836 33554432000 4194304 5849740 140725520313792 140725520312664 5437839 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 40857600 140725520319670 140725520319748 140725520319748 140725520322506 0
/proc/17703/statm: 117422 94836 732 405 0 114366 0
Current children cumulated CPU time: 2142.25 s
Current children cumulated vsize: 469688 KiB
Current children cumulated memory: 379344 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 17907
/proc/meminfo: memFree=21924224/32770624 swapFree=67108860/67108860
[pid=17703] ppid=17700 vsize=469688 memory=379332 CPUtime=2202.25 cores=1,3,5,7
/proc/17703/stat : 17703 (xcsp_picat) R 17700 17703 16152 0 -1 4202496 505850 0 0 0 219529 696 0 0 20 0 1 0 61892878 480960512 94833 33554432000 4194304 5849740 140725520313792 140725520312792 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 40857600 140725520319670 140725520319748 140725520319748 140725520322506 0
/proc/17703/statm: 117422 94833 732 405 0 114366 0
Current children cumulated CPU time: 2202.25 s
Current children cumulated vsize: 469688 KiB
Current children cumulated memory: 379332 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 17908
/proc/meminfo: memFree=21889584/32770624 swapFree=67108860/67108860
[pid=17703] ppid=17700 vsize=503260 memory=412916 CPUtime=2262.25 cores=1,3,5,7
/proc/17703/stat : 17703 (xcsp_picat) R 17700 17703 16152 0 -1 4202496 517530 0 0 0 225523 702 0 0 20 0 1 0 61892878 515338240 103229 33554432000 4194304 5849740 140725520313792 140725520312792 140584871292807 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 40857600 140725520319670 140725520319748 140725520319748 140725520322506 0
/proc/17703/statm: 125815 103229 732 405 0 122759 0
Current children cumulated CPU time: 2262.25 s
Current children cumulated vsize: 503260 KiB
Current children cumulated memory: 412916 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 17916
/proc/meminfo: memFree=21882232/32770624 swapFree=67108860/67108860
[pid=17703] ppid=17700 vsize=503260 memory=412916 CPUtime=2322.25 cores=1,3,5,7
/proc/17703/stat : 17703 (xcsp_picat) R 17700 17703 16152 0 -1 4202496 546719 0 0 0 231513 712 0 0 20 0 1 0 61892878 515338240 103229 33554432000 4194304 5849740 140725520313792 140725520312792 5438192 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 40857600 140725520319670 140725520319748 140725520319748 140725520322506 0
/proc/17703/statm: 125815 103229 732 405 0 122759 0
Current children cumulated CPU time: 2322.25 s
Current children cumulated vsize: 503260 KiB
Current children cumulated memory: 412916 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 17917
/proc/meminfo: memFree=21845784/32770624 swapFree=67108860/67108860
[pid=17703] ppid=17700 vsize=520628 memory=430284 CPUtime=2382.26 cores=1,3,5,7
/proc/17703/stat : 17703 (xcsp_picat) R 17700 17703 16152 0 -1 4202496 585401 0 0 0 237505 721 0 0 20 0 1 0 61892878 533123072 107571 33554432000 4194304 5849740 140725520313792 140725520312792 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 40857600 140725520319670 140725520319748 140725520319748 140725520322506 0
/proc/17703/statm: 130157 107571 732 405 0 127101 0
Current children cumulated CPU time: 2382.26 s
Current children cumulated vsize: 520628 KiB
Current children cumulated memory: 430284 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 17918
/proc/meminfo: memFree=21878260/32770624 swapFree=67108860/67108860
[pid=17703] ppid=17700 vsize=520628 memory=430284 CPUtime=2442.25 cores=1,3,5,7
/proc/17703/stat : 17703 (xcsp_picat) R 17700 17703 16152 0 -1 4202496 626642 0 0 0 243495 730 0 0 20 0 1 0 61892878 533123072 107571 33554432000 4194304 5849740 140725520313792 140725520312792 140584871292807 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 40857600 140725520319670 140725520319748 140725520319748 140725520322506 0
/proc/17703/statm: 130157 107571 732 405 0 127101 0
Current children cumulated CPU time: 2442.25 s
Current children cumulated vsize: 520628 KiB
Current children cumulated memory: 430284 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 17919
/proc/meminfo: memFree=21824776/32770624 swapFree=67108860/67108860
[pid=17703] ppid=17700 vsize=544504 memory=454160 CPUtime=2502.25 cores=1,3,5,7
/proc/17703/stat : 17703 (xcsp_picat) R 17700 17703 16152 0 -1 4202496 650384 0 0 0 249488 737 0 0 20 0 1 0 61892878 557572096 113540 33554432000 4194304 5849740 140725520313792 140725520312792 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 40857600 140725520319670 140725520319748 140725520319748 140725520322506 0
/proc/17703/statm: 136126 113540 732 405 0 133070 0
Current children cumulated CPU time: 2502.25 s
Current children cumulated vsize: 544504 KiB
Current children cumulated memory: 454160 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.00 2.04 3/187 17920
/proc/meminfo: memFree=21816780/32770624 swapFree=67108860/67108860
[pid=17703] ppid=17700 vsize=544504 memory=454160 CPUtime=2519.97 cores=1,3,5,7
/proc/17703/stat : 17703 (xcsp_picat) R 17700 17703 16152 0 -1 4202496 659005 0 0 0 251257 740 0 0 20 0 1 0 61892878 557572096 113540 33554432000 4194304 5849740 140725520313792 140725520312952 5312592 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 40857600 140725520319670 140725520319748 140725520319748 140725520322506 0
/proc/17703/statm: 136126 113540 732 405 0 133070 0
Current children cumulated CPU time: 2519.97 s
Current children cumulated vsize: 544504 KiB
Current children cumulated memory: 454160 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 17703 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2512.57 s, system=7.41303 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520.02
CPU time (s): 2519.98
CPU user time (s): 2512.57
CPU system time (s): 7.41303
CPU usage (%): 99.9986
Max. virtual memory (cumulated for all children) (KiB): 634332
Max. memory (cumulated for all children) (KiB): 543988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2512.57
system time used= 7.41303
maximum resident set size= 543988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 659005
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= 86
involuntary context switches= 1439
# summary of solver processes directly reported to runsolver:
# pid: 17703
# total CPU time (s): 2519.98
# total CPU user time (s): 2512.57
# total CPU system time (s): 7.41303
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.83838 second user time and 18.9106 second system time
The end