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 (9154 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-4295515-1532562373/watcher-4295515-1532562373 -o /tmp/evaluation-result-4295515-1532562373/solver-4295515-1532562373 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532562373-32761 --watchdog 2580 xcsp_picat HOME/instance-4295515-1532562373.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=321, runsolver pid=317
[startup+0.1005 s]*
/proc/loadavg: 1.00 1.01 1.05 4/190 328
/proc/meminfo: memFree=20867896/32770624 swapFree=67108860/67108860
[pid=321] ppid=317 vsize=127940 memory=22556 CPUtime=0.09 cores=0,2,4,6
/proc/321/stat : 321 (xcsp_picat) R 317 321 32730 0 -1 4202496 2300 0 0 0 9 0 0 0 20 0 1 0 73800508 131010560 5639 33554432000 4194304 5849740 140732238617024 140732238616136 140520007350016 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 25509888 140732238619830 140732238619908 140732238619908 140732238622666 0
/proc/321/statm: 31985 5639 691 405 0 28929 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 127940 KiB
Current children cumulated memory: 22556 KiB
[startup+0.20981 s]*
/proc/loadavg: 1.00 1.01 1.05 3/190 328
/proc/meminfo: memFree=20864112/32770624 swapFree=67108860/67108860
[pid=321] ppid=317 vsize=127940 memory=22816 CPUtime=0.2 cores=0,2,4,6
/proc/321/stat : 321 (xcsp_picat) R 317 321 32730 0 -1 4202496 2334 0 0 0 20 0 0 0 20 0 1 0 73800508 131010560 5704 33554432000 4194304 5849740 140732238617024 140732238616136 140520007761799 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 25509888 140732238619830 140732238619908 140732238619908 140732238622666 0
/proc/321/statm: 31985 5704 709 405 0 28929 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 127940 KiB
Current children cumulated memory: 22816 KiB
[startup+0.309118 s]*
/proc/loadavg: 1.00 1.01 1.05 3/190 328
/proc/meminfo: memFree=20863544/32770624 swapFree=67108860/67108860
[pid=321] ppid=317 vsize=128324 memory=23080 CPUtime=0.3 cores=0,2,4,6
/proc/321/stat : 321 (xcsp_picat) R 317 321 32730 0 -1 4202496 2398 0 0 0 30 0 0 0 20 0 1 0 73800508 131403776 5770 33554432000 4194304 5849740 140732238617024 140732238616136 140520007761799 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 25509888 140732238619830 140732238619908 140732238619908 140732238622666 0
/proc/321/statm: 32081 5770 709 405 0 29025 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 128324 KiB
Current children cumulated memory: 23080 KiB
[startup+0.700306 s]
/proc/loadavg: 1.00 1.01 1.05 4/190 328
/proc/meminfo: memFree=20853864/32770624 swapFree=67108860/67108860
[pid=321] ppid=317 vsize=141104 memory=35852 CPUtime=0.69 cores=0,2,4,6
/proc/321/stat : 321 (xcsp_picat) R 317 321 32730 0 -1 4202496 6011 0 0 0 68 1 0 0 20 0 1 0 73800508 144490496 8963 33554432000 4194304 5849740 140732238617024 140732238615272 5369374 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 25509888 140732238619830 140732238619908 140732238619908 140732238622666 0
/proc/321/statm: 35276 8963 726 405 0 32220 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 141104 KiB
Current children cumulated memory: 35852 KiB
[startup+1.50029 s]
/proc/loadavg: 1.00 1.01 1.05 3/190 328
/proc/meminfo: memFree=20831732/32770624 swapFree=67108860/67108860
[pid=321] ppid=317 vsize=141720 memory=36400 CPUtime=1.48 cores=0,2,4,6
/proc/321/stat : 321 (xcsp_picat) R 317 321 32730 0 -1 4202496 8085 0 0 0 147 1 0 0 20 0 1 0 73800508 145121280 9100 33554432000 4194304 5849740 140732238617024 140732238615272 5416700 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 25509888 140732238619830 140732238619908 140732238619908 140732238622666 0
/proc/321/statm: 35430 9100 736 405 0 32374 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 141720 KiB
Current children cumulated memory: 36400 KiB
[startup+3.10953 s]
/proc/loadavg: 1.08 1.03 1.05 3/190 328
/proc/meminfo: memFree=20819344/32770624 swapFree=67108860/67108860
[pid=321] ppid=317 vsize=141720 memory=36652 CPUtime=3.09 cores=0,2,4,6
/proc/321/stat : 321 (xcsp_picat) R 317 321 32730 0 -1 4202496 9811 0 0 0 308 1 0 0 20 0 1 0 73800508 145121280 9163 33554432000 4194304 5849740 140732238617024 140732238615512 4230750 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 25509888 140732238619830 140732238619908 140732238619908 140732238622666 0
/proc/321/statm: 35430 9163 740 405 0 32374 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 141720 KiB
Current children cumulated memory: 36652 KiB
[startup+6.30024 s]
/proc/loadavg: 1.08 1.03 1.05 3/190 328
/proc/meminfo: memFree=20818632/32770624 swapFree=67108860/67108860
[pid=321] ppid=317 vsize=143208 memory=37868 CPUtime=6.29 cores=0,2,4,6
/proc/321/stat : 321 (xcsp_picat) R 317 321 32730 0 -1 4202496 12400 0 0 0 624 5 0 0 20 0 1 0 73800508 146644992 9467 33554432000 4194304 5849740 140732238617024 140732238615512 4230910 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 25509888 140732238619830 140732238619908 140732238619908 140732238622666 0
/proc/321/statm: 35802 9467 744 405 0 32746 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 143208 KiB
Current children cumulated memory: 37868 KiB
[startup+12.7002 s]
/proc/loadavg: 1.16 1.05 1.06 3/190 328
/proc/meminfo: memFree=20815944/32770624 swapFree=67108860/67108860
[pid=321] ppid=317 vsize=143560 memory=38596 CPUtime=12.69 cores=0,2,4,6
/proc/321/stat : 321 (xcsp_picat) R 317 321 32730 0 -1 4202496 15441 0 0 0 1257 12 0 0 20 0 1 0 73800508 147005440 9649 33554432000 4194304 5849740 140732238617024 140732238615512 140520007761799 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 25509888 140732238619830 140732238619908 140732238619908 140732238622666 0
/proc/321/statm: 35890 9649 744 405 0 32834 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 143560 KiB
Current children cumulated memory: 38596 KiB
[startup+25.5003 s]
/proc/loadavg: 1.34 1.09 1.07 3/190 328
/proc/meminfo: memFree=20810720/32770624 swapFree=67108860/67108860
[pid=321] ppid=317 vsize=155688 memory=50488 CPUtime=25.48 cores=0,2,4,6
/proc/321/stat : 321 (xcsp_picat) R 317 321 32730 0 -1 4202496 27535 0 0 0 2522 26 0 0 20 0 1 0 73800508 159424512 12622 33554432000 4194304 5849740 140732238617024 140732238616024 140520007761799 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 25509888 140732238619830 140732238619908 140732238619908 140732238622666 0
/proc/321/statm: 38922 12622 744 405 0 35866 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 155688 KiB
Current children cumulated memory: 50488 KiB
[startup+51.1097 s]
/proc/loadavg: 1.57 1.17 1.09 3/190 328
/proc/meminfo: memFree=20797972/32770624 swapFree=67108860/67108860
[pid=321] ppid=317 vsize=155244 memory=56296 CPUtime=51.09 cores=0,2,4,6
/proc/321/stat : 321 (xcsp_picat) R 317 321 32730 0 -1 4202496 38965 0 0 0 5059 50 0 0 20 0 1 0 73800508 158969856 14074 33554432000 4194304 5849740 140732238617024 140732238616024 140520007761799 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 25509888 140732238619830 140732238619908 140732238619908 140732238622666 0
/proc/321/statm: 38811 14074 744 405 0 35755 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 155244 KiB
Current children cumulated memory: 56296 KiB
[startup+102.3 s]
/proc/loadavg: 1.86 1.31 1.15 3/192 331
/proc/meminfo: memFree=20752072/32770624 swapFree=67108860/67108860
[pid=321] ppid=317 vsize=181632 memory=82768 CPUtime=102.28 cores=0,2,4,6
/proc/321/stat : 321 (xcsp_picat) R 317 321 32730 0 -1 4202496 51908 0 0 0 10136 92 0 0 20 0 1 0 73800508 185991168 20692 33554432000 4194304 5849740 140732238617024 140732238616184 5437698 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 25509888 140732238619830 140732238619908 140732238619908 140732238622666 0
/proc/321/statm: 45408 20692 744 405 0 42352 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 181632 KiB
Current children cumulated memory: 82768 KiB
[startup+162.3 s]
/proc/loadavg: 1.95 1.44 1.20 3/192 332
/proc/meminfo: memFree=20745328/32770624 swapFree=67108860/67108860
[pid=321] ppid=317 vsize=172312 memory=73576 CPUtime=162.28 cores=0,2,4,6
/proc/321/stat : 321 (xcsp_picat) R 317 321 32730 0 -1 4202496 68346 0 0 0 16088 140 0 0 20 0 1 0 73800508 176447488 18394 33554432000 4194304 5849740 140732238617024 140732238615896 140520007761799 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 25509888 140732238619830 140732238619908 140732238619908 140732238622666 0
/proc/321/statm: 43078 18394 744 405 0 40022 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 172312 KiB
Current children cumulated memory: 73576 KiB
[startup+222.3 s]
/proc/loadavg: 1.98 1.54 1.25 3/192 333
/proc/meminfo: memFree=20686244/32770624 swapFree=67108860/67108860
[pid=321] ppid=317 vsize=242624 memory=143528 CPUtime=222.28 cores=0,2,4,6
/proc/321/stat : 321 (xcsp_picat) R 317 321 32730 0 -1 4202496 85903 0 0 0 22037 191 0 0 20 0 1 0 73800508 248446976 35882 33554432000 4194304 5849740 140732238617024 140732238616024 140520007761799 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 25509888 140732238619830 140732238619908 140732238619908 140732238622666 0
/proc/321/statm: 60656 35882 744 405 0 57600 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 242624 KiB
Current children cumulated memory: 143528 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 1.62 1.30 3/192 342
/proc/meminfo: memFree=20706404/32770624 swapFree=67108860/67108860
[pid=321] ppid=317 vsize=207508 memory=108644 CPUtime=282.27 cores=0,2,4,6
/proc/321/stat : 321 (xcsp_picat) R 317 321 32730 0 -1 4202496 97035 0 0 0 27995 232 0 0 20 0 1 0 73800508 212488192 27161 33554432000 4194304 5849740 140732238617024 140732238616024 5437698 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 25509888 140732238619830 140732238619908 140732238619908 140732238622666 0
/proc/321/statm: 51877 27161 744 405 0 48821 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 207508 KiB
Current children cumulated memory: 108644 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.69 1.34 3/192 343
/proc/meminfo: memFree=20592508/32770624 swapFree=67108860/67108860
[pid=321] ppid=317 vsize=305160 memory=206068 CPUtime=342.27 cores=0,2,4,6
/proc/321/stat : 321 (xcsp_picat) R 317 321 32730 0 -1 4202496 117373 0 0 0 33945 282 0 0 20 0 1 0 73800508 312483840 51517 33554432000 4194304 5849740 140732238617024 140732238616024 5307610 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 25509888 140732238619830 140732238619908 140732238619908 140732238622666 0
/proc/321/statm: 76290 51517 744 405 0 73234 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 305160 KiB
Current children cumulated memory: 206068 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.75 1.38 3/190 344
/proc/meminfo: memFree=20611520/32770624 swapFree=67108860/67108860
[pid=321] ppid=317 vsize=264512 memory=165420 CPUtime=402.27 cores=0,2,4,6
/proc/321/stat : 321 (xcsp_picat) R 317 321 32730 0 -1 4202496 125951 0 0 0 39900 327 0 0 20 0 1 0 73800508 270860288 41355 33554432000 4194304 5849740 140732238617024 140732238615896 5307550 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 25509888 140732238619830 140732238619908 140732238619908 140732238622666 0
/proc/321/statm: 66128 41355 744 405 0 63072 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 264512 KiB
Current children cumulated memory: 165420 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.79 1.42 3/190 345
/proc/meminfo: memFree=20605520/32770624 swapFree=67108860/67108860
[pid=321] ppid=317 vsize=273492 memory=174628 CPUtime=462.26 cores=0,2,4,6
/proc/321/stat : 321 (xcsp_picat) R 317 321 32730 0 -1 4202496 136674 0 0 0 45865 361 0 0 20 0 1 0 73800508 280055808 43657 33554432000 4194304 5849740 140732238617024 140732238616024 5437819 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 25509888 140732238619830 140732238619908 140732238619908 140732238622666 0
/proc/321/statm: 68373 43657 744 405 0 65317 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 273492 KiB
Current children cumulated memory: 174628 KiB
################
# More data... #
################
/proc/321/statm: 146351 121667 744 405 0 143295 0
Current children cumulated CPU time: 1722.2 s
Current children cumulated vsize: 585404 KiB
Current children cumulated memory: 486668 KiB
[startup+1782.3 s]
/proc/loadavg: 2.02 2.04 1.90 3/191 419
/proc/meminfo: memFree=20162404/32770624 swapFree=67108860/67108860
[pid=321] ppid=317 vsize=613324 memory=514588 CPUtime=1782.19 cores=0,2,4,6
/proc/321/stat : 321 (xcsp_picat) R 317 321 32730 0 -1 4202496 1282734 0 0 0 177329 890 0 0 20 0 1 0 73800508 628043776 128647 33554432000 4194304 5849740 140732238617024 140732238616024 5437771 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 25509888 140732238619830 140732238619908 140732238619908 140732238622666 0
/proc/321/statm: 153331 128647 744 405 0 150275 0
Current children cumulated CPU time: 1782.19 s
Current children cumulated vsize: 613324 KiB
Current children cumulated memory: 514588 KiB
[startup+1842.3 s]
/proc/loadavg: 2.01 2.04 1.90 3/192 422
/proc/meminfo: memFree=20089712/32770624 swapFree=67108860/67108860
[pid=321] ppid=317 vsize=730200 memory=631464 CPUtime=1842.18 cores=0,2,4,6
/proc/321/stat : 321 (xcsp_picat) R 317 321 32730 0 -1 4202496 1293994 0 0 0 183308 910 0 0 20 0 1 0 73800508 747724800 157866 33554432000 4194304 5849740 140732238617024 140732238616024 5437698 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 25509888 140732238619830 140732238619908 140732238619908 140732238622666 0
/proc/321/statm: 182550 157866 744 405 0 179494 0
Current children cumulated CPU time: 1842.18 s
Current children cumulated vsize: 730200 KiB
Current children cumulated memory: 631464 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.03 1.91 3/192 423
/proc/meminfo: memFree=19992096/32770624 swapFree=67108860/67108860
[pid=321] ppid=317 vsize=795736 memory=697000 CPUtime=1902.19 cores=0,2,4,6
/proc/321/stat : 321 (xcsp_picat) R 317 321 32730 0 -1 4202496 1315616 0 0 0 189293 926 0 0 20 0 1 0 73800508 814833664 174250 33554432000 4194304 5849740 140732238617024 140732238616024 5335610 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 25509888 140732238619830 140732238619908 140732238619908 140732238622666 0
/proc/321/statm: 198934 174250 744 405 0 195878 0
Current children cumulated CPU time: 1902.19 s
Current children cumulated vsize: 795736 KiB
Current children cumulated memory: 697000 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.03 1.91 3/191 424
/proc/meminfo: memFree=19945840/32770624 swapFree=67108860/67108860
[pid=321] ppid=317 vsize=795736 memory=696932 CPUtime=1962.19 cores=0,2,4,6
/proc/321/stat : 321 (xcsp_picat) R 317 321 32730 0 -1 4202496 1340622 0 0 0 195280 939 0 0 20 0 1 0 73800508 814833664 174233 33554432000 4194304 5849740 140732238617024 140732238616184 5437698 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 25509888 140732238619830 140732238619908 140732238619908 140732238622666 0
/proc/321/statm: 198934 174233 744 405 0 195878 0
Current children cumulated CPU time: 1962.19 s
Current children cumulated vsize: 795736 KiB
Current children cumulated memory: 696932 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 1.92 3/191 425
/proc/meminfo: memFree=19886756/32770624 swapFree=67108860/67108860
[pid=321] ppid=317 vsize=795736 memory=697000 CPUtime=2022.18 cores=0,2,4,6
/proc/321/stat : 321 (xcsp_picat) R 317 321 32730 0 -1 4202496 1364943 0 0 0 201267 951 0 0 20 0 1 0 73800508 814833664 174250 33554432000 4194304 5849740 140732238617024 140732238615896 5312857 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 25509888 140732238619830 140732238619908 140732238619908 140732238622666 0
/proc/321/statm: 198934 174250 744 405 0 195878 0
Current children cumulated CPU time: 2022.18 s
Current children cumulated vsize: 795736 KiB
Current children cumulated memory: 697000 KiB
[startup+2082.3 s]
/proc/loadavg: 2.19 2.07 1.95 3/192 434
/proc/meminfo: memFree=19655800/32770624 swapFree=67108860/67108860
[pid=321] ppid=317 vsize=1026456 memory=927720 CPUtime=2082.18 cores=0,2,4,6
/proc/321/stat : 321 (xcsp_picat) R 317 321 32730 0 -1 4202496 1395826 0 0 0 207242 976 0 0 20 0 1 0 73800508 1051090944 231930 33554432000 4194304 5849740 140732238617024 140732238615896 5312657 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 25509888 140732238619830 140732238619908 140732238619908 140732238622666 0
/proc/321/statm: 256614 231930 744 405 0 253558 0
Current children cumulated CPU time: 2082.18 s
Current children cumulated vsize: 1026456 KiB
Current children cumulated memory: 927720 KiB
[startup+2142.3 s]
/proc/loadavg: 2.07 2.06 1.95 3/191 435
/proc/meminfo: memFree=19562952/32770624 swapFree=67108860/67108860
[pid=321] ppid=317 vsize=1025220 memory=926484 CPUtime=2142.18 cores=0,2,4,6
/proc/321/stat : 321 (xcsp_picat) R 317 321 32730 0 -1 4202496 1437428 0 0 0 213230 988 0 0 20 0 1 0 73800508 1049825280 231621 33554432000 4194304 5849740 140732238617024 140732238616024 5312882 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 25509888 140732238619830 140732238619908 140732238619908 140732238622666 0
/proc/321/statm: 256305 231621 744 405 0 253249 0
Current children cumulated CPU time: 2142.18 s
Current children cumulated vsize: 1025220 KiB
Current children cumulated memory: 926484 KiB
[startup+2202.3 s]
/proc/loadavg: 2.03 2.05 1.95 3/192 437
/proc/meminfo: memFree=19552296/32770624 swapFree=67108860/67108860
[pid=321] ppid=317 vsize=1067040 memory=968304 CPUtime=2202.18 cores=0,2,4,6
/proc/321/stat : 321 (xcsp_picat) R 317 321 32730 0 -1 4202496 1493332 0 0 0 219217 1001 0 0 20 0 1 0 73800508 1092648960 242076 33554432000 4194304 5849740 140732238617024 140732238616024 5437698 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 25509888 140732238619830 140732238619908 140732238619908 140732238622666 0
/proc/321/statm: 266760 242076 744 405 0 263704 0
Current children cumulated CPU time: 2202.18 s
Current children cumulated vsize: 1067040 KiB
Current children cumulated memory: 968304 KiB
[startup+2262.3 s]
/proc/loadavg: 2.01 2.04 1.95 3/192 438
/proc/meminfo: memFree=19311032/32770624 swapFree=67108860/67108860
[pid=321] ppid=317 vsize=1067040 memory=968304 CPUtime=2262.18 cores=0,2,4,6
/proc/321/stat : 321 (xcsp_picat) R 317 321 32730 0 -1 4202496 1558470 0 0 0 225205 1013 0 0 20 0 1 0 73800508 1092648960 242076 33554432000 4194304 5849740 140732238617024 140732238616024 5437698 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 25509888 140732238619830 140732238619908 140732238619908 140732238622666 0
/proc/321/statm: 266760 242076 744 405 0 263704 0
Current children cumulated CPU time: 2262.18 s
Current children cumulated vsize: 1067040 KiB
Current children cumulated memory: 968304 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.04 1.95 3/192 439
/proc/meminfo: memFree=19577288/32770624 swapFree=67108860/67108860
[pid=321] ppid=317 vsize=1067040 memory=968304 CPUtime=2322.18 cores=0,2,4,6
/proc/321/stat : 321 (xcsp_picat) R 317 321 32730 0 -1 4202496 1622565 0 0 0 231194 1024 0 0 20 0 1 0 73800508 1092648960 242076 33554432000 4194304 5849740 140732238617024 140732238616024 5437698 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 25509888 140732238619830 140732238619908 140732238619908 140732238622666 0
/proc/321/statm: 266760 242076 744 405 0 263704 0
Current children cumulated CPU time: 2322.18 s
Current children cumulated vsize: 1067040 KiB
Current children cumulated memory: 968304 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.03 1.95 3/191 441
/proc/meminfo: memFree=19267604/32770624 swapFree=67108860/67108860
[pid=321] ppid=317 vsize=1067040 memory=968304 CPUtime=2382.18 cores=0,2,4,6
/proc/321/stat : 321 (xcsp_picat) R 317 321 32730 0 -1 4202496 1685543 0 0 0 237182 1036 0 0 20 0 1 0 73800508 1092648960 242076 33554432000 4194304 5849740 140732238617024 140732238615896 5437698 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 25509888 140732238619830 140732238619908 140732238619908 140732238622666 0
/proc/321/statm: 266760 242076 744 405 0 263704 0
Current children cumulated CPU time: 2382.18 s
Current children cumulated vsize: 1067040 KiB
Current children cumulated memory: 968304 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/191 442
/proc/meminfo: memFree=18586868/32770624 swapFree=67108860/67108860
[pid=321] ppid=317 vsize=1412460 memory=1313680 CPUtime=2442.16 cores=0,2,4,6
/proc/321/stat : 321 (xcsp_picat) R 317 321 32730 0 -1 4202496 1744966 0 0 0 243164 1052 0 0 20 0 1 0 73800508 1446359040 328420 33554432000 4194304 5849740 140732238617024 140732238616024 5312874 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 25509888 140732238619830 140732238619908 140732238619908 140732238622666 0
/proc/321/statm: 353115 328420 744 405 0 350059 0
Current children cumulated CPU time: 2442.16 s
Current children cumulated vsize: 1412460 KiB
Current children cumulated memory: 1313680 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/191 444
/proc/meminfo: memFree=18282652/32770624 swapFree=67108860/67108860
[pid=321] ppid=317 vsize=1412460 memory=1313724 CPUtime=2502.16 cores=0,2,4,6
/proc/321/stat : 321 (xcsp_picat) R 317 321 32730 0 -1 4202496 1821415 0 0 0 249153 1063 0 0 20 0 1 0 73800508 1446359040 328431 33554432000 4194304 5849740 140732238617024 140732238616184 5437709 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 25509888 140732238619830 140732238619908 140732238619908 140732238622666 0
/proc/321/statm: 353115 328431 744 405 0 350059 0
Current children cumulated CPU time: 2502.16 s
Current children cumulated vsize: 1412460 KiB
Current children cumulated memory: 1313724 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.02 1.95 3/191 445
/proc/meminfo: memFree=18281992/32770624 swapFree=67108860/67108860
[pid=321] ppid=317 vsize=1412460 memory=1313724 CPUtime=2519.85 cores=0,2,4,6
/proc/321/stat : 321 (xcsp_picat) R 317 321 32730 0 -1 4202496 1839967 0 0 0 250919 1066 0 0 20 0 1 0 73800508 1446359040 328431 33554432000 4194304 5849740 140732238617024 140732238616024 5437698 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 25509888 140732238619830 140732238619908 140732238619908 140732238622666 0
/proc/321/statm: 353115 328431 744 405 0 350059 0
Current children cumulated CPU time: 2519.85 s
Current children cumulated vsize: 1412460 KiB
Current children cumulated memory: 1313724 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.04 s]
# the end of solver process 321 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2509.2 s, system=10.6977 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.04
CPU time (s): 2519.9
CPU user time (s): 2509.2
CPU system time (s): 10.6977
CPU usage (%): 99.9945
Max. virtual memory (cumulated for all children) (KiB): 1474572
Max. memory (cumulated for all children) (KiB): 1375708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2509.2
system time used= 10.6977
maximum resident set size= 1375708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1839967
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= 146
involuntary context switches= 1068
# summary of solver processes directly reported to runsolver:
# pid: 321
# total CPU time (s): 2519.9
# total CPU user time (s): 2509.2
# total CPU system time (s): 10.6977
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.1032 second user time and 16.0165 second system time
The end