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 (9144 MiB free)
memory of node 1: 16384 MiB (11273 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295578-1532564894/watcher-4295578-1532564894 -o /tmp/evaluation-result-4295578-1532564894/solver-4295578-1532564894 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532562373-32762 --watchdog 2580 xcsp_picat HOME/instance-4295578-1532564894.xml
running on 4 cores: 1,3,5,7
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=578, runsolver pid=574
Current StackSize limit: 8192 KiB
[startup+0.10009 s]*
/proc/loadavg: 2.00 2.02 1.95 3/191 579
/proc/meminfo: memFree=20890752/32770624 swapFree=67108860/67108860
[pid=578] ppid=574 vsize=111688 memory=18272 CPUtime=0.09 cores=1,3,5,7
/proc/578/stat : 578 (xcsp_picat) R 574 578 32730 0 -1 4202496 1666 0 0 0 9 0 0 0 20 0 1 0 74052590 114368512 4568 33554432000 4194304 5849740 140723277456432 140723277456432 140474367126528 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 42655744 140723277460662 140723277460740 140723277460740 140723277463498 0
/proc/578/statm: 27922 4568 597 405 0 24866 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 18272 KiB
[startup+0.209465 s]*
/proc/loadavg: 2.00 2.02 1.95 3/191 579
/proc/meminfo: memFree=20854696/32770624 swapFree=67108860/67108860
[pid=578] ppid=574 vsize=111832 memory=54708 CPUtime=0.21 cores=1,3,5,7
/proc/578/stat : 578 (xcsp_picat) R 574 578 32730 0 -1 4202496 2110 0 0 0 20 1 0 0 20 0 1 0 74052590 114515968 13677 33554432000 4194304 5849740 140723277456432 140723277456432 140474367147911 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 42655744 140723277460662 140723277460740 140723277460740 140723277463498 0
/proc/578/statm: 27958 13677 664 405 0 24902 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 111832 KiB
Current children cumulated memory: 54708 KiB
[startup+0.309635 s]*
/proc/loadavg: 2.00 2.02 1.95 3/191 579
/proc/meminfo: memFree=20853952/32770624 swapFree=67108860/67108860
[pid=578] ppid=574 vsize=112092 memory=55124 CPUtime=0.31 cores=1,3,5,7
/proc/578/stat : 578 (xcsp_picat) R 574 578 32730 0 -1 4202496 2207 0 0 0 30 1 0 0 20 0 1 0 74052590 114782208 13781 33554432000 4194304 5849740 140723277456432 140723277456432 140474367147911 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 42655744 140723277460662 140723277460740 140723277460740 140723277463498 0
/proc/578/statm: 28023 13781 679 405 0 24967 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 112092 KiB
Current children cumulated memory: 55124 KiB
[startup+0.700228 s]
/proc/loadavg: 2.00 2.02 1.95 3/191 579
/proc/meminfo: memFree=20853208/32770624 swapFree=67108860/67108860
[pid=578] ppid=574 vsize=113296 memory=56208 CPUtime=0.69 cores=1,3,5,7
/proc/578/stat : 578 (xcsp_picat) R 574 578 32730 0 -1 4202496 2529 0 0 0 68 1 0 0 20 0 1 0 74052590 116015104 14052 33554432000 4194304 5849740 140723277456432 140723277456432 140474367147911 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 42655744 140723277460662 140723277460740 140723277460740 140723277463498 0
/proc/578/statm: 28324 14052 680 405 0 25268 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 113296 KiB
Current children cumulated memory: 56208 KiB
[startup+1.50023 s]
/proc/loadavg: 2.00 2.02 1.95 3/191 579
/proc/meminfo: memFree=20850360/32770624 swapFree=67108860/67108860
[pid=578] ppid=574 vsize=115856 memory=58784 CPUtime=1.49 cores=1,3,5,7
/proc/578/stat : 578 (xcsp_picat) R 574 578 32730 0 -1 4202496 3169 0 0 0 147 2 0 0 20 0 1 0 74052590 118636544 14696 33554432000 4194304 5849740 140723277456432 140723277455432 140474367147911 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 42655744 140723277460662 140723277460740 140723277460740 140723277463498 0
/proc/578/statm: 28964 14696 680 405 0 25908 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 115856 KiB
Current children cumulated memory: 58784 KiB
[startup+3.10939 s]
/proc/loadavg: 1.92 2.00 1.95 3/191 579
/proc/meminfo: memFree=20841312/32770624 swapFree=67108860/67108860
[pid=578] ppid=574 vsize=119816 memory=63076 CPUtime=3.09 cores=1,3,5,7
/proc/578/stat : 578 (xcsp_picat) R 574 578 32730 0 -1 4202496 7743 0 0 0 304 5 0 0 20 0 1 0 74052590 122691584 15769 33554432000 4194304 5849740 140723277456432 140723277454920 140474367147911 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 42655744 140723277460662 140723277460740 140723277460740 140723277463498 0
/proc/578/statm: 29954 15769 712 405 0 26898 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 119816 KiB
Current children cumulated memory: 63076 KiB
[startup+6.30027 s]
/proc/loadavg: 1.92 2.00 1.95 3/191 579
/proc/meminfo: memFree=20837448/32770624 swapFree=67108860/67108860
[pid=578] ppid=574 vsize=121136 memory=64220 CPUtime=6.29 cores=1,3,5,7
/proc/578/stat : 578 (xcsp_picat) R 574 578 32730 0 -1 4202496 14401 0 0 0 615 14 0 0 20 0 1 0 74052590 124043264 16055 33554432000 4194304 5849740 140723277456432 140723277455432 140474367147911 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 42655744 140723277460662 140723277460740 140723277460740 140723277463498 0
/proc/578/statm: 30284 16055 712 405 0 27228 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 121136 KiB
Current children cumulated memory: 64220 KiB
[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 1.95 3/191 579
/proc/meminfo: memFree=20829336/32770624 swapFree=67108860/67108860
[pid=578] ppid=574 vsize=124344 memory=67620 CPUtime=12.69 cores=1,3,5,7
/proc/578/stat : 578 (xcsp_picat) R 574 578 32730 0 -1 4202496 21975 0 0 0 1245 24 0 0 20 0 1 0 74052590 127328256 16905 33554432000 4194304 5849740 140723277456432 140723277455432 140474367147911 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 42655744 140723277460662 140723277460740 140723277460740 140723277463498 0
/proc/578/statm: 31086 16905 712 405 0 28030 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 124344 KiB
Current children cumulated memory: 67620 KiB
[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 1.95 3/191 579
/proc/meminfo: memFree=20820336/32770624 swapFree=67108860/67108860
[pid=578] ppid=574 vsize=133336 memory=76332 CPUtime=25.49 cores=1,3,5,7
/proc/578/stat : 578 (xcsp_picat) R 574 578 32730 0 -1 4202496 44814 0 0 0 2498 51 0 0 20 0 1 0 74052590 136536064 19083 33554432000 4194304 5849740 140723277456432 140723277455432 140474367147911 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 42655744 140723277460662 140723277460740 140723277460740 140723277463498 0
/proc/578/statm: 33334 19083 712 405 0 30278 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 133336 KiB
Current children cumulated memory: 76332 KiB
[startup+51.1096 s]
/proc/loadavg: 1.96 2.00 1.95 3/191 579
/proc/meminfo: memFree=20808700/32770624 swapFree=67108860/67108860
[pid=578] ppid=574 vsize=133984 memory=76956 CPUtime=51.1 cores=1,3,5,7
/proc/578/stat : 578 (xcsp_picat) R 574 578 32730 0 -1 4202496 74709 0 0 0 5012 98 0 0 20 0 1 0 74052590 137199616 19239 33554432000 4194304 5849740 140723277456432 140723277455432 140474367147911 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 42655744 140723277460662 140723277460740 140723277460740 140723277463498 0
/proc/578/statm: 33496 19239 712 405 0 30440 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 133984 KiB
Current children cumulated memory: 76956 KiB
[startup+102.3 s]
/proc/loadavg: 1.98 2.00 1.95 3/191 664
/proc/meminfo: memFree=20749352/32770624 swapFree=67108860/67108860
[pid=578] ppid=574 vsize=147168 memory=93460 CPUtime=102.29 cores=1,3,5,7
/proc/578/stat : 578 (xcsp_picat) R 574 578 32730 0 -1 4202496 114223 0 0 0 10061 168 0 0 20 0 1 0 74052590 150700032 23365 33554432000 4194304 5849740 140723277456432 140723277455432 140474367147911 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 42655744 140723277460662 140723277460740 140723277460740 140723277463498 0
/proc/578/statm: 36792 23365 712 405 0 33736 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 147168 KiB
Current children cumulated memory: 93460 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 1.95 3/192 673
/proc/meminfo: memFree=20739420/32770624 swapFree=67108860/67108860
[pid=578] ppid=574 vsize=151932 memory=98392 CPUtime=162.29 cores=1,3,5,7
/proc/578/stat : 578 (xcsp_picat) R 574 578 32730 0 -1 4202496 153996 0 0 0 15993 236 0 0 20 0 1 0 74052590 155578368 24598 33554432000 4194304 5849740 140723277456432 140723277455432 140474367147911 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 42655744 140723277460662 140723277460740 140723277460740 140723277463498 0
/proc/578/statm: 37983 24598 712 405 0 34927 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 151932 KiB
Current children cumulated memory: 98392 KiB
[startup+222.3 s]
/proc/loadavg: 2.07 2.03 1.97 3/192 674
/proc/meminfo: memFree=20692356/32770624 swapFree=67108860/67108860
[pid=578] ppid=574 vsize=164344 memory=110752 CPUtime=222.28 cores=1,3,5,7
/proc/578/stat : 578 (xcsp_picat) R 574 578 32730 0 -1 4202496 187700 0 0 0 21927 301 0 0 20 0 1 0 74052590 168288256 27688 33554432000 4194304 5849740 140723277456432 140723277455432 140474367147911 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 42655744 140723277460662 140723277460740 140723277460740 140723277463498 0
/proc/578/statm: 41086 27688 712 405 0 38030 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 164344 KiB
Current children cumulated memory: 110752 KiB
[startup+282.3 s]
/proc/loadavg: 2.03 2.02 1.97 3/191 675
/proc/meminfo: memFree=20615912/32770624 swapFree=67108860/67108860
[pid=578] ppid=574 vsize=165092 memory=111564 CPUtime=282.28 cores=1,3,5,7
/proc/578/stat : 578 (xcsp_picat) R 574 578 32730 0 -1 4202496 212495 0 0 0 27877 351 0 0 20 0 1 0 74052590 169054208 27891 33554432000 4194304 5849740 140723277456432 140723277455432 140474367147911 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 42655744 140723277460662 140723277460740 140723277460740 140723277463498 0
/proc/578/statm: 41273 27891 712 405 0 38217 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 165092 KiB
Current children cumulated memory: 111564 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/191 676
/proc/meminfo: memFree=20612464/32770624 swapFree=67108860/67108860
[pid=578] ppid=574 vsize=182864 memory=129100 CPUtime=342.27 cores=1,3,5,7
/proc/578/stat : 578 (xcsp_picat) R 574 578 32730 0 -1 4202496 228100 0 0 0 33839 388 0 0 20 0 1 0 74052590 187252736 32275 33554432000 4194304 5849740 140723277456432 140723277455432 140474367147911 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 42655744 140723277460662 140723277460740 140723277460740 140723277463498 0
/proc/578/statm: 45716 32275 712 405 0 42660 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 182864 KiB
Current children cumulated memory: 129100 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/191 677
/proc/meminfo: memFree=20570168/32770624 swapFree=67108860/67108860
[pid=578] ppid=574 vsize=198756 memory=145304 CPUtime=402.28 cores=1,3,5,7
/proc/578/stat : 578 (xcsp_picat) R 574 578 32730 0 -1 4202496 240960 0 0 0 39815 413 0 0 20 0 1 0 74052590 203526144 36326 33554432000 4194304 5849740 140723277456432 140723277455432 140474367147911 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 42655744 140723277460662 140723277460740 140723277460740 140723277463498 0
/proc/578/statm: 49689 36326 712 405 0 46633 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 198756 KiB
Current children cumulated memory: 145304 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/190 678
/proc/meminfo: memFree=20552140/32770624 swapFree=67108860/67108860
[pid=578] ppid=574 vsize=235556 memory=181996 CPUtime=462.27 cores=1,3,5,7
/proc/578/stat : 578 (xcsp_picat) R 574 578 32730 0 -1 4202496 251171 0 0 0 45789 438 0 0 20 0 1 0 74052590 241209344 45499 33554432000 4194304 5849740 140723277456432 140723277455432 5335568 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 42655744 140723277460662 140723277460740 140723277460740 140723277463498 0
/proc/578/statm: 58889 45499 712 405 0 55833 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 235556 KiB
Current children cumulated memory: 181996 KiB
################
# More data... #
################
/proc/578/statm: 115214 101823 712 405 0 112158 0
Current children cumulated CPU time: 1722.22 s
Current children cumulated vsize: 460856 KiB
Current children cumulated memory: 407292 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/191 718
/proc/meminfo: memFree=20049064/32770624 swapFree=67108860/67108860
[pid=578] ppid=574 vsize=511364 memory=457800 CPUtime=1782.22 cores=1,3,5,7
/proc/578/stat : 578 (xcsp_picat) R 574 578 32730 0 -1 4202496 499424 0 0 0 177487 735 0 0 20 0 1 0 74052590 523636736 114450 33554432000 4194304 5849740 140723277456432 140723277455432 5437591 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 42655744 140723277460662 140723277460740 140723277460740 140723277463498 0
/proc/578/statm: 127841 114450 712 405 0 124785 0
Current children cumulated CPU time: 1782.22 s
Current children cumulated vsize: 511364 KiB
Current children cumulated memory: 457800 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/191 720
/proc/meminfo: memFree=20048756/32770624 swapFree=67108860/67108860
[pid=578] ppid=574 vsize=491040 memory=436124 CPUtime=1842.22 cores=1,3,5,7
/proc/578/stat : 578 (xcsp_picat) R 574 578 32730 0 -1 4202496 532215 0 0 0 183477 745 0 0 20 0 1 0 74052590 502824960 109031 33554432000 4194304 5849740 140723277456432 140723277455432 5348420 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 42655744 140723277460662 140723277460740 140723277460740 140723277463498 0
/proc/578/statm: 122760 109031 712 405 0 119704 0
Current children cumulated CPU time: 1842.22 s
Current children cumulated vsize: 491040 KiB
Current children cumulated memory: 436124 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/191 743
/proc/meminfo: memFree=20110436/32770624 swapFree=67108860/67108860
[pid=578] ppid=574 vsize=429816 memory=376252 CPUtime=1902.19 cores=1,3,5,7
/proc/578/stat : 578 (xcsp_picat) R 574 578 32730 0 -1 4202496 546268 0 0 0 189461 758 0 0 20 0 1 0 74052590 440131584 94063 33554432000 4194304 5849740 140723277456432 140723277455432 5437698 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 42655744 140723277460662 140723277460740 140723277460740 140723277463498 0
/proc/578/statm: 107454 94063 712 405 0 104398 0
Current children cumulated CPU time: 1902.19 s
Current children cumulated vsize: 429816 KiB
Current children cumulated memory: 376252 KiB
[startup+1962.3 s]
/proc/loadavg: 2.08 2.03 1.98 3/192 752
/proc/meminfo: memFree=20110440/32770624 swapFree=67108860/67108860
[pid=578] ppid=574 vsize=429816 memory=376252 CPUtime=1962.19 cores=1,3,5,7
/proc/578/stat : 578 (xcsp_picat) R 574 578 32730 0 -1 4202496 554585 0 0 0 195452 767 0 0 20 0 1 0 74052590 440131584 94063 33554432000 4194304 5849740 140723277456432 140723277455432 5437698 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 42655744 140723277460662 140723277460740 140723277460740 140723277463498 0
/proc/578/statm: 107454 94063 712 405 0 104398 0
Current children cumulated CPU time: 1962.19 s
Current children cumulated vsize: 429816 KiB
Current children cumulated memory: 376252 KiB
[startup+2022.3 s]
/proc/loadavg: 2.03 2.02 1.98 3/192 775
/proc/meminfo: memFree=20109872/32770624 swapFree=67108860/67108860
[pid=578] ppid=574 vsize=429944 memory=376380 CPUtime=2022.18 cores=1,3,5,7
/proc/578/stat : 578 (xcsp_picat) R 574 578 32730 0 -1 4202496 562088 0 0 0 201441 777 0 0 20 0 1 0 74052590 440262656 94095 33554432000 4194304 5849740 140723277456432 140723277455432 5437609 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 42655744 140723277460662 140723277460740 140723277460740 140723277463498 0
/proc/578/statm: 107486 94095 712 405 0 104430 0
Current children cumulated CPU time: 2022.18 s
Current children cumulated vsize: 429944 KiB
Current children cumulated memory: 376380 KiB
[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 1.98 3/192 776
/proc/meminfo: memFree=20093364/32770624 swapFree=67108860/67108860
[pid=578] ppid=574 vsize=447708 memory=394144 CPUtime=2082.19 cores=1,3,5,7
/proc/578/stat : 578 (xcsp_picat) R 574 578 32730 0 -1 4202496 564961 0 0 0 207428 791 0 0 20 0 1 0 74052590 458452992 98536 33554432000 4194304 5849740 140723277456432 140723277455432 5437588 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 42655744 140723277460662 140723277460740 140723277460740 140723277463498 0
/proc/578/statm: 111927 98536 712 405 0 108871 0
Current children cumulated CPU time: 2082.19 s
Current children cumulated vsize: 447708 KiB
Current children cumulated memory: 394144 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/192 777
/proc/meminfo: memFree=20158376/32770624 swapFree=67108860/67108860
[pid=578] ppid=574 vsize=382172 memory=328608 CPUtime=2142.18 cores=1,3,5,7
/proc/578/stat : 578 (xcsp_picat) R 574 578 32730 0 -1 4202496 567927 0 0 0 213417 801 0 0 20 0 1 0 74052590 391344128 82152 33554432000 4194304 5849740 140723277456432 140723277455432 140474367147911 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 42655744 140723277460662 140723277460740 140723277460740 140723277463498 0
/proc/578/statm: 95543 82152 712 405 0 92487 0
Current children cumulated CPU time: 2142.18 s
Current children cumulated vsize: 382172 KiB
Current children cumulated memory: 328608 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/193 779
/proc/meminfo: memFree=20158852/32770624 swapFree=67108860/67108860
[pid=578] ppid=574 vsize=382512 memory=328948 CPUtime=2202.19 cores=1,3,5,7
/proc/578/stat : 578 (xcsp_picat) R 574 578 32730 0 -1 4202496 570593 0 0 0 219406 813 0 0 20 0 1 0 74052590 391692288 82237 33554432000 4194304 5849740 140723277456432 140723277455432 5437698 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 42655744 140723277460662 140723277460740 140723277460740 140723277463498 0
/proc/578/statm: 95628 82237 712 405 0 92572 0
Current children cumulated CPU time: 2202.19 s
Current children cumulated vsize: 382512 KiB
Current children cumulated memory: 328948 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/192 780
/proc/meminfo: memFree=20057972/32770624 swapFree=67108860/67108860
[pid=578] ppid=574 vsize=417692 memory=364128 CPUtime=2262.18 cores=1,3,5,7
/proc/578/stat : 578 (xcsp_picat) R 574 578 32730 0 -1 4202496 574219 0 0 0 225397 821 0 0 20 0 1 0 74052590 427716608 91032 33554432000 4194304 5849740 140723277456432 140723277455432 140474367147911 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 42655744 140723277460662 140723277460740 140723277460740 140723277463498 0
/proc/578/statm: 104423 91032 712 405 0 101367 0
Current children cumulated CPU time: 2262.18 s
Current children cumulated vsize: 417692 KiB
Current children cumulated memory: 364128 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/192 781
/proc/meminfo: memFree=20058044/32770624 swapFree=67108860/67108860
[pid=578] ppid=574 vsize=417692 memory=364128 CPUtime=2322.18 cores=1,3,5,7
/proc/578/stat : 578 (xcsp_picat) R 574 578 32730 0 -1 4202496 577062 0 0 0 231387 831 0 0 20 0 1 0 74052590 427716608 91032 33554432000 4194304 5849740 140723277456432 140723277455432 5437698 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 42655744 140723277460662 140723277460740 140723277460740 140723277463498 0
/proc/578/statm: 104423 91032 712 405 0 101367 0
Current children cumulated CPU time: 2322.18 s
Current children cumulated vsize: 417692 KiB
Current children cumulated memory: 364128 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/192 782
/proc/meminfo: memFree=20058300/32770624 swapFree=67108860/67108860
[pid=578] ppid=574 vsize=417692 memory=364128 CPUtime=2382.18 cores=1,3,5,7
/proc/578/stat : 578 (xcsp_picat) R 574 578 32730 0 -1 4202496 580125 0 0 0 237376 842 0 0 20 0 1 0 74052590 427716608 91032 33554432000 4194304 5849740 140723277456432 140723277455432 5437564 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 42655744 140723277460662 140723277460740 140723277460740 140723277463498 0
/proc/578/statm: 104423 91032 712 405 0 101367 0
Current children cumulated CPU time: 2382.18 s
Current children cumulated vsize: 417692 KiB
Current children cumulated memory: 364128 KiB
[startup+2442.3 s]
/proc/loadavg: 2.15 2.05 1.99 3/192 783
/proc/meminfo: memFree=19964924/32770624 swapFree=67108860/67108860
[pid=578] ppid=574 vsize=510252 memory=456688 CPUtime=2442.17 cores=1,3,5,7
/proc/578/stat : 578 (xcsp_picat) R 574 578 32730 0 -1 4202496 606874 0 0 0 243363 854 0 0 20 0 1 0 74052590 522498048 114172 33554432000 4194304 5849740 140723277456432 140723277455432 5437698 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 42655744 140723277460662 140723277460740 140723277460740 140723277463498 0
/proc/578/statm: 127563 114172 712 405 0 124507 0
Current children cumulated CPU time: 2442.17 s
Current children cumulated vsize: 510252 KiB
Current children cumulated memory: 456688 KiB
[startup+2502.3 s]
/proc/loadavg: 2.09 2.05 2.00 3/191 784
/proc/meminfo: memFree=19964540/32770624 swapFree=67108860/67108860
[pid=578] ppid=574 vsize=510252 memory=456688 CPUtime=2502.14 cores=1,3,5,7
/proc/578/stat : 578 (xcsp_picat) R 574 578 32730 0 -1 4202496 609962 0 0 0 249350 864 0 0 20 0 1 0 74052590 522498048 114172 33554432000 4194304 5849740 140723277456432 140723277455432 140474367147911 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 42655744 140723277460662 140723277460740 140723277460740 140723277463498 0
/proc/578/statm: 127563 114172 712 405 0 124507 0
Current children cumulated CPU time: 2502.14 s
Current children cumulated vsize: 510252 KiB
Current children cumulated memory: 456688 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.07 2.05 2.00 3/191 789
/proc/meminfo: memFree=19964184/32770624 swapFree=67108860/67108860
[pid=578] ppid=574 vsize=510252 memory=456688 CPUtime=2519.85 cores=1,3,5,7
/proc/578/stat : 578 (xcsp_picat) R 574 578 32730 0 -1 4202496 610995 0 0 0 251118 867 0 0 20 0 1 0 74052590 522498048 114172 33554432000 4194304 5849740 140723277456432 140723277455432 5437808 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 42655744 140723277460662 140723277460740 140723277460740 140723277463498 0
/proc/578/statm: 127563 114172 712 405 0 124507 0
Current children cumulated CPU time: 2519.85 s
Current children cumulated vsize: 510252 KiB
Current children cumulated memory: 456688 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 578 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2511.2 s, system=8.67593 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.01
CPU time (s): 2519.87
CPU user time (s): 2511.2
CPU system time (s): 8.67593
CPU usage (%): 99.9944
Max. virtual memory (cumulated for all children) (KiB): 511364
Max. memory (cumulated for all children) (KiB): 457800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2511.2
system time used= 8.67592
maximum resident set size= 464532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 610996
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= 173
involuntary context switches= 746
# summary of solver processes directly reported to runsolver:
# pid: 578
# total CPU time (s): 2519.87
# total CPU user time (s): 2511.2
# total CPU system time (s): 8.67593
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.2344 second user time and 18.2354 second system time
The end