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 (8633 MiB free)
memory of node 1: 16384 MiB (11707 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303293-1534025075/watcher-4303293-1534025075 -o /tmp/evaluation-result-4303293-1534025075/solver-4303293-1534025075 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534025075-19009 --watchdog 2580 xcsp_picat HOME/instance-4303293-1534025075.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
solver pid=19029, runsolver pid=19026
Current StackSize limit: 8192 KiB
[startup+0.100151 s]*
/proc/loadavg: 1.00 1.01 1.21 3/187 19040
/proc/meminfo: memFree=20789760/32770624 swapFree=67108688/67108860
[pid=19029] ppid=19026 vsize=2025884 memory=26960 CPUtime=0.1 cores=0,2,4,6
/proc/19029/stat : 19029 (xcsp_picat) R 19026 19029 18978 0 -1 4202496 1812 0 0 0 10 0 0 0 20 0 1 0 220070409 2074505216 6740 33554432000 4194304 5849708 140727975747200 140727975746568 139905943293831 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 25387008 140727975748790 140727975748868 140727975748868 140727975751626 0
/proc/19029/statm: 506471 6740 684 405 0 503416 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025884 KiB
Current children cumulated memory: 26960 KiB
[startup+0.20961 s]*
/proc/loadavg: 1.00 1.01 1.21 3/187 19040
/proc/meminfo: memFree=20789388/32770624 swapFree=67108688/67108860
[pid=19029] ppid=19026 vsize=2026208 memory=27464 CPUtime=0.21 cores=0,2,4,6
/proc/19029/stat : 19029 (xcsp_picat) R 19026 19029 18978 0 -1 4202496 1906 0 0 0 21 0 0 0 20 0 1 0 220070409 2074836992 6866 33554432000 4194304 5849708 140727975747200 140727975746568 5521478 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 25387008 140727975748790 140727975748868 140727975748868 140727975751626 0
/proc/19029/statm: 506552 6866 704 405 0 503497 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2026208 KiB
Current children cumulated memory: 27464 KiB
[startup+0.308974 s]*
/proc/loadavg: 1.00 1.01 1.21 3/187 19040
/proc/meminfo: memFree=20789016/32770624 swapFree=67108688/67108860
[pid=19029] ppid=19026 vsize=2026208 memory=27464 CPUtime=0.31 cores=0,2,4,6
/proc/19029/stat : 19029 (xcsp_picat) R 19026 19029 18978 0 -1 4202496 1906 0 0 0 31 0 0 0 20 0 1 0 220070409 2074836992 6866 33554432000 4194304 5849708 140727975747200 140727975746568 5521460 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 25387008 140727975748790 140727975748868 140727975748868 140727975751626 0
/proc/19029/statm: 506552 6866 704 405 0 503497 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2026208 KiB
Current children cumulated memory: 27464 KiB
[startup+0.700274 s]
/proc/loadavg: 1.00 1.01 1.21 3/187 19040
/proc/meminfo: memFree=20787156/32770624 swapFree=67108688/67108860
[pid=19029] ppid=19026 vsize=2026600 memory=27672 CPUtime=0.69 cores=0,2,4,6
/proc/19029/stat : 19029 (xcsp_picat) R 19026 19029 18978 0 -1 4202496 2020 0 0 0 69 0 0 0 20 0 1 0 220070409 2075238400 6918 33554432000 4194304 5849708 140727975747200 140727975746568 5606256 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 25387008 140727975748790 140727975748868 140727975748868 140727975751626 0
/proc/19029/statm: 506650 6918 704 405 0 503595 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2026600 KiB
Current children cumulated memory: 27672 KiB
[startup+1.50038 s]
/proc/loadavg: 0.92 1.00 1.21 3/187 19040
/proc/meminfo: memFree=20771560/32770624 swapFree=67108688/67108860
[pid=19029] ppid=19026 vsize=2041560 memory=42776 CPUtime=1.49 cores=0,2,4,6
/proc/19029/stat : 19029 (xcsp_picat) R 19026 19029 18978 0 -1 4202496 6790 0 0 0 148 1 0 0 20 0 1 0 220070409 2090557440 10694 33554432000 4194304 5849708 140727975747200 140727975746568 5399766 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 25387008 140727975748790 140727975748868 140727975748868 140727975751626 0
/proc/19029/statm: 510390 10694 721 405 0 507335 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2041560 KiB
Current children cumulated memory: 42776 KiB
[startup+3.10934 s]
/proc/loadavg: 0.92 1.00 1.21 3/187 19040
/proc/meminfo: memFree=20758212/32770624 swapFree=67108688/67108860
[pid=19029] ppid=19026 vsize=2055920 memory=56532 CPUtime=3.1 cores=0,2,4,6
/proc/19029/stat : 19029 (xcsp_picat) R 19026 19029 18978 0 -1 4202496 13753 0 0 0 309 1 0 0 20 0 1 0 220070409 2105262080 14133 33554432000 4194304 5849708 140727975747200 140727975746568 5318667 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 25387008 140727975748790 140727975748868 140727975748868 140727975751626 0
/proc/19029/statm: 513980 14133 735 405 0 510925 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2055920 KiB
Current children cumulated memory: 56532 KiB
[startup+6.30027 s]
/proc/loadavg: 1.01 1.01 1.21 3/187 19040
/proc/meminfo: memFree=20751016/32770624 swapFree=67108688/67108860
[pid=19029] ppid=19026 vsize=2057932 memory=58548 CPUtime=6.28 cores=0,2,4,6
/proc/19029/stat : 19029 (xcsp_picat) R 19026 19029 18978 0 -1 4202496 15800 0 0 0 627 1 0 0 20 0 1 0 220070409 2107322368 14637 33554432000 4194304 5849708 140727975747200 140727975745608 4212046 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 25387008 140727975748790 140727975748868 140727975748868 140727975751626 0
/proc/19029/statm: 514483 14637 735 405 0 511428 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2057932 KiB
Current children cumulated memory: 58548 KiB
[startup+12.7003 s]
/proc/loadavg: 1.09 1.03 1.22 3/187 19040
/proc/meminfo: memFree=20750272/32770624 swapFree=67108688/67108860
[pid=19029] ppid=19026 vsize=2057928 memory=59056 CPUtime=12.69 cores=0,2,4,6
/proc/19029/stat : 19029 (xcsp_picat) R 19026 19029 18978 0 -1 4202496 19307 0 0 0 1265 4 0 0 20 0 1 0 220070409 2107318272 14764 33554432000 4194304 5849708 140727975747200 140727975745688 4212046 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 25387008 140727975748790 140727975748868 140727975748868 140727975751626 0
/proc/19029/statm: 514482 14764 739 405 0 511427 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2057928 KiB
Current children cumulated memory: 59056 KiB
[startup+25.5004 s]
/proc/loadavg: 1.23 1.06 1.22 3/187 19040
/proc/meminfo: memFree=20751408/32770624 swapFree=67108688/67108860
[pid=19029] ppid=19026 vsize=2058620 memory=58712 CPUtime=25.48 cores=0,2,4,6
/proc/19029/stat : 19029 (xcsp_picat) R 19026 19029 18978 0 -1 4202496 25642 0 0 0 2535 13 0 0 20 0 1 0 220070409 2108026880 14678 33554432000 4194304 5849708 140727975747200 140727975746200 139905942882187 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 25387008 140727975748790 140727975748868 140727975748868 140727975751626 0
/proc/19029/statm: 514655 14678 739 405 0 511600 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2058620 KiB
Current children cumulated memory: 58712 KiB
[startup+51.1093 s]
/proc/loadavg: 1.53 1.15 1.25 3/187 19101
/proc/meminfo: memFree=20742288/32770624 swapFree=67108688/67108860
[pid=19029] ppid=19026 vsize=2061220 memory=65336 CPUtime=51.09 cores=0,2,4,6
/proc/19029/stat : 19029 (xcsp_picat) R 19026 19029 18978 0 -1 4202496 29175 0 0 0 5078 31 0 0 20 0 1 0 220070409 2110689280 16334 33554432000 4194304 5849708 140727975747200 140727975746200 4229937 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 25387008 140727975748790 140727975748868 140727975748868 140727975751626 0
/proc/19029/statm: 515305 16334 739 405 0 512250 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2061220 KiB
Current children cumulated memory: 65336 KiB
[startup+102.3 s]
/proc/loadavg: 1.80 1.28 1.29 3/187 19101
/proc/meminfo: memFree=20711800/32770624 swapFree=67108688/67108860
[pid=19029] ppid=19026 vsize=2068176 memory=72916 CPUtime=102.28 cores=0,2,4,6
/proc/19029/stat : 19029 (xcsp_picat) R 19026 19029 18978 0 -1 4202496 34720 0 0 0 10165 63 0 0 20 0 1 0 220070409 2117812224 18229 33554432000 4194304 5849708 140727975747200 140727975745688 4212546 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 25387008 140727975748790 140727975748868 140727975748868 140727975751626 0
/proc/19029/statm: 517044 18229 739 405 0 513989 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2068176 KiB
Current children cumulated memory: 72916 KiB
[startup+162.3 s]
/proc/loadavg: 1.93 1.41 1.33 3/187 19102
/proc/meminfo: memFree=20675180/32770624 swapFree=67108688/67108860
[pid=19029] ppid=19026 vsize=2072972 memory=77436 CPUtime=162.28 cores=0,2,4,6
/proc/19029/stat : 19029 (xcsp_picat) R 19026 19029 18978 0 -1 4202496 47643 0 0 0 16126 102 0 0 20 0 1 0 220070409 2122723328 19359 33554432000 4194304 5849708 140727975747200 140727975746200 139905943293831 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 25387008 140727975748790 140727975748868 140727975748868 140727975751626 0
/proc/19029/statm: 518243 19359 739 405 0 515188 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2072972 KiB
Current children cumulated memory: 77436 KiB
[startup+222.3 s]
/proc/loadavg: 1.97 1.52 1.37 3/187 19104
/proc/meminfo: memFree=20646276/32770624 swapFree=67108688/67108860
[pid=19029] ppid=19026 vsize=2078896 memory=83748 CPUtime=222.27 cores=0,2,4,6
/proc/19029/stat : 19029 (xcsp_picat) R 19026 19029 18978 0 -1 4202496 62124 0 0 0 22089 138 0 0 20 0 1 0 220070409 2128789504 20937 33554432000 4194304 5849708 140727975747200 140727975746200 5360995 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 25387008 140727975748790 140727975748868 140727975748868 140727975751626 0
/proc/19029/statm: 519724 20937 739 405 0 516669 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 2078896 KiB
Current children cumulated memory: 83748 KiB
[startup+282.3 s]
/proc/loadavg: 2.55 1.76 1.46 3/187 19105
/proc/meminfo: memFree=20626212/32770624 swapFree=67108688/67108860
[pid=19029] ppid=19026 vsize=2086280 memory=90808 CPUtime=282.26 cores=0,2,4,6
/proc/19029/stat : 19029 (xcsp_picat) R 19026 19029 18978 0 -1 4202496 80980 0 0 0 28052 174 0 0 20 0 1 0 220070409 2136350720 22702 33554432000 4194304 5849708 140727975747200 140727975746360 5437623 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 25387008 140727975748790 140727975748868 140727975748868 140727975751626 0
/proc/19029/statm: 521570 22702 739 405 0 518515 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 2086280 KiB
Current children cumulated memory: 90808 KiB
[startup+342.3 s]
/proc/loadavg: 2.20 1.81 1.50 3/188 19115
/proc/meminfo: memFree=20617108/32770624 swapFree=67108688/67108860
[pid=19029] ppid=19026 vsize=2084712 memory=89228 CPUtime=342.26 cores=0,2,4,6
/proc/19029/stat : 19029 (xcsp_picat) R 19026 19029 18978 0 -1 4202496 97552 0 0 0 34015 211 0 0 20 0 1 0 220070409 2134745088 22307 33554432000 4194304 5849708 140727975747200 140727975746072 5437424 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 25387008 140727975748790 140727975748868 140727975748868 140727975751626 0
/proc/19029/statm: 521178 22307 739 405 0 518123 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 2084712 KiB
Current children cumulated memory: 89228 KiB
[startup+402.3 s]
/proc/loadavg: 2.15 1.86 1.54 3/188 19116
/proc/meminfo: memFree=20563636/32770624 swapFree=67108688/67108860
[pid=19029] ppid=19026 vsize=2117016 memory=121616 CPUtime=402.25 cores=0,2,4,6
/proc/19029/stat : 19029 (xcsp_picat) R 19026 19029 18978 0 -1 4202496 118837 0 0 0 39975 250 0 0 20 0 1 0 220070409 2167824384 30404 33554432000 4194304 5849708 140727975747200 140727975746200 139905943293831 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 25387008 140727975748790 140727975748868 140727975748868 140727975751626 0
/proc/19029/statm: 529254 30404 739 405 0 526199 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 2117016 KiB
Current children cumulated memory: 121616 KiB
[startup+462.3 s]
/proc/loadavg: 2.06 1.88 1.56 3/188 19117
/proc/meminfo: memFree=20503448/32770624 swapFree=67108688/67108860
[pid=19029] ppid=19026 vsize=2087036 memory=91888 CPUtime=462.25 cores=0,2,4,6
/proc/19029/stat : 19029 (xcsp_picat) R 19026 19029 18978 0 -1 4202496 138712 0 0 0 45939 286 0 0 20 0 1 0 220070409 2137124864 22972 33554432000 4194304 5849708 140727975747200 140727975746200 5438261 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 25387008 140727975748790 140727975748868 140727975748868 140727975751626 0
/proc/19029/statm: 521759 22972 739 405 0 518704 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 2087036 KiB
Current children cumulated memory: 91888 KiB
################
# More data... #
################
/proc/19029/statm: 561324 62505 739 405 0 558269 0
Current children cumulated CPU time: 1722.14 s
Current children cumulated vsize: 2245296 KiB
Current children cumulated memory: 250020 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/188 19157
/proc/meminfo: memFree=20037580/32770624 swapFree=67108688/67108860
[pid=19029] ppid=19026 vsize=2245200 memory=249796 CPUtime=1782.13 cores=0,2,4,6
/proc/19029/stat : 19029 (xcsp_picat) R 19026 19029 18978 0 -1 4202496 424487 0 0 0 177210 1003 0 0 20 0 1 0 220070409 2299084800 62449 33554432000 4194304 5849708 140727975747200 140727975746200 4234775 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 25387008 140727975748790 140727975748868 140727975748868 140727975751626 0
/proc/19029/statm: 561300 62449 739 405 0 558245 0
Current children cumulated CPU time: 1782.13 s
Current children cumulated vsize: 2245200 KiB
Current children cumulated memory: 249796 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/187 19158
/proc/meminfo: memFree=20040016/32770624 swapFree=67108688/67108860
[pid=19029] ppid=19026 vsize=2242832 memory=247508 CPUtime=1842.13 cores=0,2,4,6
/proc/19029/stat : 19029 (xcsp_picat) R 19026 19029 18978 0 -1 4202496 449628 0 0 0 183177 1036 0 0 20 0 1 0 220070409 2296659968 61877 33554432000 4194304 5849708 140727975747200 140727975746200 139905943293831 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 25387008 140727975748790 140727975748868 140727975748868 140727975751626 0
/proc/19029/statm: 560708 61877 739 405 0 557653 0
Current children cumulated CPU time: 1842.13 s
Current children cumulated vsize: 2242832 KiB
Current children cumulated memory: 247508 KiB
[startup+1902.3 s]
/proc/loadavg: 2.04 2.01 1.91 3/187 19159
/proc/meminfo: memFree=20077616/32770624 swapFree=67108688/67108860
[pid=19029] ppid=19026 vsize=2197088 memory=201940 CPUtime=1902.12 cores=0,2,4,6
/proc/19029/stat : 19029 (xcsp_picat) R 19026 19029 18978 0 -1 4202496 453275 0 0 0 189148 1064 0 0 20 0 1 0 220070409 2249818112 50485 33554432000 4194304 5849708 140727975747200 140727975746200 139905943293831 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 25387008 140727975748790 140727975748868 140727975748868 140727975751626 0
/proc/19029/statm: 549272 50485 739 405 0 546217 0
Current children cumulated CPU time: 1902.12 s
Current children cumulated vsize: 2197088 KiB
Current children cumulated memory: 201940 KiB
[startup+1962.3 s]
/proc/loadavg: 2.01 2.01 1.92 3/187 19160
/proc/meminfo: memFree=20005256/32770624 swapFree=67108688/67108860
[pid=19029] ppid=19026 vsize=2229976 memory=234692 CPUtime=1962.11 cores=0,2,4,6
/proc/19029/stat : 19029 (xcsp_picat) R 19026 19029 18978 0 -1 4202496 475699 0 0 0 195114 1097 0 0 20 0 1 0 220070409 2283495424 58673 33554432000 4194304 5849708 140727975747200 140727975746200 139905943293831 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 25387008 140727975748790 140727975748868 140727975748868 140727975751626 0
/proc/19029/statm: 557494 58673 739 405 0 554439 0
Current children cumulated CPU time: 1962.11 s
Current children cumulated vsize: 2229976 KiB
Current children cumulated memory: 234692 KiB
[startup+2022.3 s]
/proc/loadavg: 2.01 2.01 1.92 3/187 19161
/proc/meminfo: memFree=19882932/32770624 swapFree=67108688/67108860
[pid=19029] ppid=19026 vsize=2260376 memory=265100 CPUtime=2022.11 cores=0,2,4,6
/proc/19029/stat : 19029 (xcsp_picat) R 19026 19029 18978 0 -1 4202496 500573 0 0 0 201086 1125 0 0 20 0 1 0 220070409 2314625024 66275 33554432000 4194304 5849708 140727975747200 140727975746200 5339851 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 25387008 140727975748790 140727975748868 140727975748868 140727975751626 0
/proc/19029/statm: 565094 66275 739 405 0 562039 0
Current children cumulated CPU time: 2022.11 s
Current children cumulated vsize: 2260376 KiB
Current children cumulated memory: 265100 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/187 19162
/proc/meminfo: memFree=19719032/32770624 swapFree=67108688/67108860
[pid=19029] ppid=19026 vsize=2307380 memory=312104 CPUtime=2082.11 cores=0,2,4,6
/proc/19029/stat : 19029 (xcsp_picat) R 19026 19029 18978 0 -1 4202496 505318 0 0 0 207061 1150 0 0 20 0 1 0 220070409 2362757120 78026 33554432000 4194304 5849708 140727975747200 140727975746200 5437625 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 25387008 140727975748790 140727975748868 140727975748868 140727975751626 0
/proc/19029/statm: 576845 78026 739 405 0 573790 0
Current children cumulated CPU time: 2082.11 s
Current children cumulated vsize: 2307380 KiB
Current children cumulated memory: 312104 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/188 19171
/proc/meminfo: memFree=19640112/32770624 swapFree=67108688/67108860
[pid=19029] ppid=19026 vsize=2307500 memory=312224 CPUtime=2142.1 cores=0,2,4,6
/proc/19029/stat : 19029 (xcsp_picat) R 19026 19029 18978 0 -1 4202496 525186 0 0 0 213032 1178 0 0 20 0 1 0 220070409 2362880000 78056 33554432000 4194304 5849708 140727975747200 140727975746200 139905943293831 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 25387008 140727975748790 140727975748868 140727975748868 140727975751626 0
/proc/19029/statm: 576875 78056 739 405 0 573820 0
Current children cumulated CPU time: 2142.1 s
Current children cumulated vsize: 2307500 KiB
Current children cumulated memory: 312224 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/188 19172
/proc/meminfo: memFree=19597736/32770624 swapFree=67108688/67108860
[pid=19029] ppid=19026 vsize=2382860 memory=387536 CPUtime=2202.09 cores=0,2,4,6
/proc/19029/stat : 19029 (xcsp_picat) R 19026 19029 18978 0 -1 4202496 570240 0 0 0 218991 1218 0 0 20 0 1 0 220070409 2440048640 96884 33554432000 4194304 5849708 140727975747200 140727975746200 139905943293831 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 25387008 140727975748790 140727975748868 140727975748868 140727975751626 0
/proc/19029/statm: 595715 96884 739 405 0 592660 0
Current children cumulated CPU time: 2202.09 s
Current children cumulated vsize: 2382860 KiB
Current children cumulated memory: 387536 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/188 19173
/proc/meminfo: memFree=19575576/32770624 swapFree=67108688/67108860
[pid=19029] ppid=19026 vsize=2293968 memory=298820 CPUtime=2262.09 cores=0,2,4,6
/proc/19029/stat : 19029 (xcsp_picat) R 19026 19029 18978 0 -1 4202496 630666 0 0 0 224948 1261 0 0 20 0 1 0 220070409 2349023232 74705 33554432000 4194304 5849708 140727975747200 140727975746200 5312893 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 25387008 140727975748790 140727975748868 140727975748868 140727975751626 0
/proc/19029/statm: 573492 74705 739 405 0 570437 0
Current children cumulated CPU time: 2262.09 s
Current children cumulated vsize: 2293968 KiB
Current children cumulated memory: 298820 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/188 19174
/proc/meminfo: memFree=19315436/32770624 swapFree=67108688/67108860
[pid=19029] ppid=19026 vsize=2554148 memory=558996 CPUtime=2322.08 cores=0,2,4,6
/proc/19029/stat : 19029 (xcsp_picat) R 19026 19029 18978 0 -1 4202496 647601 0 0 0 230916 1292 0 0 20 0 1 0 220070409 2615447552 139749 33554432000 4194304 5849708 140727975747200 140727975746200 5312893 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 25387008 140727975748790 140727975748868 140727975748868 140727975751626 0
/proc/19029/statm: 638537 139749 739 405 0 635482 0
Current children cumulated CPU time: 2322.08 s
Current children cumulated vsize: 2554148 KiB
Current children cumulated memory: 558996 KiB
[startup+2382.3 s]
/proc/loadavg: 2.05 2.03 1.96 3/188 19175
/proc/meminfo: memFree=19569320/32770624 swapFree=67108688/67108860
[pid=19029] ppid=19026 vsize=2300704 memory=305208 CPUtime=2382.08 cores=0,2,4,6
/proc/19029/stat : 19029 (xcsp_picat) R 19026 19029 18978 0 -1 4202496 676790 0 0 0 236891 1317 0 0 20 0 1 0 220070409 2355920896 76302 33554432000 4194304 5849708 140727975747200 140727975746200 5437714 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 25387008 140727975748790 140727975748868 140727975748868 140727975751626 0
/proc/19029/statm: 575176 76302 739 405 0 572121 0
Current children cumulated CPU time: 2382.08 s
Current children cumulated vsize: 2300704 KiB
Current children cumulated memory: 305208 KiB
[startup+2442.3 s]
/proc/loadavg: 2.02 2.02 1.96 3/187 19176
/proc/meminfo: memFree=19263680/32770624 swapFree=67108688/67108860
[pid=19029] ppid=19026 vsize=2638068 memory=642576 CPUtime=2442.08 cores=0,2,4,6
/proc/19029/stat : 19029 (xcsp_picat) R 19026 19029 18978 0 -1 4202496 686827 0 0 0 242858 1350 0 0 20 0 1 0 220070409 2701381632 160644 33554432000 4194304 5849708 140727975747200 140727975746200 139905943293831 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 25387008 140727975748790 140727975748868 140727975748868 140727975751626 0
/proc/19029/statm: 659517 160644 739 405 0 656462 0
Current children cumulated CPU time: 2442.08 s
Current children cumulated vsize: 2638068 KiB
Current children cumulated memory: 642576 KiB
[startup+2502.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/187 19177
/proc/meminfo: memFree=18896540/32770624 swapFree=67108688/67108860
[pid=19029] ppid=19026 vsize=2972324 memory=977044 CPUtime=2502.07 cores=0,2,4,6
/proc/19029/stat : 19029 (xcsp_picat) R 19026 19029 18978 0 -1 4202496 716225 0 0 0 248829 1378 0 0 20 0 1 0 220070409 3043659776 244261 33554432000 4194304 5849708 140727975747200 140727975746200 5393638 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 25387008 140727975748790 140727975748868 140727975748868 140727975751626 0
/proc/19029/statm: 743081 244261 739 405 0 740026 0
Current children cumulated CPU time: 2502.07 s
Current children cumulated vsize: 2972324 KiB
Current children cumulated memory: 977044 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.01 2.02 1.96 3/187 19178
/proc/meminfo: memFree=18896432/32770624 swapFree=67108688/67108860
[pid=19029] ppid=19026 vsize=2972324 memory=977044 CPUtime=2519.77 cores=0,2,4,6
/proc/19029/stat : 19029 (xcsp_picat) R 19026 19029 18978 0 -1 4202496 717463 0 0 0 250599 1378 0 0 20 0 1 0 220070409 3043659776 244261 33554432000 4194304 5849708 140727975747200 140727975746072 5360453 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 25387008 140727975748790 140727975748868 140727975748868 140727975751626 0
/proc/19029/statm: 743081 244261 739 405 0 740026 0
Current children cumulated CPU time: 2519.77 s
Current children cumulated vsize: 2972324 KiB
Current children cumulated memory: 977044 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.03 s]
# the end of solver process 19029 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2506 s, system=13.8098 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.03
CPU time (s): 2519.81
CPU user time (s): 2506
CPU system time (s): 13.8098
CPU usage (%): 99.9912
Max. virtual memory (cumulated for all children) (KiB): 2972324
Max. memory (cumulated for all children) (KiB): 977044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2506
system time used= 13.8098
maximum resident set size= 977044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 717463
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= 5
involuntary context switches= 911
# summary of solver processes directly reported to runsolver:
# pid: 19029
# total CPU time (s): 2519.81
# total CPU user time (s): 2506
# total CPU system time (s): 13.8098
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.29971 second user time and 18.6273 second system time
The end