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 (11752 MiB free)
memory of node 1: 16384 MiB (13567 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395679-1568343408/watcher-4395679-1568343408 -o /tmp/evaluation-result-4395679-1568343408/solver-4395679-1568343408 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568328264-22069 --watchdog 2560 xcsp_picat HOME/instance-4395679-1568343408.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=27803, runsolver pid=27800
[startup+0.100122 s]*
/proc/loadavg: 1.96 1.99 2.03 3/199 27804
/proc/meminfo: memFree=25889060/32770624 swapFree=66957012/67108860
[pid=27803] ppid=27800 vsize=2039532 memory=41652 CPUtime=0.1 cores=0,2,4,6
/proc/27803/stat : 27803 (xcsp_picat) R 27800 27803 22038 0 -1 4202496 1924 0 0 0 9 1 0 0 20 0 1 0 410254673 2088480768 10413 33554432000 4194304 5870510 140721258692496 140721258689640 4493693 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 38830080 140721258697759 140721258697837 140721258697837 140721258700746 0
/proc/27803/statm: 509883 10413 870 410 0 505356 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2039532 KiB
Current children cumulated memory: 41652 KiB
[startup+0.209616 s]*
/proc/loadavg: 1.96 1.99 2.03 3/199 27804
/proc/meminfo: memFree=25860388/32770624 swapFree=66957012/67108860
[pid=27803] ppid=27800 vsize=2039532 memory=72556 CPUtime=0.21 cores=0,2,4,6
/proc/27803/stat : 27803 (xcsp_picat) R 27800 27803 22038 0 -1 4202496 1946 0 0 0 20 1 0 0 20 0 1 0 410254673 2088480768 18139 33554432000 4194304 5870510 140721258692496 140721258689640 4961585 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 38830080 140721258697759 140721258697837 140721258697837 140721258700746 0
/proc/27803/statm: 509883 18139 871 410 0 505356 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2039532 KiB
Current children cumulated memory: 72556 KiB
[startup+0.309588 s]*
/proc/loadavg: 1.96 1.99 2.03 3/199 27804
/proc/meminfo: memFree=25846052/32770624 swapFree=66957012/67108860
[pid=27803] ppid=27800 vsize=2039532 memory=84844 CPUtime=0.31 cores=0,2,4,6
/proc/27803/stat : 27803 (xcsp_picat) R 27800 27803 22038 0 -1 4202496 1958 0 0 0 30 1 0 0 20 0 1 0 410254673 2088480768 21211 33554432000 4194304 5870510 140721258692496 140721258689640 4785275 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 38830080 140721258697759 140721258697837 140721258697837 140721258700746 0
/proc/27803/statm: 509883 21211 871 410 0 505356 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2039532 KiB
Current children cumulated memory: 84844 KiB
[startup+0.700325 s]
/proc/loadavg: 1.96 1.99 2.03 3/199 27804
/proc/meminfo: memFree=25831716/32770624 swapFree=66957012/67108860
[pid=27803] ppid=27800 vsize=2039532 memory=130100 CPUtime=0.69 cores=0,2,4,6
/proc/27803/stat : 27803 (xcsp_picat) R 27800 27803 22038 0 -1 4202496 2038 0 0 0 67 2 0 0 20 0 1 0 410254673 2088480768 32525 33554432000 4194304 5870510 140721258692496 140721258689640 4459612 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 38830080 140721258697759 140721258697837 140721258697837 140721258700746 0
/proc/27803/statm: 509883 32525 888 410 0 505356 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2039532 KiB
Current children cumulated memory: 130100 KiB
[startup+1.50033 s]
/proc/loadavg: 1.96 1.99 2.03 3/199 27804
/proc/meminfo: memFree=25753252/32770624 swapFree=66957012/67108860
[pid=27803] ppid=27800 vsize=2128196 memory=404160 CPUtime=1.49 cores=0,2,4,6
/proc/27803/stat : 27803 (xcsp_picat) R 27800 27803 22038 0 -1 4202496 20743 0 0 0 141 8 0 0 20 0 1 0 410254673 2179272704 101040 33554432000 4194304 5870510 140721258692496 140721258691224 5287642 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 38830080 140721258697759 140721258697837 140721258697837 140721258700746 0
/proc/27803/statm: 532049 101040 972 410 0 527522 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2128196 KiB
Current children cumulated memory: 404160 KiB
[startup+3.10943 s]
/proc/loadavg: 1.96 1.99 2.03 3/199 27804
/proc/meminfo: memFree=25292888/32770624 swapFree=66957012/67108860
[pid=27803] ppid=27800 vsize=2404996 memory=648580 CPUtime=3.1 cores=0,2,4,6
/proc/27803/stat : 27803 (xcsp_picat) R 27800 27803 22038 0 -1 4202496 60229 0 0 0 294 16 0 0 20 0 1 0 410254673 2462715904 162145 33554432000 4194304 5870510 140721258692496 140721258691656 139857855415483 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 38830080 140721258697759 140721258697837 140721258697837 140721258700746 0
/proc/27803/statm: 601249 162145 972 410 0 596722 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2404996 KiB
Current children cumulated memory: 648580 KiB
[startup+6.30022 s]
/proc/loadavg: 1.96 1.99 2.03 3/199 27804
/proc/meminfo: memFree=25027592/32770624 swapFree=66957012/67108860
[pid=27803] ppid=27800 vsize=2672376 memory=901824 CPUtime=6.29 cores=0,2,4,6
/proc/27803/stat : 27803 (xcsp_picat) R 27800 27803 22038 0 -1 4202496 96103 0 0 0 606 23 0 0 20 0 1 0 410254673 2736513024 225456 33554432000 4194304 5870510 140721258692496 140721258691496 5405696 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 38830080 140721258697759 140721258697837 140721258697837 140721258700746 0
/proc/27803/statm: 668094 225456 972 410 0 663567 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2672376 KiB
Current children cumulated memory: 901824 KiB
[startup+12.7003 s]
/proc/loadavg: 1.97 1.99 2.03 3/199 27804
/proc/meminfo: memFree=24471436/32770624 swapFree=66957012/67108860
[pid=27803] ppid=27800 vsize=3476416 memory=1580248 CPUtime=12.69 cores=0,2,4,6
/proc/27803/stat : 27803 (xcsp_picat) R 27800 27803 22038 0 -1 4202496 189087 0 0 0 1221 48 0 0 20 0 1 0 410254673 3559849984 395062 33554432000 4194304 5870510 140721258692496 140721258691224 139857855876999 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 38830080 140721258697759 140721258697837 140721258697837 140721258700746 0
/proc/27803/statm: 869104 395062 972 410 0 864577 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 3476416 KiB
Current children cumulated memory: 1580248 KiB
[startup+25.5003 s]
/proc/loadavg: 1.97 1.99 2.03 3/199 27804
/proc/meminfo: memFree=23656372/32770624 swapFree=66957012/67108860
[pid=27803] ppid=27800 vsize=4332372 memory=2334520 CPUtime=25.48 cores=0,2,4,6
/proc/27803/stat : 27803 (xcsp_picat) R 27800 27803 22038 0 -1 4202496 289989 0 0 0 2475 73 0 0 20 0 1 0 410254673 4436348928 583630 33554432000 4194304 5870510 140721258692496 140721258691048 5287795 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 38830080 140721258697759 140721258697837 140721258697837 140721258700746 0
/proc/27803/statm: 1083093 583630 972 410 0 1078566 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 4332372 KiB
Current children cumulated memory: 2334520 KiB
[startup+51.1092 s]
/proc/loadavg: 1.98 1.99 2.03 3/199 27807
/proc/meminfo: memFree=22890572/32770624 swapFree=66957012/67108860
[pid=27803] ppid=27800 vsize=5336780 memory=3023820 CPUtime=51.1 cores=0,2,4,6
/proc/27803/stat : 27803 (xcsp_picat) R 27800 27803 22038 0 -1 4202496 582658 0 0 0 5003 107 0 0 20 0 1 0 410254673 5464862720 755955 33554432000 4194304 5870510 140721258692496 140721258691000 5337596 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 38830080 140721258697759 140721258697837 140721258697837 140721258700746 0
/proc/27803/statm: 1334195 755955 979 410 0 1329668 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 5336780 KiB
Current children cumulated memory: 3023820 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/199 27811
/proc/meminfo: memFree=22883420/32770624 swapFree=66957012/67108860
[pid=27803] ppid=27800 vsize=5336780 memory=3023820 CPUtime=102.28 cores=0,2,4,6
/proc/27803/stat : 27803 (xcsp_picat) R 27800 27803 22038 0 -1 4202496 603108 0 0 0 10119 109 0 0 20 0 1 0 410254673 5464862720 755955 33554432000 4194304 5870510 140721258692496 140721258691000 5337600 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 38830080 140721258697759 140721258697837 140721258697837 140721258700746 0
/proc/27803/statm: 1334195 755955 979 410 0 1329668 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 5336780 KiB
Current children cumulated memory: 3023820 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 27816
/proc/meminfo: memFree=20807068/32770624 swapFree=66957012/67108860
[pid=27803] ppid=27800 vsize=5336780 memory=3023820 CPUtime=162.28 cores=0,2,4,6
/proc/27803/stat : 27803 (xcsp_picat) R 27800 27803 22038 0 -1 4202496 624092 0 0 0 16117 111 0 0 20 0 1 0 410254673 5464862720 755955 33554432000 4194304 5870510 140721258692496 140721258691000 5337596 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 38830080 140721258697759 140721258697837 140721258697837 140721258700746 0
/proc/27803/statm: 1334195 755955 979 410 0 1329668 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 5336780 KiB
Current children cumulated memory: 3023820 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 27822
/proc/meminfo: memFree=20801020/32770624 swapFree=66957012/67108860
[pid=27803] ppid=27800 vsize=5336780 memory=3023820 CPUtime=222.28 cores=0,2,4,6
/proc/27803/stat : 27803 (xcsp_picat) R 27800 27803 22038 0 -1 4202496 643494 0 0 0 22115 113 0 0 20 0 1 0 410254673 5464862720 755955 33554432000 4194304 5870510 140721258692496 140721258691000 5337614 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 38830080 140721258697759 140721258697837 140721258697837 140721258700746 0
/proc/27803/statm: 1334195 755955 979 410 0 1329668 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 5336780 KiB
Current children cumulated memory: 3023820 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/200 27834
/proc/meminfo: memFree=19924376/32770624 swapFree=66957012/67108860
[pid=27803] ppid=27800 vsize=5336780 memory=3023820 CPUtime=282.27 cores=0,2,4,6
/proc/27803/stat : 27803 (xcsp_picat) R 27800 27803 22038 0 -1 4202496 665657 0 0 0 28112 115 0 0 20 0 1 0 410254673 5464862720 755955 33554432000 4194304 5870510 140721258692496 140721258691000 5337584 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 38830080 140721258697759 140721258697837 140721258697837 140721258700746 0
/proc/27803/statm: 1334195 755955 979 410 0 1329668 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 5336780 KiB
Current children cumulated memory: 3023820 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/200 27860
/proc/meminfo: memFree=19917556/32770624 swapFree=66957012/67108860
[pid=27803] ppid=27800 vsize=5336780 memory=3023820 CPUtime=342.28 cores=0,2,4,6
/proc/27803/stat : 27803 (xcsp_picat) R 27800 27803 22038 0 -1 4202496 686755 0 0 0 34111 117 0 0 20 0 1 0 410254673 5464862720 755955 33554432000 4194304 5870510 140721258692496 140721258691000 5337584 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 38830080 140721258697759 140721258697837 140721258697837 140721258700746 0
/proc/27803/statm: 1334195 755955 979 410 0 1329668 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 5336780 KiB
Current children cumulated memory: 3023820 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/200 27866
/proc/meminfo: memFree=19707680/32770624 swapFree=66957012/67108860
[pid=27803] ppid=27800 vsize=5336780 memory=3023820 CPUtime=402.27 cores=0,2,4,6
/proc/27803/stat : 27803 (xcsp_picat) R 27800 27803 22038 0 -1 4202496 708592 0 0 0 40108 119 0 0 20 0 1 0 410254673 5464862720 755955 33554432000 4194304 5870510 140721258692496 140721258691000 5337596 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 38830080 140721258697759 140721258697837 140721258697837 140721258700746 0
/proc/27803/statm: 1334195 755955 979 410 0 1329668 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 5336780 KiB
Current children cumulated memory: 3023820 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/200 27870
/proc/meminfo: memFree=20011624/32770624 swapFree=66957012/67108860
[pid=27803] ppid=27800 vsize=5336780 memory=3023820 CPUtime=462.28 cores=0,2,4,6
/proc/27803/stat : 27803 (xcsp_picat) R 27800 27803 22038 0 -1 4202496 729346 0 0 0 46107 121 0 0 20 0 1 0 410254673 5464862720 755955 33554432000 4194304 5870510 140721258692496 140721258691000 5337600 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 38830080 140721258697759 140721258697837 140721258697837 140721258700746 0
/proc/27803/statm: 1334195 755955 979 410 0 1329668 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 5336780 KiB
Current children cumulated memory: 3023820 KiB
################
# More data... #
################
/proc/27803/statm: 1334934 768755 1003 410 0 1330407 0
Current children cumulated CPU time: 1662.23 s
Current children cumulated vsize: 5339736 KiB
Current children cumulated memory: 3075020 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 27984
/proc/meminfo: memFree=19927460/32770624 swapFree=66957012/67108860
[pid=27803] ppid=27800 vsize=5339736 memory=3078092 CPUtime=1722.23 cores=0,2,4,6
/proc/27803/stat : 27803 (xcsp_picat) R 27800 27803 22038 0 -1 4202496 2700298 0 0 0 171883 340 0 0 20 0 1 0 410254673 5467889664 769523 33554432000 4194304 5870510 140721258692496 140721258691000 5337600 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 38830080 140721258697759 140721258697837 140721258697837 140721258700746 0
/proc/27803/statm: 1334934 769523 1003 410 0 1330407 0
Current children cumulated CPU time: 1722.23 s
Current children cumulated vsize: 5339736 KiB
Current children cumulated memory: 3078092 KiB
[startup+1782.3 s]
/proc/loadavg: 2.11 2.04 2.05 3/199 27989
/proc/meminfo: memFree=19924340/32770624 swapFree=66957012/67108860
[pid=27803] ppid=27800 vsize=5339736 memory=3079564 CPUtime=1782.23 cores=0,2,4,6
/proc/27803/stat : 27803 (xcsp_picat) R 27800 27803 22038 0 -1 4202496 2718844 0 0 0 177882 341 0 0 20 0 1 0 410254673 5467889664 769891 33554432000 4194304 5870510 140721258692496 140721258691000 5337600 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 38830080 140721258697759 140721258697837 140721258697837 140721258700746 0
/proc/27803/statm: 1334934 769891 1003 410 0 1330407 0
Current children cumulated CPU time: 1782.23 s
Current children cumulated vsize: 5339736 KiB
Current children cumulated memory: 3079564 KiB
[startup+1842.3 s]
/proc/loadavg: 2.10 2.05 2.05 3/199 27995
/proc/meminfo: memFree=20111936/32770624 swapFree=66957012/67108860
[pid=27803] ppid=27800 vsize=5339736 memory=3082148 CPUtime=1842.23 cores=0,2,4,6
/proc/27803/stat : 27803 (xcsp_picat) R 27800 27803 22038 0 -1 4202496 2735211 0 0 0 183881 342 0 0 20 0 1 0 410254673 5467889664 770537 33554432000 4194304 5870510 140721258692496 140721258691000 5337596 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 38830080 140721258697759 140721258697837 140721258697837 140721258700746 0
/proc/27803/statm: 1334934 770537 1003 410 0 1330407 0
Current children cumulated CPU time: 1842.23 s
Current children cumulated vsize: 5339736 KiB
Current children cumulated memory: 3082148 KiB
[startup+1902.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/199 27999
/proc/meminfo: memFree=21747984/32770624 swapFree=66957012/67108860
[pid=27803] ppid=27800 vsize=5339736 memory=3087332 CPUtime=1902.23 cores=0,2,4,6
/proc/27803/stat : 27803 (xcsp_picat) R 27800 27803 22038 0 -1 4202496 2751070 0 0 0 189880 343 0 0 20 0 1 0 410254673 5467889664 771833 33554432000 4194304 5870510 140721258692496 140721258691000 5337600 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 38830080 140721258697759 140721258697837 140721258697837 140721258700746 0
/proc/27803/statm: 1334934 771833 1003 410 0 1330407 0
Current children cumulated CPU time: 1902.23 s
Current children cumulated vsize: 5339736 KiB
Current children cumulated memory: 3087332 KiB
[startup+1962.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/199 28004
/proc/meminfo: memFree=21739096/32770624 swapFree=66957012/67108860
[pid=27803] ppid=27800 vsize=5339736 memory=3089920 CPUtime=1962.23 cores=0,2,4,6
/proc/27803/stat : 27803 (xcsp_picat) R 27800 27803 22038 0 -1 4202496 2767117 0 0 0 195879 344 0 0 20 0 1 0 410254673 5467889664 772480 33554432000 4194304 5870510 140721258692496 140721258691000 5337584 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 38830080 140721258697759 140721258697837 140721258697837 140721258700746 0
/proc/27803/statm: 1334934 772480 1003 410 0 1330407 0
Current children cumulated CPU time: 1962.23 s
Current children cumulated vsize: 5339736 KiB
Current children cumulated memory: 3089920 KiB
[startup+2022.3 s]
/proc/loadavg: 2.83 2.28 2.13 3/199 28010
/proc/meminfo: memFree=21703268/32770624 swapFree=66957012/67108860
[pid=27803] ppid=27800 vsize=5339736 memory=3094780 CPUtime=2022.22 cores=0,2,4,6
/proc/27803/stat : 27803 (xcsp_picat) R 27800 27803 22038 0 -1 4202496 2783256 0 0 0 201878 344 0 0 20 0 1 0 410254673 5467889664 773695 33554432000 4194304 5870510 140721258692496 140721258691000 5337596 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 38830080 140721258697759 140721258697837 140721258697837 140721258700746 0
/proc/27803/statm: 1334934 773695 1003 410 0 1330407 0
Current children cumulated CPU time: 2022.22 s
Current children cumulated vsize: 5339736 KiB
Current children cumulated memory: 3094780 KiB
[startup+2082.3 s]
/proc/loadavg: 2.35 2.25 2.13 3/199 28081
/proc/meminfo: memFree=23648760/32770624 swapFree=66957012/67108860
[pid=27803] ppid=27800 vsize=5339736 memory=3098204 CPUtime=2082.23 cores=0,2,4,6
/proc/27803/stat : 27803 (xcsp_picat) R 27800 27803 22038 0 -1 4202496 2798344 0 0 0 207878 345 0 0 20 0 1 0 410254673 5467889664 774551 33554432000 4194304 5870510 140721258692496 140721258691000 5337600 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 38830080 140721258697759 140721258697837 140721258697837 140721258700746 0
/proc/27803/statm: 1334934 774551 1003 410 0 1330407 0
Current children cumulated CPU time: 2082.23 s
Current children cumulated vsize: 5339736 KiB
Current children cumulated memory: 3098204 KiB
[startup+2142.3 s]
/proc/loadavg: 2.13 2.20 2.12 3/199 28085
/proc/meminfo: memFree=23673432/32770624 swapFree=66957012/67108860
[pid=27803] ppid=27800 vsize=5339736 memory=3102540 CPUtime=2142.22 cores=0,2,4,6
/proc/27803/stat : 27803 (xcsp_picat) R 27800 27803 22038 0 -1 4202496 2814941 0 0 0 213877 345 0 0 20 0 1 0 410254673 5467889664 775635 33554432000 4194304 5870510 140721258692496 140721258691000 5337596 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 38830080 140721258697759 140721258697837 140721258697837 140721258700746 0
/proc/27803/statm: 1334934 775635 1003 410 0 1330407 0
Current children cumulated CPU time: 2142.22 s
Current children cumulated vsize: 5339736 KiB
Current children cumulated memory: 3102540 KiB
[startup+2202.3 s]
/proc/loadavg: 2.05 2.16 2.12 3/199 28155
/proc/meminfo: memFree=23631136/32770624 swapFree=66957012/67108860
[pid=27803] ppid=27800 vsize=5339736 memory=3107836 CPUtime=2202.22 cores=0,2,4,6
/proc/27803/stat : 27803 (xcsp_picat) R 27800 27803 22038 0 -1 4202496 2830324 0 0 0 219876 346 0 0 20 0 1 0 410254673 5467889664 776959 33554432000 4194304 5870510 140721258692496 140721258691000 5337600 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 38830080 140721258697759 140721258697837 140721258697837 140721258700746 0
/proc/27803/statm: 1334934 776959 1003 410 0 1330407 0
Current children cumulated CPU time: 2202.22 s
Current children cumulated vsize: 5339736 KiB
Current children cumulated memory: 3107836 KiB
[startup+2262.3 s]
/proc/loadavg: 2.02 2.13 2.11 3/200 28160
/proc/meminfo: memFree=23631880/32770624 swapFree=66957012/67108860
[pid=27803] ppid=27800 vsize=5339736 memory=3115120 CPUtime=2262.22 cores=0,2,4,6
/proc/27803/stat : 27803 (xcsp_picat) R 27800 27803 22038 0 -1 4202496 2844422 0 0 0 225875 347 0 0 20 0 1 0 410254673 5467889664 778780 33554432000 4194304 5870510 140721258692496 140721258691000 5337614 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 38830080 140721258697759 140721258697837 140721258697837 140721258700746 0
/proc/27803/statm: 1334934 778780 1003 410 0 1330407 0
Current children cumulated CPU time: 2262.22 s
Current children cumulated vsize: 5339736 KiB
Current children cumulated memory: 3115120 KiB
[startup+2322.3 s]
/proc/loadavg: 2.01 2.11 2.11 3/200 28164
/proc/meminfo: memFree=23623004/32770624 swapFree=66957012/67108860
[pid=27803] ppid=27800 vsize=5339736 memory=3115120 CPUtime=2322.22 cores=0,2,4,6
/proc/27803/stat : 27803 (xcsp_picat) R 27800 27803 22038 0 -1 4202496 2859568 0 0 0 231874 348 0 0 20 0 1 0 410254673 5467889664 778780 33554432000 4194304 5870510 140721258692496 140721258691000 5337600 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 38830080 140721258697759 140721258697837 140721258697837 140721258700746 0
/proc/27803/statm: 1334934 778780 1003 410 0 1330407 0
Current children cumulated CPU time: 2322.22 s
Current children cumulated vsize: 5339736 KiB
Current children cumulated memory: 3115120 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.09 2.10 3/200 28170
/proc/meminfo: memFree=23601716/32770624 swapFree=66957012/67108860
[pid=27803] ppid=27800 vsize=5339736 memory=3115120 CPUtime=2382.22 cores=0,2,4,6
/proc/27803/stat : 27803 (xcsp_picat) R 27800 27803 22038 0 -1 4202496 2873607 0 0 0 237874 348 0 0 20 0 1 0 410254673 5467889664 778780 33554432000 4194304 5870510 140721258692496 140721258691000 5337600 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 38830080 140721258697759 140721258697837 140721258697837 140721258700746 0
/proc/27803/statm: 1334934 778780 1003 410 0 1330407 0
Current children cumulated CPU time: 2382.22 s
Current children cumulated vsize: 5339736 KiB
Current children cumulated memory: 3115120 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.11 s]
/proc/loadavg: 2.00 2.08 2.10 3/200 28170
/proc/meminfo: memFree=23637148/32770624 swapFree=66957012/67108860
[pid=27803] ppid=27800 vsize=5339736 memory=3115120 CPUtime=2400.03 cores=0,2,4,6
/proc/27803/stat : 27803 (xcsp_picat) R 27800 27803 22038 0 -1 4202496 2874965 0 0 0 239655 348 0 0 20 0 1 0 410254673 5467889664 778780 33554432000 4194304 5870510 140721258692496 140721258691000 5337596 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 38830080 140721258697759 140721258697837 140721258697837 140721258700746 0
/proc/27803/statm: 1334934 778780 1003 410 0 1330407 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 5339736 KiB
Current children cumulated memory: 3115120 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.17 s]
# the end of solver process 27803 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.55 s, system=3.54991 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.11 s]
/proc/loadavg: 2.00 2.08 2.10 3/200 28170
/proc/meminfo: memFree=23637148/32770624 swapFree=66957012/67108860
[pid=27803] ppid=27800 vsize=5339736 memory=3115120 CPUtime=2400.03 cores=0,2,4,6
/proc/27803/stat : 27803 (xcsp_picat) R 27800 27803 22038 0 -1 4202496 2874965 0 0 0 239655 348 0 0 20 0 1 0 410254673 5467889664 778780 33554432000 4194304 5870510 140721258692496 140721258691000 5337596 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 38830080 140721258697759 140721258697837 140721258697837 140721258700746 0
/proc/27803/statm: 1334934 778780 1003 410 0 1330407 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 5339736 KiB
Current children cumulated memory: 3115120 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2400.17
CPU time (s): 2400.1
CPU user time (s): 2396.55
CPU system time (s): 3.54991
CPU usage (%): 99.9971
Max. virtual memory (cumulated for all children) (KiB): 6624600
Max. memory (cumulated for all children) (KiB): 3692860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.55
system time used= 3.54991
maximum resident set size= 3692860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2874966
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= 36
involuntary context switches= 3031
# summary of solver processes directly reported to runsolver:
# pid: 27803
# total CPU time (s): 2400.1
# total CPU user time (s): 2396.55
# total CPU system time (s): 3.54991
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.0903 second user time and 12.3133 second system time
The end