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 (3118 MiB free)
memory of node 1: 16384 MiB (9606 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295488-1532558064/watcher-4295488-1532558064 -o /tmp/evaluation-result-4295488-1532558064/solver-4295488-1532558064 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532542928-25611 --watchdog 2580 xcsp_picat HOME/instance-4295488-1532558064.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
Current StackSize limit: 8192 KiB
solver pid=27130, runsolver pid=27127
[startup+0.100117 s]*
/proc/loadavg: 2.18 2.06 2.06 3/188 27131
/proc/meminfo: memFree=13003356/32770624 swapFree=67108852/67108860
[pid=27130] ppid=27127 vsize=128176 memory=29656 CPUtime=0.1 cores=1,3,5,7
/proc/27130/stat : 27130 (xcsp_picat) R 27127 27130 25579 0 -1 4202496 2196 0 0 0 10 0 0 0 20 0 1 0 73369503 131252224 7414 33554432000 4194304 5849740 140735849929008 140735849929008 140267916627847 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 46252032 140735849931958 140735849932036 140735849932036 140735849934794 0
/proc/27130/statm: 32044 7414 703 405 0 28988 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 128176 KiB
Current children cumulated memory: 29656 KiB
[startup+0.209688 s]*
/proc/loadavg: 2.18 2.06 2.06 3/188 27131
/proc/meminfo: memFree=13003356/32770624 swapFree=67108852/67108860
[pid=27130] ppid=27127 vsize=128312 memory=29656 CPUtime=0.21 cores=1,3,5,7
/proc/27130/stat : 27130 (xcsp_picat) R 27127 27130 25579 0 -1 4202496 2244 0 0 0 21 0 0 0 20 0 1 0 73369503 131391488 7414 33554432000 4194304 5849740 140735849929008 140735849929008 5606222 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 46252032 140735849931958 140735849932036 140735849932036 140735849934794 0
/proc/27130/statm: 32078 7414 703 405 0 29022 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 128312 KiB
Current children cumulated memory: 29656 KiB
[startup+0.308944 s]*
/proc/loadavg: 2.18 2.06 2.06 3/188 27131
/proc/meminfo: memFree=13003024/32770624 swapFree=67108852/67108860
[pid=27130] ppid=27127 vsize=128312 memory=29656 CPUtime=0.31 cores=1,3,5,7
/proc/27130/stat : 27130 (xcsp_picat) R 27127 27130 25579 0 -1 4202496 2245 0 0 0 31 0 0 0 20 0 1 0 73369503 131391488 7414 33554432000 4194304 5849740 140735849929008 140735849928104 140267916627847 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 46252032 140735849931958 140735849932036 140735849932036 140735849934794 0
/proc/27130/statm: 32078 7414 703 405 0 29022 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 128312 KiB
Current children cumulated memory: 29656 KiB
[startup+0.700224 s]
/proc/loadavg: 2.18 2.06 2.06 3/188 27131
/proc/meminfo: memFree=13003024/32770624 swapFree=67108852/67108860
[pid=27130] ppid=27127 vsize=128696 memory=29916 CPUtime=0.69 cores=1,3,5,7
/proc/27130/stat : 27130 (xcsp_picat) R 27127 27130 25579 0 -1 4202496 2309 0 0 0 69 0 0 0 20 0 1 0 73369503 131784704 7479 33554432000 4194304 5849740 140735849929008 140735849928104 5606211 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 46252032 140735849931958 140735849932036 140735849932036 140735849934794 0
/proc/27130/statm: 32174 7479 707 405 0 29118 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 128696 KiB
Current children cumulated memory: 29916 KiB
[startup+1.50027 s]
/proc/loadavg: 2.18 2.06 2.06 3/188 27131
/proc/meminfo: memFree=13002652/32770624 swapFree=67108852/67108860
[pid=27130] ppid=27127 vsize=137676 memory=39052 CPUtime=1.49 cores=1,3,5,7
/proc/27130/stat : 27130 (xcsp_picat) R 27127 27130 25579 0 -1 4202496 4588 0 0 0 148 1 0 0 20 0 1 0 73369503 140980224 9763 33554432000 4194304 5849740 140735849929008 140735849928248 4505611 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 46252032 140735849931958 140735849932036 140735849932036 140735849934794 0
/proc/27130/statm: 34419 9763 709 405 0 31363 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 137676 KiB
Current children cumulated memory: 39052 KiB
[startup+3.10942 s]
/proc/loadavg: 2.17 2.06 2.06 3/188 27131
/proc/meminfo: memFree=12976716/32770624 swapFree=67108852/67108860
[pid=27130] ppid=27127 vsize=147012 memory=47564 CPUtime=3.1 cores=1,3,5,7
/proc/27130/stat : 27130 (xcsp_picat) R 27127 27130 25579 0 -1 4202496 10403 0 0 0 308 2 0 0 20 0 1 0 73369503 150540288 11891 33554432000 4194304 5849740 140735849929008 140735849927880 5309603 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 46252032 140735849931958 140735849932036 140735849932036 140735849934794 0
/proc/27130/statm: 36753 11891 734 405 0 33697 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 147012 KiB
Current children cumulated memory: 47564 KiB
[startup+6.30027 s]
/proc/loadavg: 2.17 2.06 2.06 3/188 27131
/proc/meminfo: memFree=12976252/32770624 swapFree=67108852/67108860
[pid=27130] ppid=27127 vsize=147012 memory=48048 CPUtime=6.29 cores=1,3,5,7
/proc/27130/stat : 27130 (xcsp_picat) R 27127 27130 25579 0 -1 4202496 13394 0 0 0 625 4 0 0 20 0 1 0 73369503 150540288 12012 33554432000 4194304 5849740 140735849929008 140735849927880 140267916627847 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 46252032 140735849931958 140735849932036 140735849932036 140735849934794 0
/proc/27130/statm: 36753 12012 742 405 0 33697 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 147012 KiB
Current children cumulated memory: 48048 KiB
[startup+12.7003 s]
/proc/loadavg: 2.22 2.07 2.06 3/188 27131
/proc/meminfo: memFree=12992200/32770624 swapFree=67108852/67108860
[pid=27130] ppid=27127 vsize=146888 memory=47928 CPUtime=12.69 cores=1,3,5,7
/proc/27130/stat : 27130 (xcsp_picat) R 27127 27130 25579 0 -1 4202496 16423 0 0 0 1259 10 0 0 20 0 1 0 73369503 150413312 11982 33554432000 4194304 5849740 140735849929008 140735849928008 5340238 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 46252032 140735849931958 140735849932036 140735849932036 140735849934794 0
/proc/27130/statm: 36722 11982 742 405 0 33666 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 146888 KiB
Current children cumulated memory: 47928 KiB
[startup+25.5003 s]
/proc/loadavg: 2.19 2.07 2.06 3/188 27131
/proc/meminfo: memFree=13000304/32770624 swapFree=67108852/67108860
[pid=27130] ppid=27127 vsize=147612 memory=49232 CPUtime=25.49 cores=1,3,5,7
/proc/27130/stat : 27130 (xcsp_picat) R 27127 27130 25579 0 -1 4202496 22891 0 0 0 2529 20 0 0 20 0 1 0 73369503 151154688 12308 33554432000 4194304 5849740 140735849929008 140735849928008 140267916627847 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 46252032 140735849931958 140735849932036 140735849932036 140735849934794 0
/proc/27130/statm: 36903 12308 742 405 0 33847 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 147612 KiB
Current children cumulated memory: 49232 KiB
[startup+51.1096 s]
/proc/loadavg: 2.12 2.07 2.06 3/187 27131
/proc/meminfo: memFree=12980908/32770624 swapFree=67108852/67108860
[pid=27130] ppid=27127 vsize=162936 memory=64556 CPUtime=51.1 cores=1,3,5,7
/proc/27130/stat : 27130 (xcsp_picat) R 27127 27130 25579 0 -1 4202496 30855 0 0 0 5068 42 0 0 20 0 1 0 73369503 166846464 16139 33554432000 4194304 5849740 140735849929008 140735849928008 140267916627847 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 46252032 140735849931958 140735849932036 140735849932036 140735849934794 0
/proc/27130/statm: 40734 16139 742 405 0 37678 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 162936 KiB
Current children cumulated memory: 64556 KiB
[startup+102.3 s]
/proc/loadavg: 2.17 2.09 2.06 3/187 27132
/proc/meminfo: memFree=12947652/32770624 swapFree=67108852/67108860
[pid=27130] ppid=27127 vsize=172192 memory=73624 CPUtime=102.28 cores=1,3,5,7
/proc/27130/stat : 27130 (xcsp_picat) R 27127 27130 25579 0 -1 4202496 43177 0 0 0 10148 80 0 0 20 0 1 0 73369503 176324608 18406 33554432000 4194304 5849740 140735849929008 140735849928008 140267916627847 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 46252032 140735849931958 140735849932036 140735849932036 140735849934794 0
/proc/27130/statm: 43048 18406 742 405 0 39992 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 172192 KiB
Current children cumulated memory: 73624 KiB
[startup+162.3 s]
/proc/loadavg: 2.14 2.09 2.06 3/187 27133
/proc/meminfo: memFree=12920540/32770624 swapFree=67108852/67108860
[pid=27130] ppid=27127 vsize=181144 memory=90464 CPUtime=162.29 cores=1,3,5,7
/proc/27130/stat : 27130 (xcsp_picat) R 27127 27130 25579 0 -1 4202496 50808 0 0 0 16104 125 0 0 20 0 1 0 73369503 185491456 22616 33554432000 4194304 5849740 140735849929008 140735849928008 140267916627847 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 46252032 140735849931958 140735849932036 140735849932036 140735849934794 0
/proc/27130/statm: 45286 22616 742 405 0 42230 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 181144 KiB
Current children cumulated memory: 90464 KiB
[startup+222.3 s]
/proc/loadavg: 2.05 2.07 2.06 3/187 27134
/proc/meminfo: memFree=12916384/32770624 swapFree=67108852/67108860
[pid=27130] ppid=27127 vsize=175916 memory=85364 CPUtime=222.28 cores=1,3,5,7
/proc/27130/stat : 27130 (xcsp_picat) R 27127 27130 25579 0 -1 4202496 56323 0 0 0 22062 166 0 0 20 0 1 0 73369503 180137984 21341 33554432000 4194304 5849740 140735849929008 140735849928008 5438464 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 46252032 140735849931958 140735849932036 140735849932036 140735849934794 0
/proc/27130/statm: 43979 21341 742 405 0 40923 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 175916 KiB
Current children cumulated memory: 85364 KiB
[startup+282.3 s]
/proc/loadavg: 2.02 2.06 2.05 3/187 27135
/proc/meminfo: memFree=12888088/32770624 swapFree=67108852/67108860
[pid=27130] ppid=27127 vsize=193568 memory=102888 CPUtime=282.29 cores=1,3,5,7
/proc/27130/stat : 27130 (xcsp_picat) R 27127 27130 25579 0 -1 4202496 63769 0 0 0 28018 211 0 0 20 0 1 0 73369503 198213632 25722 33554432000 4194304 5849740 140735849929008 140735849927656 5337008 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 46252032 140735849931958 140735849932036 140735849932036 140735849934794 0
/proc/27130/statm: 48392 25722 742 405 0 45336 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 193568 KiB
Current children cumulated memory: 102888 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/188 27144
/proc/meminfo: memFree=12860116/32770624 swapFree=67108852/67108860
[pid=27130] ppid=27127 vsize=220168 memory=129252 CPUtime=342.29 cores=1,3,5,7
/proc/27130/stat : 27130 (xcsp_picat) R 27127 27130 25579 0 -1 4202496 80066 0 0 0 33971 258 0 0 20 0 1 0 73369503 225452032 32313 33554432000 4194304 5849740 140735849929008 140735849928008 140267916627847 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 46252032 140735849931958 140735849932036 140735849932036 140735849934794 0
/proc/27130/statm: 55042 32313 742 405 0 51986 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 220168 KiB
Current children cumulated memory: 129252 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 27145
/proc/meminfo: memFree=12856316/32770624 swapFree=67108852/67108860
[pid=27130] ppid=27127 vsize=224232 memory=133312 CPUtime=402.28 cores=1,3,5,7
/proc/27130/stat : 27130 (xcsp_picat) R 27127 27130 25579 0 -1 4202496 89135 0 0 0 39927 301 0 0 20 0 1 0 73369503 229613568 33328 33554432000 4194304 5849740 140735849929008 140735849928008 140267916627847 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 46252032 140735849931958 140735849932036 140735849932036 140735849934794 0
/proc/27130/statm: 56058 33328 742 405 0 53002 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 224232 KiB
Current children cumulated memory: 133312 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 27146
/proc/meminfo: memFree=12725892/32770624 swapFree=67108852/67108860
[pid=27130] ppid=27127 vsize=233544 memory=142992 CPUtime=462.29 cores=1,3,5,7
/proc/27130/stat : 27130 (xcsp_picat) R 27127 27130 25579 0 -1 4202496 95383 0 0 0 45888 341 0 0 20 0 1 0 73369503 239149056 35748 33554432000 4194304 5849740 140735849929008 140735849928168 140267916627847 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 46252032 140735849931958 140735849932036 140735849932036 140735849934794 0
/proc/27130/statm: 58386 35748 742 405 0 55330 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 233544 KiB
Current children cumulated memory: 142992 KiB
################
# More data... #
################
/proc/27130/statm: 108968 86298 742 405 0 105912 0
Current children cumulated CPU time: 1722.31 s
Current children cumulated vsize: 435872 KiB
Current children cumulated memory: 345192 KiB
[startup+1782.3 s]
/proc/loadavg: 2.15 2.12 2.08 3/187 27209
/proc/meminfo: memFree=12488988/32770624 swapFree=67108852/67108860
[pid=27130] ppid=27127 vsize=468640 memory=377960 CPUtime=1782.31 cores=1,3,5,7
/proc/27130/stat : 27130 (xcsp_picat) R 27127 27130 25579 0 -1 4202496 226608 0 0 0 177101 1130 0 0 20 0 1 0 73369503 479887360 94490 33554432000 4194304 5849740 140735849929008 140735849928168 140267916627847 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 46252032 140735849931958 140735849932036 140735849932036 140735849934794 0
/proc/27130/statm: 117160 94490 742 405 0 114104 0
Current children cumulated CPU time: 1782.31 s
Current children cumulated vsize: 468640 KiB
Current children cumulated memory: 377960 KiB
[startup+1842.3 s]
/proc/loadavg: 2.05 2.10 2.08 3/187 27210
/proc/meminfo: memFree=12476000/32770624 swapFree=67108852/67108860
[pid=27130] ppid=27127 vsize=512492 memory=421804 CPUtime=1842.31 cores=1,3,5,7
/proc/27130/stat : 27130 (xcsp_picat) R 27127 27130 25579 0 -1 4202496 231423 0 0 0 183084 1147 0 0 20 0 1 0 73369503 524791808 105451 33554432000 4194304 5849740 140735849929008 140735849928008 140267916627847 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 46252032 140735849931958 140735849932036 140735849932036 140735849934794 0
/proc/27130/statm: 128123 105451 742 405 0 125067 0
Current children cumulated CPU time: 1842.31 s
Current children cumulated vsize: 512492 KiB
Current children cumulated memory: 421804 KiB
[startup+1902.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/187 27211
/proc/meminfo: memFree=12319720/32770624 swapFree=67108852/67108860
[pid=27130] ppid=27127 vsize=635956 memory=545208 CPUtime=1902.31 cores=1,3,5,7
/proc/27130/stat : 27130 (xcsp_picat) R 27127 27130 25579 0 -1 4202496 236843 0 0 0 189063 1168 0 0 20 0 1 0 73369503 651218944 136302 33554432000 4194304 5849740 140735849929008 140735849928168 5438262 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 46252032 140735849931958 140735849932036 140735849932036 140735849934794 0
/proc/27130/statm: 158989 136302 742 405 0 155933 0
Current children cumulated CPU time: 1902.31 s
Current children cumulated vsize: 635956 KiB
Current children cumulated memory: 545208 KiB
[startup+1962.3 s]
/proc/loadavg: 2.01 2.07 2.06 3/187 27212
/proc/meminfo: memFree=11934480/32770624 swapFree=67108852/67108860
[pid=27130] ppid=27127 vsize=1021136 memory=930336 CPUtime=1962.32 cores=1,3,5,7
/proc/27130/stat : 27130 (xcsp_picat) R 27127 27130 25579 0 -1 4202496 257548 0 0 0 195034 1198 0 0 20 0 1 0 73369503 1045643264 232584 33554432000 4194304 5849740 140735849929008 140735849928008 140267916627847 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 46252032 140735849931958 140735849932036 140735849932036 140735849934794 0
/proc/27130/statm: 255284 232584 742 405 0 252228 0
Current children cumulated CPU time: 1962.32 s
Current children cumulated vsize: 1021136 KiB
Current children cumulated memory: 930336 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/187 27213
/proc/meminfo: memFree=12391736/32770624 swapFree=67108852/67108860
[pid=27130] ppid=27127 vsize=451936 memory=361384 CPUtime=2022.3 cores=1,3,5,7
/proc/27130/stat : 27130 (xcsp_picat) R 27127 27130 25579 0 -1 4202496 311359 0 0 0 201004 1226 0 0 20 0 1 0 73369503 462782464 90346 33554432000 4194304 5849740 140735849929008 140735849928008 140267916627847 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 46252032 140735849931958 140735849932036 140735849932036 140735849934794 0
/proc/27130/statm: 112984 90346 742 405 0 109928 0
Current children cumulated CPU time: 2022.3 s
Current children cumulated vsize: 451936 KiB
Current children cumulated memory: 361384 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 27214
/proc/meminfo: memFree=11808540/32770624 swapFree=67108852/67108860
[pid=27130] ppid=27127 vsize=883248 memory=792436 CPUtime=2082.29 cores=1,3,5,7
/proc/27130/stat : 27130 (xcsp_picat) R 27127 27130 25579 0 -1 4202496 332886 0 0 0 206963 1266 0 0 20 0 1 0 73369503 904445952 198109 33554432000 4194304 5849740 140735849929008 140735849928008 5313442 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 46252032 140735849931958 140735849932036 140735849932036 140735849934794 0
/proc/27130/statm: 220812 198109 742 405 0 217756 0
Current children cumulated CPU time: 2082.29 s
Current children cumulated vsize: 883248 KiB
Current children cumulated memory: 792436 KiB
[startup+2142.3 s]
/proc/loadavg: 2.08 2.05 2.05 3/188 27223
/proc/meminfo: memFree=11472804/32770624 swapFree=67108852/67108860
[pid=27130] ppid=27127 vsize=1265840 memory=1175132 CPUtime=2142.3 cores=1,3,5,7
/proc/27130/stat : 27130 (xcsp_picat) R 27127 27130 25579 0 -1 4202496 399029 0 0 0 212942 1288 0 0 20 0 1 0 73369503 1296220160 293783 33554432000 4194304 5849740 140735849929008 140735849928008 5312874 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 46252032 140735849931958 140735849932036 140735849932036 140735849934794 0
/proc/27130/statm: 316460 293783 742 405 0 313404 0
Current children cumulated CPU time: 2142.3 s
Current children cumulated vsize: 1265840 KiB
Current children cumulated memory: 1175132 KiB
[startup+2202.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/188 27224
/proc/meminfo: memFree=11076292/32770624 swapFree=67108852/67108860
[pid=27130] ppid=27127 vsize=1265840 memory=1175288 CPUtime=2202.3 cores=1,3,5,7
/proc/27130/stat : 27130 (xcsp_picat) R 27127 27130 25579 0 -1 4202496 451053 0 0 0 218926 1304 0 0 20 0 1 0 73369503 1296220160 293822 33554432000 4194304 5849740 140735849929008 140735849928008 5312884 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 46252032 140735849931958 140735849932036 140735849932036 140735849934794 0
/proc/27130/statm: 316460 293822 742 405 0 313404 0
Current children cumulated CPU time: 2202.3 s
Current children cumulated vsize: 1265840 KiB
Current children cumulated memory: 1175288 KiB
[startup+2262.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/188 27225
/proc/meminfo: memFree=10385976/32770624 swapFree=67108852/67108860
[pid=27130] ppid=27127 vsize=1654572 memory=1564020 CPUtime=2262.3 cores=1,3,5,7
/proc/27130/stat : 27130 (xcsp_picat) R 27127 27130 25579 0 -1 4202496 542777 0 0 0 224898 1332 0 0 20 0 1 0 73369503 1694281728 391005 33554432000 4194304 5849740 140735849929008 140735849928008 140267916627847 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 46252032 140735849931958 140735849932036 140735849932036 140735849934794 0
/proc/27130/statm: 413643 391005 742 405 0 410587 0
Current children cumulated CPU time: 2262.3 s
Current children cumulated vsize: 1654572 KiB
Current children cumulated memory: 1564020 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 27226
/proc/meminfo: memFree=10858544/32770624 swapFree=67108852/67108860
[pid=27130] ppid=27127 vsize=1938652 memory=1848100 CPUtime=2322.3 cores=1,3,5,7
/proc/27130/stat : 27130 (xcsp_picat) R 27127 27130 25579 0 -1 4202496 650551 0 0 0 230870 1360 0 0 20 0 1 0 73369503 1985179648 462025 33554432000 4194304 5849740 140735849929008 140735849927880 5312778 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 46252032 140735849931958 140735849932036 140735849932036 140735849934794 0
/proc/27130/statm: 484663 462025 742 405 0 481607 0
Current children cumulated CPU time: 2322.3 s
Current children cumulated vsize: 1938652 KiB
Current children cumulated memory: 1848100 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 27227
/proc/meminfo: memFree=10669104/32770624 swapFree=67108852/67108860
[pid=27130] ppid=27127 vsize=2102080 memory=2011528 CPUtime=2382.3 cores=1,3,5,7
/proc/27130/stat : 27130 (xcsp_picat) R 27127 27130 25579 0 -1 4202496 822882 0 0 0 236851 1379 0 0 20 0 1 0 73369503 2152529920 502882 33554432000 4194304 5849740 140735849929008 140735849928008 5312771 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 46252032 140735849931958 140735849932036 140735849932036 140735849934794 0
/proc/27130/statm: 525520 502882 742 405 0 522464 0
Current children cumulated CPU time: 2382.3 s
Current children cumulated vsize: 2102080 KiB
Current children cumulated memory: 2011528 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 27228
/proc/meminfo: memFree=10410784/32770624 swapFree=67108852/67108860
[pid=27130] ppid=27127 vsize=2254384 memory=2163832 CPUtime=2442.3 cores=1,3,5,7
/proc/27130/stat : 27130 (xcsp_picat) R 27127 27130 25579 0 -1 4202496 1002263 0 0 0 242829 1401 0 0 20 0 1 0 73369503 2308489216 540958 33554432000 4194304 5849740 140735849929008 140735849928008 5312877 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 46252032 140735849931958 140735849932036 140735849932036 140735849934794 0
/proc/27130/statm: 563596 540958 742 405 0 560540 0
Current children cumulated CPU time: 2442.3 s
Current children cumulated vsize: 2254384 KiB
Current children cumulated memory: 2163832 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27229
/proc/meminfo: memFree=10322044/32770624 swapFree=67108852/67108860
[pid=27130] ppid=27127 vsize=2254384 memory=2163832 CPUtime=2502.31 cores=1,3,5,7
/proc/27130/stat : 27130 (xcsp_picat) R 27127 27130 25579 0 -1 4202496 1211598 0 0 0 248813 1418 0 0 20 0 1 0 73369503 2308489216 540958 33554432000 4194304 5849740 140735849929008 140735849927880 5312983 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 46252032 140735849931958 140735849932036 140735849932036 140735849934794 0
/proc/27130/statm: 563596 540958 742 405 0 560540 0
Current children cumulated CPU time: 2502.31 s
Current children cumulated vsize: 2254384 KiB
Current children cumulated memory: 2163832 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 27290
/proc/meminfo: memFree=10922184/32770624 swapFree=67108852/67108860
[pid=27130] ppid=27127 vsize=2254384 memory=2163832 CPUtime=2520.01 cores=1,3,5,7
/proc/27130/stat : 27130 (xcsp_picat) R 27127 27130 25579 0 -1 4202496 1272396 0 0 0 250579 1422 0 0 20 0 1 0 73369503 2308489216 540958 33554432000 4194304 5849740 140735849929008 140735849927880 140267916627847 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 46252032 140735849931958 140735849932036 140735849932036 140735849934794 0
/proc/27130/statm: 563596 540958 742 405 0 560540 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 2254384 KiB
Current children cumulated memory: 2163832 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.06 s]
# the end of solver process 27130 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2505.8 s, system=14.2804 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.06
CPU time (s): 2520.08
CPU user time (s): 2505.8
CPU system time (s): 14.2804
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 2254384
Max. memory (cumulated for all children) (KiB): 2163832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2505.8
system time used= 14.2804
maximum resident set size= 2163832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1272396
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= 67
involuntary context switches= 1042
# summary of solver processes directly reported to runsolver:
# pid: 27130
# total CPU time (s): 2520.08
# total CPU user time (s): 2505.8
# total CPU system time (s): 14.2804
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.70454 second user time and 18.7498 second system time
The end