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 (10306 MiB free)
memory of node 1: 16384 MiB (6240 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303333-1534028937/watcher-4303333-1534028937 -o /tmp/evaluation-result-4303333-1534028937/solver-4303333-1534028937 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1534028937-25615 --watchdog 2580 xcsp_picat HOME/instance-4303333-1534028937.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=25644, runsolver pid=25637
[startup+0.100108 s]*
/proc/loadavg: 1.00 1.01 1.14 4/187 25646
/proc/meminfo: memFree=16917768/32770624 swapFree=67108844/67108860
[pid=25644] ppid=25637 vsize=2033704 memory=16148 CPUtime=0.07 cores=0,2,4,6
/proc/25644/stat : 25644 (xcsp_picat) R 25637 25644 25584 0 -1 4202496 1628 0 1 0 7 0 0 0 20 0 1 0 220456864 2082512896 4037 33554432000 4194304 5849708 140726461150816 140726461150040 140706192777095 0 0 4096 8389634 0 0 0 17 0 0 0 3 0 0 7949816 9394900 28037120 140726461154486 140726461154564 140726461154564 140726461157322 0
/proc/25644/statm: 508426 4037 688 405 0 505371 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 2033704 KiB
Current children cumulated memory: 16148 KiB
[startup+0.209443 s]*
/proc/loadavg: 1.00 1.01 1.14 3/187 25646
/proc/meminfo: memFree=16914812/32770624 swapFree=67108844/67108860
[pid=25644] ppid=25637 vsize=2033864 memory=16148 CPUtime=0.17 cores=0,2,4,6
/proc/25644/stat : 25644 (xcsp_picat) R 25637 25644 25584 0 -1 4202496 1660 0 1 0 17 0 0 0 20 0 1 0 220456864 2082676736 4037 33554432000 4194304 5849708 140726461150816 140726461150040 140706192777095 0 0 4096 8389634 0 0 0 17 0 0 0 3 0 0 7949816 9394900 28037120 140726461154486 140726461154564 140726461154564 140726461157322 0
/proc/25644/statm: 508466 4037 688 405 0 505411 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 2033864 KiB
Current children cumulated memory: 16148 KiB
[startup+0.308875 s]*
/proc/loadavg: 1.00 1.01 1.14 3/187 25646
/proc/meminfo: memFree=16914812/32770624 swapFree=67108844/67108860
[pid=25644] ppid=25637 vsize=2033996 memory=16408 CPUtime=0.27 cores=0,2,4,6
/proc/25644/stat : 25644 (xcsp_picat) R 25637 25644 25584 0 -1 4202496 1709 0 1 0 27 0 0 0 20 0 1 0 220456864 2082811904 4102 33554432000 4194304 5849708 140726461150816 140726461150040 140706192777095 0 0 4096 8389634 0 0 0 17 0 0 0 3 0 0 7949816 9394900 28037120 140726461154486 140726461154564 140726461154564 140726461157322 0
/proc/25644/statm: 508499 4102 688 405 0 505444 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 2033996 KiB
Current children cumulated memory: 16408 KiB
[startup+0.700227 s]
/proc/loadavg: 1.00 1.01 1.14 3/187 25646
/proc/meminfo: memFree=16912208/32770624 swapFree=67108844/67108860
[pid=25644] ppid=25637 vsize=2034320 memory=16672 CPUtime=0.66 cores=0,2,4,6
/proc/25644/stat : 25644 (xcsp_picat) R 25637 25644 25584 0 -1 4202496 1807 0 1 0 65 1 0 0 20 0 1 0 220456864 2083143680 4168 33554432000 4194304 5849708 140726461150816 140726461150040 5471682 0 0 4096 8389634 0 0 0 17 0 0 0 3 0 0 7949816 9394900 28037120 140726461154486 140726461154564 140726461154564 140726461157322 0
/proc/25644/statm: 508580 4168 689 405 0 505525 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 2034320 KiB
Current children cumulated memory: 16672 KiB
[startup+1.50022 s]
/proc/loadavg: 1.00 1.01 1.14 4/187 25646
/proc/meminfo: memFree=16911456/32770624 swapFree=67108844/67108860
[pid=25644] ppid=25637 vsize=2034832 memory=17056 CPUtime=1.46 cores=0,2,4,6
/proc/25644/stat : 25644 (xcsp_picat) R 25637 25644 25584 0 -1 4202496 1935 0 1 0 145 1 0 0 20 0 1 0 220456864 2083667968 4264 33554432000 4194304 5849708 140726461150816 140726461149896 140706192777095 0 0 4096 8389634 0 0 0 17 0 0 0 3 0 0 7949816 9394900 28037120 140726461154486 140726461154564 140726461154564 140726461157322 0
/proc/25644/statm: 508708 4264 689 405 0 505653 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 2034832 KiB
Current children cumulated memory: 17056 KiB
[startup+3.10918 s]
/proc/loadavg: 1.08 1.03 1.15 4/187 25646
/proc/meminfo: memFree=16907548/32770624 swapFree=67108844/67108860
[pid=25644] ppid=25637 vsize=2038844 memory=21424 CPUtime=3.07 cores=0,2,4,6
/proc/25644/stat : 25644 (xcsp_picat) R 25637 25644 25584 0 -1 4202496 3669 0 1 0 305 2 0 0 20 0 1 0 220456864 2087776256 5356 33554432000 4194304 5849708 140726461150816 140726461149304 4211759 0 0 4096 8389634 0 0 0 17 0 0 0 3 0 0 7949816 9394900 28037120 140726461154486 140726461154564 140726461154564 140726461157322 0
/proc/25644/statm: 509711 5356 714 405 0 506656 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 2038844 KiB
Current children cumulated memory: 21424 KiB
[startup+6.30022 s]
/proc/loadavg: 1.08 1.03 1.15 3/187 25707
/proc/meminfo: memFree=16906796/32770624 swapFree=67108844/67108860
[pid=25644] ppid=25637 vsize=2038688 memory=21248 CPUtime=6.26 cores=0,2,4,6
/proc/25644/stat : 25644 (xcsp_picat) R 25637 25644 25584 0 -1 4202496 5512 0 1 0 620 6 0 0 20 0 1 0 220456864 2087616512 5312 33554432000 4194304 5849708 140726461150816 140726461149816 5413320 0 0 4096 8389634 0 0 0 17 0 0 0 3 0 0 7949816 9394900 28037120 140726461154486 140726461154564 140726461154564 140726461157322 0
/proc/25644/statm: 509672 5312 722 405 0 506617 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2038688 KiB
Current children cumulated memory: 21248 KiB
[startup+12.7002 s]
/proc/loadavg: 1.16 1.05 1.15 3/187 25707
/proc/meminfo: memFree=16900824/32770624 swapFree=67108844/67108860
[pid=25644] ppid=25637 vsize=2043684 memory=26164 CPUtime=12.65 cores=0,2,4,6
/proc/25644/stat : 25644 (xcsp_picat) R 25637 25644 25584 0 -1 4202496 11294 0 1 0 1251 14 0 0 20 0 1 0 220456864 2092732416 6541 33554432000 4194304 5849708 140726461150816 140726461149816 140706192777095 0 0 4096 8389634 0 0 0 17 0 0 0 3 0 0 7949816 9394900 28037120 140726461154486 140726461154564 140726461154564 140726461157322 0
/proc/25644/statm: 510921 6541 722 405 0 507866 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2043684 KiB
Current children cumulated memory: 26164 KiB
[startup+25.5003 s]
/proc/loadavg: 1.34 1.09 1.16 3/187 25707
/proc/meminfo: memFree=16900128/32770624 swapFree=67108844/67108860
[pid=25644] ppid=25637 vsize=2043712 memory=26016 CPUtime=25.45 cores=0,2,4,6
/proc/25644/stat : 25644 (xcsp_picat) R 25637 25644 25584 0 -1 4202496 25018 0 1 0 2517 28 0 0 20 0 1 0 220456864 2092761088 6504 33554432000 4194304 5849708 140726461150816 140726461149816 140706192777095 0 0 4096 8389634 0 0 0 17 0 0 0 3 0 0 7949816 9394900 28037120 140726461154486 140726461154564 140726461154564 140726461157322 0
/proc/25644/statm: 510928 6504 722 405 0 507873 0
Current children cumulated CPU time: 25.45 s
Current children cumulated vsize: 2043712 KiB
Current children cumulated memory: 26016 KiB
[startup+51.1096 s]
/proc/loadavg: 1.57 1.17 1.19 3/187 25707
/proc/meminfo: memFree=16887260/32770624 swapFree=67108844/67108860
[pid=25644] ppid=25637 vsize=2049256 memory=33908 CPUtime=51.06 cores=0,2,4,6
/proc/25644/stat : 25644 (xcsp_picat) R 25637 25644 25584 0 -1 4202496 43320 0 1 0 5055 51 0 0 20 0 1 0 220456864 2098438144 8477 33554432000 4194304 5849708 140726461150816 140726461149816 5356140 0 0 4096 8389634 0 0 0 17 4 0 0 3 0 0 7949816 9394900 28037120 140726461154486 140726461154564 140726461154564 140726461157322 0
/proc/25644/statm: 512314 8477 722 405 0 509259 0
Current children cumulated CPU time: 51.06 s
Current children cumulated vsize: 2049256 KiB
Current children cumulated memory: 33908 KiB
[startup+102.3 s]
/proc/loadavg: 1.77 1.28 1.22 3/187 25715
/proc/meminfo: memFree=16854924/32770624 swapFree=67108844/67108860
[pid=25644] ppid=25637 vsize=2058488 memory=47232 CPUtime=102.25 cores=0,2,4,6
/proc/25644/stat : 25644 (xcsp_picat) R 25637 25644 25584 0 -1 4202496 72699 0 1 0 10139 86 0 0 20 0 1 0 220456864 2107891712 11808 33554432000 4194304 5849708 140726461150816 140726461149816 5336115 0 0 4096 8389634 0 0 0 17 4 0 0 3 0 0 7949816 9394900 28037120 140726461154486 140726461154564 140726461154564 140726461157322 0
/proc/25644/statm: 514622 11808 722 405 0 511567 0
Current children cumulated CPU time: 102.25 s
Current children cumulated vsize: 2058488 KiB
Current children cumulated memory: 47232 KiB
[startup+162.3 s]
/proc/loadavg: 1.96 1.43 1.28 3/187 25716
/proc/meminfo: memFree=16852452/32770624 swapFree=67108844/67108860
[pid=25644] ppid=25637 vsize=2050972 memory=39636 CPUtime=162.24 cores=0,2,4,6
/proc/25644/stat : 25644 (xcsp_picat) R 25637 25644 25584 0 -1 4202496 99552 0 1 0 16107 117 0 0 20 0 1 0 220456864 2100195328 9909 33554432000 4194304 5849708 140726461150816 140726461149816 140706192777095 0 0 4096 8389634 0 0 0 17 4 0 0 3 0 0 7949816 9394900 28037120 140726461154486 140726461154564 140726461154564 140726461157322 0
/proc/25644/statm: 512743 9909 722 405 0 509688 0
Current children cumulated CPU time: 162.24 s
Current children cumulated vsize: 2050972 KiB
Current children cumulated memory: 39636 KiB
[startup+222.3 s]
/proc/loadavg: 1.99 1.53 1.32 3/187 25717
/proc/meminfo: memFree=16844756/32770624 swapFree=67108844/67108860
[pid=25644] ppid=25637 vsize=2058888 memory=47568 CPUtime=222.25 cores=0,2,4,6
/proc/25644/stat : 25644 (xcsp_picat) R 25637 25644 25584 0 -1 4202496 121723 0 1 0 22075 150 0 0 20 0 1 0 220456864 2108301312 11892 33554432000 4194304 5849708 140726461150816 140726461149816 140706192777095 0 0 4096 8389634 0 0 0 17 4 0 0 3 0 0 7949816 9394900 28037120 140726461154486 140726461154564 140726461154564 140726461157322 0
/proc/25644/statm: 514722 11892 722 405 0 511667 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 2058888 KiB
Current children cumulated memory: 47568 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 1.62 1.36 4/187 25718
/proc/meminfo: memFree=16848672/32770624 swapFree=67108844/67108860
[pid=25644] ppid=25637 vsize=2054528 memory=43160 CPUtime=282.25 cores=0,2,4,6
/proc/25644/stat : 25644 (xcsp_picat) R 25637 25644 25584 0 -1 4202496 146621 0 1 0 28047 178 0 0 20 0 1 0 220456864 2103836672 10790 33554432000 4194304 5849708 140726461150816 140726461149816 140706192777095 0 0 4096 8389634 0 0 0 17 4 0 0 3 0 0 7949816 9394900 28037120 140726461154486 140726461154564 140726461154564 140726461157322 0
/proc/25644/statm: 513632 10790 722 405 0 510577 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 2054528 KiB
Current children cumulated memory: 43160 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.69 1.41 3/187 25719
/proc/meminfo: memFree=16814904/32770624 swapFree=67108844/67108860
[pid=25644] ppid=25637 vsize=2088000 memory=76608 CPUtime=342.25 cores=0,2,4,6
/proc/25644/stat : 25644 (xcsp_picat) R 25637 25644 25584 0 -1 4202496 170966 0 1 0 34021 204 0 0 20 0 1 0 220456864 2138112000 19152 33554432000 4194304 5849708 140726461150816 140726461149816 5437714 0 0 4096 8389634 0 0 0 17 4 0 0 3 0 0 7949816 9394900 28037120 140726461154486 140726461154564 140726461154564 140726461157322 0
/proc/25644/statm: 522000 19152 722 405 0 518945 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 2088000 KiB
Current children cumulated memory: 76608 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.74 1.44 3/187 25720
/proc/meminfo: memFree=16801984/32770624 swapFree=67108844/67108860
[pid=25644] ppid=25637 vsize=2095472 memory=84112 CPUtime=402.25 cores=0,2,4,6
/proc/25644/stat : 25644 (xcsp_picat) R 25637 25644 25584 0 -1 4202496 192355 0 1 0 40003 222 0 0 20 0 1 0 220456864 2145763328 21028 33554432000 4194304 5849708 140726461150816 140726461149816 140706192777095 0 0 4096 8389634 0 0 0 17 4 0 0 3 0 0 7949816 9394900 28037120 140726461154486 140726461154564 140726461154564 140726461157322 0
/proc/25644/statm: 523868 21028 722 405 0 520813 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 2095472 KiB
Current children cumulated memory: 84112 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.79 1.48 3/187 25721
/proc/meminfo: memFree=16775524/32770624 swapFree=67108844/67108860
[pid=25644] ppid=25637 vsize=2103564 memory=92020 CPUtime=462.25 cores=0,2,4,6
/proc/25644/stat : 25644 (xcsp_picat) R 25637 25644 25584 0 -1 4202496 213333 0 1 0 45983 242 0 0 20 0 1 0 220456864 2154049536 23005 33554432000 4194304 5849708 140726461150816 140726461149816 5437824 0 0 4096 8389634 0 0 0 17 4 0 0 3 0 0 7949816 9394900 28037120 140726461154486 140726461154564 140726461154564 140726461157322 0
/proc/25644/statm: 525891 23005 722 405 0 522836 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 2103564 KiB
Current children cumulated memory: 92020 KiB
################
# More data... #
################
/proc/25644/statm: 582462 79422 722 405 0 579407 0
Current children cumulated CPU time: 1722.26 s
Current children cumulated vsize: 2329848 KiB
Current children cumulated memory: 317688 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.89 3/187 25761
/proc/meminfo: memFree=16514192/32770624 swapFree=67108844/67108860
[pid=25644] ppid=25637 vsize=2329848 memory=317688 CPUtime=1782.26 cores=0,2,4,6
/proc/25644/stat : 25644 (xcsp_picat) R 25637 25644 25584 0 -1 4202496 514045 0 1 0 177773 453 0 0 20 0 1 0 220456864 2385764352 79422 33554432000 4194304 5849708 140726461150816 140726461149816 5437837 0 0 4096 8389634 0 0 0 17 4 0 0 3 0 0 7949816 9394900 28037120 140726461154486 140726461154564 140726461154564 140726461157322 0
/proc/25644/statm: 582462 79422 722 405 0 579407 0
Current children cumulated CPU time: 1782.26 s
Current children cumulated vsize: 2329848 KiB
Current children cumulated memory: 317688 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.89 3/187 25762
/proc/meminfo: memFree=16482392/32770624 swapFree=67108844/67108860
[pid=25644] ppid=25637 vsize=2369412 memory=357048 CPUtime=1842.26 cores=0,2,4,6
/proc/25644/stat : 25644 (xcsp_picat) R 25637 25644 25584 0 -1 4202496 547527 0 1 0 183766 460 0 0 20 0 1 0 220456864 2426277888 89262 33554432000 4194304 5849708 140726461150816 140726461149816 140706192777095 0 0 4096 8389634 0 0 0 17 4 0 0 3 0 0 7949816 9394900 28037120 140726461154486 140726461154564 140726461154564 140726461157322 0
/proc/25644/statm: 592353 89262 722 405 0 589298 0
Current children cumulated CPU time: 1842.26 s
Current children cumulated vsize: 2369412 KiB
Current children cumulated memory: 357048 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.90 3/187 25770
/proc/meminfo: memFree=16416336/32770624 swapFree=67108844/67108860
[pid=25644] ppid=25637 vsize=2427880 memory=414964 CPUtime=1902.26 cores=0,2,4,6
/proc/25644/stat : 25644 (xcsp_picat) R 25637 25644 25584 0 -1 4202496 587241 0 1 0 189755 471 0 0 20 0 1 0 220456864 2486149120 103741 33554432000 4194304 5849708 140726461150816 140726461149816 5335534 0 0 4096 8389634 0 0 0 17 4 0 0 3 0 0 7949816 9394900 28037120 140726461154486 140726461154564 140726461154564 140726461157322 0
/proc/25644/statm: 606970 103741 722 405 0 603915 0
Current children cumulated CPU time: 1902.26 s
Current children cumulated vsize: 2427880 KiB
Current children cumulated memory: 414964 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.90 3/187 25771
/proc/meminfo: memFree=16413176/32770624 swapFree=67108844/67108860
[pid=25644] ppid=25637 vsize=2428336 memory=415348 CPUtime=1962.26 cores=0,2,4,6
/proc/25644/stat : 25644 (xcsp_picat) R 25637 25644 25584 0 -1 4202496 630525 0 1 0 195745 481 0 0 20 0 1 0 220456864 2486616064 103837 33554432000 4194304 5849708 140726461150816 140726461149816 5437632 0 0 4096 8389634 0 0 0 17 4 0 0 3 0 0 7949816 9394900 28037120 140726461154486 140726461154564 140726461154564 140726461157322 0
/proc/25644/statm: 607084 103837 722 405 0 604029 0
Current children cumulated CPU time: 1962.26 s
Current children cumulated vsize: 2428336 KiB
Current children cumulated memory: 415348 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/187 25772
/proc/meminfo: memFree=16426068/32770624 swapFree=67108844/67108860
[pid=25644] ppid=25637 vsize=2428336 memory=415420 CPUtime=2022.26 cores=0,2,4,6
/proc/25644/stat : 25644 (xcsp_picat) R 25637 25644 25584 0 -1 4202496 667027 0 1 0 201737 489 0 0 20 0 1 0 220456864 2486616064 103855 33554432000 4194304 5849708 140726461150816 140726461149816 5335584 0 0 4096 8389634 0 0 0 17 4 0 0 3 0 0 7949816 9394900 28037120 140726461154486 140726461154564 140726461154564 140726461157322 0
/proc/25644/statm: 607084 103855 722 405 0 604029 0
Current children cumulated CPU time: 2022.26 s
Current children cumulated vsize: 2428336 KiB
Current children cumulated memory: 415420 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/187 25773
/proc/meminfo: memFree=16376324/32770624 swapFree=67108844/67108860
[pid=25644] ppid=25637 vsize=2493872 memory=480956 CPUtime=2082.25 cores=0,2,4,6
/proc/25644/stat : 25644 (xcsp_picat) R 25637 25644 25584 0 -1 4202496 707393 0 1 0 207729 496 0 0 20 0 1 0 220456864 2553724928 120239 33554432000 4194304 5849708 140726461150816 140726461149816 5437714 0 0 4096 8389634 0 0 0 17 4 0 0 3 0 0 7949816 9394900 28037120 140726461154486 140726461154564 140726461154564 140726461157322 0
/proc/25644/statm: 623468 120239 722 405 0 620413 0
Current children cumulated CPU time: 2082.25 s
Current children cumulated vsize: 2493872 KiB
Current children cumulated memory: 480956 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/187 25774
/proc/meminfo: memFree=16359200/32770624 swapFree=67108844/67108860
[pid=25644] ppid=25637 vsize=2493872 memory=480956 CPUtime=2142.26 cores=0,2,4,6
/proc/25644/stat : 25644 (xcsp_picat) R 25637 25644 25584 0 -1 4202496 728533 0 1 0 213725 501 0 0 20 0 1 0 220456864 2553724928 120239 33554432000 4194304 5849708 140726461150816 140726461149816 5438346 0 0 4096 8389634 0 0 0 17 4 0 0 3 0 0 7949816 9394900 28037120 140726461154486 140726461154564 140726461154564 140726461157322 0
/proc/25644/statm: 623468 120239 722 405 0 620413 0
Current children cumulated CPU time: 2142.26 s
Current children cumulated vsize: 2493872 KiB
Current children cumulated memory: 480956 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/187 25775
/proc/meminfo: memFree=16353056/32770624 swapFree=67108844/67108860
[pid=25644] ppid=25637 vsize=2493872 memory=480956 CPUtime=2202.26 cores=0,2,4,6
/proc/25644/stat : 25644 (xcsp_picat) R 25637 25644 25584 0 -1 4202496 781753 0 1 0 219717 509 0 0 20 0 1 0 220456864 2553724928 120239 33554432000 4194304 5849708 140726461150816 140726461149816 5437632 0 0 4096 8389634 0 0 0 17 4 0 0 3 0 0 7949816 9394900 28037120 140726461154486 140726461154564 140726461154564 140726461157322 0
/proc/25644/statm: 623468 120239 722 405 0 620413 0
Current children cumulated CPU time: 2202.26 s
Current children cumulated vsize: 2493872 KiB
Current children cumulated memory: 480956 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/187 25776
/proc/meminfo: memFree=16363160/32770624 swapFree=67108844/67108860
[pid=25644] ppid=25637 vsize=2493872 memory=480956 CPUtime=2262.26 cores=0,2,4,6
/proc/25644/stat : 25644 (xcsp_picat) R 25637 25644 25584 0 -1 4202496 814405 0 1 0 225711 515 0 0 20 0 1 0 220456864 2553724928 120239 33554432000 4194304 5849708 140726461150816 140726461149976 5437714 0 0 4096 8389634 0 0 0 17 4 0 0 3 0 0 7949816 9394900 28037120 140726461154486 140726461154564 140726461154564 140726461157322 0
/proc/25644/statm: 623468 120239 722 405 0 620413 0
Current children cumulated CPU time: 2262.26 s
Current children cumulated vsize: 2493872 KiB
Current children cumulated memory: 480956 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/187 25777
/proc/meminfo: memFree=16548060/32770624 swapFree=67108844/67108860
[pid=25644] ppid=25637 vsize=2311748 memory=300452 CPUtime=2322.26 cores=0,2,4,6
/proc/25644/stat : 25644 (xcsp_picat) R 25637 25644 25584 0 -1 4202496 854159 0 1 0 231698 528 0 0 20 0 1 0 220456864 2367229952 75113 33554432000 4194304 5849708 140726461150816 140726461149976 5437841 0 0 4096 8389634 0 0 0 17 4 0 0 3 0 0 7949816 9394900 28037120 140726461154486 140726461154564 140726461154564 140726461157322 0
/proc/25644/statm: 577937 75113 722 405 0 574882 0
Current children cumulated CPU time: 2322.26 s
Current children cumulated vsize: 2311748 KiB
Current children cumulated memory: 300452 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 25778
/proc/meminfo: memFree=16529068/32770624 swapFree=67108844/67108860
[pid=25644] ppid=25637 vsize=2311748 memory=300452 CPUtime=2382.26 cores=0,2,4,6
/proc/25644/stat : 25644 (xcsp_picat) R 25637 25644 25584 0 -1 4202496 879608 0 1 0 237689 537 0 0 20 0 1 0 220456864 2367229952 75113 33554432000 4194304 5849708 140726461150816 140726461149688 5335584 0 0 4096 8389634 0 0 0 17 4 0 0 3 0 0 7949816 9394900 28037120 140726461154486 140726461154564 140726461154564 140726461157322 0
/proc/25644/statm: 577937 75113 722 405 0 574882 0
Current children cumulated CPU time: 2382.26 s
Current children cumulated vsize: 2311748 KiB
Current children cumulated memory: 300452 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 25779
/proc/meminfo: memFree=16497056/32770624 swapFree=67108844/67108860
[pid=25644] ppid=25637 vsize=2311748 memory=300452 CPUtime=2442.27 cores=0,2,4,6
/proc/25644/stat : 25644 (xcsp_picat) R 25637 25644 25584 0 -1 4202496 906052 0 1 0 243680 547 0 0 20 0 1 0 220456864 2367229952 75113 33554432000 4194304 5849708 140726461150816 140726461149816 140706192777095 0 0 4096 8389634 0 0 0 17 4 0 0 3 0 0 7949816 9394900 28037120 140726461154486 140726461154564 140726461154564 140726461157322 0
/proc/25644/statm: 577937 75113 722 405 0 574882 0
Current children cumulated CPU time: 2442.27 s
Current children cumulated vsize: 2311748 KiB
Current children cumulated memory: 300452 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/188 25788
/proc/meminfo: memFree=16454428/32770624 swapFree=67108844/67108860
[pid=25644] ppid=25637 vsize=2341352 memory=330056 CPUtime=2502.26 cores=0,2,4,6
/proc/25644/stat : 25644 (xcsp_picat) R 25637 25644 25584 0 -1 4202496 931782 0 1 0 249673 553 0 0 20 0 1 0 220456864 2397544448 82514 33554432000 4194304 5849708 140726461150816 140726461149816 5438273 0 0 4096 8389634 0 0 0 17 4 0 0 3 0 0 7949816 9394900 28037120 140726461154486 140726461154564 140726461154564 140726461157322 0
/proc/25644/statm: 585338 82514 722 405 0 582283 0
Current children cumulated CPU time: 2502.26 s
Current children cumulated vsize: 2341352 KiB
Current children cumulated memory: 330056 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 1.95 3/188 25788
/proc/meminfo: memFree=16496652/32770624 swapFree=67108844/67108860
[pid=25644] ppid=25637 vsize=2341352 memory=330056 CPUtime=2519.98 cores=0,2,4,6
/proc/25644/stat : 25644 (xcsp_picat) R 25637 25644 25584 0 -1 4202496 935789 0 1 0 251442 556 0 0 20 0 1 0 220456864 2397544448 82514 33554432000 4194304 5849708 140726461150816 140726461149688 140706192777095 0 0 4096 8389634 0 0 0 17 4 0 0 3 0 0 7949816 9394900 28037120 140726461154486 140726461154564 140726461154564 140726461157322 0
/proc/25644/statm: 585338 82514 722 405 0 582283 0
Current children cumulated CPU time: 2519.98 s
Current children cumulated vsize: 2341352 KiB
Current children cumulated memory: 330056 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 25644 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2514.42 s, system=5.57202 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.99
CPU user time (s): 2514.42
CPU system time (s): 5.57202
CPU usage (%): 99.9989
Max. virtual memory (cumulated for all children) (KiB): 2493872
Max. memory (cumulated for all children) (KiB): 480956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.42
system time used= 5.57202
maximum resident set size= 480956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 935789
page faults= 1
swaps= 0
block input operations= 8
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 2083
# summary of solver processes directly reported to runsolver:
# pid: 25644
# total CPU time (s): 2519.99
# total CPU user time (s): 2514.42
# total CPU system time (s): 5.57202
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.5366 second user time and 16.6191 second system time
The end