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 (8589 MiB free)
memory of node 1: 16384 MiB (11262 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296045-1532603974/watcher-4296045-1532603974 -o /tmp/evaluation-result-4296045-1532603974/solver-4296045-1532603974 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532598933-5172 --watchdog 2580 xcsp_picat HOME/instance-4296045-1532603974.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=5675, runsolver pid=5672
[startup+0.100165 s]*
/proc/loadavg: 1.92 2.00 2.04 3/191 5676
/proc/meminfo: memFree=20302132/32770624 swapFree=67108860/67108860
[pid=5675] ppid=5672 vsize=128512 memory=28864 CPUtime=0.1 cores=1,3,5,7
/proc/5675/stat : 5675 (xcsp_picat) R 5672 5675 4275 0 -1 4202496 1970 0 0 0 10 0 0 0 20 0 1 0 77960595 131596288 7216 33554432000 4194304 5849740 140721895709056 140721895709056 140589244693504 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 40460288 140721895716022 140721895716100 140721895716100 140721895718858 0
/proc/5675/statm: 32128 7216 600 405 0 29072 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 128512 KiB
Current children cumulated memory: 28864 KiB
[startup+0.209967 s]*
/proc/loadavg: 1.92 2.00 2.04 3/191 5676
/proc/meminfo: memFree=20289844/32770624 swapFree=67108860/67108860
[pid=5675] ppid=5672 vsize=128512 memory=41152 CPUtime=0.21 cores=1,3,5,7
/proc/5675/stat : 5675 (xcsp_picat) R 5672 5675 4275 0 -1 4202496 1976 0 0 0 21 0 0 0 20 0 1 0 77960595 131596288 10288 33554432000 4194304 5849740 140721895709056 140721895709056 4518126 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 40460288 140721895716022 140721895716100 140721895716100 140721895718858 0
/proc/5675/statm: 32128 10288 600 405 0 29072 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 128512 KiB
Current children cumulated memory: 41152 KiB
[startup+0.309807 s]*
/proc/loadavg: 1.92 2.00 2.04 3/191 5676
/proc/meminfo: memFree=20277308/32770624 swapFree=67108860/67108860
[pid=5675] ppid=5672 vsize=128512 memory=53636 CPUtime=0.31 cores=1,3,5,7
/proc/5675/stat : 5675 (xcsp_picat) R 5672 5675 4275 0 -1 4202496 2069 0 0 0 31 0 0 0 20 0 1 0 77960595 131596288 13409 33554432000 4194304 5849740 140721895709056 140721895709056 4489848 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 40460288 140721895716022 140721895716100 140721895716100 140721895718858 0
/proc/5675/statm: 32128 13409 627 405 0 29072 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 128512 KiB
Current children cumulated memory: 53636 KiB
[startup+0.700402 s]
/proc/loadavg: 1.92 2.00 2.04 3/191 5676
/proc/meminfo: memFree=20310716/32770624 swapFree=67108860/67108860
[pid=5675] ppid=5672 vsize=146100 memory=91932 CPUtime=0.69 cores=1,3,5,7
/proc/5675/stat : 5675 (xcsp_picat) R 5672 5675 4275 0 -1 4202496 5879 0 0 0 67 2 0 0 20 0 1 0 77960595 149606400 22983 33554432000 4194304 5849740 140721895709056 140721895709056 5251173 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 40460288 140721895716022 140721895716100 140721895716100 140721895718858 0
/proc/5675/statm: 36525 22983 662 405 0 33469 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 146100 KiB
Current children cumulated memory: 91932 KiB
[startup+1.5004 s]
/proc/loadavg: 1.92 2.00 2.04 3/191 5676
/proc/meminfo: memFree=20280596/32770624 swapFree=67108860/67108860
[pid=5675] ppid=5672 vsize=198744 memory=142084 CPUtime=1.49 cores=1,3,5,7
/proc/5675/stat : 5675 (xcsp_picat) R 5672 5675 4275 0 -1 4202496 10274 0 0 0 143 6 0 0 20 0 1 0 77960595 203513856 35521 33554432000 4194304 5849740 140721895709056 140721895708152 5379312 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 40460288 140721895716022 140721895716100 140721895716100 140721895718858 0
/proc/5675/statm: 49686 35521 710 405 0 46630 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 198744 KiB
Current children cumulated memory: 142084 KiB
[startup+3.10954 s]
/proc/loadavg: 1.92 2.00 2.04 3/191 5737
/proc/meminfo: memFree=20493556/32770624 swapFree=67108860/67108860
[pid=5675] ppid=5672 vsize=307288 memory=253480 CPUtime=3.1 cores=1,3,5,7
/proc/5675/stat : 5675 (xcsp_picat) R 5672 5675 4275 0 -1 4202496 13317 0 0 0 302 8 0 0 20 0 1 0 77960595 314662912 63370 33554432000 4194304 5849740 140721895709056 140721895708152 5521458 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 40460288 140721895716022 140721895716100 140721895716100 140721895718858 0
/proc/5675/statm: 76822 63370 727 405 0 73766 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 307288 KiB
Current children cumulated memory: 253480 KiB
[startup+6.30023 s]
/proc/loadavg: 2.01 2.01 2.05 3/191 5737
/proc/meminfo: memFree=20374504/32770624 swapFree=67108860/67108860
[pid=5675] ppid=5672 vsize=307288 memory=253480 CPUtime=6.29 cores=1,3,5,7
/proc/5675/stat : 5675 (xcsp_picat) R 5672 5675 4275 0 -1 4202496 13441 0 0 0 621 8 0 0 20 0 1 0 77960595 314662912 63370 33554432000 4194304 5849740 140721895709056 140721895708152 5521452 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 40460288 140721895716022 140721895716100 140721895716100 140721895718858 0
/proc/5675/statm: 76822 63370 727 405 0 73766 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 307288 KiB
Current children cumulated memory: 253480 KiB
[startup+12.7002 s]
/proc/loadavg: 2.01 2.01 2.05 3/191 5737
/proc/meminfo: memFree=20363448/32770624 swapFree=67108860/67108860
[pid=5675] ppid=5672 vsize=307288 memory=253480 CPUtime=12.69 cores=1,3,5,7
/proc/5675/stat : 5675 (xcsp_picat) R 5672 5675 4275 0 -1 4202496 13543 0 0 0 1261 8 0 0 20 0 1 0 77960595 314662912 63370 33554432000 4194304 5849740 140721895709056 140721895708152 5616003 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 40460288 140721895716022 140721895716100 140721895716100 140721895718858 0
/proc/5675/statm: 76822 63370 727 405 0 73766 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 307288 KiB
Current children cumulated memory: 253480 KiB
[startup+25.5002 s]
/proc/loadavg: 2.01 2.01 2.05 3/191 5737
/proc/meminfo: memFree=20368864/32770624 swapFree=67108860/67108860
[pid=5675] ppid=5672 vsize=324964 memory=269472 CPUtime=25.49 cores=1,3,5,7
/proc/5675/stat : 5675 (xcsp_picat) R 5672 5675 4275 0 -1 4202496 64715 0 0 0 2535 14 0 0 20 0 1 0 77960595 332763136 67368 33554432000 4194304 5849740 140721895709056 140721895707544 4208544 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 40460288 140721895716022 140721895716100 140721895716100 140721895718858 0
/proc/5675/statm: 81241 67368 755 405 0 78185 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 324964 KiB
Current children cumulated memory: 269472 KiB
[startup+51.1097 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 5744
/proc/meminfo: memFree=20274556/32770624 swapFree=67108860/67108860
[pid=5675] ppid=5672 vsize=392656 memory=336892 CPUtime=51.1 cores=1,3,5,7
/proc/5675/stat : 5675 (xcsp_picat) R 5672 5675 4275 0 -1 4202496 103027 0 0 0 5085 25 0 0 20 0 1 0 77960595 402079744 84223 33554432000 4194304 5849740 140721895709056 140721895707816 5336536 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 40460288 140721895716022 140721895716100 140721895716100 140721895718858 0
/proc/5675/statm: 98164 84223 768 405 0 95108 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 392656 KiB
Current children cumulated memory: 336892 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 5745
/proc/meminfo: memFree=20336468/32770624 swapFree=67108860/67108860
[pid=5675] ppid=5672 vsize=327424 memory=273784 CPUtime=102.28 cores=1,3,5,7
/proc/5675/stat : 5675 (xcsp_picat) R 5672 5675 4275 0 -1 4202496 113252 0 0 0 10189 39 0 0 20 0 1 0 77960595 335282176 68446 33554432000 4194304 5849740 140721895709056 140721895707544 4213350 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 40460288 140721895716022 140721895716100 140721895716100 140721895718858 0
/proc/5675/statm: 81856 68446 768 405 0 78800 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 327424 KiB
Current children cumulated memory: 273784 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 5746
/proc/meminfo: memFree=20315408/32770624 swapFree=67108860/67108860
[pid=5675] ppid=5672 vsize=333736 memory=280684 CPUtime=162.28 cores=1,3,5,7
/proc/5675/stat : 5675 (xcsp_picat) R 5672 5675 4275 0 -1 4202496 121948 0 0 0 16167 61 0 0 20 0 1 0 77960595 341745664 70171 33554432000 4194304 5849740 140721895709056 140721895708056 5311410 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 40460288 140721895716022 140721895716100 140721895716100 140721895718858 0
/proc/5675/statm: 83434 70171 768 405 0 80378 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 333736 KiB
Current children cumulated memory: 280684 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 5747
/proc/meminfo: memFree=20292708/32770624 swapFree=67108860/67108860
[pid=5675] ppid=5672 vsize=339392 memory=289296 CPUtime=222.29 cores=1,3,5,7
/proc/5675/stat : 5675 (xcsp_picat) R 5672 5675 4275 0 -1 4202496 135992 0 0 0 22140 89 0 0 20 0 1 0 77960595 347537408 72324 33554432000 4194304 5849740 140721895709056 140721895707704 5366493 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 40460288 140721895716022 140721895716100 140721895716100 140721895718858 0
/proc/5675/statm: 84848 72324 768 405 0 81792 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 339392 KiB
Current children cumulated memory: 289296 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 5748
/proc/meminfo: memFree=20274860/32770624 swapFree=67108860/67108860
[pid=5675] ppid=5672 vsize=339392 memory=289296 CPUtime=282.29 cores=1,3,5,7
/proc/5675/stat : 5675 (xcsp_picat) R 5672 5675 4275 0 -1 4202496 146050 0 0 0 28121 108 0 0 20 0 1 0 77960595 347537408 72324 33554432000 4194304 5849740 140721895709056 140721895707544 4212035 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 40460288 140721895716022 140721895716100 140721895716100 140721895718858 0
/proc/5675/statm: 84848 72324 768 405 0 81792 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 339392 KiB
Current children cumulated memory: 289296 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 5750
/proc/meminfo: memFree=20290424/32770624 swapFree=67108860/67108860
[pid=5675] ppid=5672 vsize=339392 memory=289296 CPUtime=342.28 cores=1,3,5,7
/proc/5675/stat : 5675 (xcsp_picat) R 5672 5675 4275 0 -1 4202496 155849 0 0 0 34092 136 0 0 20 0 1 0 77960595 347537408 72324 33554432000 4194304 5849740 140721895709056 140721895708056 5437616 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 40460288 140721895716022 140721895716100 140721895716100 140721895718858 0
/proc/5675/statm: 84848 72324 768 405 0 81792 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 339392 KiB
Current children cumulated memory: 289296 KiB
[startup+402.3 s]
/proc/loadavg: 2.49 2.15 2.09 3/190 5751
/proc/meminfo: memFree=20170220/32770624 swapFree=67108860/67108860
[pid=5675] ppid=5672 vsize=340400 memory=291768 CPUtime=402.29 cores=1,3,5,7
/proc/5675/stat : 5675 (xcsp_picat) R 5672 5675 4275 0 -1 4202496 167653 0 0 0 40066 163 0 0 20 0 1 0 77960595 348569600 72942 33554432000 4194304 5849740 140721895709056 140721895708056 5437629 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 40460288 140721895716022 140721895716100 140721895716100 140721895718858 0
/proc/5675/statm: 85100 72942 768 405 0 82044 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 340400 KiB
Current children cumulated memory: 291768 KiB
[startup+462.3 s]
/proc/loadavg: 2.18 2.12 2.08 3/190 5752
/proc/meminfo: memFree=20276828/32770624 swapFree=67108860/67108860
[pid=5675] ppid=5672 vsize=341900 memory=293268 CPUtime=462.28 cores=1,3,5,7
/proc/5675/stat : 5675 (xcsp_picat) R 5672 5675 4275 0 -1 4202496 182609 0 0 0 46033 195 0 0 20 0 1 0 77960595 350105600 73317 33554432000 4194304 5849740 140721895709056 140721895708056 5353851 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 40460288 140721895716022 140721895716100 140721895716100 140721895718858 0
/proc/5675/statm: 85475 73317 768 405 0 82419 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 341900 KiB
Current children cumulated memory: 293268 KiB
################
# More data... #
################
/proc/5675/statm: 85648 73490 768 405 0 82592 0
Current children cumulated CPU time: 1722.28 s
Current children cumulated vsize: 342592 KiB
Current children cumulated memory: 293960 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 5795
/proc/meminfo: memFree=20056880/32770624 swapFree=67108860/67108860
[pid=5675] ppid=5672 vsize=356628 memory=299808 CPUtime=1782.28 cores=1,3,5,7
/proc/5675/stat : 5675 (xcsp_picat) R 5672 5675 4275 0 -1 4202496 397994 0 0 0 177346 882 0 0 20 0 1 0 77960595 365187072 74952 33554432000 4194304 5849740 140721895709056 140721895707928 5313265 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 40460288 140721895716022 140721895716100 140721895716100 140721895718858 0
/proc/5675/statm: 89157 74952 768 405 0 86101 0
Current children cumulated CPU time: 1782.28 s
Current children cumulated vsize: 356628 KiB
Current children cumulated memory: 299808 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 5805
/proc/meminfo: memFree=20018040/32770624 swapFree=67108860/67108860
[pid=5675] ppid=5672 vsize=356628 memory=307304 CPUtime=1842.27 cores=1,3,5,7
/proc/5675/stat : 5675 (xcsp_picat) R 5672 5675 4275 0 -1 4202496 403618 0 0 0 183308 919 0 0 20 0 1 0 77960595 365187072 76826 33554432000 4194304 5849740 140721895709056 140721895707928 5313261 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 40460288 140721895716022 140721895716100 140721895716100 140721895718858 0
/proc/5675/statm: 89157 76826 768 405 0 86101 0
Current children cumulated CPU time: 1842.27 s
Current children cumulated vsize: 356628 KiB
Current children cumulated memory: 307304 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 5806
/proc/meminfo: memFree=20037640/32770624 swapFree=67108860/67108860
[pid=5675] ppid=5672 vsize=356628 memory=307304 CPUtime=1902.27 cores=1,3,5,7
/proc/5675/stat : 5675 (xcsp_picat) R 5672 5675 4275 0 -1 4202496 410252 0 0 0 189273 954 0 0 20 0 1 0 77960595 365187072 76826 33554432000 4194304 5849740 140721895709056 140721895708056 140589244714887 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 40460288 140721895716022 140721895716100 140721895716100 140721895718858 0
/proc/5675/statm: 89157 76826 768 405 0 86101 0
Current children cumulated CPU time: 1902.27 s
Current children cumulated vsize: 356628 KiB
Current children cumulated memory: 307304 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 5807
/proc/meminfo: memFree=20025300/32770624 swapFree=67108860/67108860
[pid=5675] ppid=5672 vsize=356628 memory=307304 CPUtime=1962.27 cores=1,3,5,7
/proc/5675/stat : 5675 (xcsp_picat) R 5672 5675 4275 0 -1 4202496 416421 0 0 0 195235 992 0 0 20 0 1 0 77960595 365187072 76826 33554432000 4194304 5849740 140721895709056 140721895707768 140589244714887 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 40460288 140721895716022 140721895716100 140721895716100 140721895718858 0
/proc/5675/statm: 89157 76826 768 405 0 86101 0
Current children cumulated CPU time: 1962.27 s
Current children cumulated vsize: 356628 KiB
Current children cumulated memory: 307304 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 5809
/proc/meminfo: memFree=19855364/32770624 swapFree=67108860/67108860
[pid=5675] ppid=5672 vsize=356628 memory=307304 CPUtime=2022.28 cores=1,3,5,7
/proc/5675/stat : 5675 (xcsp_picat) R 5672 5675 4275 0 -1 4202496 422811 0 0 0 201202 1026 0 0 20 0 1 0 77960595 365187072 76826 33554432000 4194304 5849740 140721895709056 140721895708056 140589244714887 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 40460288 140721895716022 140721895716100 140721895716100 140721895718858 0
/proc/5675/statm: 89157 76826 768 405 0 86101 0
Current children cumulated CPU time: 2022.28 s
Current children cumulated vsize: 356628 KiB
Current children cumulated memory: 307304 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 5810
/proc/meminfo: memFree=19996132/32770624 swapFree=67108860/67108860
[pid=5675] ppid=5672 vsize=356628 memory=307304 CPUtime=2082.27 cores=1,3,5,7
/proc/5675/stat : 5675 (xcsp_picat) R 5672 5675 4275 0 -1 4202496 428880 0 0 0 207155 1072 0 0 20 0 1 0 77960595 365187072 76826 33554432000 4194304 5849740 140721895709056 140721895707928 5375348 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 40460288 140721895716022 140721895716100 140721895716100 140721895718858 0
/proc/5675/statm: 89157 76826 768 405 0 86101 0
Current children cumulated CPU time: 2082.27 s
Current children cumulated vsize: 356628 KiB
Current children cumulated memory: 307304 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 5812
/proc/meminfo: memFree=20041492/32770624 swapFree=67108860/67108860
[pid=5675] ppid=5672 vsize=356628 memory=307304 CPUtime=2142.27 cores=1,3,5,7
/proc/5675/stat : 5675 (xcsp_picat) R 5672 5675 4275 0 -1 4202496 433754 0 0 0 213123 1104 0 0 20 0 1 0 77960595 365187072 76826 33554432000 4194304 5849740 140721895709056 140721895708056 5307557 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 40460288 140721895716022 140721895716100 140721895716100 140721895718858 0
/proc/5675/statm: 89157 76826 768 405 0 86101 0
Current children cumulated CPU time: 2142.27 s
Current children cumulated vsize: 356628 KiB
Current children cumulated memory: 307304 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 5814
/proc/meminfo: memFree=20120636/32770624 swapFree=67108860/67108860
[pid=5675] ppid=5672 vsize=365148 memory=316516 CPUtime=2202.28 cores=1,3,5,7
/proc/5675/stat : 5675 (xcsp_picat) R 5672 5675 4275 0 -1 4202496 437696 0 0 0 219091 1137 0 0 20 0 1 0 77960595 373911552 79129 33554432000 4194304 5849740 140721895709056 140721895707928 140589244714887 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 40460288 140721895716022 140721895716100 140721895716100 140721895718858 0
/proc/5675/statm: 91287 79129 768 405 0 88231 0
Current children cumulated CPU time: 2202.28 s
Current children cumulated vsize: 365148 KiB
Current children cumulated memory: 316516 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 5815
/proc/meminfo: memFree=20030948/32770624 swapFree=67108860/67108860
[pid=5675] ppid=5672 vsize=369972 memory=321340 CPUtime=2262.27 cores=1,3,5,7
/proc/5675/stat : 5675 (xcsp_picat) R 5672 5675 4275 0 -1 4202496 441849 0 0 0 225060 1167 0 0 20 0 1 0 77960595 378851328 80335 33554432000 4194304 5849740 140721895709056 140721895707544 4212035 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 40460288 140721895716022 140721895716100 140721895716100 140721895718858 0
/proc/5675/statm: 92493 80335 768 405 0 89437 0
Current children cumulated CPU time: 2262.27 s
Current children cumulated vsize: 369972 KiB
Current children cumulated memory: 321340 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 5817
/proc/meminfo: memFree=19992864/32770624 swapFree=67108860/67108860
[pid=5675] ppid=5672 vsize=369972 memory=321340 CPUtime=2322.27 cores=1,3,5,7
/proc/5675/stat : 5675 (xcsp_picat) R 5672 5675 4275 0 -1 4202496 445469 0 0 0 231014 1213 0 0 20 0 1 0 77960595 378851328 80335 33554432000 4194304 5849740 140721895709056 140721895708056 5437591 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 40460288 140721895716022 140721895716100 140721895716100 140721895718858 0
/proc/5675/statm: 92493 80335 768 405 0 89437 0
Current children cumulated CPU time: 2322.27 s
Current children cumulated vsize: 369972 KiB
Current children cumulated memory: 321340 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 5818
/proc/meminfo: memFree=19950896/32770624 swapFree=67108860/67108860
[pid=5675] ppid=5672 vsize=369972 memory=321340 CPUtime=2382.27 cores=1,3,5,7
/proc/5675/stat : 5675 (xcsp_picat) R 5672 5675 4275 0 -1 4202496 448958 0 0 0 236975 1252 0 0 20 0 1 0 77960595 378851328 80335 33554432000 4194304 5849740 140721895709056 140721895708056 5307216 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 40460288 140721895716022 140721895716100 140721895716100 140721895718858 0
/proc/5675/statm: 92493 80335 768 405 0 89437 0
Current children cumulated CPU time: 2382.27 s
Current children cumulated vsize: 369972 KiB
Current children cumulated memory: 321340 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 5826
/proc/meminfo: memFree=19939432/32770624 swapFree=67108860/67108860
[pid=5675] ppid=5672 vsize=369972 memory=321340 CPUtime=2442.27 cores=1,3,5,7
/proc/5675/stat : 5675 (xcsp_picat) R 5672 5675 4275 0 -1 4202496 450030 0 0 0 242939 1288 0 0 20 0 1 0 77960595 378851328 80335 33554432000 4194304 5849740 140721895709056 140721895707928 5359115 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 40460288 140721895716022 140721895716100 140721895716100 140721895718858 0
/proc/5675/statm: 92493 80335 768 405 0 89437 0
Current children cumulated CPU time: 2442.27 s
Current children cumulated vsize: 369972 KiB
Current children cumulated memory: 321340 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 5850
/proc/meminfo: memFree=19937060/32770624 swapFree=67108860/67108860
[pid=5675] ppid=5672 vsize=369972 memory=321340 CPUtime=2502.28 cores=1,3,5,7
/proc/5675/stat : 5675 (xcsp_picat) R 5672 5675 4275 0 -1 4202496 454130 0 0 0 248905 1323 0 0 20 0 1 0 77960595 378851328 80335 33554432000 4194304 5849740 140721895709056 140721895707928 5312867 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 40460288 140721895716022 140721895716100 140721895716100 140721895718858 0
/proc/5675/statm: 92493 80335 768 405 0 89437 0
Current children cumulated CPU time: 2502.28 s
Current children cumulated vsize: 369972 KiB
Current children cumulated memory: 321340 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/191 5850
/proc/meminfo: memFree=19863648/32770624 swapFree=67108860/67108860
[pid=5675] ppid=5672 vsize=391316 memory=342452 CPUtime=2519.98 cores=1,3,5,7
/proc/5675/stat : 5675 (xcsp_picat) R 5672 5675 4275 0 -1 4202496 456615 0 0 0 250664 1334 0 0 20 0 1 0 77960595 400707584 85613 33554432000 4194304 5849740 140721895709056 140721895707928 5312430 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 40460288 140721895716022 140721895716100 140721895716100 140721895718858 0
/proc/5675/statm: 97829 85613 768 405 0 94773 0
Current children cumulated CPU time: 2519.98 s
Current children cumulated vsize: 391316 KiB
Current children cumulated memory: 342452 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 5675 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2506.65 s, system=13.346 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.01
CPU time (s): 2519.99
CPU user time (s): 2506.65
CPU system time (s): 13.346
CPU usage (%): 99.9993
Max. virtual memory (cumulated for all children) (KiB): 511936
Max. memory (cumulated for all children) (KiB): 408744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2506.65
system time used= 13.346
maximum resident set size= 408744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 456615
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= 27
involuntary context switches= 766
# summary of solver processes directly reported to runsolver:
# pid: 5675
# total CPU time (s): 2519.99
# total CPU user time (s): 2506.65
# total CPU system time (s): 13.346
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.1969 second user time and 18.5212 second system time
The end