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 (4149 MiB free)
memory of node 1: 16384 MiB (10698 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293068-1532304933/watcher-4293068-1532304933 -o /tmp/evaluation-result-4293068-1532304933/solver-4293068-1532304933 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532294350-7319 --watchdog 2580 xcsp_picat HOME/instance-4293068-1532304933.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=8642, runsolver pid=8639
Current StackSize limit: 8192 KiB
[startup+0.100169 s]*
/proc/loadavg: 1.99 2.01 2.04 3/187 8643
/proc/meminfo: memFree=15182052/32770624 swapFree=67108860/67108860
[pid=8642] ppid=8639 vsize=111688 memory=23616 CPUtime=0.1 cores=1,3,5,7
/proc/8642/stat : 8642 (xcsp_picat) R 8639 8642 7287 0 -1 4202496 1474 0 0 0 10 0 0 0 20 0 1 0 48056540 114368512 5904 33554432000 4194304 5849740 140733040997680 140733040997680 4477773 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18333696 140733041005750 140733041005828 140733041005828 140733041008586 0
/proc/8642/statm: 27922 5904 610 405 0 24866 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 23616 KiB
[startup+0.209837 s]*
/proc/loadavg: 1.99 2.01 2.04 3/187 8643
/proc/meminfo: memFree=15171688/32770624 swapFree=67108860/67108860
[pid=8642] ppid=8639 vsize=111688 memory=34084 CPUtime=0.21 cores=1,3,5,7
/proc/8642/stat : 8642 (xcsp_picat) R 8639 8642 7287 0 -1 4202496 1515 0 0 0 21 0 0 0 20 0 1 0 48056540 114368512 8521 33554432000 4194304 5849740 140733040997680 140733040997680 4540651 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18333696 140733041005750 140733041005828 140733041005828 140733041008586 0
/proc/8642/statm: 27922 8521 611 405 0 24866 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 34084 KiB
[startup+0.3097 s]*
/proc/loadavg: 1.99 2.01 2.04 3/187 8643
/proc/meminfo: memFree=15157228/32770624 swapFree=67108860/67108860
[pid=8642] ppid=8639 vsize=111688 memory=48420 CPUtime=0.31 cores=1,3,5,7
/proc/8642/stat : 8642 (xcsp_picat) R 8639 8642 7287 0 -1 4202496 1539 0 0 0 31 0 0 0 20 0 1 0 48056540 114368512 12105 33554432000 4194304 5849740 140733040997680 140733040997680 4488926 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18333696 140733041005750 140733041005828 140733041005828 140733041008586 0
/proc/8642/statm: 27922 12105 611 405 0 24866 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 48420 KiB
[startup+0.700407 s]
/proc/loadavg: 1.99 2.01 2.04 3/187 8643
/proc/meminfo: memFree=15136624/32770624 swapFree=67108860/67108860
[pid=8642] ppid=8639 vsize=181500 memory=91068 CPUtime=0.69 cores=1,3,5,7
/proc/8642/stat : 8642 (xcsp_picat) R 8639 8642 7287 0 -1 4202496 2478 0 0 0 68 1 0 0 20 0 1 0 48056540 185856000 22767 33554432000 4194304 5849740 140733040997680 140733040997680 139643288312832 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18333696 140733041005750 140733041005828 140733041005828 140733041008586 0
/proc/8642/statm: 45375 22767 616 405 0 42319 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 181500 KiB
Current children cumulated memory: 91068 KiB
[startup+1.50038 s]
/proc/loadavg: 1.99 2.01 2.04 3/187 8643
/proc/meminfo: memFree=19421260/32770624 swapFree=67108860/67108860
[pid=8642] ppid=8639 vsize=244000 memory=114480 CPUtime=1.49 cores=1,3,5,7
/proc/8642/stat : 8642 (xcsp_picat) R 8639 8642 7287 0 -1 4202496 2879 0 0 0 147 2 0 0 20 0 1 0 48056540 249856000 28620 33554432000 4194304 5849740 140733040997680 140733040996968 4580862 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18333696 140733041005750 140733041005828 140733041005828 140733041008586 0
/proc/8642/statm: 61000 28620 636 405 0 57944 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 244000 KiB
Current children cumulated memory: 114480 KiB
[startup+3.1095 s]
/proc/loadavg: 1.99 2.01 2.04 3/187 8643
/proc/meminfo: memFree=21683096/32770624 swapFree=67108860/67108860
[pid=8642] ppid=8639 vsize=266584 memory=157868 CPUtime=3.1 cores=1,3,5,7
/proc/8642/stat : 8642 (xcsp_picat) R 8639 8642 7287 0 -1 4202496 5951 0 0 0 298 12 0 0 20 0 1 0 48056540 272982016 39467 33554432000 4194304 5849740 140733040997680 140733040996776 139643288334215 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18333696 140733041005750 140733041005828 140733041005828 140733041008586 0
/proc/8642/statm: 66646 39467 702 405 0 63590 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 266584 KiB
Current children cumulated memory: 157868 KiB
[startup+6.30038 s]
/proc/loadavg: 1.99 2.01 2.04 3/187 8643
/proc/meminfo: memFree=20513048/32770624 swapFree=67108860/67108860
[pid=8642] ppid=8639 vsize=312456 memory=203820 CPUtime=6.29 cores=1,3,5,7
/proc/8642/stat : 8642 (xcsp_picat) R 8639 8642 7287 0 -1 4202496 12853 0 0 0 592 37 0 0 20 0 1 0 48056540 319954944 50955 33554432000 4194304 5849740 140733040997680 140733040996552 5361953 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18333696 140733041005750 140733041005828 140733041005828 140733041008586 0
/proc/8642/statm: 78114 50955 721 405 0 75058 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 312456 KiB
Current children cumulated memory: 203820 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 8643
/proc/meminfo: memFree=17873788/32770624 swapFree=67108860/67108860
[pid=8642] ppid=8639 vsize=283824 memory=175296 CPUtime=12.69 cores=1,3,5,7
/proc/8642/stat : 8642 (xcsp_picat) R 8639 8642 7287 0 -1 4202496 23789 0 0 0 1224 45 0 0 20 0 1 0 48056540 290635776 43824 33554432000 4194304 5849740 140733040997680 140733040995944 139643288334215 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18333696 140733041005750 140733041005828 140733041005828 140733041008586 0
/proc/8642/statm: 70956 43824 748 405 0 67900 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 283824 KiB
Current children cumulated memory: 175296 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 8643
/proc/meminfo: memFree=22169492/32770624 swapFree=67108860/67108860
[pid=8642] ppid=8639 vsize=318076 memory=209548 CPUtime=25.49 cores=1,3,5,7
/proc/8642/stat : 8642 (xcsp_picat) R 8639 8642 7287 0 -1 4202496 32470 0 0 0 2476 73 0 0 20 0 1 0 48056540 325709824 52387 33554432000 4194304 5849740 140733040997680 140733040996680 139643288334215 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18333696 140733041005750 140733041005828 140733041005828 140733041008586 0
/proc/8642/statm: 79519 52387 748 405 0 76463 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 318076 KiB
Current children cumulated memory: 209548 KiB
[startup+51.1096 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 8643
/proc/meminfo: memFree=21304180/32770624 swapFree=67108860/67108860
[pid=8642] ppid=8639 vsize=318076 memory=209548 CPUtime=51.1 cores=1,3,5,7
/proc/8642/stat : 8642 (xcsp_picat) R 8639 8642 7287 0 -1 4202496 40449 0 0 0 5009 101 0 0 20 0 1 0 48056540 325709824 52387 33554432000 4194304 5849740 140733040997680 140733040996680 139643288334215 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18333696 140733041005750 140733041005828 140733041005828 140733041008586 0
/proc/8642/statm: 79519 52387 748 405 0 76463 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 318076 KiB
Current children cumulated memory: 209548 KiB
[startup+102.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/187 8644
/proc/meminfo: memFree=19966404/32770624 swapFree=67108860/67108860
[pid=8642] ppid=8639 vsize=318076 memory=209548 CPUtime=102.29 cores=1,3,5,7
/proc/8642/stat : 8642 (xcsp_picat) R 8639 8642 7287 0 -1 4202496 47219 0 0 0 10081 148 0 0 20 0 1 0 48056540 325709824 52387 33554432000 4194304 5849740 140733040997680 140733040996680 139643288334215 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18333696 140733041005750 140733041005828 140733041005828 140733041008586 0
/proc/8642/statm: 79519 52387 748 405 0 76463 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 318076 KiB
Current children cumulated memory: 209548 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 8645
/proc/meminfo: memFree=14763852/32770624 swapFree=67108860/67108860
[pid=8642] ppid=8639 vsize=379208 memory=270680 CPUtime=162.29 cores=1,3,5,7
/proc/8642/stat : 8642 (xcsp_picat) R 8639 8642 7287 0 -1 4202496 58438 0 0 0 16042 187 0 0 20 0 1 0 48056540 388308992 67670 33554432000 4194304 5849740 140733040997680 140733040996680 139643288334215 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18333696 140733041005750 140733041005828 140733041005828 140733041008586 0
/proc/8642/statm: 94802 67670 748 405 0 91746 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 379208 KiB
Current children cumulated memory: 270680 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8646
/proc/meminfo: memFree=19621804/32770624 swapFree=67108860/67108860
[pid=8642] ppid=8639 vsize=409812 memory=294512 CPUtime=222.28 cores=1,3,5,7
/proc/8642/stat : 8642 (xcsp_picat) R 8639 8642 7287 0 -1 4202496 65267 0 0 0 22013 215 0 0 20 0 1 0 48056540 419647488 73628 33554432000 4194304 5849740 140733040997680 140733040996680 139643288334215 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18333696 140733041005750 140733041005828 140733041005828 140733041008586 0
/proc/8642/statm: 102453 73628 748 405 0 99397 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 409812 KiB
Current children cumulated memory: 294512 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8655
/proc/meminfo: memFree=14561560/32770624 swapFree=67108860/67108860
[pid=8642] ppid=8639 vsize=458372 memory=345120 CPUtime=282.28 cores=1,3,5,7
/proc/8642/stat : 8642 (xcsp_picat) R 8639 8642 7287 0 -1 4202496 97786 0 0 0 27987 241 0 0 20 0 1 0 48056540 469372928 86280 33554432000 4194304 5849740 140733040997680 140733040996680 5335568 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18333696 140733041005750 140733041005828 140733041005828 140733041008586 0
/proc/8642/statm: 114593 86280 748 405 0 111537 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 458372 KiB
Current children cumulated memory: 345120 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8656
/proc/meminfo: memFree=19740136/32770624 swapFree=67108860/67108860
[pid=8642] ppid=8639 vsize=520020 memory=410864 CPUtime=342.28 cores=1,3,5,7
/proc/8642/stat : 8642 (xcsp_picat) R 8639 8642 7287 0 -1 4202496 135106 0 0 0 33963 265 0 0 20 0 1 0 48056540 532500480 102716 33554432000 4194304 5849740 140733040997680 140733040996680 139643288334215 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18333696 140733041005750 140733041005828 140733041005828 140733041008586 0
/proc/8642/statm: 130005 102716 748 405 0 126949 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 520020 KiB
Current children cumulated memory: 410864 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8657
/proc/meminfo: memFree=14485848/32770624 swapFree=67108860/67108860
[pid=8642] ppid=8639 vsize=410004 memory=301608 CPUtime=402.27 cores=1,3,5,7
/proc/8642/stat : 8642 (xcsp_picat) R 8639 8642 7287 0 -1 4202496 167955 0 0 0 39940 287 0 0 20 0 1 0 48056540 419844096 75402 33554432000 4194304 5849740 140733040997680 140733040996840 5392212 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18333696 140733041005750 140733041005828 140733041005828 140733041008586 0
/proc/8642/statm: 102501 75402 749 405 0 99445 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 410004 KiB
Current children cumulated memory: 301608 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8658
/proc/meminfo: memFree=20565248/32770624 swapFree=67108860/67108860
[pid=8642] ppid=8639 vsize=457952 memory=349556 CPUtime=462.27 cores=1,3,5,7
/proc/8642/stat : 8642 (xcsp_picat) R 8639 8642 7287 0 -1 4202496 201846 0 0 0 45919 308 0 0 20 0 1 0 48056540 468942848 87389 33554432000 4194304 5849740 140733040997680 140733040996680 5335512 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18333696 140733041005750 140733041005828 140733041005828 140733041008586 0
/proc/8642/statm: 114488 87389 749 405 0 111432 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 457952 KiB
Current children cumulated memory: 349556 KiB
################
# More data... #
################
/proc/8642/statm: 180280 154252 749 405 0 177224 0
Current children cumulated CPU time: 1722.15 s
Current children cumulated vsize: 721120 KiB
Current children cumulated memory: 617008 KiB
[startup+1782.3 s]
/proc/loadavg: 2.04 2.09 2.07 3/187 8697
/proc/meminfo: memFree=20758688/32770624 swapFree=67108860/67108860
[pid=8642] ppid=8639 vsize=738608 memory=634496 CPUtime=1782.14 cores=1,3,5,7
/proc/8642/stat : 8642 (xcsp_picat) R 8639 8642 7287 0 -1 4202496 802604 0 0 0 177578 636 0 0 20 0 1 0 48056540 756334592 158624 33554432000 4194304 5849740 140733040997680 140733040996680 139643288334215 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18333696 140733041005750 140733041005828 140733041005828 140733041008586 0
/proc/8642/statm: 184652 158624 749 405 0 181596 0
Current children cumulated CPU time: 1782.14 s
Current children cumulated vsize: 738608 KiB
Current children cumulated memory: 634496 KiB
[startup+1842.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/187 8698
/proc/meminfo: memFree=18729052/32770624 swapFree=67108860/67108860
[pid=8642] ppid=8639 vsize=834704 memory=730592 CPUtime=1842.14 cores=1,3,5,7
/proc/8642/stat : 8642 (xcsp_picat) R 8639 8642 7287 0 -1 4202496 836343 0 0 0 183561 653 0 0 20 0 1 0 48056540 854736896 182648 33554432000 4194304 5849740 140733040997680 140733040996840 5335568 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18333696 140733041005750 140733041005828 140733041005828 140733041008586 0
/proc/8642/statm: 208676 182648 749 405 0 205620 0
Current children cumulated CPU time: 1842.14 s
Current children cumulated vsize: 834704 KiB
Current children cumulated memory: 730592 KiB
[startup+1902.3 s]
/proc/loadavg: 2.01 2.06 2.06 3/187 8699
/proc/meminfo: memFree=17232608/32770624 swapFree=67108860/67108860
[pid=8642] ppid=8639 vsize=834704 memory=730592 CPUtime=1902.14 cores=1,3,5,7
/proc/8642/stat : 8642 (xcsp_picat) R 8639 8642 7287 0 -1 4202496 868072 0 0 0 189551 663 0 0 20 0 1 0 48056540 854736896 182648 33554432000 4194304 5849740 140733040997680 140733040996680 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18333696 140733041005750 140733041005828 140733041005828 140733041008586 0
/proc/8642/statm: 208676 182648 749 405 0 205620 0
Current children cumulated CPU time: 1902.14 s
Current children cumulated vsize: 834704 KiB
Current children cumulated memory: 730592 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/187 8700
/proc/meminfo: memFree=12586684/32770624 swapFree=67108860/67108860
[pid=8642] ppid=8639 vsize=834704 memory=730592 CPUtime=1962.14 cores=1,3,5,7
/proc/8642/stat : 8642 (xcsp_picat) R 8639 8642 7287 0 -1 4202496 897575 0 0 0 195542 672 0 0 20 0 1 0 48056540 854736896 182648 33554432000 4194304 5849740 140733040997680 140733040996680 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18333696 140733041005750 140733041005828 140733041005828 140733041008586 0
/proc/8642/statm: 208676 182648 749 405 0 205620 0
Current children cumulated CPU time: 1962.14 s
Current children cumulated vsize: 834704 KiB
Current children cumulated memory: 730592 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 8701
/proc/meminfo: memFree=12538860/32770624 swapFree=67108860/67108860
[pid=8642] ppid=8639 vsize=834704 memory=730592 CPUtime=2022.14 cores=1,3,5,7
/proc/8642/stat : 8642 (xcsp_picat) R 8639 8642 7287 0 -1 4202496 927110 0 0 0 201533 681 0 0 20 0 1 0 48056540 854736896 182648 33554432000 4194304 5849740 140733040997680 140733040996680 139643288334215 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18333696 140733041005750 140733041005828 140733041005828 140733041008586 0
/proc/8642/statm: 208676 182648 749 405 0 205620 0
Current children cumulated CPU time: 2022.14 s
Current children cumulated vsize: 834704 KiB
Current children cumulated memory: 730592 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 8710
/proc/meminfo: memFree=12486900/32770624 swapFree=67108860/67108860
[pid=8642] ppid=8639 vsize=834704 memory=730592 CPUtime=2082.13 cores=1,3,5,7
/proc/8642/stat : 8642 (xcsp_picat) R 8639 8642 7287 0 -1 4202496 956619 0 0 0 207525 688 0 0 20 0 1 0 48056540 854736896 182648 33554432000 4194304 5849740 140733040997680 140733040996680 139643288334215 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18333696 140733041005750 140733041005828 140733041005828 140733041008586 0
/proc/8642/statm: 208676 182648 749 405 0 205620 0
Current children cumulated CPU time: 2082.13 s
Current children cumulated vsize: 834704 KiB
Current children cumulated memory: 730592 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 8711
/proc/meminfo: memFree=20409564/32770624 swapFree=67108860/67108860
[pid=8642] ppid=8639 vsize=870516 memory=766404 CPUtime=2142.13 cores=1,3,5,7
/proc/8642/stat : 8642 (xcsp_picat) R 8639 8642 7287 0 -1 4202496 986269 0 0 0 213514 699 0 0 20 0 1 0 48056540 891408384 191601 33554432000 4194304 5849740 140733040997680 140733040996552 139643288334215 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18333696 140733041005750 140733041005828 140733041005828 140733041008586 0
/proc/8642/statm: 217629 191601 749 405 0 214573 0
Current children cumulated CPU time: 2142.13 s
Current children cumulated vsize: 870516 KiB
Current children cumulated memory: 766404 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 8712
/proc/meminfo: memFree=18828192/32770624 swapFree=67108860/67108860
[pid=8642] ppid=8639 vsize=904400 memory=800288 CPUtime=2202.13 cores=1,3,5,7
/proc/8642/stat : 8642 (xcsp_picat) R 8639 8642 7287 0 -1 4202496 1020629 0 0 0 219504 709 0 0 20 0 1 0 48056540 926105600 200072 33554432000 4194304 5849740 140733040997680 140733040996680 139643288334215 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18333696 140733041005750 140733041005828 140733041005828 140733041008586 0
/proc/8642/statm: 226100 200072 749 405 0 223044 0
Current children cumulated CPU time: 2202.13 s
Current children cumulated vsize: 904400 KiB
Current children cumulated memory: 800288 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 8713
/proc/meminfo: memFree=17382572/32770624 swapFree=67108860/67108860
[pid=8642] ppid=8639 vsize=1035472 memory=931360 CPUtime=2262.13 cores=1,3,5,7
/proc/8642/stat : 8642 (xcsp_picat) R 8639 8642 7287 0 -1 4202496 1090156 0 0 0 225488 725 0 0 20 0 1 0 48056540 1060323328 232840 33554432000 4194304 5849740 140733040997680 140733040996680 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18333696 140733041005750 140733041005828 140733041005828 140733041008586 0
/proc/8642/statm: 258868 232840 749 405 0 255812 0
Current children cumulated CPU time: 2262.13 s
Current children cumulated vsize: 1035472 KiB
Current children cumulated memory: 931360 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8714
/proc/meminfo: memFree=15012788/32770624 swapFree=67108860/67108860
[pid=8642] ppid=8639 vsize=1035472 memory=931360 CPUtime=2322.12 cores=1,3,5,7
/proc/8642/stat : 8642 (xcsp_picat) R 8639 8642 7287 0 -1 4202496 1161847 0 0 0 231477 735 0 0 20 0 1 0 48056540 1060323328 232840 33554432000 4194304 5849740 140733040997680 140733040996680 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18333696 140733041005750 140733041005828 140733041005828 140733041008586 0
/proc/8642/statm: 258868 232840 749 405 0 255812 0
Current children cumulated CPU time: 2322.12 s
Current children cumulated vsize: 1035472 KiB
Current children cumulated memory: 931360 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8716
/proc/meminfo: memFree=12019136/32770624 swapFree=67108860/67108860
[pid=8642] ppid=8639 vsize=1035472 memory=931360 CPUtime=2382.12 cores=1,3,5,7
/proc/8642/stat : 8642 (xcsp_picat) R 8639 8642 7287 0 -1 4202496 1259647 0 0 0 237463 749 0 0 20 0 1 0 48056540 1060323328 232840 33554432000 4194304 5849740 140733040997680 140733040996840 139643288334215 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18333696 140733041005750 140733041005828 140733041005828 140733041008586 0
/proc/8642/statm: 258868 232840 749 405 0 255812 0
Current children cumulated CPU time: 2382.12 s
Current children cumulated vsize: 1035472 KiB
Current children cumulated memory: 931360 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8778
/proc/meminfo: memFree=26701616/32770624 swapFree=67108860/67108860
[pid=8642] ppid=8639 vsize=1035472 memory=931360 CPUtime=2442.1 cores=1,3,5,7
/proc/8642/stat : 8642 (xcsp_picat) R 8639 8642 7287 0 -1 4202496 1323292 0 0 0 243449 761 0 0 20 0 1 0 48056540 1060323328 232840 33554432000 4194304 5849740 140733040997680 140733040996680 139643288334215 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18333696 140733041005750 140733041005828 140733041005828 140733041008586 0
/proc/8642/statm: 258868 232840 749 405 0 255812 0
Current children cumulated CPU time: 2442.1 s
Current children cumulated vsize: 1035472 KiB
Current children cumulated memory: 931360 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8779
/proc/meminfo: memFree=26743216/32770624 swapFree=67108860/67108860
[pid=8642] ppid=8639 vsize=974712 memory=870600 CPUtime=2502.08 cores=1,3,5,7
/proc/8642/stat : 8642 (xcsp_picat) R 8639 8642 7287 0 -1 4202496 1377081 0 0 0 249434 774 0 0 20 0 1 0 48056540 998105088 217650 33554432000 4194304 5849740 140733040997680 140733040996680 5437576 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18333696 140733041005750 140733041005828 140733041005828 140733041008586 0
/proc/8642/statm: 243678 217650 749 405 0 240622 0
Current children cumulated CPU time: 2502.08 s
Current children cumulated vsize: 974712 KiB
Current children cumulated memory: 870600 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 8779
/proc/meminfo: memFree=26746120/32770624 swapFree=67108860/67108860
[pid=8642] ppid=8639 vsize=974712 memory=870600 CPUtime=2519.79 cores=1,3,5,7
/proc/8642/stat : 8642 (xcsp_picat) R 8639 8642 7287 0 -1 4202496 1397079 0 0 0 251202 777 0 0 20 0 1 0 48056540 998105088 217650 33554432000 4194304 5849740 140733040997680 140733040996840 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18333696 140733041005750 140733041005828 140733041005828 140733041008586 0
/proc/8642/statm: 243678 217650 749 405 0 240622 0
Current children cumulated CPU time: 2519.79 s
Current children cumulated vsize: 974712 KiB
Current children cumulated memory: 870600 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 8642 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2512.02 s, system=7.78264 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520.02
CPU time (s): 2519.8
CPU user time (s): 2512.02
CPU system time (s): 7.78264
CPU usage (%): 99.9914
Max. virtual memory (cumulated for all children) (KiB): 1035472
Max. memory (cumulated for all children) (KiB): 931360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2512.02
system time used= 7.78264
maximum resident set size= 931360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1397080
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= 187
involuntary context switches= 739
# summary of solver processes directly reported to runsolver:
# pid: 8642
# total CPU time (s): 2519.8
# total CPU user time (s): 2512.02
# total CPU system time (s): 7.78264
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0768 second user time and 18.7017 second system time
The end