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 (8936 MiB free)
memory of node 1: 16384 MiB (11276 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295776-1532575098/watcher-4295776-1532575098 -o /tmp/evaluation-result-4295776-1532575098/solver-4295776-1532575098 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532562373-32762 --watchdog 2580 xcsp_picat HOME/instance-4295776-1532575098.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1821, runsolver pid=1818
[startup+0.100128 s]*
/proc/loadavg: 2.12 2.05 2.05 3/191 1822
/proc/meminfo: memFree=20667216/32770624 swapFree=67108860/67108860
[pid=1821] ppid=1818 vsize=119504 memory=36936 CPUtime=0.1 cores=1,3,5,7
/proc/1821/stat : 1821 (xcsp_picat) R 1818 1821 32730 0 -1 4202496 1723 0 0 0 10 0 0 0 20 0 1 0 75073033 122372096 9234 33554432000 4194304 5849740 140731345464080 140731345463384 4488229 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 22753280 140731345466550 140731345466628 140731345466628 140731345469386 0
/proc/1821/statm: 29876 9234 608 405 0 26820 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 119504 KiB
Current children cumulated memory: 36936 KiB
[startup+0.209997 s]*
/proc/loadavg: 2.12 2.05 2.05 3/191 1822
/proc/meminfo: memFree=20642516/32770624 swapFree=67108860/67108860
[pid=1821] ppid=1818 vsize=119504 memory=59464 CPUtime=0.21 cores=1,3,5,7
/proc/1821/stat : 1821 (xcsp_picat) R 1818 1821 32730 0 -1 4202496 1753 0 0 0 20 1 0 0 20 0 1 0 75073033 122372096 14866 33554432000 4194304 5849740 140731345464080 140731345463384 4814272 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 22753280 140731345466550 140731345466628 140731345466628 140731345469386 0
/proc/1821/statm: 29876 14866 608 405 0 26820 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 119504 KiB
Current children cumulated memory: 59464 KiB
[startup+0.309925 s]*
/proc/loadavg: 2.12 2.05 2.05 3/191 1822
/proc/meminfo: memFree=20625020/32770624 swapFree=67108860/67108860
[pid=1821] ppid=1818 vsize=148140 memory=76828 CPUtime=0.31 cores=1,3,5,7
/proc/1821/stat : 1821 (xcsp_picat) R 1818 1821 32730 0 -1 4202496 3912 0 0 0 30 1 0 0 20 0 1 0 75073033 151695360 19207 33554432000 4194304 5849740 140731345464080 140731345463384 5251255 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 22753280 140731345466550 140731345466628 140731345466628 140731345469386 0
/proc/1821/statm: 37035 19207 640 405 0 33979 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 148140 KiB
Current children cumulated memory: 76828 KiB
[startup+0.700376 s]
/proc/loadavg: 2.12 2.05 2.05 3/191 1822
/proc/meminfo: memFree=20609440/32770624 swapFree=67108860/67108860
[pid=1821] ppid=1818 vsize=162176 memory=90772 CPUtime=0.69 cores=1,3,5,7
/proc/1821/stat : 1821 (xcsp_picat) R 1818 1821 32730 0 -1 4202496 5095 0 0 0 67 2 0 0 20 0 1 0 75073033 166068224 22693 33554432000 4194304 5849740 140731345464080 140731345463080 5254579 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 22753280 140731345466550 140731345466628 140731345466628 140731345469386 0
/proc/1821/statm: 40544 22693 654 405 0 37488 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 162176 KiB
Current children cumulated memory: 90772 KiB
[startup+1.50037 s]
/proc/loadavg: 2.12 2.05 2.05 3/191 1822
/proc/meminfo: memFree=20607704/32770624 swapFree=67108860/67108860
[pid=1821] ppid=1818 vsize=164316 memory=94644 CPUtime=1.49 cores=1,3,5,7
/proc/1821/stat : 1821 (xcsp_picat) R 1818 1821 32730 0 -1 4202496 5796 0 0 0 146 3 0 0 20 0 1 0 75073033 168259584 23661 33554432000 4194304 5849740 140731345464080 140731345463080 5249528 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 22753280 140731345466550 140731345466628 140731345466628 140731345469386 0
/proc/1821/statm: 41079 23661 654 405 0 38023 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 164316 KiB
Current children cumulated memory: 94644 KiB
[startup+3.10983 s]
/proc/loadavg: 2.12 2.05 2.05 3/191 1822
/proc/meminfo: memFree=20602392/32770624 swapFree=67108860/67108860
[pid=1821] ppid=1818 vsize=177460 memory=103540 CPUtime=3.1 cores=1,3,5,7
/proc/1821/stat : 1821 (xcsp_picat) R 1818 1821 32730 0 -1 4202496 17698 0 0 0 299 11 0 0 20 0 1 0 75073033 181719040 25885 33554432000 4194304 5849740 140731345464080 140731345462856 5251173 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 22753280 140731345466550 140731345466628 140731345466628 140731345469386 0
/proc/1821/statm: 44365 25885 654 405 0 41309 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 177460 KiB
Current children cumulated memory: 103540 KiB
[startup+6.30034 s]
/proc/loadavg: 2.11 2.05 2.05 3/191 1822
/proc/meminfo: memFree=20593332/32770624 swapFree=67108860/67108860
[pid=1821] ppid=1818 vsize=184332 memory=95852 CPUtime=6.29 cores=1,3,5,7
/proc/1821/stat : 1821 (xcsp_picat) R 1818 1821 32730 0 -1 4202496 37497 0 0 0 601 28 0 0 20 0 1 0 75073033 188755968 23963 33554432000 4194304 5849740 140731345464080 140731345463048 5249802 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 22753280 140731345466550 140731345466628 140731345466628 140731345469386 0
/proc/1821/statm: 46083 23963 654 405 0 43027 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 184332 KiB
Current children cumulated memory: 95852 KiB
[startup+12.7004 s]
/proc/loadavg: 2.10 2.05 2.05 3/191 1822
/proc/meminfo: memFree=19985208/32770624 swapFree=67108860/67108860
[pid=1821] ppid=1818 vsize=838412 memory=712332 CPUtime=12.69 cores=1,3,5,7
/proc/1821/stat : 1821 (xcsp_picat) R 1818 1821 32730 0 -1 4202496 52428 0 0 0 1223 46 0 0 20 0 1 0 75073033 858533888 178083 33554432000 4194304 5849740 140731345464080 140731345463176 5406021 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 22753280 140731345466550 140731345466628 140731345466628 140731345469386 0
/proc/1821/statm: 209603 178083 716 405 0 206547 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 838412 KiB
Current children cumulated memory: 712332 KiB
[startup+25.5004 s]
/proc/loadavg: 2.08 2.05 2.05 3/191 1822
/proc/meminfo: memFree=19197548/32770624 swapFree=67108860/67108860
[pid=1821] ppid=1818 vsize=1951856 memory=1826536 CPUtime=25.49 cores=1,3,5,7
/proc/1821/stat : 1821 (xcsp_picat) R 1818 1821 32730 0 -1 4202496 172804 0 0 0 2477 72 0 0 20 0 1 0 75073033 1998700544 456634 33554432000 4194304 5849740 140731345464080 140731345462840 4217770 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 22753280 140731345466550 140731345466628 140731345466628 140731345469386 0
/proc/1821/statm: 487964 456634 743 405 0 484908 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 1951856 KiB
Current children cumulated memory: 1826536 KiB
[startup+51.1099 s]
/proc/loadavg: 2.05 2.04 2.05 3/191 1822
/proc/meminfo: memFree=19429340/32770624 swapFree=67108860/67108860
[pid=1821] ppid=1818 vsize=1458260 memory=1333116 CPUtime=51.1 cores=1,3,5,7
/proc/1821/stat : 1821 (xcsp_picat) R 1818 1821 32730 0 -1 4202496 205287 0 0 0 5024 86 0 0 20 0 1 0 75073033 1493258240 333279 33554432000 4194304 5849740 140731345464080 140731345462952 5437819 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 22753280 140731345466550 140731345466628 140731345466628 140731345469386 0
/proc/1821/statm: 364565 333279 748 405 0 361509 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 1458260 KiB
Current children cumulated memory: 1333116 KiB
[startup+102.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/191 1823
/proc/meminfo: memFree=19450160/32770624 swapFree=67108860/67108860
[pid=1821] ppid=1818 vsize=1426152 memory=1303068 CPUtime=102.29 cores=1,3,5,7
/proc/1821/stat : 1821 (xcsp_picat) R 1818 1821 32730 0 -1 4202496 399338 0 0 0 10107 122 0 0 20 0 1 0 75073033 1460379648 325767 33554432000 4194304 5849740 140731345464080 140731345462792 5323493 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 22753280 140731345466550 140731345466628 140731345466628 140731345469386 0
/proc/1821/statm: 356538 325767 751 405 0 353482 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 1426152 KiB
Current children cumulated memory: 1303068 KiB
[startup+162.3 s]
/proc/loadavg: 2.07 2.05 2.05 3/192 1832
/proc/meminfo: memFree=19418868/32770624 swapFree=67108860/67108860
[pid=1821] ppid=1818 vsize=1455440 memory=1332356 CPUtime=162.28 cores=1,3,5,7
/proc/1821/stat : 1821 (xcsp_picat) R 1818 1821 32730 0 -1 4202496 636807 0 0 0 16072 156 0 0 20 0 1 0 75073033 1490370560 333089 33554432000 4194304 5849740 140731345464080 140731345463080 5322324 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 22753280 140731345466550 140731345466628 140731345466628 140731345469386 0
/proc/1821/statm: 363860 333089 751 405 0 360804 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 1455440 KiB
Current children cumulated memory: 1332356 KiB
[startup+222.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/191 1833
/proc/meminfo: memFree=19413960/32770624 swapFree=67108860/67108860
[pid=1821] ppid=1818 vsize=1454536 memory=1331404 CPUtime=222.28 cores=1,3,5,7
/proc/1821/stat : 1821 (xcsp_picat) R 1818 1821 32730 0 -1 4202496 781432 0 0 0 22034 194 0 0 20 0 1 0 75073033 1489444864 332851 33554432000 4194304 5849740 140731345464080 140731345462488 4214370 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 22753280 140731345466550 140731345466628 140731345466628 140731345469386 0
/proc/1821/statm: 363634 332851 751 405 0 360578 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 1454536 KiB
Current children cumulated memory: 1331404 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/191 1834
/proc/meminfo: memFree=19430396/32770624 swapFree=67108860/67108860
[pid=1821] ppid=1818 vsize=1425472 memory=1304436 CPUtime=282.27 cores=1,3,5,7
/proc/1821/stat : 1821 (xcsp_picat) R 1818 1821 32730 0 -1 4202496 913357 0 0 0 27996 231 0 0 20 0 1 0 75073033 1459683328 326109 33554432000 4194304 5849740 140731345464080 140731345463080 5311410 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 22753280 140731345466550 140731345466628 140731345466628 140731345469386 0
/proc/1821/statm: 356368 326109 751 405 0 353312 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 1425472 KiB
Current children cumulated memory: 1304436 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/191 1835
/proc/meminfo: memFree=19422056/32770624 swapFree=67108860/67108860
[pid=1821] ppid=1818 vsize=1425472 memory=1304436 CPUtime=342.27 cores=1,3,5,7
/proc/1821/stat : 1821 (xcsp_picat) R 1818 1821 32730 0 -1 4202496 1056886 0 0 0 33970 257 0 0 20 0 1 0 75073033 1459683328 326109 33554432000 4194304 5849740 140731345464080 140731345463240 5437698 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 22753280 140731345466550 140731345466628 140731345466628 140731345469386 0
/proc/1821/statm: 356368 326109 751 405 0 353312 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 1425472 KiB
Current children cumulated memory: 1304436 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 1836
/proc/meminfo: memFree=19418676/32770624 swapFree=67108860/67108860
[pid=1821] ppid=1818 vsize=1425396 memory=1306408 CPUtime=402.27 cores=1,3,5,7
/proc/1821/stat : 1821 (xcsp_picat) R 1818 1821 32730 0 -1 4202496 1139289 0 0 0 39943 284 0 0 20 0 1 0 75073033 1459605504 326602 33554432000 4194304 5849740 140731345464080 140731345462728 5373208 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 22753280 140731345466550 140731345466628 140731345466628 140731345469386 0
/proc/1821/statm: 356349 326602 751 405 0 353293 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 1425396 KiB
Current children cumulated memory: 1306408 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 1839
/proc/meminfo: memFree=19430364/32770624 swapFree=67108860/67108860
[pid=1821] ppid=1818 vsize=1425396 memory=1306408 CPUtime=462.26 cores=1,3,5,7
/proc/1821/stat : 1821 (xcsp_picat) R 1818 1821 32730 0 -1 4202496 1178995 0 0 0 45932 294 0 0 20 0 1 0 75073033 1459605504 326602 33554432000 4194304 5849740 140731345464080 140731345462952 5312424 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 22753280 140731345466550 140731345466628 140731345466628 140731345469386 0
/proc/1821/statm: 356349 326602 751 405 0 353293 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 1425396 KiB
Current children cumulated memory: 1306408 KiB
################
# More data... #
################
/proc/1821/statm: 440090 411696 752 405 0 437034 0
Current children cumulated CPU time: 1722.24 s
Current children cumulated vsize: 1760360 KiB
Current children cumulated memory: 1646784 KiB
[startup+1782.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/191 1884
/proc/meminfo: memFree=19206508/32770624 swapFree=67108860/67108860
[pid=1821] ppid=1818 vsize=1498212 memory=1384828 CPUtime=1782.24 cores=1,3,5,7
/proc/1821/stat : 1821 (xcsp_picat) R 1818 1821 32730 0 -1 4202496 1360503 0 0 0 177529 695 0 0 20 0 1 0 75073033 1534169088 346207 33554432000 4194304 5849740 140731345464080 140731345463080 140030259531655 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 22753280 140731345466550 140731345466628 140731345466628 140731345469386 0
/proc/1821/statm: 374553 346207 752 405 0 371497 0
Current children cumulated CPU time: 1782.24 s
Current children cumulated vsize: 1498212 KiB
Current children cumulated memory: 1384828 KiB
[startup+1842.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/191 1885
/proc/meminfo: memFree=19206484/32770624 swapFree=67108860/67108860
[pid=1821] ppid=1818 vsize=1498212 memory=1384828 CPUtime=1842.24 cores=1,3,5,7
/proc/1821/stat : 1821 (xcsp_picat) R 1818 1821 32730 0 -1 4202496 1363250 0 0 0 183520 704 0 0 20 0 1 0 75073033 1534169088 346207 33554432000 4194304 5849740 140731345464080 140731345463080 5437821 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 22753280 140731345466550 140731345466628 140731345466628 140731345469386 0
/proc/1821/statm: 374553 346207 752 405 0 371497 0
Current children cumulated CPU time: 1842.24 s
Current children cumulated vsize: 1498212 KiB
Current children cumulated memory: 1384828 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/191 1886
/proc/meminfo: memFree=19206120/32770624 swapFree=67108860/67108860
[pid=1821] ppid=1818 vsize=1498212 memory=1384828 CPUtime=1902.24 cores=1,3,5,7
/proc/1821/stat : 1821 (xcsp_picat) R 1818 1821 32730 0 -1 4202496 1365158 0 0 0 189509 715 0 0 20 0 1 0 75073033 1534169088 346207 33554432000 4194304 5849740 140731345464080 140731345462952 5437620 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 22753280 140731345466550 140731345466628 140731345466628 140731345469386 0
/proc/1821/statm: 374553 346207 752 405 0 371497 0
Current children cumulated CPU time: 1902.24 s
Current children cumulated vsize: 1498212 KiB
Current children cumulated memory: 1384828 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 1894
/proc/meminfo: memFree=19147160/32770624 swapFree=67108860/67108860
[pid=1821] ppid=1818 vsize=1498056 memory=1384672 CPUtime=1962.24 cores=1,3,5,7
/proc/1821/stat : 1821 (xcsp_picat) R 1818 1821 32730 0 -1 4202496 1372628 0 0 0 195488 736 0 0 20 0 1 0 75073033 1534009344 346168 33554432000 4194304 5849740 140731345464080 140731345462568 4213556 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 22753280 140731345466550 140731345466628 140731345466628 140731345469386 0
/proc/1821/statm: 374514 346168 752 405 0 371458 0
Current children cumulated CPU time: 1962.24 s
Current children cumulated vsize: 1498056 KiB
Current children cumulated memory: 1384672 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/190 1895
/proc/meminfo: memFree=19251920/32770624 swapFree=67108860/67108860
[pid=1821] ppid=1818 vsize=1498056 memory=1384672 CPUtime=2022.24 cores=1,3,5,7
/proc/1821/stat : 1821 (xcsp_picat) R 1818 1821 32730 0 -1 4202496 1375965 0 0 0 201474 750 0 0 20 0 1 0 75073033 1534009344 346168 33554432000 4194304 5849740 140731345464080 140731345463240 5340238 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 22753280 140731345466550 140731345466628 140731345466628 140731345469386 0
/proc/1821/statm: 374514 346168 752 405 0 371458 0
Current children cumulated CPU time: 2022.24 s
Current children cumulated vsize: 1498056 KiB
Current children cumulated memory: 1384672 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 1896
/proc/meminfo: memFree=19252868/32770624 swapFree=67108860/67108860
[pid=1821] ppid=1818 vsize=1498056 memory=1384672 CPUtime=2082.24 cores=1,3,5,7
/proc/1821/stat : 1821 (xcsp_picat) R 1818 1821 32730 0 -1 4202496 1378652 0 0 0 207462 762 0 0 20 0 1 0 75073033 1534009344 346168 33554432000 4194304 5849740 140731345464080 140731345463240 5437698 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 22753280 140731345466550 140731345466628 140731345466628 140731345469386 0
/proc/1821/statm: 374514 346168 752 405 0 371458 0
Current children cumulated CPU time: 2082.24 s
Current children cumulated vsize: 1498056 KiB
Current children cumulated memory: 1384672 KiB
[startup+2142.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/191 1898
/proc/meminfo: memFree=19191288/32770624 swapFree=67108860/67108860
[pid=1821] ppid=1818 vsize=1760204 memory=1646628 CPUtime=2142.24 cores=1,3,5,7
/proc/1821/stat : 1821 (xcsp_picat) R 1818 1821 32730 0 -1 4202496 1382747 0 0 0 213444 780 0 0 20 0 1 0 75073033 1802448896 411657 33554432000 4194304 5849740 140731345464080 140731345462728 4206737 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 22753280 140731345466550 140731345466628 140731345466628 140731345469386 0
/proc/1821/statm: 440051 411657 752 405 0 436995 0
Current children cumulated CPU time: 2142.24 s
Current children cumulated vsize: 1760204 KiB
Current children cumulated memory: 1646628 KiB
[startup+2202.3 s]
/proc/loadavg: 2.44 2.16 2.09 3/191 1899
/proc/meminfo: memFree=19298744/32770624 swapFree=67108860/67108860
[pid=1821] ppid=1818 vsize=1498056 memory=1384672 CPUtime=2202.24 cores=1,3,5,7
/proc/1821/stat : 1821 (xcsp_picat) R 1818 1821 32730 0 -1 4202496 1388251 0 0 0 219429 795 0 0 20 0 1 0 75073033 1534009344 346168 33554432000 4194304 5849740 140731345464080 140731345462952 140030259531655 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 22753280 140731345466550 140731345466628 140731345466628 140731345469386 0
/proc/1821/statm: 374514 346168 752 405 0 371458 0
Current children cumulated CPU time: 2202.24 s
Current children cumulated vsize: 1498056 KiB
Current children cumulated memory: 1384672 KiB
[startup+2262.3 s]
/proc/loadavg: 2.16 2.13 2.09 3/192 1902
/proc/meminfo: memFree=19243232/32770624 swapFree=67108860/67108860
[pid=1821] ppid=1818 vsize=1498056 memory=1384672 CPUtime=2262.24 cores=1,3,5,7
/proc/1821/stat : 1821 (xcsp_picat) R 1818 1821 32730 0 -1 4202496 1390059 0 0 0 225419 805 0 0 20 0 1 0 75073033 1534009344 346168 33554432000 4194304 5849740 140731345464080 140731345463240 140030259531655 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 22753280 140731345466550 140731345466628 140731345466628 140731345469386 0
/proc/1821/statm: 374514 346168 752 405 0 371458 0
Current children cumulated CPU time: 2262.24 s
Current children cumulated vsize: 1498056 KiB
Current children cumulated memory: 1384672 KiB
[startup+2322.3 s]
/proc/loadavg: 2.06 2.11 2.08 3/192 1903
/proc/meminfo: memFree=19242932/32770624 swapFree=67108860/67108860
[pid=1821] ppid=1818 vsize=1497952 memory=1384568 CPUtime=2322.24 cores=1,3,5,7
/proc/1821/stat : 1821 (xcsp_picat) R 1818 1821 32730 0 -1 4202496 1392317 0 0 0 231395 829 0 0 20 0 1 0 75073033 1533902848 346142 33554432000 4194304 5849740 140731345464080 140731345463080 140030259531655 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 22753280 140731345466550 140731345466628 140731345466628 140731345469386 0
/proc/1821/statm: 374488 346142 752 405 0 371432 0
Current children cumulated CPU time: 2322.24 s
Current children cumulated vsize: 1497952 KiB
Current children cumulated memory: 1384568 KiB
[startup+2382.3 s]
/proc/loadavg: 2.02 2.09 2.08 3/192 1904
/proc/meminfo: memFree=19168584/32770624 swapFree=67108860/67108860
[pid=1821] ppid=1818 vsize=1497952 memory=1384568 CPUtime=2382.24 cores=1,3,5,7
/proc/1821/stat : 1821 (xcsp_picat) R 1818 1821 32730 0 -1 4202496 1402045 0 0 0 237372 852 0 0 20 0 1 0 75073033 1533902848 346142 33554432000 4194304 5849740 140731345464080 140731345463240 5339863 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 22753280 140731345466550 140731345466628 140731345466628 140731345469386 0
/proc/1821/statm: 374488 346142 752 405 0 371432 0
Current children cumulated CPU time: 2382.24 s
Current children cumulated vsize: 1497952 KiB
Current children cumulated memory: 1384568 KiB
[startup+2442.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/191 1906
/proc/meminfo: memFree=19148464/32770624 swapFree=67108860/67108860
[pid=1821] ppid=1818 vsize=1497952 memory=1384568 CPUtime=2442.24 cores=1,3,5,7
/proc/1821/stat : 1821 (xcsp_picat) R 1818 1821 32730 0 -1 4202496 1404240 0 0 0 243354 870 0 0 20 0 1 0 75073033 1533902848 346142 33554432000 4194304 5849740 140731345464080 140731345463080 5439884 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 22753280 140731345466550 140731345466628 140731345466628 140731345469386 0
/proc/1821/statm: 374488 346142 752 405 0 371432 0
Current children cumulated CPU time: 2442.24 s
Current children cumulated vsize: 1497952 KiB
Current children cumulated memory: 1384568 KiB
[startup+2502.3 s]
/proc/loadavg: 2.10 2.09 2.07 3/191 1968
/proc/meminfo: memFree=19470156/32770624 swapFree=67108860/67108860
[pid=1821] ppid=1818 vsize=1497952 memory=1384568 CPUtime=2502.24 cores=1,3,5,7
/proc/1821/stat : 1821 (xcsp_picat) R 1818 1821 32730 0 -1 4202496 1406590 0 0 0 249341 883 0 0 20 0 1 0 75073033 1533902848 346142 33554432000 4194304 5849740 140731345464080 140731345463240 140030259531655 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 22753280 140731345466550 140731345466628 140731345466628 140731345469386 0
/proc/1821/statm: 374488 346142 752 405 0 371432 0
Current children cumulated CPU time: 2502.24 s
Current children cumulated vsize: 1497952 KiB
Current children cumulated memory: 1384568 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.08 2.08 2.07 3/190 1975
/proc/meminfo: memFree=19465788/32770624 swapFree=67108860/67108860
[pid=1821] ppid=1818 vsize=1497868 memory=1384484 CPUtime=2519.95 cores=1,3,5,7
/proc/1821/stat : 1821 (xcsp_picat) R 1818 1821 32730 0 -1 4202496 1406965 0 0 0 251105 890 0 0 20 0 1 0 75073033 1533816832 346121 33554432000 4194304 5849740 140731345464080 140731345463240 5353813 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 22753280 140731345466550 140731345466628 140731345466628 140731345469386 0
/proc/1821/statm: 374467 346121 752 405 0 371411 0
Current children cumulated CPU time: 2519.95 s
Current children cumulated vsize: 1497868 KiB
Current children cumulated memory: 1384484 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 1821 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2511.06 s, system=8.90694 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520.02
CPU time (s): 2519.96
CPU user time (s): 2511.06
CPU system time (s): 8.90694
CPU usage (%): 99.998
Max. virtual memory (cumulated for all children) (KiB): 2384680
Max. memory (cumulated for all children) (KiB): 1859468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2511.06
system time used= 8.90694
maximum resident set size= 1859468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1406965
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= 57
involuntary context switches= 764
# summary of solver processes directly reported to runsolver:
# pid: 1821
# total CPU time (s): 2519.96
# total CPU user time (s): 2511.06
# total CPU system time (s): 8.90694
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.5907 second user time and 19.1611 second system time
The end