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 (6248 MiB free)
memory of node 1: 16384 MiB (7685 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303424-1534006377/watcher-4303424-1534006377 -o /tmp/evaluation-result-4303424-1534006377/solver-4303424-1534006377 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1533989978-12841 --watchdog 2580 xcsp_picat HOME/instance-4303424-1534006377.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=15030, runsolver pid=15027
[startup+0.100109 s]*
/proc/loadavg: 2.08 2.03 2.05 3/188 15031
/proc/meminfo: memFree=14255032/32770624 swapFree=67108688/67108860
[pid=15030] ppid=15027 vsize=2026920 memory=16140 CPUtime=0.1 cores=0,2,4,6
/proc/15030/stat : 15030 (xcsp_picat) R 15027 15030 12810 0 -1 4202496 1819 0 0 0 10 0 0 0 20 0 1 0 218200603 2075566080 4035 33554432000 4194304 5849708 140736288875424 140736288875424 4209040 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 41832448 140736288879798 140736288879876 140736288879876 140736288882634 0
/proc/15030/statm: 506730 4035 642 405 0 503675 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2026920 KiB
Current children cumulated memory: 16140 KiB
[startup+0.209669 s]*
/proc/loadavg: 2.08 2.03 2.05 3/188 15031
/proc/meminfo: memFree=14255032/32770624 swapFree=67108688/67108860
[pid=15030] ppid=15027 vsize=2026920 memory=16140 CPUtime=0.21 cores=0,2,4,6
/proc/15030/stat : 15030 (xcsp_picat) R 15027 15030 12810 0 -1 4202496 1819 0 0 0 21 0 0 0 20 0 1 0 218200603 2075566080 4035 33554432000 4194304 5849708 140736288875424 140736288875424 4211886 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 41832448 140736288879798 140736288879876 140736288879876 140736288882634 0
/proc/15030/statm: 506730 4035 642 405 0 503675 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2026920 KiB
Current children cumulated memory: 16140 KiB
[startup+0.308858 s]*
/proc/loadavg: 2.08 2.03 2.05 3/188 15031
/proc/meminfo: memFree=14255032/32770624 swapFree=67108688/67108860
[pid=15030] ppid=15027 vsize=2026920 memory=16140 CPUtime=0.31 cores=0,2,4,6
/proc/15030/stat : 15030 (xcsp_picat) R 15027 15030 12810 0 -1 4202496 1819 0 0 0 31 0 0 0 20 0 1 0 218200603 2075566080 4035 33554432000 4194304 5849708 140736288875424 140736288875424 4209364 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 41832448 140736288879798 140736288879876 140736288879876 140736288882634 0
/proc/15030/statm: 506730 4035 642 405 0 503675 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2026920 KiB
Current children cumulated memory: 16140 KiB
[startup+0.700243 s]
/proc/loadavg: 2.08 2.03 2.05 3/188 15031
/proc/meminfo: memFree=14252056/32770624 swapFree=67108688/67108860
[pid=15030] ppid=15027 vsize=2031992 memory=21120 CPUtime=0.69 cores=0,2,4,6
/proc/15030/stat : 15030 (xcsp_picat) R 15027 15030 12810 0 -1 4202496 4065 0 0 0 68 1 0 0 20 0 1 0 218200603 2080759808 5280 33554432000 4194304 5849708 140736288875424 140736288874424 139701962420103 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 41832448 140736288879798 140736288879876 140736288879876 140736288882634 0
/proc/15030/statm: 507998 5280 653 405 0 504943 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2031992 KiB
Current children cumulated memory: 21120 KiB
[startup+1.50026 s]
/proc/loadavg: 2.08 2.03 2.05 3/188 15031
/proc/meminfo: memFree=14215232/32770624 swapFree=67108688/67108860
[pid=15030] ppid=15027 vsize=2039508 memory=28896 CPUtime=1.5 cores=0,2,4,6
/proc/15030/stat : 15030 (xcsp_picat) R 15027 15030 12810 0 -1 4202496 9077 0 0 0 147 3 0 0 20 0 1 0 218200603 2088456192 7224 33554432000 4194304 5849708 140736288875424 140736288874424 5438208 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 41832448 140736288879798 140736288879876 140736288879876 140736288882634 0
/proc/15030/statm: 509877 7224 653 405 0 506822 0
Current children cumulated CPU time: 1.5 s
Current children cumulated vsize: 2039508 KiB
Current children cumulated memory: 28896 KiB
[startup+3.10946 s]
/proc/loadavg: 2.08 2.03 2.05 3/188 15031
/proc/meminfo: memFree=14204268/32770624 swapFree=67108688/67108860
[pid=15030] ppid=15027 vsize=2039844 memory=29184 CPUtime=3.1 cores=0,2,4,6
/proc/15030/stat : 15030 (xcsp_picat) R 15027 15030 12810 0 -1 4202496 19525 0 0 0 305 5 0 0 20 0 1 0 218200603 2088800256 7296 33554432000 4194304 5849708 140736288875424 140736288874424 139701962420103 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 41832448 140736288879798 140736288879876 140736288879876 140736288882634 0
/proc/15030/statm: 509961 7296 653 405 0 506906 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2039844 KiB
Current children cumulated memory: 29184 KiB
[startup+6.3003 s]
/proc/loadavg: 2.07 2.03 2.05 3/188 15031
/proc/meminfo: memFree=14220028/32770624 swapFree=67108688/67108860
[pid=15030] ppid=15027 vsize=2050040 memory=39376 CPUtime=6.29 cores=0,2,4,6
/proc/15030/stat : 15030 (xcsp_picat) R 15027 15030 12810 0 -1 4202496 38804 0 0 0 618 11 0 0 20 0 1 0 218200603 2099240960 9844 33554432000 4194304 5849708 140736288875424 140736288874296 139701962420103 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 41832448 140736288879798 140736288879876 140736288879876 140736288882634 0
/proc/15030/statm: 512510 9844 653 405 0 509455 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2050040 KiB
Current children cumulated memory: 39376 KiB
[startup+12.7003 s]
/proc/loadavg: 2.06 2.03 2.05 3/188 15031
/proc/meminfo: memFree=14219488/32770624 swapFree=67108688/67108860
[pid=15030] ppid=15027 vsize=2075320 memory=64492 CPUtime=12.68 cores=0,2,4,6
/proc/15030/stat : 15030 (xcsp_picat) R 15027 15030 12810 0 -1 4202496 60010 0 0 0 1248 20 0 0 20 0 1 0 218200603 2125127680 16123 33554432000 4194304 5849708 140736288875424 140736288874424 139701962420103 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 41832448 140736288879798 140736288879876 140736288879876 140736288882634 0
/proc/15030/statm: 518830 16123 653 405 0 515775 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2075320 KiB
Current children cumulated memory: 64492 KiB
[startup+25.5003 s]
/proc/loadavg: 2.05 2.03 2.05 3/188 15031
/proc/meminfo: memFree=14179048/32770624 swapFree=67108688/67108860
[pid=15030] ppid=15027 vsize=2102644 memory=91904 CPUtime=25.48 cores=0,2,4,6
/proc/15030/stat : 15030 (xcsp_picat) R 15027 15030 12810 0 -1 4202496 90319 0 0 0 2512 36 0 0 20 0 1 0 218200603 2153107456 22976 33554432000 4194304 5849708 140736288875424 140736288874424 139701962420103 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 41832448 140736288879798 140736288879876 140736288879876 140736288882634 0
/proc/15030/statm: 525661 22976 653 405 0 522606 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2102644 KiB
Current children cumulated memory: 91904 KiB
[startup+51.1096 s]
/proc/loadavg: 2.03 2.03 2.05 3/188 15031
/proc/meminfo: memFree=14018964/32770624 swapFree=67108688/67108860
[pid=15030] ppid=15027 vsize=2171440 memory=160620 CPUtime=51.08 cores=0,2,4,6
/proc/15030/stat : 15030 (xcsp_picat) R 15027 15030 12810 0 -1 4202496 142342 0 0 0 5051 57 0 0 20 0 1 0 218200603 2223554560 40155 33554432000 4194304 5849708 140736288875424 140736288874584 5437714 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 41832448 140736288879798 140736288879876 140736288879876 140736288882634 0
/proc/15030/statm: 542860 40155 653 405 0 539805 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 2171440 KiB
Current children cumulated memory: 160620 KiB
[startup+102.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/188 15032
/proc/meminfo: memFree=14407580/32770624 swapFree=67108688/67108860
[pid=15030] ppid=15027 vsize=2221580 memory=210820 CPUtime=102.27 cores=0,2,4,6
/proc/15030/stat : 15030 (xcsp_picat) R 15027 15030 12810 0 -1 4202496 212787 0 0 0 10131 96 0 0 20 0 1 0 218200603 2274897920 52705 33554432000 4194304 5849708 140736288875424 140736288874296 139701962420103 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 41832448 140736288879798 140736288879876 140736288879876 140736288882634 0
/proc/15030/statm: 555395 52705 653 405 0 552340 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 2221580 KiB
Current children cumulated memory: 210820 KiB
[startup+162.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/187 15034
/proc/meminfo: memFree=14158000/32770624 swapFree=67108688/67108860
[pid=15030] ppid=15027 vsize=2177520 memory=166912 CPUtime=162.25 cores=0,2,4,6
/proc/15030/stat : 15030 (xcsp_picat) R 15027 15030 12810 0 -1 4202496 297606 0 0 0 16081 144 0 0 20 0 1 0 218200603 2229780480 41728 33554432000 4194304 5849708 140736288875424 140736288874584 139701962420103 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 41832448 140736288879798 140736288879876 140736288879876 140736288882634 0
/proc/15030/statm: 544380 41728 653 405 0 541325 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 2177520 KiB
Current children cumulated memory: 166912 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 15035
/proc/meminfo: memFree=14355908/32770624 swapFree=67108688/67108860
[pid=15030] ppid=15027 vsize=2269524 memory=258940 CPUtime=222.24 cores=0,2,4,6
/proc/15030/stat : 15030 (xcsp_picat) R 15027 15030 12810 0 -1 4202496 347340 0 0 0 22039 185 0 0 20 0 1 0 218200603 2323992576 64735 33554432000 4194304 5849708 140736288875424 140736288874424 139701962420103 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 41832448 140736288879798 140736288879876 140736288879876 140736288882634 0
/proc/15030/statm: 567381 64735 653 405 0 564326 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 2269524 KiB
Current children cumulated memory: 258940 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 15036
/proc/meminfo: memFree=13892232/32770624 swapFree=67108688/67108860
[pid=15030] ppid=15027 vsize=2465408 memory=454720 CPUtime=282.23 cores=0,2,4,6
/proc/15030/stat : 15030 (xcsp_picat) R 15027 15030 12810 0 -1 4202496 386779 0 0 0 28013 210 0 0 20 0 1 0 218200603 2524577792 113680 33554432000 4194304 5849708 140736288875424 140736288874424 5438264 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 41832448 140736288879798 140736288879876 140736288879876 140736288882634 0
/proc/15030/statm: 616352 113680 653 405 0 613297 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 2465408 KiB
Current children cumulated memory: 454720 KiB
[startup+342.3 s]
/proc/loadavg: 1.91 1.99 2.03 3/187 15038
/proc/meminfo: memFree=13761744/32770624 swapFree=67108688/67108860
[pid=15030] ppid=15027 vsize=2389924 memory=379444 CPUtime=342.21 cores=0,2,4,6
/proc/15030/stat : 15030 (xcsp_picat) R 15027 15030 12810 0 -1 4202496 467597 0 0 0 33978 243 0 0 20 0 1 0 218200603 2447282176 94861 33554432000 4194304 5849708 140736288875424 140736288874584 5335622 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 41832448 140736288879798 140736288879876 140736288879876 140736288882634 0
/proc/15030/statm: 597481 94861 653 405 0 594426 0
Current children cumulated CPU time: 342.21 s
Current children cumulated vsize: 2389924 KiB
Current children cumulated memory: 379444 KiB
[startup+402.3 s]
/proc/loadavg: 1.97 1.99 2.03 3/187 15039
/proc/meminfo: memFree=13520984/32770624 swapFree=67108688/67108860
[pid=15030] ppid=15027 vsize=2442576 memory=432080 CPUtime=402.2 cores=0,2,4,6
/proc/15030/stat : 15030 (xcsp_picat) R 15027 15030 12810 0 -1 4202496 536068 0 0 0 39948 272 0 0 20 0 1 0 218200603 2501197824 108020 33554432000 4194304 5849708 140736288875424 140736288874584 5437714 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 41832448 140736288879798 140736288879876 140736288879876 140736288882634 0
/proc/15030/statm: 610644 108020 653 405 0 607589 0
Current children cumulated CPU time: 402.2 s
Current children cumulated vsize: 2442576 KiB
Current children cumulated memory: 432080 KiB
[startup+462.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/188 15048
/proc/meminfo: memFree=13366120/32770624 swapFree=67108688/67108860
[pid=15030] ppid=15027 vsize=2562436 memory=551956 CPUtime=462.2 cores=0,2,4,6
/proc/15030/stat : 15030 (xcsp_picat) R 15027 15030 12810 0 -1 4202496 557534 0 0 0 45930 290 0 0 20 0 1 0 218200603 2623934464 137989 33554432000 4194304 5849708 140736288875424 140736288874584 139701962420103 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 41832448 140736288879798 140736288879876 140736288879876 140736288882634 0
/proc/15030/statm: 640609 137989 653 405 0 637554 0
Current children cumulated CPU time: 462.2 s
Current children cumulated vsize: 2562436 KiB
Current children cumulated memory: 551956 KiB
################
# More data... #
################
/proc/15030/statm: 861380 358728 653 405 0 858325 0
Current children cumulated CPU time: 1721.95 s
Current children cumulated vsize: 3445520 KiB
Current children cumulated memory: 1434912 KiB
[startup+1782.3 s]
/proc/loadavg: 2.11 2.08 2.06 3/188 15168
/proc/meminfo: memFree=11554804/32770624 swapFree=67108688/67108860
[pid=15030] ppid=15027 vsize=3445520 memory=1434912 CPUtime=1781.9 cores=0,2,4,6
/proc/15030/stat : 15030 (xcsp_picat) R 15027 15030 12810 0 -1 4202496 2151012 0 0 0 177494 696 0 0 20 0 1 0 218200603 3528212480 358728 33554432000 4194304 5849708 140736288875424 140736288874584 5437711 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 41832448 140736288879798 140736288879876 140736288879876 140736288882634 0
/proc/15030/statm: 861380 358728 653 405 0 858325 0
Current children cumulated CPU time: 1781.9 s
Current children cumulated vsize: 3445520 KiB
Current children cumulated memory: 1434912 KiB
[startup+1842.3 s]
/proc/loadavg: 2.04 2.06 2.05 3/188 15169
/proc/meminfo: memFree=11359704/32770624 swapFree=67108688/67108860
[pid=15030] ppid=15027 vsize=3445520 memory=1434912 CPUtime=1841.9 cores=0,2,4,6
/proc/15030/stat : 15030 (xcsp_picat) R 15027 15030 12810 0 -1 4202496 2217024 0 0 0 183482 708 0 0 20 0 1 0 218200603 3528212480 358728 33554432000 4194304 5849708 140736288875424 140736288874584 5437748 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 41832448 140736288879798 140736288879876 140736288879876 140736288882634 0
/proc/15030/statm: 861380 358728 653 405 0 858325 0
Current children cumulated CPU time: 1841.9 s
Current children cumulated vsize: 3445520 KiB
Current children cumulated memory: 1434912 KiB
[startup+1902.3 s]
/proc/loadavg: 2.02 2.05 2.05 3/188 15170
/proc/meminfo: memFree=10965128/32770624 swapFree=67108688/67108860
[pid=15030] ppid=15027 vsize=3445520 memory=1434912 CPUtime=1901.89 cores=0,2,4,6
/proc/15030/stat : 15030 (xcsp_picat) R 15027 15030 12810 0 -1 4202496 2282708 0 0 0 189474 715 0 0 20 0 1 0 218200603 3528212480 358728 33554432000 4194304 5849708 140736288875424 140736288874584 5438227 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 41832448 140736288879798 140736288879876 140736288879876 140736288882634 0
/proc/15030/statm: 861380 358728 653 405 0 858325 0
Current children cumulated CPU time: 1901.89 s
Current children cumulated vsize: 3445520 KiB
Current children cumulated memory: 1434912 KiB
[startup+1962.3 s]
/proc/loadavg: 2.06 2.06 2.05 3/187 15172
/proc/meminfo: memFree=10959984/32770624 swapFree=67108688/67108860
[pid=15030] ppid=15027 vsize=3445520 memory=1439664 CPUtime=1961.88 cores=0,2,4,6
/proc/15030/stat : 15030 (xcsp_picat) R 15027 15030 12810 0 -1 4202496 2299254 0 0 0 195470 718 0 0 20 0 1 0 218200603 3528212480 359916 33554432000 4194304 5849708 140736288875424 140736288874584 139701962420103 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 41832448 140736288879798 140736288879876 140736288879876 140736288882634 0
/proc/15030/statm: 861380 359916 653 405 0 858325 0
Current children cumulated CPU time: 1961.88 s
Current children cumulated vsize: 3445520 KiB
Current children cumulated memory: 1439664 KiB
[startup+2022.3 s]
/proc/loadavg: 2.07 2.06 2.05 3/187 15173
/proc/meminfo: memFree=10434024/32770624 swapFree=67108688/67108860
[pid=15030] ppid=15027 vsize=3445520 memory=1439664 CPUtime=2021.88 cores=0,2,4,6
/proc/15030/stat : 15030 (xcsp_picat) R 15027 15030 12810 0 -1 4202496 2365220 0 0 0 201461 727 0 0 20 0 1 0 218200603 3528212480 359916 33554432000 4194304 5849708 140736288875424 140736288874584 5335584 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 41832448 140736288879798 140736288879876 140736288879876 140736288882634 0
/proc/15030/statm: 861380 359916 653 405 0 858325 0
Current children cumulated CPU time: 2021.88 s
Current children cumulated vsize: 3445520 KiB
Current children cumulated memory: 1439664 KiB
[startup+2082.3 s]
/proc/loadavg: 2.03 2.05 2.05 3/187 15174
/proc/meminfo: memFree=10171704/32770624 swapFree=67108688/67108860
[pid=15030] ppid=15027 vsize=3445520 memory=1439664 CPUtime=2081.86 cores=0,2,4,6
/proc/15030/stat : 15030 (xcsp_picat) R 15027 15030 12810 0 -1 4202496 2430354 0 0 0 207453 733 0 0 20 0 1 0 218200603 3528212480 359916 33554432000 4194304 5849708 140736288875424 140736288874584 139701962420103 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 41832448 140736288879798 140736288879876 140736288879876 140736288882634 0
/proc/15030/statm: 861380 359916 653 405 0 858325 0
Current children cumulated CPU time: 2081.86 s
Current children cumulated vsize: 3445520 KiB
Current children cumulated memory: 1439664 KiB
[startup+2142.3 s]
/proc/loadavg: 2.04 2.05 2.05 3/187 15176
/proc/meminfo: memFree=10107212/32770624 swapFree=67108688/67108860
[pid=15030] ppid=15027 vsize=3511056 memory=1505200 CPUtime=2141.85 cores=0,2,4,6
/proc/15030/stat : 15030 (xcsp_picat) R 15027 15030 12810 0 -1 4202496 2513739 0 0 0 213440 745 0 0 20 0 1 0 218200603 3595321344 376300 33554432000 4194304 5849708 140736288875424 140736288874424 5437714 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 41832448 140736288879798 140736288879876 140736288879876 140736288882634 0
/proc/15030/statm: 877764 376300 653 405 0 874709 0
Current children cumulated CPU time: 2141.85 s
Current children cumulated vsize: 3511056 KiB
Current children cumulated memory: 1505200 KiB
[startup+2202.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/187 15177
/proc/meminfo: memFree=10107112/32770624 swapFree=67108688/67108860
[pid=15030] ppid=15027 vsize=3511056 memory=1505200 CPUtime=2201.84 cores=0,2,4,6
/proc/15030/stat : 15030 (xcsp_picat) R 15027 15030 12810 0 -1 4202496 2595184 0 0 0 219424 760 0 0 20 0 1 0 218200603 3595321344 376300 33554432000 4194304 5849708 140736288875424 140736288874584 5438261 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 41832448 140736288879798 140736288879876 140736288879876 140736288882634 0
/proc/15030/statm: 877764 376300 653 405 0 874709 0
Current children cumulated CPU time: 2201.84 s
Current children cumulated vsize: 3511056 KiB
Current children cumulated memory: 1505200 KiB
[startup+2262.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 15185
/proc/meminfo: memFree=9829372/32770624 swapFree=67108688/67108860
[pid=15030] ppid=15027 vsize=2739208 memory=733352 CPUtime=2261.84 cores=0,2,4,6
/proc/15030/stat : 15030 (xcsp_picat) R 15027 15030 12810 0 -1 4202496 2656014 0 0 0 225402 782 0 0 20 0 1 0 218200603 2804948992 183338 33554432000 4194304 5849708 140736288875424 140736288874424 139701962420103 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 41832448 140736288879798 140736288879876 140736288879876 140736288882634 0
/proc/15030/statm: 684802 183338 653 405 0 681747 0
Current children cumulated CPU time: 2261.84 s
Current children cumulated vsize: 2739208 KiB
Current children cumulated memory: 733352 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 15186
/proc/meminfo: memFree=9788244/32770624 swapFree=67108688/67108860
[pid=15030] ppid=15027 vsize=2779168 memory=773312 CPUtime=2321.83 cores=0,2,4,6
/proc/15030/stat : 15030 (xcsp_picat) R 15027 15030 12810 0 -1 4202496 2724472 0 0 0 231378 805 0 0 20 0 1 0 218200603 2845868032 193328 33554432000 4194304 5849708 140736288875424 140736288874584 139701962420103 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 41832448 140736288879798 140736288879876 140736288879876 140736288882634 0
/proc/15030/statm: 694792 193328 653 405 0 691737 0
Current children cumulated CPU time: 2321.83 s
Current children cumulated vsize: 2779168 KiB
Current children cumulated memory: 773312 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 15187
/proc/meminfo: memFree=9231072/32770624 swapFree=67108688/67108860
[pid=15030] ppid=15027 vsize=2818128 memory=805188 CPUtime=2381.82 cores=0,2,4,6
/proc/15030/stat : 15030 (xcsp_picat) R 15027 15030 12810 0 -1 4202496 2789874 0 0 0 237355 827 0 0 20 0 1 0 218200603 2885763072 201297 33554432000 4194304 5849708 140736288875424 140736288874296 5312992 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 41832448 140736288879798 140736288879876 140736288879876 140736288882634 0
/proc/15030/statm: 704532 201297 653 405 0 701477 0
Current children cumulated CPU time: 2381.82 s
Current children cumulated vsize: 2818128 KiB
Current children cumulated memory: 805188 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 15188
/proc/meminfo: memFree=9149352/32770624 swapFree=67108688/67108860
[pid=15030] ppid=15027 vsize=2900148 memory=887208 CPUtime=2441.82 cores=0,2,4,6
/proc/15030/stat : 15030 (xcsp_picat) R 15027 15030 12810 0 -1 4202496 2859779 0 0 0 243323 859 0 0 20 0 1 0 218200603 2969751552 221802 33554432000 4194304 5849708 140736288875424 140736288874584 5438212 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 41832448 140736288879798 140736288879876 140736288879876 140736288882634 0
/proc/15030/statm: 725037 221802 653 405 0 721982 0
Current children cumulated CPU time: 2441.82 s
Current children cumulated vsize: 2900148 KiB
Current children cumulated memory: 887208 KiB
[startup+2502.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/187 15189
/proc/meminfo: memFree=9116756/32770624 swapFree=67108688/67108860
[pid=15030] ppid=15027 vsize=2932920 memory=919980 CPUtime=2501.81 cores=0,2,4,6
/proc/15030/stat : 15030 (xcsp_picat) R 15027 15030 12810 0 -1 4202496 2885049 0 0 0 249299 882 0 0 20 0 1 0 218200603 3003310080 229995 33554432000 4194304 5849708 140736288875424 140736288874584 5437714 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 41832448 140736288879798 140736288879876 140736288879876 140736288882634 0
/proc/15030/statm: 733230 229995 653 405 0 730175 0
Current children cumulated CPU time: 2501.81 s
Current children cumulated vsize: 2932920 KiB
Current children cumulated memory: 919980 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.05 2.03 2.05 3/187 15190
/proc/meminfo: memFree=9079740/32770624 swapFree=67108688/67108860
[pid=15030] ppid=15027 vsize=2965688 memory=952748 CPUtime=2519.51 cores=0,2,4,6
/proc/15030/stat : 15030 (xcsp_picat) R 15027 15030 12810 0 -1 4202496 2931743 0 0 0 251065 886 0 0 20 0 1 0 218200603 3036864512 238187 33554432000 4194304 5849708 140736288875424 140736288874584 5437714 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 41832448 140736288879798 140736288879876 140736288879876 140736288882634 0
/proc/15030/statm: 741422 238187 653 405 0 738367 0
Current children cumulated CPU time: 2519.51 s
Current children cumulated vsize: 2965688 KiB
Current children cumulated memory: 952748 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.03 s]
# the end of solver process 15030 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2510.66 s, system=8.88469 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.54
CPU user time (s): 2510.66
CPU system time (s): 8.88469
CPU usage (%): 99.9807
Max. virtual memory (cumulated for all children) (KiB): 3576592
Max. memory (cumulated for all children) (KiB): 1570736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2510.66
system time used= 8.88469
maximum resident set size= 1570736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2931744
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= 166
involuntary context switches= 3309
# summary of solver processes directly reported to runsolver:
# pid: 15030
# total CPU time (s): 2519.54
# total CPU user time (s): 2510.66
# total CPU system time (s): 8.88469
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.0612 second user time and 15.2753 second system time
The end