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 (12928 MiB free)
memory of node 1: 16384 MiB (15338 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293220-1532307917/watcher-4293220-1532307917 -o /tmp/evaluation-result-4293220-1532307917/solver-4293220-1532307917 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532297650-6630 --watchdog 2580 xcsp_picat HOME/instance-4293220-1532307917.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=7723, runsolver pid=7720
[startup+0.100216 s]*
/proc/loadavg: 1.97 1.99 2.03 3/188 7724
/proc/meminfo: memFree=28922212/32770624 swapFree=67108796/67108860
[pid=7723] ppid=7720 vsize=111688 memory=24664 CPUtime=0.1 cores=0,2,4,6
/proc/7723/stat : 7723 (xcsp_picat) R 7720 7723 6599 0 -1 4202496 1712 0 0 0 10 0 0 0 20 0 1 0 48354854 114368512 6166 33554432000 4194304 5849740 140735232460032 140735232460032 140064999930880 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 20172800 140735232468150 140735232468228 140735232468228 140735232470986 0
/proc/7723/statm: 27922 6166 595 405 0 24866 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 24664 KiB
[startup+0.209711 s]*
/proc/loadavg: 1.97 1.99 2.03 3/188 7724
/proc/meminfo: memFree=28913832/32770624 swapFree=67108796/67108860
[pid=7723] ppid=7720 vsize=111688 memory=34904 CPUtime=0.21 cores=0,2,4,6
/proc/7723/stat : 7723 (xcsp_picat) R 7720 7723 6599 0 -1 4202496 1717 0 0 0 21 0 0 0 20 0 1 0 48354854 114368512 8726 33554432000 4194304 5849740 140735232460032 140735232459336 4466011 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 20172800 140735232468150 140735232468228 140735232468228 140735232470986 0
/proc/7723/statm: 27922 8726 595 405 0 24866 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 34904 KiB
[startup+0.309646 s]*
/proc/loadavg: 1.97 1.99 2.03 3/188 7724
/proc/meminfo: memFree=28903592/32770624 swapFree=67108796/67108860
[pid=7723] ppid=7720 vsize=111688 memory=43096 CPUtime=0.31 cores=0,2,4,6
/proc/7723/stat : 7723 (xcsp_picat) R 7720 7723 6599 0 -1 4202496 1721 0 0 0 31 0 0 0 20 0 1 0 48354854 114368512 10774 33554432000 4194304 5849740 140735232460032 140735232459336 140064999930880 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 20172800 140735232468150 140735232468228 140735232468228 140735232470986 0
/proc/7723/statm: 27922 10774 595 405 0 24866 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 43096 KiB
[startup+0.700425 s]
/proc/loadavg: 1.97 1.99 2.03 3/188 7724
/proc/meminfo: memFree=28886836/32770624 swapFree=67108796/67108860
[pid=7723] ppid=7720 vsize=111688 memory=69720 CPUtime=0.69 cores=0,2,4,6
/proc/7723/stat : 7723 (xcsp_picat) R 7720 7723 6599 0 -1 4202496 1734 0 0 0 69 0 0 0 20 0 1 0 48354854 114368512 17430 33554432000 4194304 5849740 140735232460032 140735232459336 4552996 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 20172800 140735232468150 140735232468228 140735232468228 140735232470986 0
/proc/7723/statm: 27922 17430 595 405 0 24866 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 69720 KiB
[startup+1.50045 s]
/proc/loadavg: 1.97 1.99 2.03 3/188 7724
/proc/meminfo: memFree=28850844/32770624 swapFree=67108796/67108860
[pid=7723] ppid=7720 vsize=183036 memory=103952 CPUtime=1.49 cores=0,2,4,6
/proc/7723/stat : 7723 (xcsp_picat) R 7720 7723 6599 0 -1 4202496 3007 0 0 0 147 2 0 0 20 0 1 0 48354854 187428864 25988 33554432000 4194304 5849740 140735232460032 140735232459336 5262149 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 20172800 140735232468150 140735232468228 140735232468228 140735232470986 0
/proc/7723/statm: 45759 25988 599 405 0 42703 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 183036 KiB
Current children cumulated memory: 103952 KiB
[startup+3.10964 s]
/proc/loadavg: 1.97 1.99 2.03 3/188 7724
/proc/meminfo: memFree=28820748/32770624 swapFree=67108796/67108860
[pid=7723] ppid=7720 vsize=183036 memory=122384 CPUtime=3.1 cores=0,2,4,6
/proc/7723/stat : 7723 (xcsp_picat) R 7720 7723 6599 0 -1 4202496 4209 0 0 0 307 3 0 0 20 0 1 0 48354854 187428864 30596 33554432000 4194304 5849740 140735232460032 140735232459336 5249600 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 20172800 140735232468150 140735232468228 140735232468228 140735232470986 0
/proc/7723/statm: 45759 30596 599 405 0 42703 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 183036 KiB
Current children cumulated memory: 122384 KiB
[startup+6.30043 s]
/proc/loadavg: 1.98 1.99 2.03 3/188 7724
/proc/meminfo: memFree=28748372/32770624 swapFree=67108796/67108860
[pid=7723] ppid=7720 vsize=322688 memory=227532 CPUtime=6.29 cores=0,2,4,6
/proc/7723/stat : 7723 (xcsp_picat) R 7720 7723 6599 0 -1 4202496 6364 0 0 0 620 9 0 0 20 0 1 0 48354854 330432512 56883 33554432000 4194304 5849740 140735232460032 140735232459336 5250762 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 20172800 140735232468150 140735232468228 140735232468228 140735232470986 0
/proc/7723/statm: 80672 56883 600 405 0 77616 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 322688 KiB
Current children cumulated memory: 227532 KiB
[startup+12.7004 s]
/proc/loadavg: 1.98 1.99 2.03 3/188 7724
/proc/meminfo: memFree=28670544/32770624 swapFree=67108796/67108860
[pid=7723] ppid=7720 vsize=322688 memory=274640 CPUtime=12.69 cores=0,2,4,6
/proc/7723/stat : 7723 (xcsp_picat) R 7720 7723 6599 0 -1 4202496 7451 0 0 0 1259 10 0 0 20 0 1 0 48354854 330432512 68660 33554432000 4194304 5849740 140735232460032 140735232459352 5251109 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 20172800 140735232468150 140735232468228 140735232468228 140735232470986 0
/proc/7723/statm: 80672 68660 600 405 0 77616 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 322688 KiB
Current children cumulated memory: 274640 KiB
[startup+25.5005 s]
/proc/loadavg: 2.06 2.00 2.04 3/188 7724
/proc/meminfo: memFree=26869972/32770624 swapFree=67108796/67108860
[pid=7723] ppid=7720 vsize=2729488 memory=2388484 CPUtime=25.49 cores=0,2,4,6
/proc/7723/stat : 7723 (xcsp_picat) R 7720 7723 6599 0 -1 4202496 27225 0 0 0 2497 52 0 0 20 0 1 0 48354854 2794995712 597121 33554432000 4194304 5849740 140735232460032 140735232459128 140064999562485 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 20172800 140735232468150 140735232468228 140735232468228 140735232470986 0
/proc/7723/statm: 682372 597121 651 405 0 679316 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2729488 KiB
Current children cumulated memory: 2388484 KiB
[startup+51.1098 s]
/proc/loadavg: 2.10 2.02 2.05 3/188 7724
/proc/meminfo: memFree=24748968/32770624 swapFree=67108796/67108860
[pid=7723] ppid=7720 vsize=4910036 memory=4183268 CPUtime=51.09 cores=0,2,4,6
/proc/7723/stat : 7723 (xcsp_picat) R 7720 7723 6599 0 -1 4202496 117792 0 0 0 5010 99 0 0 20 0 1 0 48354854 5027876864 1045817 33554432000 4194304 5849740 140735232460032 140735232459048 5303769 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 20172800 140735232468150 140735232468228 140735232468228 140735232470986 0
/proc/7723/statm: 1227509 1045817 660 405 0 1224453 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 4910036 KiB
Current children cumulated memory: 4183268 KiB
[startup+102.3 s]
/proc/loadavg: 2.05 2.01 2.05 3/188 7725
/proc/meminfo: memFree=25002148/32770624 swapFree=67108796/67108860
[pid=7723] ppid=7720 vsize=4254676 memory=3929688 CPUtime=102.28 cores=0,2,4,6
/proc/7723/stat : 7723 (xcsp_picat) R 7720 7723 6599 0 -1 4202496 481419 0 0 0 10025 203 0 0 20 0 1 0 48354854 4356788224 982422 33554432000 4194304 5849740 140735232460032 140735232458296 5317497 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 20172800 140735232468150 140735232468228 140735232468228 140735232470986 0
/proc/7723/statm: 1063669 982422 674 405 0 1060613 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 4254676 KiB
Current children cumulated memory: 3929688 KiB
[startup+162.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/188 7726
/proc/meminfo: memFree=22542340/32770624 swapFree=67108796/67108860
[pid=7723] ppid=7720 vsize=6711460 memory=6386484 CPUtime=162.29 cores=0,2,4,6
/proc/7723/stat : 7723 (xcsp_picat) R 7720 7723 6599 0 -1 4202496 650692 0 0 0 15978 251 0 0 20 0 1 0 48354854 6872535040 1596621 33554432000 4194304 5849740 140735232460032 140735232458280 4205041 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 20172800 140735232468150 140735232468228 140735232468228 140735232470986 0
/proc/7723/statm: 1677865 1596621 677 405 0 1674809 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 6711460 KiB
Current children cumulated memory: 6386484 KiB
[startup+222.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/188 7727
/proc/meminfo: memFree=22548052/32770624 swapFree=67108796/67108860
[pid=7723] ppid=7720 vsize=6711460 memory=6386484 CPUtime=222.28 cores=0,2,4,6
/proc/7723/stat : 7723 (xcsp_picat) R 7720 7723 6599 0 -1 4202496 664321 0 0 0 21975 253 0 0 20 0 1 0 48354854 6872535040 1596621 33554432000 4194304 5849740 140735232460032 140735232458280 4205068 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 20172800 140735232468150 140735232468228 140735232468228 140735232470986 0
/proc/7723/statm: 1677865 1596621 677 405 0 1674809 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 6711460 KiB
Current children cumulated memory: 6386484 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.04 3/188 7728
/proc/meminfo: memFree=22537852/32770624 swapFree=67108796/67108860
[pid=7723] ppid=7720 vsize=6711460 memory=6386484 CPUtime=282.27 cores=0,2,4,6
/proc/7723/stat : 7723 (xcsp_picat) R 7720 7723 6599 0 -1 4202496 707725 0 0 0 27972 255 0 0 20 0 1 0 48354854 6872535040 1596621 33554432000 4194304 5849740 140735232460032 140735232458280 4205068 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 20172800 140735232468150 140735232468228 140735232468228 140735232470986 0
/proc/7723/statm: 1677865 1596621 677 405 0 1674809 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 6711460 KiB
Current children cumulated memory: 6386484 KiB
[startup+342.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/188 7734
/proc/meminfo: memFree=22536716/32770624 swapFree=67108796/67108860
[pid=7723] ppid=7720 vsize=6711460 memory=6386484 CPUtime=342.27 cores=0,2,4,6
/proc/7723/stat : 7723 (xcsp_picat) R 7720 7723 6599 0 -1 4202496 728265 0 0 0 33970 257 0 0 20 0 1 0 48354854 6872535040 1596621 33554432000 4194304 5849740 140735232460032 140735232458280 4205078 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 20172800 140735232468150 140735232468228 140735232468228 140735232470986 0
/proc/7723/statm: 1677865 1596621 677 405 0 1674809 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 6711460 KiB
Current children cumulated memory: 6386484 KiB
[startup+402.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/188 7735
/proc/meminfo: memFree=22518232/32770624 swapFree=67108796/67108860
[pid=7723] ppid=7720 vsize=6711460 memory=6386484 CPUtime=402.27 cores=0,2,4,6
/proc/7723/stat : 7723 (xcsp_picat) R 7720 7723 6599 0 -1 4202496 751980 0 0 0 39968 259 0 0 20 0 1 0 48354854 6872535040 1596621 33554432000 4194304 5849740 140735232460032 140735232458280 4205041 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 20172800 140735232468150 140735232468228 140735232468228 140735232470986 0
/proc/7723/statm: 1677865 1596621 677 405 0 1674809 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 6711460 KiB
Current children cumulated memory: 6386484 KiB
[startup+462.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/188 7736
/proc/meminfo: memFree=22504444/32770624 swapFree=67108796/67108860
[pid=7723] ppid=7720 vsize=6711460 memory=6386484 CPUtime=462.26 cores=0,2,4,6
/proc/7723/stat : 7723 (xcsp_picat) R 7720 7723 6599 0 -1 4202496 782229 0 0 0 45964 262 0 0 20 0 1 0 48354854 6872535040 1596621 33554432000 4194304 5849740 140735232460032 140735232458280 4205083 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 20172800 140735232468150 140735232468228 140735232468228 140735232470986 0
/proc/7723/statm: 1677865 1596621 677 405 0 1674809 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 6711460 KiB
Current children cumulated memory: 6386484 KiB
################
# More data... #
################
/proc/7723/statm: 1888831 1807591 681 405 0 1885775 0
Current children cumulated CPU time: 1722.16 s
Current children cumulated vsize: 7555324 KiB
Current children cumulated memory: 7230364 KiB
[startup+1782.3 s]
/proc/loadavg: 2.01 2.06 2.06 3/188 7814
/proc/meminfo: memFree=21496812/32770624 swapFree=67108796/67108860
[pid=7723] ppid=7720 vsize=7555324 memory=7230364 CPUtime=1782.15 cores=0,2,4,6
/proc/7723/stat : 7723 (xcsp_picat) R 7720 7723 6599 0 -1 4202496 2955182 0 0 0 177792 423 0 0 20 0 1 0 48354854 7736651776 1807591 33554432000 4194304 5849740 140735232460032 140735232459032 5307547 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 20172800 140735232468150 140735232468228 140735232468228 140735232470986 0
/proc/7723/statm: 1888831 1807591 681 405 0 1885775 0
Current children cumulated CPU time: 1782.15 s
Current children cumulated vsize: 7555324 KiB
Current children cumulated memory: 7230364 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/187 7815
/proc/meminfo: memFree=21463364/32770624 swapFree=67108796/67108860
[pid=7723] ppid=7720 vsize=7555324 memory=7230364 CPUtime=1842.16 cores=0,2,4,6
/proc/7723/stat : 7723 (xcsp_picat) R 7720 7723 6599 0 -1 4202496 3016452 0 0 0 183788 428 0 0 20 0 1 0 48354854 7736651776 1807591 33554432000 4194304 5849740 140735232460032 140735232459032 5437812 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 20172800 140735232468150 140735232468228 140735232468228 140735232470986 0
/proc/7723/statm: 1888831 1807591 681 405 0 1885775 0
Current children cumulated CPU time: 1842.16 s
Current children cumulated vsize: 7555324 KiB
Current children cumulated memory: 7230364 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 7816
/proc/meminfo: memFree=21388832/32770624 swapFree=67108796/67108860
[pid=7723] ppid=7720 vsize=7555324 memory=7230364 CPUtime=1902.15 cores=0,2,4,6
/proc/7723/stat : 7723 (xcsp_picat) R 7720 7723 6599 0 -1 4202496 3110889 0 0 0 189780 435 0 0 20 0 1 0 48354854 7736651776 1807591 33554432000 4194304 5849740 140735232460032 140735232459032 5307557 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 20172800 140735232468150 140735232468228 140735232468228 140735232470986 0
/proc/7723/statm: 1888831 1807591 681 405 0 1885775 0
Current children cumulated CPU time: 1902.15 s
Current children cumulated vsize: 7555324 KiB
Current children cumulated memory: 7230364 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 7817
/proc/meminfo: memFree=21388344/32770624 swapFree=67108796/67108860
[pid=7723] ppid=7720 vsize=7555324 memory=7230364 CPUtime=1962.15 cores=0,2,4,6
/proc/7723/stat : 7723 (xcsp_picat) R 7720 7723 6599 0 -1 4202496 3172938 0 0 0 195778 437 0 0 20 0 1 0 48354854 7736651776 1807591 33554432000 4194304 5849740 140735232460032 140735232459192 5307557 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 20172800 140735232468150 140735232468228 140735232468228 140735232470986 0
/proc/7723/statm: 1888831 1807591 681 405 0 1885775 0
Current children cumulated CPU time: 1962.15 s
Current children cumulated vsize: 7555324 KiB
Current children cumulated memory: 7230364 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 7818
/proc/meminfo: memFree=21388336/32770624 swapFree=67108796/67108860
[pid=7723] ppid=7720 vsize=7555324 memory=7230364 CPUtime=2022.15 cores=0,2,4,6
/proc/7723/stat : 7723 (xcsp_picat) R 7720 7723 6599 0 -1 4202496 3261934 0 0 0 201774 441 0 0 20 0 1 0 48354854 7736651776 1807591 33554432000 4194304 5849740 140735232460032 140735232459032 5307557 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 20172800 140735232468150 140735232468228 140735232468228 140735232470986 0
/proc/7723/statm: 1888831 1807591 681 405 0 1885775 0
Current children cumulated CPU time: 2022.15 s
Current children cumulated vsize: 7555324 KiB
Current children cumulated memory: 7230364 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 7819
/proc/meminfo: memFree=21388584/32770624 swapFree=67108796/67108860
[pid=7723] ppid=7720 vsize=7555324 memory=7230364 CPUtime=2082.16 cores=0,2,4,6
/proc/7723/stat : 7723 (xcsp_picat) R 7720 7723 6599 0 -1 4202496 3329830 0 0 0 207770 446 0 0 20 0 1 0 48354854 7736651776 1807591 33554432000 4194304 5849740 140735232460032 140735232459032 5339443 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 20172800 140735232468150 140735232468228 140735232468228 140735232470986 0
/proc/7723/statm: 1888831 1807591 681 405 0 1885775 0
Current children cumulated CPU time: 2082.16 s
Current children cumulated vsize: 7555324 KiB
Current children cumulated memory: 7230364 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 7827
/proc/meminfo: memFree=21360380/32770624 swapFree=67108796/67108860
[pid=7723] ppid=7720 vsize=7555324 memory=7230364 CPUtime=2142.15 cores=0,2,4,6
/proc/7723/stat : 7723 (xcsp_picat) R 7720 7723 6599 0 -1 4202496 3426932 0 0 0 213765 450 0 0 20 0 1 0 48354854 7736651776 1807591 33554432000 4194304 5849740 140735232460032 140735232459032 5307557 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 20172800 140735232468150 140735232468228 140735232468228 140735232470986 0
/proc/7723/statm: 1888831 1807591 681 405 0 1885775 0
Current children cumulated CPU time: 2142.15 s
Current children cumulated vsize: 7555324 KiB
Current children cumulated memory: 7230364 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7828
/proc/meminfo: memFree=21291008/32770624 swapFree=67108796/67108860
[pid=7723] ppid=7720 vsize=7555324 memory=7230364 CPUtime=2202.15 cores=0,2,4,6
/proc/7723/stat : 7723 (xcsp_picat) R 7720 7723 6599 0 -1 4202496 3486755 0 0 0 219761 454 0 0 20 0 1 0 48354854 7736651776 1807591 33554432000 4194304 5849740 140735232460032 140735232459032 5307557 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 20172800 140735232468150 140735232468228 140735232468228 140735232470986 0
/proc/7723/statm: 1888831 1807591 681 405 0 1885775 0
Current children cumulated CPU time: 2202.15 s
Current children cumulated vsize: 7555324 KiB
Current children cumulated memory: 7230364 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7829
/proc/meminfo: memFree=21291148/32770624 swapFree=67108796/67108860
[pid=7723] ppid=7720 vsize=7555324 memory=7230364 CPUtime=2262.15 cores=0,2,4,6
/proc/7723/stat : 7723 (xcsp_picat) R 7720 7723 6599 0 -1 4202496 3580897 0 0 0 225756 459 0 0 20 0 1 0 48354854 7736651776 1807591 33554432000 4194304 5849740 140735232460032 140735232459032 5307557 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 20172800 140735232468150 140735232468228 140735232468228 140735232470986 0
/proc/7723/statm: 1888831 1807591 681 405 0 1885775 0
Current children cumulated CPU time: 2262.15 s
Current children cumulated vsize: 7555324 KiB
Current children cumulated memory: 7230364 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7830
/proc/meminfo: memFree=21291148/32770624 swapFree=67108796/67108860
[pid=7723] ppid=7720 vsize=7555324 memory=7230364 CPUtime=2322.15 cores=0,2,4,6
/proc/7723/stat : 7723 (xcsp_picat) R 7720 7723 6599 0 -1 4202496 3669817 0 0 0 231751 464 0 0 20 0 1 0 48354854 7736651776 1807591 33554432000 4194304 5849740 140735232460032 140735232459032 5437564 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 20172800 140735232468150 140735232468228 140735232468228 140735232470986 0
/proc/7723/statm: 1888831 1807591 681 405 0 1885775 0
Current children cumulated CPU time: 2322.15 s
Current children cumulated vsize: 7555324 KiB
Current children cumulated memory: 7230364 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7891
/proc/meminfo: memFree=21568756/32770624 swapFree=67108796/67108860
[pid=7723] ppid=7720 vsize=7555324 memory=7230364 CPUtime=2382.14 cores=0,2,4,6
/proc/7723/stat : 7723 (xcsp_picat) R 7720 7723 6599 0 -1 4202496 3732789 0 0 0 237746 468 0 0 20 0 1 0 48354854 7736651776 1807591 33554432000 4194304 5849740 140735232460032 140735232459032 5307557 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 20172800 140735232468150 140735232468228 140735232468228 140735232470986 0
/proc/7723/statm: 1888831 1807591 681 405 0 1885775 0
Current children cumulated CPU time: 2382.14 s
Current children cumulated vsize: 7555324 KiB
Current children cumulated memory: 7230364 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7892
/proc/meminfo: memFree=21568764/32770624 swapFree=67108796/67108860
[pid=7723] ppid=7720 vsize=7555324 memory=7230364 CPUtime=2442.15 cores=0,2,4,6
/proc/7723/stat : 7723 (xcsp_picat) R 7720 7723 6599 0 -1 4202496 3829955 0 0 0 243741 474 0 0 20 0 1 0 48354854 7736651776 1807591 33554432000 4194304 5849740 140735232460032 140735232459032 5339443 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 20172800 140735232468150 140735232468228 140735232468228 140735232470986 0
/proc/7723/statm: 1888831 1807591 681 405 0 1885775 0
Current children cumulated CPU time: 2442.15 s
Current children cumulated vsize: 7555324 KiB
Current children cumulated memory: 7230364 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7893
/proc/meminfo: memFree=21581240/32770624 swapFree=67108796/67108860
[pid=7723] ppid=7720 vsize=7555324 memory=7230364 CPUtime=2502.14 cores=0,2,4,6
/proc/7723/stat : 7723 (xcsp_picat) R 7720 7723 6599 0 -1 4202496 3888311 0 0 0 249737 477 0 0 20 0 1 0 48354854 7736651776 1807591 33554432000 4194304 5849740 140735232460032 140735232459032 5307594 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 20172800 140735232468150 140735232468228 140735232468228 140735232470986 0
/proc/7723/statm: 1888831 1807591 681 405 0 1885775 0
Current children cumulated CPU time: 2502.14 s
Current children cumulated vsize: 7555324 KiB
Current children cumulated memory: 7230364 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 7893
/proc/meminfo: memFree=21581240/32770624 swapFree=67108796/67108860
[pid=7723] ppid=7720 vsize=7555324 memory=7230364 CPUtime=2519.86 cores=0,2,4,6
/proc/7723/stat : 7723 (xcsp_picat) R 7720 7723 6599 0 -1 4202496 3935108 0 0 0 251506 480 0 0 20 0 1 0 48354854 7736651776 1807591 33554432000 4194304 5849740 140735232460032 140735232459032 5437616 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 20172800 140735232468150 140735232468228 140735232468228 140735232470986 0
/proc/7723/statm: 1888831 1807591 681 405 0 1885775 0
Current children cumulated CPU time: 2519.86 s
Current children cumulated vsize: 7555324 KiB
Current children cumulated memory: 7230364 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.08 s]
# the end of solver process 7723 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.06 s, system=4.87594 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.08
CPU time (s): 2519.94
CPU user time (s): 2515.06
CPU system time (s): 4.87594
CPU usage (%): 99.9943
Max. virtual memory (cumulated for all children) (KiB): 7693812
Max. memory (cumulated for all children) (KiB): 7288060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.06
system time used= 4.87594
maximum resident set size= 7368808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3935109
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= 214
involuntary context switches= 689
# summary of solver processes directly reported to runsolver:
# pid: 7723
# total CPU time (s): 2519.94
# total CPU user time (s): 2515.06
# total CPU system time (s): 4.87594
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.48947 second user time and 18.4727 second system time
The end