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 (13784 MiB free)
memory of node 1: 16384 MiB (14114 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395429-1568340140/watcher-4395429-1568340140 -o /tmp/evaluation-result-4395429-1568340140/solver-4395429-1568340140 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568323917-28816 --watchdog 2580 xcsp_picat HOME/instance-4395429-1568340140.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=857, runsolver pid=854
[startup+0.100221 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 858
/proc/meminfo: memFree=28541932/32770624 swapFree=67004752/67108860
[pid=857] ppid=854 vsize=2038732 memory=33212 CPUtime=0.09 cores=0,2,4,6
/proc/857/stat : 857 (xcsp_picat) R 854 857 28785 0 -1 4202496 2909 0 0 0 9 0 0 0 20 0 1 0 410281777 2087661568 8303 33554432000 4194304 5870510 140729290342800 140729290339944 140605323865235 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 48398336 140729290347551 140729290347629 140729290347629 140729290350538 0
/proc/857/statm: 509683 8303 933 410 0 505156 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2038732 KiB
Current children cumulated memory: 33212 KiB
[startup+0.210006 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 858
/proc/meminfo: memFree=28537280/32770624 swapFree=67004752/67108860
[pid=857] ppid=854 vsize=2040412 memory=34892 CPUtime=0.21 cores=0,2,4,6
/proc/857/stat : 857 (xcsp_picat) R 854 857 28785 0 -1 4202496 3437 0 0 0 20 1 0 0 20 0 1 0 410281777 2089381888 8723 33554432000 4194304 5870510 140729290342800 140729290339944 5337610 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 48398336 140729290347551 140729290347629 140729290347629 140729290350538 0
/proc/857/statm: 510103 8723 947 410 0 505576 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2040412 KiB
Current children cumulated memory: 34892 KiB
[startup+0.309701 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 858
/proc/meminfo: memFree=28538336/32770624 swapFree=67004752/67108860
[pid=857] ppid=854 vsize=2038372 memory=33560 CPUtime=0.31 cores=0,2,4,6
/proc/857/stat : 857 (xcsp_picat) R 854 857 28785 0 -1 4202496 4067 0 0 0 30 1 0 0 20 0 1 0 410281777 2087292928 8390 33554432000 4194304 5870510 140729290342800 140729290339944 5282509 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 48398336 140729290347551 140729290347629 140729290347629 140729290350538 0
/proc/857/statm: 509593 8390 977 410 0 505066 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2038372 KiB
Current children cumulated memory: 33560 KiB
[startup+0.700374 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 858
/proc/meminfo: memFree=28537592/32770624 swapFree=67004752/67108860
[pid=857] ppid=854 vsize=2040312 memory=35904 CPUtime=0.69 cores=0,2,4,6
/proc/857/stat : 857 (xcsp_picat) R 854 857 28785 0 -1 4202496 4626 0 0 0 68 1 0 0 20 0 1 0 410281777 2089279488 8976 33554432000 4194304 5870510 140729290342800 140729290339944 140605329848930 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 48398336 140729290347551 140729290347629 140729290347629 140729290350538 0
/proc/857/statm: 510078 8976 977 410 0 505551 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2040312 KiB
Current children cumulated memory: 35904 KiB
[startup+1.50037 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 858
/proc/meminfo: memFree=28533072/32770624 swapFree=67004752/67108860
[pid=857] ppid=854 vsize=2047980 memory=43408 CPUtime=1.5 cores=0,2,4,6
/proc/857/stat : 857 (xcsp_picat) R 854 857 28785 0 -1 4202496 6484 0 0 0 148 2 0 0 20 0 1 0 410281777 2097131520 10852 33554432000 4194304 5870510 140729290342800 140729290341160 5262639 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 48398336 140729290347551 140729290347629 140729290347629 140729290350538 0
/proc/857/statm: 511995 10852 979 410 0 507468 0
Current children cumulated CPU time: 1.5 s
Current children cumulated vsize: 2047980 KiB
Current children cumulated memory: 43408 KiB
[startup+3.10968 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 858
/proc/meminfo: memFree=28510672/32770624 swapFree=67004752/67108860
[pid=857] ppid=854 vsize=2056116 memory=46804 CPUtime=3.1 cores=0,2,4,6
/proc/857/stat : 857 (xcsp_picat) R 854 857 28785 0 -1 4202496 10193 0 0 0 308 2 0 0 20 0 1 0 410281777 2105462784 11701 33554432000 4194304 5870510 140729290342800 140729290341160 5258783 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 48398336 140729290347551 140729290347629 140729290347629 140729290350538 0
/proc/857/statm: 514029 11701 979 410 0 509502 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2056116 KiB
Current children cumulated memory: 46804 KiB
[startup+6.30042 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 859
/proc/meminfo: memFree=28513016/32770624 swapFree=67004752/67108860
[pid=857] ppid=854 vsize=2068372 memory=60288 CPUtime=6.29 cores=0,2,4,6
/proc/857/stat : 857 (xcsp_picat) R 854 857 28785 0 -1 4202496 13554 0 0 0 625 4 0 0 20 0 1 0 410281777 2118012928 15072 33554432000 4194304 5870510 140729290342800 140729290341816 5283032 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 48398336 140729290347551 140729290347629 140729290347629 140729290350538 0
/proc/857/statm: 517093 15072 979 410 0 512566 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2068372 KiB
Current children cumulated memory: 60288 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 859
/proc/meminfo: memFree=28486724/32770624 swapFree=67004752/67108860
[pid=857] ppid=854 vsize=2120112 memory=113324 CPUtime=12.68 cores=0,2,4,6
/proc/857/stat : 857 (xcsp_picat) R 854 857 28785 0 -1 4202496 17952 0 0 0 1262 6 0 0 20 0 1 0 410281777 2170994688 28331 33554432000 4194304 5870510 140729290342800 140729290341816 5263058 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 48398336 140729290347551 140729290347629 140729290347629 140729290350538 0
/proc/857/statm: 530028 28331 989 410 0 525501 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2120112 KiB
Current children cumulated memory: 113324 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 859
/proc/meminfo: memFree=28511792/32770624 swapFree=67004752/67108860
[pid=857] ppid=854 vsize=2070676 memory=60076 CPUtime=25.49 cores=0,2,4,6
/proc/857/stat : 857 (xcsp_picat) R 854 857 28785 0 -1 4202496 24291 0 0 0 2542 7 0 0 20 0 1 0 410281777 2120372224 15019 33554432000 4194304 5870510 140729290342800 140729290341240 5278096 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 48398336 140729290347551 140729290347629 140729290347629 140729290350538 0
/proc/857/statm: 517669 15019 989 410 0 513142 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2070676 KiB
Current children cumulated memory: 60076 KiB
[startup+51.1097 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 861
/proc/meminfo: memFree=28480968/32770624 swapFree=67004752/67108860
[pid=857] ppid=854 vsize=2094644 memory=90584 CPUtime=51.09 cores=0,2,4,6
/proc/857/stat : 857 (xcsp_picat) R 854 857 28785 0 -1 4202496 29574 0 0 0 5101 8 0 0 20 0 1 0 410281777 2144915456 22646 33554432000 4194304 5870510 140729290342800 140729290341368 5282738 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 48398336 140729290347551 140729290347629 140729290347629 140729290350538 0
/proc/857/statm: 523661 22646 989 410 0 519134 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2094644 KiB
Current children cumulated memory: 90584 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 865
/proc/meminfo: memFree=28465880/32770624 swapFree=67004752/67108860
[pid=857] ppid=854 vsize=2113320 memory=103048 CPUtime=102.28 cores=0,2,4,6
/proc/857/stat : 857 (xcsp_picat) R 854 857 28785 0 -1 4202496 33667 0 0 0 10219 9 0 0 20 0 1 0 410281777 2164039680 25762 33554432000 4194304 5870510 140729290342800 140729290341240 5277088 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 48398336 140729290347551 140729290347629 140729290347629 140729290350538 0
/proc/857/statm: 528330 25762 989 410 0 523803 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2113320 KiB
Current children cumulated memory: 103048 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 871
/proc/meminfo: memFree=28452068/32770624 swapFree=67004752/67108860
[pid=857] ppid=854 vsize=2125348 memory=115372 CPUtime=162.27 cores=0,2,4,6
/proc/857/stat : 857 (xcsp_picat) R 854 857 28785 0 -1 4202496 38208 0 0 0 16218 9 0 0 20 0 1 0 410281777 2176356352 28843 33554432000 4194304 5870510 140729290342800 140729290341240 5282617 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 48398336 140729290347551 140729290347629 140729290347629 140729290350538 0
/proc/857/statm: 531337 28843 989 410 0 526810 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 2125348 KiB
Current children cumulated memory: 115372 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 875
/proc/meminfo: memFree=28449788/32770624 swapFree=67004752/67108860
[pid=857] ppid=854 vsize=2125348 memory=115372 CPUtime=222.27 cores=0,2,4,6
/proc/857/stat : 857 (xcsp_picat) R 854 857 28785 0 -1 4202496 41930 0 0 0 22217 10 0 0 20 0 1 0 410281777 2176356352 28843 33554432000 4194304 5870510 140729290342800 140729290341240 5304083 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 48398336 140729290347551 140729290347629 140729290347629 140729290350538 0
/proc/857/statm: 531337 28843 989 410 0 526810 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 2125348 KiB
Current children cumulated memory: 115372 KiB
[startup+282.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/199 879
/proc/meminfo: memFree=28444284/32770624 swapFree=67004752/67108860
[pid=857] ppid=854 vsize=2125664 memory=120856 CPUtime=282.26 cores=0,2,4,6
/proc/857/stat : 857 (xcsp_picat) R 854 857 28785 0 -1 4202496 42745 0 0 0 28216 10 0 0 20 0 1 0 410281777 2176679936 30214 33554432000 4194304 5870510 140729290342800 140729290341368 5282590 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 48398336 140729290347551 140729290347629 140729290347629 140729290350538 0
/proc/857/statm: 531416 30214 989 410 0 526889 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 2125664 KiB
Current children cumulated memory: 120856 KiB
[startup+342.3 s]
/proc/loadavg: 1.98 2.01 2.04 3/200 885
/proc/meminfo: memFree=28445816/32770624 swapFree=67004752/67108860
[pid=857] ppid=854 vsize=2125664 memory=120920 CPUtime=342.25 cores=0,2,4,6
/proc/857/stat : 857 (xcsp_picat) R 854 857 28785 0 -1 4202496 46909 0 0 0 34215 10 0 0 20 0 1 0 410281777 2176679936 30230 33554432000 4194304 5870510 140729290342800 140729290341368 5282736 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 48398336 140729290347551 140729290347629 140729290347629 140729290350538 0
/proc/857/statm: 531416 30230 989 410 0 526889 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 2125664 KiB
Current children cumulated memory: 120920 KiB
[startup+402.3 s]
/proc/loadavg: 2.05 2.02 2.05 3/199 891
/proc/meminfo: memFree=28444980/32770624 swapFree=67004752/67108860
[pid=857] ppid=854 vsize=2156004 memory=124200 CPUtime=402.25 cores=0,2,4,6
/proc/857/stat : 857 (xcsp_picat) R 854 857 28785 0 -1 4202496 47693 0 0 0 40215 10 0 0 20 0 1 0 410281777 2207748096 31050 33554432000 4194304 5870510 140729290342800 140729290341240 5282738 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 48398336 140729290347551 140729290347629 140729290347629 140729290350538 0
/proc/857/statm: 539001 31050 989 410 0 534474 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 2156004 KiB
Current children cumulated memory: 124200 KiB
[startup+462.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/199 898
/proc/meminfo: memFree=28431056/32770624 swapFree=67004752/67108860
[pid=857] ppid=854 vsize=2156004 memory=124212 CPUtime=462.26 cores=0,2,4,6
/proc/857/stat : 857 (xcsp_picat) R 854 857 28785 0 -1 4202496 51831 0 0 0 46215 11 0 0 20 0 1 0 410281777 2207748096 31053 33554432000 4194304 5870510 140729290342800 140729290341240 5283024 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 48398336 140729290347551 140729290347629 140729290347629 140729290350538 0
/proc/857/statm: 539001 31053 989 410 0 534474 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 2156004 KiB
Current children cumulated memory: 124212 KiB
################
# More data... #
################
/proc/857/statm: 538786 38620 989 410 0 534259 0
Current children cumulated CPU time: 1722.28 s
Current children cumulated vsize: 2155144 KiB
Current children cumulated memory: 154480 KiB
[startup+1782.3 s]
/proc/loadavg: 2.02 2.05 2.05 3/201 1090
/proc/meminfo: memFree=25425904/32770624 swapFree=67004752/67108860
[pid=857] ppid=854 vsize=2155144 memory=154480 CPUtime=1782.28 cores=0,2,4,6
/proc/857/stat : 857 (xcsp_picat) R 854 857 28785 0 -1 4202496 100949 0 0 0 178207 21 0 0 20 0 1 0 410281777 2206867456 38620 33554432000 4194304 5870510 140729290342800 140729290341368 5282505 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 48398336 140729290347551 140729290347629 140729290347629 140729290350538 0
/proc/857/statm: 538786 38620 989 410 0 534259 0
Current children cumulated CPU time: 1782.28 s
Current children cumulated vsize: 2155144 KiB
Current children cumulated memory: 154480 KiB
[startup+1842.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/200 1094
/proc/meminfo: memFree=25425592/32770624 swapFree=67004752/67108860
[pid=857] ppid=854 vsize=2155144 memory=154480 CPUtime=1842.28 cores=0,2,4,6
/proc/857/stat : 857 (xcsp_picat) R 854 857 28785 0 -1 4202496 102432 0 0 0 184207 21 0 0 20 0 1 0 410281777 2206867456 38620 33554432000 4194304 5870510 140729290342800 140729290341368 5282505 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 48398336 140729290347551 140729290347629 140729290347629 140729290350538 0
/proc/857/statm: 538786 38620 989 410 0 534259 0
Current children cumulated CPU time: 1842.28 s
Current children cumulated vsize: 2155144 KiB
Current children cumulated memory: 154480 KiB
[startup+1902.3 s]
/proc/loadavg: 2.34 2.11 2.07 3/200 1098
/proc/meminfo: memFree=25424980/32770624 swapFree=67004752/67108860
[pid=857] ppid=854 vsize=2155144 memory=154480 CPUtime=1902.28 cores=0,2,4,6
/proc/857/stat : 857 (xcsp_picat) R 854 857 28785 0 -1 4202496 102618 0 0 0 190207 21 0 0 20 0 1 0 410281777 2206867456 38620 33554432000 4194304 5870510 140729290342800 140729290341368 5272904 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 48398336 140729290347551 140729290347629 140729290347629 140729290350538 0
/proc/857/statm: 538786 38620 989 410 0 534259 0
Current children cumulated CPU time: 1902.28 s
Current children cumulated vsize: 2155144 KiB
Current children cumulated memory: 154480 KiB
[startup+1962.3 s]
/proc/loadavg: 2.36 2.18 2.10 3/201 1104
/proc/meminfo: memFree=25490940/32770624 swapFree=67004752/67108860
[pid=857] ppid=854 vsize=2089472 memory=88792 CPUtime=1962.28 cores=0,2,4,6
/proc/857/stat : 857 (xcsp_picat) R 854 857 28785 0 -1 4202496 108156 0 0 0 196205 23 0 0 20 0 1 0 410281777 2139619328 22198 33554432000 4194304 5870510 140729290342800 140729290341816 5282721 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 48398336 140729290347551 140729290347629 140729290347629 140729290350538 0
/proc/857/statm: 522368 22198 989 410 0 517841 0
Current children cumulated CPU time: 1962.28 s
Current children cumulated vsize: 2089472 KiB
Current children cumulated memory: 88792 KiB
[startup+2022.3 s]
/proc/loadavg: 2.13 2.15 2.09 3/199 1108
/proc/meminfo: memFree=25454824/32770624 swapFree=67004752/67108860
[pid=857] ppid=854 vsize=2120536 memory=114536 CPUtime=2022.28 cores=0,2,4,6
/proc/857/stat : 857 (xcsp_picat) R 854 857 28785 0 -1 4202496 109030 0 0 0 202204 24 0 0 20 0 1 0 410281777 2171428864 28634 33554432000 4194304 5870510 140729290342800 140729290341240 5282721 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 48398336 140729290347551 140729290347629 140729290347629 140729290350538 0
/proc/857/statm: 530134 28634 989 410 0 525607 0
Current children cumulated CPU time: 2022.28 s
Current children cumulated vsize: 2120536 KiB
Current children cumulated memory: 114536 KiB
[startup+2082.3 s]
/proc/loadavg: 2.05 2.12 2.08 3/199 1112
/proc/meminfo: memFree=25454592/32770624 swapFree=67004752/67108860
[pid=857] ppid=854 vsize=2120536 memory=114632 CPUtime=2082.28 cores=0,2,4,6
/proc/857/stat : 857 (xcsp_picat) R 854 857 28785 0 -1 4202496 113330 0 0 0 208203 25 0 0 20 0 1 0 410281777 2171428864 28658 33554432000 4194304 5870510 140729290342800 140729290341240 5282747 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 48398336 140729290347551 140729290347629 140729290347629 140729290350538 0
/proc/857/statm: 530134 28658 989 410 0 525607 0
Current children cumulated CPU time: 2082.28 s
Current children cumulated vsize: 2120536 KiB
Current children cumulated memory: 114632 KiB
[startup+2142.3 s]
/proc/loadavg: 2.02 2.10 2.08 3/200 1118
/proc/meminfo: memFree=25454448/32770624 swapFree=67004752/67108860
[pid=857] ppid=854 vsize=2120536 memory=114632 CPUtime=2142.28 cores=0,2,4,6
/proc/857/stat : 857 (xcsp_picat) R 854 857 28785 0 -1 4202496 113396 0 0 0 214203 25 0 0 20 0 1 0 410281777 2171428864 28658 33554432000 4194304 5870510 140729290342800 140729290341240 5282747 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 48398336 140729290347551 140729290347629 140729290347629 140729290350538 0
/proc/857/statm: 530134 28658 989 410 0 525607 0
Current children cumulated CPU time: 2142.28 s
Current children cumulated vsize: 2120536 KiB
Current children cumulated memory: 114632 KiB
[startup+2202.3 s]
/proc/loadavg: 2.01 2.08 2.07 3/199 1122
/proc/meminfo: memFree=25453188/32770624 swapFree=67004752/67108860
[pid=857] ppid=854 vsize=2120536 memory=114632 CPUtime=2202.28 cores=0,2,4,6
/proc/857/stat : 857 (xcsp_picat) R 854 857 28785 0 -1 4202496 117780 0 0 0 220203 25 0 0 20 0 1 0 410281777 2171428864 28658 33554432000 4194304 5870510 140729290342800 140729290341240 5282767 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 48398336 140729290347551 140729290347629 140729290347629 140729290350538 0
/proc/857/statm: 530134 28658 989 410 0 525607 0
Current children cumulated CPU time: 2202.28 s
Current children cumulated vsize: 2120536 KiB
Current children cumulated memory: 114632 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.07 2.07 3/199 1126
/proc/meminfo: memFree=25449760/32770624 swapFree=67004752/67108860
[pid=857] ppid=854 vsize=2132696 memory=118728 CPUtime=2262.29 cores=0,2,4,6
/proc/857/stat : 857 (xcsp_picat) R 854 857 28785 0 -1 4202496 117806 0 0 0 226204 25 0 0 20 0 1 0 410281777 2183880704 29682 33554432000 4194304 5870510 140729290342800 140729290341240 5282464 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 48398336 140729290347551 140729290347629 140729290347629 140729290350538 0
/proc/857/statm: 533174 29682 989 410 0 528647 0
Current children cumulated CPU time: 2262.29 s
Current children cumulated vsize: 2132696 KiB
Current children cumulated memory: 118728 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/201 1140
/proc/meminfo: memFree=25430168/32770624 swapFree=67004752/67108860
[pid=857] ppid=854 vsize=2139880 memory=138220 CPUtime=2322.29 cores=0,2,4,6
/proc/857/stat : 857 (xcsp_picat) R 854 857 28785 0 -1 4202496 123019 0 0 0 232203 26 0 0 20 0 1 0 410281777 2191237120 34555 33554432000 4194304 5870510 140729290342800 140729290341368 5308398 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 48398336 140729290347551 140729290347629 140729290347629 140729290350538 0
/proc/857/statm: 534970 34555 989 410 0 530443 0
Current children cumulated CPU time: 2322.29 s
Current children cumulated vsize: 2139880 KiB
Current children cumulated memory: 138220 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/200 1144
/proc/meminfo: memFree=25414020/32770624 swapFree=67004752/67108860
[pid=857] ppid=854 vsize=2158564 memory=154480 CPUtime=2382.29 cores=0,2,4,6
/proc/857/stat : 857 (xcsp_picat) R 854 857 28785 0 -1 4202496 123588 0 0 0 238203 26 0 0 20 0 1 0 410281777 2210369536 38620 33554432000 4194304 5870510 140729290342800 140729290341368 5282568 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 48398336 140729290347551 140729290347629 140729290347629 140729290350538 0
/proc/857/statm: 539641 38620 989 410 0 535114 0
Current children cumulated CPU time: 2382.29 s
Current children cumulated vsize: 2158564 KiB
Current children cumulated memory: 154480 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 1148
/proc/meminfo: memFree=25413392/32770624 swapFree=67004752/67108860
[pid=857] ppid=854 vsize=2158564 memory=155592 CPUtime=2442.29 cores=0,2,4,6
/proc/857/stat : 857 (xcsp_picat) R 854 857 28785 0 -1 4202496 128925 0 0 0 244202 27 0 0 20 0 1 0 410281777 2210369536 38898 33554432000 4194304 5870510 140729290342800 140729290341368 5282759 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 48398336 140729290347551 140729290347629 140729290347629 140729290350538 0
/proc/857/statm: 539641 38898 989 410 0 535114 0
Current children cumulated CPU time: 2442.29 s
Current children cumulated vsize: 2158564 KiB
Current children cumulated memory: 155592 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/201 1154
/proc/meminfo: memFree=25410764/32770624 swapFree=67004752/67108860
[pid=857] ppid=854 vsize=2158564 memory=155592 CPUtime=2502.29 cores=0,2,4,6
/proc/857/stat : 857 (xcsp_picat) R 854 857 28785 0 -1 4202496 129536 0 0 0 250202 27 0 0 20 0 1 0 410281777 2210369536 38898 33554432000 4194304 5870510 140729290342800 140729290341368 5283102 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 48398336 140729290347551 140729290347629 140729290347629 140729290350538 0
/proc/857/statm: 539641 38898 989 410 0 535114 0
Current children cumulated CPU time: 2502.29 s
Current children cumulated vsize: 2158564 KiB
Current children cumulated memory: 155592 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.03 2.05 3/200 1154
/proc/meminfo: memFree=25409764/32770624 swapFree=67004752/67108860
[pid=857] ppid=854 vsize=2158564 memory=155592 CPUtime=2519.99 cores=0,2,4,6
/proc/857/stat : 857 (xcsp_picat) R 854 857 28785 0 -1 4202496 133392 0 0 0 251972 27 0 0 20 0 1 0 410281777 2210369536 38898 33554432000 4194304 5870510 140729290342800 140729290341368 5282505 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 48398336 140729290347551 140729290347629 140729290347629 140729290350538 0
/proc/857/statm: 539641 38898 989 410 0 535114 0
Current children cumulated CPU time: 2519.99 s
Current children cumulated vsize: 2158564 KiB
Current children cumulated memory: 155592 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 857 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.73 s, system=0.279 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520.01
CPU time (s): 2520.01
CPU user time (s): 2519.73
CPU system time (s): 0.279
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 2158564
Max. memory (cumulated for all children) (KiB): 155592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.73
system time used= 0.279
maximum resident set size= 155592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 133392
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= 13
involuntary context switches= 865
# summary of solver processes directly reported to runsolver:
# pid: 857
# total CPU time (s): 2520.01
# total CPU user time (s): 2519.73
# total CPU system time (s): 0.279
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5013 second user time and 15.3468 second system time
The end