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 (15035 MiB free)
memory of node 1: 16384 MiB (11789 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293401-1532316896/watcher-4293401-1532316896 -o /tmp/evaluation-result-4293401-1532316896/solver-4293401-1532316896 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532294350-7318 --watchdog 2580 xcsp_picat HOME/instance-4293401-1532316896.xml
running on 4 cores: 0,2,4,6
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=10210, runsolver pid=10207
[startup+0.10016 s]*
/proc/loadavg: 2.02 2.08 2.07 3/188 10211
/proc/meminfo: memFree=27449920/32770624 swapFree=67108860/67108860
[pid=10210] ppid=10207 vsize=130696 memory=21656 CPUtime=0.09 cores=0,2,4,6
/proc/10210/stat : 10210 (xcsp_picat) R 10207 10210 7287 0 -1 4202496 3205 0 0 0 9 0 0 0 20 0 1 0 49252758 133832704 5414 33554432000 4194304 5849740 140734664198176 140734664196424 5408717 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 18731008 140734664201398 140734664201476 140734664201476 140734664204234 0
/proc/10210/statm: 32674 5414 690 405 0 29618 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 130696 KiB
Current children cumulated memory: 21656 KiB
[startup+0.209585 s]*
/proc/loadavg: 2.02 2.08 2.07 3/188 10211
/proc/meminfo: memFree=27449532/32770624 swapFree=67108860/67108860
[pid=10210] ppid=10207 vsize=130696 memory=21656 CPUtime=0.2 cores=0,2,4,6
/proc/10210/stat : 10210 (xcsp_picat) R 10207 10210 7287 0 -1 4202496 3213 0 0 0 20 0 0 0 20 0 1 0 49252758 133832704 5414 33554432000 4194304 5849740 140734664198176 140734664196904 5361792 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 18731008 140734664201398 140734664201476 140734664201476 140734664204234 0
/proc/10210/statm: 32674 5414 690 405 0 29618 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 130696 KiB
Current children cumulated memory: 21656 KiB
[startup+0.309002 s]*
/proc/loadavg: 2.02 2.08 2.07 3/188 10211
/proc/meminfo: memFree=27449532/32770624 swapFree=67108860/67108860
[pid=10210] ppid=10207 vsize=130696 memory=21656 CPUtime=0.3 cores=0,2,4,6
/proc/10210/stat : 10210 (xcsp_picat) R 10207 10210 7287 0 -1 4202496 3213 0 0 0 30 0 0 0 20 0 1 0 49252758 133832704 5414 33554432000 4194304 5849740 140734664198176 140734664196904 5355906 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 18731008 140734664201398 140734664201476 140734664201476 140734664204234 0
/proc/10210/statm: 32674 5414 690 405 0 29618 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 130696 KiB
Current children cumulated memory: 21656 KiB
[startup+0.700234 s]
/proc/loadavg: 2.02 2.08 2.07 3/188 10211
/proc/meminfo: memFree=27448528/32770624 swapFree=67108860/67108860
[pid=10210] ppid=10207 vsize=136716 memory=26628 CPUtime=0.68 cores=0,2,4,6
/proc/10210/stat : 10210 (xcsp_picat) R 10207 10210 7287 0 -1 4202496 4997 0 0 0 68 0 0 0 20 0 1 0 49252758 139997184 6657 33554432000 4194304 5849740 140734664198176 140734664197048 4212500 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 18731008 140734664201398 140734664201476 140734664201476 140734664204234 0
/proc/10210/statm: 34179 6657 707 405 0 31123 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 136716 KiB
Current children cumulated memory: 26628 KiB
[startup+1.50025 s]
/proc/loadavg: 1.94 2.06 2.06 3/188 10211
/proc/meminfo: memFree=27445552/32770624 swapFree=67108860/67108860
[pid=10210] ppid=10207 vsize=136716 memory=26628 CPUtime=1.48 cores=0,2,4,6
/proc/10210/stat : 10210 (xcsp_picat) R 10207 10210 7287 0 -1 4202496 4997 0 0 0 148 0 0 0 20 0 1 0 49252758 139997184 6657 33554432000 4194304 5849740 140734664198176 140734664196424 4212046 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 18731008 140734664201398 140734664201476 140734664201476 140734664204234 0
/proc/10210/statm: 34179 6657 707 405 0 31123 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 136716 KiB
Current children cumulated memory: 26628 KiB
[startup+3.10911 s]
/proc/loadavg: 1.94 2.06 2.06 3/188 10211
/proc/meminfo: memFree=27445564/32770624 swapFree=67108860/67108860
[pid=10210] ppid=10207 vsize=136716 memory=26764 CPUtime=3.09 cores=0,2,4,6
/proc/10210/stat : 10210 (xcsp_picat) R 10207 10210 7287 0 -1 4202496 5697 0 0 0 309 0 0 0 20 0 1 0 49252758 139997184 6691 33554432000 4194304 5849740 140734664198176 140734664196424 4212035 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 18731008 140734664201398 140734664201476 140734664201476 140734664204234 0
/proc/10210/statm: 34179 6691 707 405 0 31123 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 136716 KiB
Current children cumulated memory: 26764 KiB
[startup+6.30026 s]
/proc/loadavg: 1.94 2.06 2.06 3/188 10211
/proc/meminfo: memFree=27444196/32770624 swapFree=67108860/67108860
[pid=10210] ppid=10207 vsize=136716 memory=27544 CPUtime=6.28 cores=0,2,4,6
/proc/10210/stat : 10210 (xcsp_picat) R 10207 10210 7287 0 -1 4202496 6405 0 0 0 628 0 0 0 20 0 1 0 49252758 139997184 6886 33554432000 4194304 5849740 140734664198176 140734664196424 4211671 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 18731008 140734664201398 140734664201476 140734664201476 140734664204234 0
/proc/10210/statm: 34179 6886 707 405 0 31123 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 136716 KiB
Current children cumulated memory: 27544 KiB
[startup+12.7003 s]
/proc/loadavg: 1.95 2.06 2.06 3/187 10211
/proc/meminfo: memFree=27444452/32770624 swapFree=67108860/67108860
[pid=10210] ppid=10207 vsize=136716 memory=27544 CPUtime=12.68 cores=0,2,4,6
/proc/10210/stat : 10210 (xcsp_picat) R 10207 10210 7287 0 -1 4202496 6661 0 0 0 1268 0 0 0 20 0 1 0 49252758 139997184 6886 33554432000 4194304 5849740 140734664198176 140734664196424 4211681 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 18731008 140734664201398 140734664201476 140734664201476 140734664204234 0
/proc/10210/statm: 34179 6886 707 405 0 31123 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 136716 KiB
Current children cumulated memory: 27544 KiB
[startup+25.5003 s]
/proc/loadavg: 1.95 2.06 2.06 3/187 10211
/proc/meminfo: memFree=27440664/32770624 swapFree=67108860/67108860
[pid=10210] ppid=10207 vsize=136716 memory=31656 CPUtime=25.48 cores=0,2,4,6
/proc/10210/stat : 10210 (xcsp_picat) R 10207 10210 7287 0 -1 4202496 7742 0 0 0 2548 0 0 0 20 0 1 0 49252758 139997184 7914 33554432000 4194304 5849740 140734664198176 140734664196424 140221065604999 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 18731008 140734664201398 140734664201476 140734664201476 140734664204234 0
/proc/10210/statm: 34179 7914 708 405 0 31123 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 136716 KiB
Current children cumulated memory: 31656 KiB
[startup+51.1094 s]
/proc/loadavg: 1.97 2.05 2.06 3/187 10211
/proc/meminfo: memFree=27423532/32770624 swapFree=67108860/67108860
[pid=10210] ppid=10207 vsize=152252 memory=49028 CPUtime=51.09 cores=0,2,4,6
/proc/10210/stat : 10210 (xcsp_picat) R 10207 10210 7287 0 -1 4202496 19709 0 0 0 5082 27 0 0 20 0 1 0 49252758 155906048 12257 33554432000 4194304 5849740 140734664198176 140734664196664 140221065604999 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 18731008 140734664201398 140734664201476 140734664201476 140734664204234 0
/proc/10210/statm: 38063 12257 712 405 0 35007 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 152252 KiB
Current children cumulated memory: 49028 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 2.04 2.05 3/187 10212
/proc/meminfo: memFree=27406916/32770624 swapFree=67108860/67108860
[pid=10210] ppid=10207 vsize=169148 memory=65932 CPUtime=102.28 cores=0,2,4,6
/proc/10210/stat : 10210 (xcsp_picat) R 10207 10210 7287 0 -1 4202496 61352 0 0 0 10146 82 0 0 20 0 1 0 49252758 173207552 16483 33554432000 4194304 5849740 140734664198176 140734664197176 140221065604999 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 18731008 140734664201398 140734664201476 140734664201476 140734664204234 0
/proc/10210/statm: 42287 16483 712 405 0 39231 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 169148 KiB
Current children cumulated memory: 65932 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 10213
/proc/meminfo: memFree=27412108/32770624 swapFree=67108860/67108860
[pid=10210] ppid=10207 vsize=170948 memory=67628 CPUtime=162.28 cores=0,2,4,6
/proc/10210/stat : 10210 (xcsp_picat) R 10207 10210 7287 0 -1 4202496 121152 0 0 0 16083 145 0 0 20 0 1 0 49252758 175050752 16907 33554432000 4194304 5849740 140734664198176 140734664197336 140221065604999 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 18731008 140734664201398 140734664201476 140734664201476 140734664204234 0
/proc/10210/statm: 42737 16907 712 405 0 39681 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 170948 KiB
Current children cumulated memory: 67628 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 10214
/proc/meminfo: memFree=27415608/32770624 swapFree=67108860/67108860
[pid=10210] ppid=10207 vsize=176276 memory=73108 CPUtime=222.27 cores=0,2,4,6
/proc/10210/stat : 10210 (xcsp_picat) R 10207 10210 7287 0 -1 4202496 176080 0 0 0 22026 201 0 0 20 0 1 0 49252758 180506624 18277 33554432000 4194304 5849740 140734664198176 140734664197336 140221065604999 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 18731008 140734664201398 140734664201476 140734664201476 140734664204234 0
/proc/10210/statm: 44069 18277 712 405 0 41013 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 176276 KiB
Current children cumulated memory: 73108 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 10215
/proc/meminfo: memFree=27389448/32770624 swapFree=67108860/67108860
[pid=10210] ppid=10207 vsize=185656 memory=82508 CPUtime=282.27 cores=0,2,4,6
/proc/10210/stat : 10210 (xcsp_picat) R 10207 10210 7287 0 -1 4202496 221052 0 0 0 27975 252 0 0 20 0 1 0 49252758 190111744 20627 33554432000 4194304 5849740 140734664198176 140734664197176 140221065604999 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 18731008 140734664201398 140734664201476 140734664201476 140734664204234 0
/proc/10210/statm: 46414 20627 712 405 0 43358 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 185656 KiB
Current children cumulated memory: 82508 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 10224
/proc/meminfo: memFree=27396928/32770624 swapFree=67108860/67108860
[pid=10210] ppid=10207 vsize=176748 memory=73504 CPUtime=342.27 cores=0,2,4,6
/proc/10210/stat : 10210 (xcsp_picat) R 10207 10210 7287 0 -1 4202496 259301 0 0 0 33927 300 0 0 20 0 1 0 49252758 180989952 18376 33554432000 4194304 5849740 140734664198176 140734664197176 140221065193246 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 18731008 140734664201398 140734664201476 140734664201476 140734664204234 0
/proc/10210/statm: 44187 18376 712 405 0 41131 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 176748 KiB
Current children cumulated memory: 73504 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 10225
/proc/meminfo: memFree=27388796/32770624 swapFree=67108860/67108860
[pid=10210] ppid=10207 vsize=185356 memory=82228 CPUtime=402.26 cores=0,2,4,6
/proc/10210/stat : 10210 (xcsp_picat) R 10207 10210 7287 0 -1 4202496 281459 0 0 0 39893 333 0 0 20 0 1 0 49252758 189804544 20557 33554432000 4194304 5849740 140734664198176 140734664197176 140221065604999 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 18731008 140734664201398 140734664201476 140734664201476 140734664204234 0
/proc/10210/statm: 46339 20557 712 405 0 43283 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 185356 KiB
Current children cumulated memory: 82228 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 10226
/proc/meminfo: memFree=27321744/32770624 swapFree=67108860/67108860
[pid=10210] ppid=10207 vsize=256616 memory=149484 CPUtime=462.26 cores=0,2,4,6
/proc/10210/stat : 10210 (xcsp_picat) R 10207 10210 7287 0 -1 4202496 302588 0 0 0 45863 363 0 0 20 0 1 0 49252758 262774784 37371 33554432000 4194304 5849740 140734664198176 140734664197176 5438196 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 18731008 140734664201398 140734664201476 140734664201476 140734664204234 0
/proc/10210/statm: 64154 37371 712 405 0 61098 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 256616 KiB
Current children cumulated memory: 149484 KiB
################
# More data... #
################
/proc/10210/statm: 98836 73094 712 405 0 95780 0
Current children cumulated CPU time: 1722.11 s
Current children cumulated vsize: 395344 KiB
Current children cumulated memory: 292376 KiB
[startup+1782.3 s]
/proc/loadavg: 2.02 2.08 2.06 3/189 10592
/proc/meminfo: memFree=27173772/32770624 swapFree=67108860/67108860
[pid=10210] ppid=10207 vsize=421668 memory=318700 CPUtime=1782.1 cores=0,2,4,6
/proc/10210/stat : 10210 (xcsp_picat) R 10207 10210 7287 0 -1 4202496 838974 0 0 0 177428 782 0 0 20 0 1 0 49252758 431788032 79675 33554432000 4194304 5849740 140734664198176 140734664197336 5312840 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 18731008 140734664201398 140734664201476 140734664201476 140734664204234 0
/proc/10210/statm: 105417 79675 712 405 0 102361 0
Current children cumulated CPU time: 1782.1 s
Current children cumulated vsize: 421668 KiB
Current children cumulated memory: 318700 KiB
[startup+1842.3 s]
/proc/loadavg: 2.01 2.06 2.05 3/187 10593
/proc/meminfo: memFree=27099148/32770624 swapFree=67108860/67108860
[pid=10210] ppid=10207 vsize=497280 memory=394312 CPUtime=1842.09 cores=0,2,4,6
/proc/10210/stat : 10210 (xcsp_picat) R 10207 10210 7287 0 -1 4202496 847165 0 0 0 183413 796 0 0 20 0 1 0 49252758 509214720 98578 33554432000 4194304 5849740 140734664198176 140734664197336 5437698 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 18731008 140734664201398 140734664201476 140734664201476 140734664204234 0
/proc/10210/statm: 124320 98578 712 405 0 121264 0
Current children cumulated CPU time: 1842.09 s
Current children cumulated vsize: 497280 KiB
Current children cumulated memory: 394312 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/187 10654
/proc/meminfo: memFree=27103804/32770624 swapFree=67108860/67108860
[pid=10210] ppid=10207 vsize=497280 memory=394312 CPUtime=1902.09 cores=0,2,4,6
/proc/10210/stat : 10210 (xcsp_picat) R 10207 10210 7287 0 -1 4202496 853108 0 0 0 189403 806 0 0 20 0 1 0 49252758 509214720 98578 33554432000 4194304 5849740 140734664198176 140734664197048 5312778 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 18731008 140734664201398 140734664201476 140734664201476 140734664204234 0
/proc/10210/statm: 124320 98578 712 405 0 121264 0
Current children cumulated CPU time: 1902.09 s
Current children cumulated vsize: 497280 KiB
Current children cumulated memory: 394312 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 10655
/proc/meminfo: memFree=27070116/32770624 swapFree=67108860/67108860
[pid=10210] ppid=10207 vsize=539312 memory=436288 CPUtime=1962.09 cores=0,2,4,6
/proc/10210/stat : 10210 (xcsp_picat) R 10207 10210 7287 0 -1 4202496 859736 0 0 0 195384 825 0 0 20 0 1 0 49252758 552255488 109072 33554432000 4194304 5849740 140734664198176 140734664197176 5438192 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 18731008 140734664201398 140734664201476 140734664201476 140734664204234 0
/proc/10210/statm: 134828 109072 712 405 0 131772 0
Current children cumulated CPU time: 1962.09 s
Current children cumulated vsize: 539312 KiB
Current children cumulated memory: 436288 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 10656
/proc/meminfo: memFree=27070156/32770624 swapFree=67108860/67108860
[pid=10210] ppid=10207 vsize=539312 memory=436344 CPUtime=2022.08 cores=0,2,4,6
/proc/10210/stat : 10210 (xcsp_picat) R 10207 10210 7287 0 -1 4202496 865440 0 0 0 201371 837 0 0 20 0 1 0 49252758 552255488 109086 33554432000 4194304 5849740 140734664198176 140734664197048 140221065604999 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 18731008 140734664201398 140734664201476 140734664201476 140734664204234 0
/proc/10210/statm: 134828 109086 712 405 0 131772 0
Current children cumulated CPU time: 2022.08 s
Current children cumulated vsize: 539312 KiB
Current children cumulated memory: 436344 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 10657
/proc/meminfo: memFree=27068820/32770624 swapFree=67108860/67108860
[pid=10210] ppid=10207 vsize=539312 memory=436344 CPUtime=2082.08 cores=0,2,4,6
/proc/10210/stat : 10210 (xcsp_picat) R 10207 10210 7287 0 -1 4202496 870802 0 0 0 207359 849 0 0 20 0 1 0 49252758 552255488 109086 33554432000 4194304 5849740 140734664198176 140734664197176 5437698 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 18731008 140734664201398 140734664201476 140734664201476 140734664204234 0
/proc/10210/statm: 134828 109086 712 405 0 131772 0
Current children cumulated CPU time: 2082.08 s
Current children cumulated vsize: 539312 KiB
Current children cumulated memory: 436344 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 10665
/proc/meminfo: memFree=26794000/32770624 swapFree=67108860/67108860
[pid=10210] ppid=10207 vsize=812676 memory=709580 CPUtime=2142.08 cores=0,2,4,6
/proc/10210/stat : 10210 (xcsp_picat) R 10207 10210 7287 0 -1 4202496 879881 0 0 0 213337 871 0 0 20 0 1 0 49252758 832180224 177395 33554432000 4194304 5849740 140734664198176 140734664197176 5335529 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 18731008 140734664201398 140734664201476 140734664201476 140734664204234 0
/proc/10210/statm: 203169 177395 712 405 0 200113 0
Current children cumulated CPU time: 2142.08 s
Current children cumulated vsize: 812676 KiB
Current children cumulated memory: 709580 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 10666
/proc/meminfo: memFree=26782224/32770624 swapFree=67108860/67108860
[pid=10210] ppid=10207 vsize=812676 memory=709580 CPUtime=2202.07 cores=0,2,4,6
/proc/10210/stat : 10210 (xcsp_picat) R 10207 10210 7287 0 -1 4202496 910110 0 0 0 219320 887 0 0 20 0 1 0 49252758 832180224 177395 33554432000 4194304 5849740 140734664198176 140734664197176 140221065604999 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 18731008 140734664201398 140734664201476 140734664201476 140734664204234 0
/proc/10210/statm: 203169 177395 712 405 0 200113 0
Current children cumulated CPU time: 2202.07 s
Current children cumulated vsize: 812676 KiB
Current children cumulated memory: 709580 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10667
/proc/meminfo: memFree=26745408/32770624 swapFree=67108860/67108860
[pid=10210] ppid=10207 vsize=849464 memory=746368 CPUtime=2262.05 cores=0,2,4,6
/proc/10210/stat : 10210 (xcsp_picat) R 10207 10210 7287 0 -1 4202496 935264 0 0 0 225306 899 0 0 20 0 1 0 49252758 869851136 186592 33554432000 4194304 5849740 140734664198176 140734664197176 140221065604999 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 18731008 140734664201398 140734664201476 140734664201476 140734664204234 0
/proc/10210/statm: 212366 186592 712 405 0 209310 0
Current children cumulated CPU time: 2262.05 s
Current children cumulated vsize: 849464 KiB
Current children cumulated memory: 746368 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10668
/proc/meminfo: memFree=26744568/32770624 swapFree=67108860/67108860
[pid=10210] ppid=10207 vsize=849464 memory=746368 CPUtime=2322.04 cores=0,2,4,6
/proc/10210/stat : 10210 (xcsp_picat) R 10207 10210 7287 0 -1 4202496 948228 0 0 0 231295 909 0 0 20 0 1 0 49252758 869851136 186592 33554432000 4194304 5849740 140734664198176 140734664197176 5438257 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 18731008 140734664201398 140734664201476 140734664201476 140734664204234 0
/proc/10210/statm: 212366 186592 712 405 0 209310 0
Current children cumulated CPU time: 2322.04 s
Current children cumulated vsize: 849464 KiB
Current children cumulated memory: 746368 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10669
/proc/meminfo: memFree=26602716/32770624 swapFree=67108860/67108860
[pid=10210] ppid=10207 vsize=992900 memory=887728 CPUtime=2382.02 cores=0,2,4,6
/proc/10210/stat : 10210 (xcsp_picat) R 10207 10210 7287 0 -1 4202496 992862 0 0 0 237279 923 0 0 20 0 1 0 49252758 1016729600 221932 33554432000 4194304 5849740 140734664198176 140734664197336 5437698 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 18731008 140734664201398 140734664201476 140734664201476 140734664204234 0
/proc/10210/statm: 248225 221932 712 405 0 245169 0
Current children cumulated CPU time: 2382.02 s
Current children cumulated vsize: 992900 KiB
Current children cumulated memory: 887728 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10670
/proc/meminfo: memFree=26602516/32770624 swapFree=67108860/67108860
[pid=10210] ppid=10207 vsize=992900 memory=887728 CPUtime=2442.01 cores=0,2,4,6
/proc/10210/stat : 10210 (xcsp_picat) R 10207 10210 7287 0 -1 4202496 1017289 0 0 0 243272 929 0 0 20 0 1 0 49252758 1016729600 221932 33554432000 4194304 5849740 140734664198176 140734664197176 5312592 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 18731008 140734664201398 140734664201476 140734664201476 140734664204234 0
/proc/10210/statm: 248225 221932 712 405 0 245169 0
Current children cumulated CPU time: 2442.01 s
Current children cumulated vsize: 992900 KiB
Current children cumulated memory: 887728 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10671
/proc/meminfo: memFree=26602520/32770624 swapFree=67108860/67108860
[pid=10210] ppid=10207 vsize=992900 memory=887728 CPUtime=2502.01 cores=0,2,4,6
/proc/10210/stat : 10210 (xcsp_picat) R 10207 10210 7287 0 -1 4202496 1057146 0 0 0 249265 936 0 0 20 0 1 0 49252758 1016729600 221932 33554432000 4194304 5849740 140734664198176 140734664197176 5335608 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 18731008 140734664201398 140734664201476 140734664201476 140734664204234 0
/proc/10210/statm: 248225 221932 712 405 0 245169 0
Current children cumulated CPU time: 2502.01 s
Current children cumulated vsize: 992900 KiB
Current children cumulated memory: 887728 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 10671
/proc/meminfo: memFree=26600088/32770624 swapFree=67108860/67108860
[pid=10210] ppid=10207 vsize=992900 memory=887728 CPUtime=2519.72 cores=0,2,4,6
/proc/10210/stat : 10210 (xcsp_picat) R 10207 10210 7287 0 -1 4202496 1073309 0 0 0 251033 939 0 0 20 0 1 0 49252758 1016729600 221932 33554432000 4194304 5849740 140734664198176 140734664197336 5438245 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 18731008 140734664201398 140734664201476 140734664201476 140734664204234 0
/proc/10210/statm: 248225 221932 712 405 0 245169 0
Current children cumulated CPU time: 2519.72 s
Current children cumulated vsize: 992900 KiB
Current children cumulated memory: 887728 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 10210 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2510.34 s, system=9.40355 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.74
CPU user time (s): 2510.34
CPU system time (s): 9.40355
CPU usage (%): 99.9889
Max. virtual memory (cumulated for all children) (KiB): 992900
Max. memory (cumulated for all children) (KiB): 887728
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2510.34
system time used= 9.40356
maximum resident set size= 887728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1073309
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= 220
involuntary context switches= 842
# summary of solver processes directly reported to runsolver:
# pid: 10210
# total CPU time (s): 2519.74
# total CPU user time (s): 2510.34
# total CPU system time (s): 9.40355
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.78488 second user time and 18.536 second system time
The end