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 (6562 MiB free)
memory of node 1: 16384 MiB (4518 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303023-1534024050/watcher-4303023-1534024050 -o /tmp/evaluation-result-4303023-1534024050/solver-4303023-1534024050 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1533993477-10115 --watchdog 2580 xcsp_picat HOME/instance-4303023-1534024050.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=13796, runsolver pid=13793
[startup+0.100122 s]*
/proc/loadavg: 2.00 2.02 2.05 3/187 13797
/proc/meminfo: memFree=11322948/32770624 swapFree=67108496/67108860
[pid=13796] ppid=13793 vsize=2033560 memory=29012 CPUtime=0.09 cores=0,2,4,6
/proc/13796/stat : 13796 (xcsp_picat) R 13793 13796 10084 0 -1 4202496 1824 0 0 0 9 0 0 0 20 0 1 0 219968163 2082365440 7253 33554432000 4194304 5849708 140734475684720 140734475684024 4658523 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 18464768 140734475687094 140734475687172 140734475687172 140734475689930 0
/proc/13796/statm: 508390 7253 643 405 0 505335 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 29012 KiB
[startup+0.209675 s]*
/proc/loadavg: 2.00 2.02 2.05 3/187 13797
/proc/meminfo: memFree=11315068/32770624 swapFree=67108496/67108860
[pid=13796] ppid=13793 vsize=2034916 memory=34840 CPUtime=0.2 cores=0,2,4,6
/proc/13796/stat : 13796 (xcsp_picat) R 13793 13796 10084 0 -1 4202496 2245 0 0 0 18 2 0 0 20 0 1 0 219968163 2083753984 8710 33554432000 4194304 5849708 140734475684720 140734475684024 140128996622215 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 18464768 140734475687094 140734475687172 140734475687172 140734475689930 0
/proc/13796/statm: 508729 8710 704 405 0 505674 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2034916 KiB
Current children cumulated memory: 34840 KiB
[startup+0.309427 s]*
/proc/loadavg: 2.00 2.02 2.05 3/187 13797
/proc/meminfo: memFree=11315068/32770624 swapFree=67108496/67108860
[pid=13796] ppid=13793 vsize=2034916 memory=35036 CPUtime=0.31 cores=0,2,4,6
/proc/13796/stat : 13796 (xcsp_picat) R 13793 13796 10084 0 -1 4202496 2263 0 0 0 28 3 0 0 20 0 1 0 219968163 2083753984 8759 33554432000 4194304 5849708 140734475684720 140734475684024 140128996622215 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 18464768 140734475687094 140734475687172 140734475687172 140734475689930 0
/proc/13796/statm: 508729 8759 721 405 0 505674 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2034916 KiB
Current children cumulated memory: 35036 KiB
[startup+0.700257 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 13797
/proc/meminfo: memFree=11314572/32770624 swapFree=67108496/67108860
[pid=13796] ppid=13793 vsize=2036944 memory=36764 CPUtime=0.69 cores=0,2,4,6
/proc/13796/stat : 13796 (xcsp_picat) R 13793 13796 10084 0 -1 4202496 2902 0 0 0 66 3 0 0 20 0 1 0 219968163 2085830656 9191 33554432000 4194304 5849708 140734475684720 140734475684024 5303772 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 18464768 140734475687094 140734475687172 140734475687172 140734475689930 0
/proc/13796/statm: 509236 9191 738 405 0 506181 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2036944 KiB
Current children cumulated memory: 36764 KiB
[startup+1.50023 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 13797
/proc/meminfo: memFree=11313084/32770624 swapFree=67108496/67108860
[pid=13796] ppid=13793 vsize=2037896 memory=37824 CPUtime=1.49 cores=0,2,4,6
/proc/13796/stat : 13796 (xcsp_picat) R 13793 13796 10084 0 -1 4202496 3264 0 0 0 146 3 0 0 20 0 1 0 219968163 2086805504 9456 33554432000 4194304 5849708 140734475684720 140734475683112 5385621 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 18464768 140734475687094 140734475687172 140734475687172 140734475689930 0
/proc/13796/statm: 509474 9456 746 405 0 506419 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2037896 KiB
Current children cumulated memory: 37824 KiB
[startup+3.10923 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 13797
/proc/meminfo: memFree=11293912/32770624 swapFree=67108496/67108860
[pid=13796] ppid=13793 vsize=2038336 memory=38044 CPUtime=3.1 cores=0,2,4,6
/proc/13796/stat : 13796 (xcsp_picat) R 13793 13796 10084 0 -1 4202496 4844 0 0 0 303 7 0 0 20 0 1 0 219968163 2087256064 9511 33554432000 4194304 5849708 140734475684720 140734475683720 5438001 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 18464768 140734475687094 140734475687172 140734475687172 140734475689930 0
/proc/13796/statm: 509584 9511 763 405 0 506529 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2038336 KiB
Current children cumulated memory: 38044 KiB
[startup+6.30022 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 13797
/proc/meminfo: memFree=11307760/32770624 swapFree=67108496/67108860
[pid=13796] ppid=13793 vsize=2040656 memory=40708 CPUtime=6.29 cores=0,2,4,6
/proc/13796/stat : 13796 (xcsp_picat) R 13793 13796 10084 0 -1 4202496 6604 0 0 0 619 10 0 0 20 0 1 0 219968163 2089631744 10177 33554432000 4194304 5849708 140734475684720 140734475683720 140128996622215 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 18464768 140734475687094 140734475687172 140734475687172 140734475689930 0
/proc/13796/statm: 510164 10177 763 405 0 507109 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2040656 KiB
Current children cumulated memory: 40708 KiB
[startup+12.7002 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 13797
/proc/meminfo: memFree=11307780/32770624 swapFree=67108496/67108860
[pid=13796] ppid=13793 vsize=2042368 memory=42272 CPUtime=12.69 cores=0,2,4,6
/proc/13796/stat : 13796 (xcsp_picat) R 13793 13796 10084 0 -1 4202496 10500 0 0 0 1251 18 0 0 20 0 1 0 219968163 2091384832 10568 33554432000 4194304 5849708 140734475684720 140734475683208 5340258 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 18464768 140734475687094 140734475687172 140734475687172 140734475689930 0
/proc/13796/statm: 510592 10568 763 405 0 507537 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2042368 KiB
Current children cumulated memory: 42272 KiB
[startup+25.5003 s]
/proc/loadavg: 2.08 2.04 2.05 3/187 13797
/proc/meminfo: memFree=11295496/32770624 swapFree=67108496/67108860
[pid=13796] ppid=13793 vsize=2052612 memory=52776 CPUtime=25.49 cores=0,2,4,6
/proc/13796/stat : 13796 (xcsp_picat) R 13793 13796 10084 0 -1 4202496 16906 0 0 0 2524 25 0 0 20 0 1 0 219968163 2101874688 13194 33554432000 4194304 5849708 140734475684720 140734475683720 140128996622215 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 18464768 140734475687094 140734475687172 140734475687172 140734475689930 0
/proc/13796/statm: 513153 13194 763 405 0 510098 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2052612 KiB
Current children cumulated memory: 52776 KiB
[startup+51.1095 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 13797
/proc/meminfo: memFree=11291108/32770624 swapFree=67108496/67108860
[pid=13796] ppid=13793 vsize=2056560 memory=56724 CPUtime=51.09 cores=0,2,4,6
/proc/13796/stat : 13796 (xcsp_picat) R 13793 13796 10084 0 -1 4202496 30379 0 0 0 5073 36 0 0 20 0 1 0 219968163 2105917440 14181 33554432000 4194304 5849708 140734475684720 140734475683720 140128996622215 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 18464768 140734475687094 140734475687172 140734475687172 140734475689930 0
/proc/13796/statm: 514140 14181 763 405 0 511085 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2056560 KiB
Current children cumulated memory: 56724 KiB
[startup+102.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/187 13798
/proc/meminfo: memFree=11284732/32770624 swapFree=67108496/67108860
[pid=13796] ppid=13793 vsize=2063168 memory=63280 CPUtime=102.28 cores=0,2,4,6
/proc/13796/stat : 13796 (xcsp_picat) R 13793 13796 10084 0 -1 4202496 59553 0 0 0 10165 63 0 0 20 0 1 0 219968163 2112684032 15820 33554432000 4194304 5849708 140734475684720 140734475683880 140128996622215 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 18464768 140734475687094 140734475687172 140734475687172 140734475689930 0
/proc/13796/statm: 515792 15820 763 405 0 512737 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2063168 KiB
Current children cumulated memory: 63280 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 13806
/proc/meminfo: memFree=11171032/32770624 swapFree=67108496/67108860
[pid=13796] ppid=13793 vsize=2059404 memory=59624 CPUtime=162.28 cores=0,2,4,6
/proc/13796/stat : 13796 (xcsp_picat) R 13793 13796 10084 0 -1 4202496 94117 0 0 0 16136 92 0 0 20 0 1 0 219968163 2108829696 14906 33554432000 4194304 5849708 140734475684720 140734475683720 5312999 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 18464768 140734475687094 140734475687172 140734475687172 140734475689930 0
/proc/13796/statm: 514851 14906 763 405 0 511796 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2059404 KiB
Current children cumulated memory: 59624 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 13807
/proc/meminfo: memFree=11177256/32770624 swapFree=67108496/67108860
[pid=13796] ppid=13793 vsize=2052124 memory=51248 CPUtime=222.28 cores=0,2,4,6
/proc/13796/stat : 13796 (xcsp_picat) R 13793 13796 10084 0 -1 4202496 119459 0 0 0 22113 115 0 0 20 0 1 0 219968163 2101374976 12812 33554432000 4194304 5849708 140734475684720 140734475683720 5359081 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 18464768 140734475687094 140734475687172 140734475687172 140734475689930 0
/proc/13796/statm: 513031 12812 763 405 0 509976 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2052124 KiB
Current children cumulated memory: 51248 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13808
/proc/meminfo: memFree=11271120/32770624 swapFree=67108496/67108860
[pid=13796] ppid=13793 vsize=2064872 memory=64192 CPUtime=282.28 cores=0,2,4,6
/proc/13796/stat : 13796 (xcsp_picat) R 13793 13796 10084 0 -1 4202496 142079 0 0 0 28089 139 0 0 20 0 1 0 219968163 2114428928 16048 33554432000 4194304 5849708 140734475684720 140734475683720 5438237 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 18464768 140734475687094 140734475687172 140734475687172 140734475689930 0
/proc/13796/statm: 516218 16048 763 405 0 513163 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2064872 KiB
Current children cumulated memory: 64192 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13821
/proc/meminfo: memFree=11237328/32770624 swapFree=67108496/67108860
[pid=13796] ppid=13793 vsize=2068904 memory=68728 CPUtime=342.29 cores=0,2,4,6
/proc/13796/stat : 13796 (xcsp_picat) R 13793 13796 10084 0 -1 4202496 165034 0 0 0 34062 167 0 0 20 0 1 0 219968163 2118557696 17182 33554432000 4194304 5849708 140734475684720 140734475683720 140128996622215 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 18464768 140734475687094 140734475687172 140734475687172 140734475689930 0
/proc/13796/statm: 517226 17182 763 405 0 514171 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 2068904 KiB
Current children cumulated memory: 68728 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13822
/proc/meminfo: memFree=11281948/32770624 swapFree=67108496/67108860
[pid=13796] ppid=13793 vsize=2090952 memory=91004 CPUtime=402.28 cores=0,2,4,6
/proc/13796/stat : 13796 (xcsp_picat) R 13793 13796 10084 0 -1 4202496 185457 0 0 0 40034 194 0 0 20 0 1 0 219968163 2141134848 22751 33554432000 4194304 5849708 140734475684720 140734475683880 140128996622215 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 18464768 140734475687094 140734475687172 140734475687172 140734475689930 0
/proc/13796/statm: 522738 22751 763 405 0 519683 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 2090952 KiB
Current children cumulated memory: 91004 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13824
/proc/meminfo: memFree=11184144/32770624 swapFree=67108496/67108860
[pid=13796] ppid=13793 vsize=2109176 memory=109444 CPUtime=462.29 cores=0,2,4,6
/proc/13796/stat : 13796 (xcsp_picat) R 13793 13796 10084 0 -1 4202496 199000 0 0 0 46018 211 0 0 20 0 1 0 219968163 2159796224 27361 33554432000 4194304 5849708 140734475684720 140734475683720 140128996622215 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 18464768 140734475687094 140734475687172 140734475687172 140734475689930 0
/proc/13796/statm: 527294 27361 763 405 0 524239 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 2109176 KiB
Current children cumulated memory: 109444 KiB
################
# More data... #
################
/proc/13796/statm: 558498 59791 763 405 0 555443 0
Current children cumulated CPU time: 1722.31 s
Current children cumulated vsize: 2233992 KiB
Current children cumulated memory: 239164 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13889
/proc/meminfo: memFree=10955544/32770624 swapFree=67108496/67108860
[pid=13796] ppid=13793 vsize=2233992 memory=239164 CPUtime=1782.31 cores=0,2,4,6
/proc/13796/stat : 13796 (xcsp_picat) R 13793 13796 10084 0 -1 4202496 333385 0 0 0 177674 557 0 0 20 0 1 0 219968163 2287607808 59791 33554432000 4194304 5849708 140734475684720 140734475683880 5438244 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 18464768 140734475687094 140734475687172 140734475687172 140734475689930 0
/proc/13796/statm: 558498 59791 763 405 0 555443 0
Current children cumulated CPU time: 1782.31 s
Current children cumulated vsize: 2233992 KiB
Current children cumulated memory: 239164 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13890
/proc/meminfo: memFree=10857108/32770624 swapFree=67108496/67108860
[pid=13796] ppid=13793 vsize=2272288 memory=277504 CPUtime=1842.31 cores=0,2,4,6
/proc/13796/stat : 13796 (xcsp_picat) R 13793 13796 10084 0 -1 4202496 339061 0 0 0 183667 564 0 0 20 0 1 0 219968163 2326822912 69376 33554432000 4194304 5849708 140734475684720 140734475683720 140128996622215 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 18464768 140734475687094 140734475687172 140734475687172 140734475689930 0
/proc/13796/statm: 568072 69376 763 405 0 565017 0
Current children cumulated CPU time: 1842.31 s
Current children cumulated vsize: 2272288 KiB
Current children cumulated memory: 277504 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13891
/proc/meminfo: memFree=10936272/32770624 swapFree=67108496/67108860
[pid=13796] ppid=13793 vsize=2272288 memory=277692 CPUtime=1902.32 cores=0,2,4,6
/proc/13796/stat : 13796 (xcsp_picat) R 13793 13796 10084 0 -1 4202496 339075 0 0 0 189661 571 0 0 20 0 1 0 219968163 2326822912 69423 33554432000 4194304 5849708 140734475684720 140734475683592 5399567 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 18464768 140734475687094 140734475687172 140734475687172 140734475689930 0
/proc/13796/statm: 568072 69423 763 405 0 565017 0
Current children cumulated CPU time: 1902.32 s
Current children cumulated vsize: 2272288 KiB
Current children cumulated memory: 277692 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 13900
/proc/meminfo: memFree=10871600/32770624 swapFree=67108496/67108860
[pid=13796] ppid=13793 vsize=2322852 memory=328128 CPUtime=1962.32 cores=0,2,4,6
/proc/13796/stat : 13796 (xcsp_picat) R 13793 13796 10084 0 -1 4202496 358534 0 0 0 195652 580 0 0 20 0 1 0 219968163 2378600448 82032 33554432000 4194304 5849708 140734475684720 140734475683720 5437782 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 18464768 140734475687094 140734475687172 140734475687172 140734475689930 0
/proc/13796/statm: 580713 82032 763 405 0 577658 0
Current children cumulated CPU time: 1962.32 s
Current children cumulated vsize: 2322852 KiB
Current children cumulated memory: 328128 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 13901
/proc/meminfo: memFree=10911208/32770624 swapFree=67108496/67108860
[pid=13796] ppid=13793 vsize=2252748 memory=258000 CPUtime=2022.32 cores=0,2,4,6
/proc/13796/stat : 13796 (xcsp_picat) R 13793 13796 10084 0 -1 4202496 368551 0 0 0 201639 593 0 0 20 0 1 0 219968163 2306813952 64500 33554432000 4194304 5849708 140734475684720 140734475683592 140128996622215 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 18464768 140734475687094 140734475687172 140734475687172 140734475689930 0
/proc/13796/statm: 563187 64500 763 405 0 560132 0
Current children cumulated CPU time: 2022.32 s
Current children cumulated vsize: 2252748 KiB
Current children cumulated memory: 258000 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 13902
/proc/meminfo: memFree=10885516/32770624 swapFree=67108496/67108860
[pid=13796] ppid=13793 vsize=2269132 memory=274408 CPUtime=2082.32 cores=0,2,4,6
/proc/13796/stat : 13796 (xcsp_picat) R 13793 13796 10084 0 -1 4202496 376539 0 0 0 207630 602 0 0 20 0 1 0 219968163 2323591168 68602 33554432000 4194304 5849708 140734475684720 140734475683720 140128996622215 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 18464768 140734475687094 140734475687172 140734475687172 140734475689930 0
/proc/13796/statm: 567283 68602 763 405 0 564228 0
Current children cumulated CPU time: 2082.32 s
Current children cumulated vsize: 2269132 KiB
Current children cumulated memory: 274408 KiB
[startup+2142.3 s]
/proc/loadavg: 2.24 2.06 2.06 3/188 14028
/proc/meminfo: memFree=11976660/32770624 swapFree=67108496/67108860
[pid=13796] ppid=13793 vsize=2303688 memory=308952 CPUtime=2142.32 cores=0,2,4,6
/proc/13796/stat : 13796 (xcsp_picat) R 13793 13796 10084 0 -1 4202496 377546 0 0 0 213621 611 0 0 20 0 1 0 219968163 2358976512 77238 33554432000 4194304 5849708 140734475684720 140734475683720 140128996622215 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 18464768 140734475687094 140734475687172 140734475687172 140734475689930 0
/proc/13796/statm: 575922 77238 763 405 0 572867 0
Current children cumulated CPU time: 2142.32 s
Current children cumulated vsize: 2303688 KiB
Current children cumulated memory: 308952 KiB
[startup+2202.3 s]
/proc/loadavg: 2.09 2.05 2.06 3/188 14029
/proc/meminfo: memFree=11921156/32770624 swapFree=67108496/67108860
[pid=13796] ppid=13793 vsize=2345428 memory=350704 CPUtime=2202.32 cores=0,2,4,6
/proc/13796/stat : 13796 (xcsp_picat) R 13793 13796 10084 0 -1 4202496 385581 0 0 0 219614 618 0 0 20 0 1 0 219968163 2401718272 87676 33554432000 4194304 5849708 140734475684720 140734475683720 5437714 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 18464768 140734475687094 140734475687172 140734475687172 140734475689930 0
/proc/13796/statm: 586357 87676 763 405 0 583302 0
Current children cumulated CPU time: 2202.32 s
Current children cumulated vsize: 2345428 KiB
Current children cumulated memory: 350704 KiB
[startup+2262.3 s]
/proc/loadavg: 2.08 2.06 2.06 3/187 14031
/proc/meminfo: memFree=11882668/32770624 swapFree=67108496/67108860
[pid=13796] ppid=13793 vsize=2375704 memory=380980 CPUtime=2262.33 cores=0,2,4,6
/proc/13796/stat : 13796 (xcsp_picat) R 13793 13796 10084 0 -1 4202496 398460 0 0 0 225608 625 0 0 20 0 1 0 219968163 2432720896 95245 33554432000 4194304 5849708 140734475684720 140734475683720 5437714 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 18464768 140734475687094 140734475687172 140734475687172 140734475689930 0
/proc/13796/statm: 593926 95245 763 405 0 590871 0
Current children cumulated CPU time: 2262.33 s
Current children cumulated vsize: 2375704 KiB
Current children cumulated memory: 380980 KiB
[startup+2322.3 s]
/proc/loadavg: 2.03 2.05 2.05 3/187 14032
/proc/meminfo: memFree=11885716/32770624 swapFree=67108496/67108860
[pid=13796] ppid=13793 vsize=2375704 memory=380980 CPUtime=2322.33 cores=0,2,4,6
/proc/13796/stat : 13796 (xcsp_picat) R 13793 13796 10084 0 -1 4202496 411503 0 0 0 231601 632 0 0 20 0 1 0 219968163 2432720896 95245 33554432000 4194304 5849708 140734475684720 140734475683720 5438242 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 18464768 140734475687094 140734475687172 140734475687172 140734475689930 0
/proc/13796/statm: 593926 95245 763 405 0 590871 0
Current children cumulated CPU time: 2322.33 s
Current children cumulated vsize: 2375704 KiB
Current children cumulated memory: 380980 KiB
[startup+2382.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 14033
/proc/meminfo: memFree=11880492/32770624 swapFree=67108496/67108860
[pid=13796] ppid=13793 vsize=2375704 memory=380980 CPUtime=2382.32 cores=0,2,4,6
/proc/13796/stat : 13796 (xcsp_picat) R 13793 13796 10084 0 -1 4202496 431373 0 0 0 237594 638 0 0 20 0 1 0 219968163 2432720896 95245 33554432000 4194304 5849708 140734475684720 140734475683720 5437714 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 18464768 140734475687094 140734475687172 140734475687172 140734475689930 0
/proc/13796/statm: 593926 95245 763 405 0 590871 0
Current children cumulated CPU time: 2382.32 s
Current children cumulated vsize: 2375704 KiB
Current children cumulated memory: 380980 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 14035
/proc/meminfo: memFree=11774160/32770624 swapFree=67108496/67108860
[pid=13796] ppid=13793 vsize=2477072 memory=482348 CPUtime=2442.33 cores=0,2,4,6
/proc/13796/stat : 13796 (xcsp_picat) R 13793 13796 10084 0 -1 4202496 455694 0 0 0 243584 649 0 0 20 0 1 0 219968163 2536521728 120587 33554432000 4194304 5849708 140734475684720 140734475683720 5437714 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 18464768 140734475687094 140734475687172 140734475687172 140734475689930 0
/proc/13796/statm: 619268 120587 763 405 0 616213 0
Current children cumulated CPU time: 2442.33 s
Current children cumulated vsize: 2477072 KiB
Current children cumulated memory: 482348 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 14036
/proc/meminfo: memFree=11770328/32770624 swapFree=67108496/67108860
[pid=13796] ppid=13793 vsize=2477072 memory=482208 CPUtime=2502.33 cores=0,2,4,6
/proc/13796/stat : 13796 (xcsp_picat) R 13793 13796 10084 0 -1 4202496 478579 0 0 0 249576 657 0 0 20 0 1 0 219968163 2536521728 120552 33554432000 4194304 5849708 140734475684720 140734475683720 5437824 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 18464768 140734475687094 140734475687172 140734475687172 140734475689930 0
/proc/13796/statm: 619268 120552 763 405 0 616213 0
Current children cumulated CPU time: 2502.33 s
Current children cumulated vsize: 2477072 KiB
Current children cumulated memory: 482208 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.03 2.05 3/187 14036
/proc/meminfo: memFree=11765300/32770624 swapFree=67108496/67108860
[pid=13796] ppid=13793 vsize=2477072 memory=482348 CPUtime=2520.04 cores=0,2,4,6
/proc/13796/stat : 13796 (xcsp_picat) R 13793 13796 10084 0 -1 4202496 496411 0 0 0 251344 660 0 0 20 0 1 0 219968163 2536521728 120587 33554432000 4194304 5849708 140734475684720 140734475683720 5437580 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 18464768 140734475687094 140734475687172 140734475687172 140734475689930 0
/proc/13796/statm: 619268 120587 763 405 0 616213 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 2477072 KiB
Current children cumulated memory: 482348 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 13796 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.45 s, system=6.61312 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): 2520.06
CPU user time (s): 2513.45
CPU system time (s): 6.61312
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2477072
Max. memory (cumulated for all children) (KiB): 482348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.45
system time used= 6.61312
maximum resident set size= 482348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 496411
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= 15
involuntary context switches= 1062
# summary of solver processes directly reported to runsolver:
# pid: 13796
# total CPU time (s): 2520.06
# total CPU user time (s): 2513.45
# total CPU system time (s): 6.61312
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.77014 second user time and 18.2144 second system time
The end