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 (10900 MiB free)
memory of node 1: 16384 MiB (7025 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303397-1534026063/watcher-4303397-1534026063 -o /tmp/evaluation-result-4303397-1534026063/solver-4303397-1534026063 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1534026063-30658 --watchdog 2580 xcsp_picat HOME/instance-4303397-1534026063.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=30678, runsolver pid=30675
[startup+0.100365 s]*
/proc/loadavg: 1.11 1.66 1.91 3/192 30689
/proc/meminfo: memFree=18327328/32770624 swapFree=67108688/67108860
[pid=30678] ppid=30675 vsize=2025744 memory=18008 CPUtime=0.1 cores=0,2,4,6
/proc/30678/stat : 30678 (xcsp_picat) R 30675 30678 30627 0 -1 4202496 1596 0 0 0 10 0 0 0 20 0 1 0 220169503 2074361856 4502 33554432000 4194304 5849708 140728143816512 140728143815816 140487812893696 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 45666304 140728143819958 140728143820036 140728143820036 140728143822794 0
/proc/30678/statm: 506436 4502 596 405 0 503381 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 18008 KiB
[startup+0.209807 s]*
/proc/loadavg: 1.11 1.66 1.91 3/192 30689
/proc/meminfo: memFree=18258380/32770624 swapFree=67108688/67108860
[pid=30678] ppid=30675 vsize=2025744 memory=55928 CPUtime=0.21 cores=0,2,4,6
/proc/30678/stat : 30678 (xcsp_picat) R 30675 30678 30627 0 -1 4202496 1901 0 0 0 20 1 0 0 20 0 1 0 220169503 2074361856 13982 33554432000 4194304 5849708 140728143816512 140728143815816 140487812915079 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 45666304 140728143819958 140728143820036 140728143820036 140728143822794 0
/proc/30678/statm: 506436 13982 663 405 0 503381 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 55928 KiB
[startup+0.30961 s]*
/proc/loadavg: 1.11 1.65 1.91 3/192 30689
/proc/meminfo: memFree=18257264/32770624 swapFree=67108688/67108860
[pid=30678] ppid=30675 vsize=2026196 memory=56396 CPUtime=0.31 cores=0,2,4,6
/proc/30678/stat : 30678 (xcsp_picat) R 30675 30678 30627 0 -1 4202496 2014 0 0 0 30 1 0 0 20 0 1 0 220169503 2074824704 14099 33554432000 4194304 5849708 140728143816512 140728143815816 140487812915079 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 45666304 140728143819958 140728143820036 140728143820036 140728143822794 0
/proc/30678/statm: 506549 14099 679 405 0 503494 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2026196 KiB
Current children cumulated memory: 56396 KiB
[startup+0.700229 s]
/proc/loadavg: 1.11 1.65 1.91 3/192 30689
/proc/meminfo: memFree=18256024/32770624 swapFree=67108688/67108860
[pid=30678] ppid=30675 vsize=2027360 memory=57440 CPUtime=0.68 cores=0,2,4,6
/proc/30678/stat : 30678 (xcsp_picat) R 30675 30678 30627 0 -1 4202496 2336 0 0 0 67 1 0 0 20 0 1 0 220169503 2076016640 14360 33554432000 4194304 5849708 140728143816512 140728143815816 140487812447772 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 45666304 140728143819958 140728143820036 140728143820036 140728143822794 0
/proc/30678/statm: 506840 14360 680 405 0 503785 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2027360 KiB
Current children cumulated memory: 57440 KiB
[startup+1.50024 s]
/proc/loadavg: 1.11 1.65 1.91 3/192 30689
/proc/meminfo: memFree=18251796/32770624 swapFree=67108688/67108860
[pid=30678] ppid=30675 vsize=2029920 memory=60016 CPUtime=1.48 cores=0,2,4,6
/proc/30678/stat : 30678 (xcsp_picat) R 30675 30678 30627 0 -1 4202496 2976 0 0 0 146 2 0 0 20 0 1 0 220169503 2078638080 15004 33554432000 4194304 5849708 140728143816512 140728143815624 5605343 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 45666304 140728143819958 140728143820036 140728143820036 140728143822794 0
/proc/30678/statm: 507480 15004 680 405 0 504425 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2029920 KiB
Current children cumulated memory: 60016 KiB
[startup+3.10937 s]
/proc/loadavg: 1.11 1.65 1.91 3/192 30689
/proc/meminfo: memFree=18243864/32770624 swapFree=67108688/67108860
[pid=30678] ppid=30675 vsize=2034688 memory=64828 CPUtime=3.09 cores=0,2,4,6
/proc/30678/stat : 30678 (xcsp_picat) R 30675 30678 30627 0 -1 4202496 6092 0 0 0 304 5 0 0 20 0 1 0 220169503 2083520512 16207 33554432000 4194304 5849708 140728143816512 140728143815624 140487812915079 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 45666304 140728143819958 140728143820036 140728143820036 140728143822794 0
/proc/30678/statm: 508672 16207 712 405 0 505617 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2034688 KiB
Current children cumulated memory: 64828 KiB
[startup+6.30025 s]
/proc/loadavg: 1.18 1.66 1.91 3/192 30689
/proc/meminfo: memFree=18241048/32770624 swapFree=67108688/67108860
[pid=30678] ppid=30675 vsize=2037836 memory=68968 CPUtime=6.29 cores=0,2,4,6
/proc/30678/stat : 30678 (xcsp_picat) R 30675 30678 30627 0 -1 4202496 13363 0 0 0 616 13 0 0 20 0 1 0 220169503 2086744064 17242 33554432000 4194304 5849708 140728143816512 140728143815512 5437714 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 45666304 140728143819958 140728143820036 140728143820036 140728143822794 0
/proc/30678/statm: 509459 17242 712 405 0 506404 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2037836 KiB
Current children cumulated memory: 68968 KiB
[startup+12.7003 s]
/proc/loadavg: 1.24 1.66 1.91 3/192 30689
/proc/meminfo: memFree=18236704/32770624 swapFree=67108688/67108860
[pid=30678] ppid=30675 vsize=2037512 memory=68712 CPUtime=12.69 cores=0,2,4,6
/proc/30678/stat : 30678 (xcsp_picat) R 30675 30678 30627 0 -1 4202496 25833 0 0 0 1241 28 0 0 20 0 1 0 220169503 2086412288 17178 33554432000 4194304 5849708 140728143816512 140728143815512 5438176 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 45666304 140728143819958 140728143820036 140728143820036 140728143822794 0
/proc/30678/statm: 509378 17178 712 405 0 506323 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2037512 KiB
Current children cumulated memory: 68712 KiB
[startup+25.5003 s]
/proc/loadavg: 1.44 1.69 1.91 3/192 30689
/proc/meminfo: memFree=18225688/32770624 swapFree=67108688/67108860
[pid=30678] ppid=30675 vsize=2045240 memory=78408 CPUtime=25.48 cores=0,2,4,6
/proc/30678/stat : 30678 (xcsp_picat) R 30675 30678 30627 0 -1 4202496 45024 0 0 0 2496 52 0 0 20 0 1 0 220169503 2094325760 19602 33554432000 4194304 5849708 140728143816512 140728143815512 5338832 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 45666304 140728143819958 140728143820036 140728143820036 140728143822794 0
/proc/30678/statm: 511310 19602 712 405 0 508255 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2045240 KiB
Current children cumulated memory: 78408 KiB
[startup+51.1096 s]
/proc/loadavg: 1.66 1.72 1.92 3/192 30689
/proc/meminfo: memFree=18214384/32770624 swapFree=67108688/67108860
[pid=30678] ppid=30675 vsize=2047568 memory=80788 CPUtime=51.09 cores=0,2,4,6
/proc/30678/stat : 30678 (xcsp_picat) R 30675 30678 30627 0 -1 4202496 78166 0 0 0 5015 94 0 0 20 0 1 0 220169503 2096709632 20197 33554432000 4194304 5849708 140728143816512 140728143815512 140487812915079 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 45666304 140728143819958 140728143820036 140728143820036 140728143822794 0
/proc/30678/statm: 511892 20197 712 405 0 508837 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2047568 KiB
Current children cumulated memory: 80788 KiB
[startup+102.3 s]
/proc/loadavg: 1.85 1.76 1.92 3/192 30690
/proc/meminfo: memFree=18198496/32770624 swapFree=67108688/67108860
[pid=30678] ppid=30675 vsize=2058952 memory=92096 CPUtime=102.28 cores=0,2,4,6
/proc/30678/stat : 30678 (xcsp_picat) R 30675 30678 30627 0 -1 4202496 117520 0 0 0 10064 164 0 0 20 0 1 0 220169503 2108366848 23024 33554432000 4194304 5849708 140728143816512 140728143815512 5335588 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 45666304 140728143819958 140728143820036 140728143820036 140728143822794 0
/proc/30678/statm: 514738 23024 712 405 0 511683 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2058952 KiB
Current children cumulated memory: 92096 KiB
[startup+162.3 s]
/proc/loadavg: 1.95 1.81 1.93 3/192 30691
/proc/meminfo: memFree=18169328/32770624 swapFree=67108688/67108860
[pid=30678] ppid=30675 vsize=2084220 memory=117500 CPUtime=162.28 cores=0,2,4,6
/proc/30678/stat : 30678 (xcsp_picat) R 30675 30678 30627 0 -1 4202496 140315 0 0 0 16013 215 0 0 20 0 1 0 220169503 2134241280 29375 33554432000 4194304 5849708 140728143816512 140728143815512 5437714 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 45666304 140728143819958 140728143820036 140728143820036 140728143822794 0
/proc/30678/statm: 521055 29375 712 405 0 518000 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2084220 KiB
Current children cumulated memory: 117500 KiB
[startup+222.3 s]
/proc/loadavg: 1.98 1.84 1.93 3/192 30692
/proc/meminfo: memFree=18143352/32770624 swapFree=67108688/67108860
[pid=30678] ppid=30675 vsize=2112532 memory=145660 CPUtime=222.28 cores=0,2,4,6
/proc/30678/stat : 30678 (xcsp_picat) R 30675 30678 30627 0 -1 4202496 156431 0 0 0 21984 244 0 0 20 0 1 0 220169503 2163232768 36415 33554432000 4194304 5849708 140728143816512 140728143815512 5438273 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 45666304 140728143819958 140728143820036 140728143820036 140728143822794 0
/proc/30678/statm: 528133 36415 712 405 0 525078 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2112532 KiB
Current children cumulated memory: 145660 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 1.87 1.94 3/190 30694
/proc/meminfo: memFree=18106008/32770624 swapFree=67108688/67108860
[pid=30678] ppid=30675 vsize=2144240 memory=177520 CPUtime=282.28 cores=0,2,4,6
/proc/30678/stat : 30678 (xcsp_picat) R 30675 30678 30627 0 -1 4202496 171134 0 0 0 27958 270 0 0 20 0 1 0 220169503 2195701760 44380 33554432000 4194304 5849708 140728143816512 140728143815512 5437714 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 45666304 140728143819958 140728143820036 140728143820036 140728143822794 0
/proc/30678/statm: 536060 44380 712 405 0 533005 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2144240 KiB
Current children cumulated memory: 177520 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.89 1.94 3/191 30696
/proc/meminfo: memFree=18069032/32770624 swapFree=67108688/67108860
[pid=30678] ppid=30675 vsize=2171528 memory=204808 CPUtime=342.28 cores=0,2,4,6
/proc/30678/stat : 30678 (xcsp_picat) R 30675 30678 30627 0 -1 4202496 186228 0 0 0 33935 293 0 0 20 0 1 0 220169503 2223644672 51202 33554432000 4194304 5849708 140728143816512 140728143815512 5437714 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 45666304 140728143819958 140728143820036 140728143820036 140728143822794 0
/proc/30678/statm: 542882 51202 712 405 0 539827 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 2171528 KiB
Current children cumulated memory: 204808 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.91 1.95 3/191 30697
/proc/meminfo: memFree=18090744/32770624 swapFree=67108688/67108860
[pid=30678] ppid=30675 vsize=2152600 memory=185804 CPUtime=402.28 cores=0,2,4,6
/proc/30678/stat : 30678 (xcsp_picat) R 30675 30678 30627 0 -1 4202496 192073 0 0 0 39903 325 0 0 20 0 1 0 220169503 2204262400 46451 33554432000 4194304 5849708 140728143816512 140728143815512 5338873 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 45666304 140728143819958 140728143820036 140728143820036 140728143822794 0
/proc/30678/statm: 538150 46451 712 405 0 535095 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 2152600 KiB
Current children cumulated memory: 185804 KiB
[startup+462.3 s]
/proc/loadavg: 2.04 1.94 1.96 3/191 30699
/proc/meminfo: memFree=18047616/32770624 swapFree=67108688/67108860
[pid=30678] ppid=30675 vsize=2189068 memory=222348 CPUtime=462.28 cores=0,2,4,6
/proc/30678/stat : 30678 (xcsp_picat) R 30675 30678 30627 0 -1 4202496 213153 0 0 0 45881 347 0 0 20 0 1 0 220169503 2241605632 55587 33554432000 4194304 5849708 140728143816512 140728143815512 5437580 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 45666304 140728143819958 140728143820036 140728143820036 140728143822794 0
/proc/30678/statm: 547267 55587 712 405 0 544212 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 2189068 KiB
Current children cumulated memory: 222348 KiB
################
# More data... #
################
/proc/30678/statm: 572016 80336 712 405 0 568961 0
Current children cumulated CPU time: 1722.26 s
Current children cumulated vsize: 2288064 KiB
Current children cumulated memory: 321344 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/192 30747
/proc/meminfo: memFree=17799808/32770624 swapFree=67108688/67108860
[pid=30678] ppid=30675 vsize=2377496 memory=410556 CPUtime=1782.26 cores=0,2,4,6
/proc/30678/stat : 30678 (xcsp_picat) R 30675 30678 30627 0 -1 4202496 715497 0 0 0 177585 641 0 0 20 0 1 0 220169503 2434555904 102639 33554432000 4194304 5849708 140728143816512 140728143815512 5437714 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 45666304 140728143819958 140728143820036 140728143820036 140728143822794 0
/proc/30678/statm: 594374 102639 712 405 0 591319 0
Current children cumulated CPU time: 1782.26 s
Current children cumulated vsize: 2377496 KiB
Current children cumulated memory: 410556 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/192 30748
/proc/meminfo: memFree=17783860/32770624 swapFree=67108688/67108860
[pid=30678] ppid=30675 vsize=2377496 memory=410776 CPUtime=1842.26 cores=0,2,4,6
/proc/30678/stat : 30678 (xcsp_picat) R 30675 30678 30627 0 -1 4202496 740429 0 0 0 183576 650 0 0 20 0 1 0 220169503 2434555904 102694 33554432000 4194304 5849708 140728143816512 140728143815512 5335520 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 45666304 140728143819958 140728143820036 140728143820036 140728143822794 0
/proc/30678/statm: 594374 102694 712 405 0 591319 0
Current children cumulated CPU time: 1842.26 s
Current children cumulated vsize: 2377496 KiB
Current children cumulated memory: 410776 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/193 30750
/proc/meminfo: memFree=17728388/32770624 swapFree=67108688/67108860
[pid=30678] ppid=30675 vsize=2377496 memory=410776 CPUtime=1902.25 cores=0,2,4,6
/proc/30678/stat : 30678 (xcsp_picat) R 30675 30678 30627 0 -1 4202496 745274 0 0 0 189568 657 0 0 20 0 1 0 220169503 2434555904 102694 33554432000 4194304 5849708 140728143816512 140728143815512 5437636 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 45666304 140728143819958 140728143820036 140728143820036 140728143822794 0
/proc/30678/statm: 594374 102694 712 405 0 591319 0
Current children cumulated CPU time: 1902.25 s
Current children cumulated vsize: 2377496 KiB
Current children cumulated memory: 410776 KiB
[startup+1962.3 s]
/proc/loadavg: 2.04 2.03 1.98 3/193 30751
/proc/meminfo: memFree=17708864/32770624 swapFree=67108688/67108860
[pid=30678] ppid=30675 vsize=2397112 memory=430392 CPUtime=1962.26 cores=0,2,4,6
/proc/30678/stat : 30678 (xcsp_picat) R 30675 30678 30627 0 -1 4202496 775607 0 0 0 195559 667 0 0 20 0 1 0 220169503 2454642688 107598 33554432000 4194304 5849708 140728143816512 140728143815512 5437714 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 45666304 140728143819958 140728143820036 140728143820036 140728143822794 0
/proc/30678/statm: 599278 107598 712 405 0 596223 0
Current children cumulated CPU time: 1962.26 s
Current children cumulated vsize: 2397112 KiB
Current children cumulated memory: 430392 KiB
[startup+2022.3 s]
/proc/loadavg: 2.02 2.02 1.98 3/192 30752
/proc/meminfo: memFree=17675888/32770624 swapFree=67108688/67108860
[pid=30678] ppid=30675 vsize=2397112 memory=430392 CPUtime=2022.25 cores=0,2,4,6
/proc/30678/stat : 30678 (xcsp_picat) R 30675 30678 30627 0 -1 4202496 800509 0 0 0 201547 678 0 0 20 0 1 0 220169503 2454642688 107598 33554432000 4194304 5849708 140728143816512 140728143815512 5437714 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 45666304 140728143819958 140728143820036 140728143820036 140728143822794 0
/proc/30678/statm: 599278 107598 712 405 0 596223 0
Current children cumulated CPU time: 2022.25 s
Current children cumulated vsize: 2397112 KiB
Current children cumulated memory: 430392 KiB
[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 1.98 3/190 30754
/proc/meminfo: memFree=17759296/32770624 swapFree=67108688/67108860
[pid=30678] ppid=30675 vsize=2397112 memory=430392 CPUtime=2082.25 cores=0,2,4,6
/proc/30678/stat : 30678 (xcsp_picat) R 30675 30678 30627 0 -1 4202496 805591 0 0 0 207539 686 0 0 20 0 1 0 220169503 2454642688 107598 33554432000 4194304 5849708 140728143816512 140728143815512 5437576 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 45666304 140728143819958 140728143820036 140728143820036 140728143822794 0
/proc/30678/statm: 599278 107598 712 405 0 596223 0
Current children cumulated CPU time: 2082.25 s
Current children cumulated vsize: 2397112 KiB
Current children cumulated memory: 430392 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/191 30756
/proc/meminfo: memFree=17741828/32770624 swapFree=67108688/67108860
[pid=30678] ppid=30675 vsize=2397112 memory=430392 CPUtime=2142.25 cores=0,2,4,6
/proc/30678/stat : 30678 (xcsp_picat) R 30675 30678 30627 0 -1 4202496 835553 0 0 0 213530 695 0 0 20 0 1 0 220169503 2454642688 107598 33554432000 4194304 5849708 140728143816512 140728143815512 5438273 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 45666304 140728143819958 140728143820036 140728143820036 140728143822794 0
/proc/30678/statm: 599278 107598 712 405 0 596223 0
Current children cumulated CPU time: 2142.25 s
Current children cumulated vsize: 2397112 KiB
Current children cumulated memory: 430392 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/190 30757
/proc/meminfo: memFree=17707744/32770624 swapFree=67108688/67108860
[pid=30678] ppid=30675 vsize=2397112 memory=430392 CPUtime=2202.25 cores=0,2,4,6
/proc/30678/stat : 30678 (xcsp_picat) R 30675 30678 30627 0 -1 4202496 860469 0 0 0 219522 703 0 0 20 0 1 0 220169503 2454642688 107598 33554432000 4194304 5849708 140728143816512 140728143815512 5437636 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 45666304 140728143819958 140728143820036 140728143820036 140728143822794 0
/proc/30678/statm: 599278 107598 712 405 0 596223 0
Current children cumulated CPU time: 2202.25 s
Current children cumulated vsize: 2397112 KiB
Current children cumulated memory: 430392 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/190 30759
/proc/meminfo: memFree=17609724/32770624 swapFree=67108688/67108860
[pid=30678] ppid=30675 vsize=2462648 memory=495916 CPUtime=2262.26 cores=0,2,4,6
/proc/30678/stat : 30678 (xcsp_picat) R 30675 30678 30627 0 -1 4202496 866188 0 0 0 225516 710 0 0 20 0 1 0 220169503 2521751552 123979 33554432000 4194304 5849708 140728143816512 140728143815512 5438261 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 45666304 140728143819958 140728143820036 140728143820036 140728143822794 0
/proc/30678/statm: 615662 123979 712 405 0 612607 0
Current children cumulated CPU time: 2262.26 s
Current children cumulated vsize: 2462648 KiB
Current children cumulated memory: 495916 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/190 30760
/proc/meminfo: memFree=17566532/32770624 swapFree=67108688/67108860
[pid=30678] ppid=30675 vsize=2462648 memory=495928 CPUtime=2322.25 cores=0,2,4,6
/proc/30678/stat : 30678 (xcsp_picat) R 30675 30678 30627 0 -1 4202496 904421 0 0 0 231508 717 0 0 20 0 1 0 220169503 2521751552 123982 33554432000 4194304 5849708 140728143816512 140728143815512 140487812915079 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 45666304 140728143819958 140728143820036 140728143820036 140728143822794 0
/proc/30678/statm: 615662 123982 712 405 0 612607 0
Current children cumulated CPU time: 2322.25 s
Current children cumulated vsize: 2462648 KiB
Current children cumulated memory: 495928 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/190 30774
/proc/meminfo: memFree=17565836/32770624 swapFree=67108688/67108860
[pid=30678] ppid=30675 vsize=2462648 memory=495928 CPUtime=2382.25 cores=0,2,4,6
/proc/30678/stat : 30678 (xcsp_picat) R 30675 30678 30627 0 -1 4202496 936766 0 0 0 237500 725 0 0 20 0 1 0 220169503 2521751552 123982 33554432000 4194304 5849708 140728143816512 140728143815512 5437592 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 45666304 140728143819958 140728143820036 140728143820036 140728143822794 0
/proc/30678/statm: 615662 123982 712 405 0 612607 0
Current children cumulated CPU time: 2382.25 s
Current children cumulated vsize: 2462648 KiB
Current children cumulated memory: 495928 KiB
[startup+2442.3 s]
/proc/loadavg: 2.09 2.04 1.99 3/192 30802
/proc/meminfo: memFree=17566280/32770624 swapFree=67108688/67108860
[pid=30678] ppid=30675 vsize=2462648 memory=495928 CPUtime=2442.25 cores=0,2,4,6
/proc/30678/stat : 30678 (xcsp_picat) R 30675 30678 30627 0 -1 4202496 942698 0 0 0 243493 732 0 0 20 0 1 0 220169503 2521751552 123982 33554432000 4194304 5849708 140728143816512 140728143815512 5437714 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 45666304 140728143819958 140728143820036 140728143820036 140728143822794 0
/proc/30678/statm: 615662 123982 712 405 0 612607 0
Current children cumulated CPU time: 2442.25 s
Current children cumulated vsize: 2462648 KiB
Current children cumulated memory: 495928 KiB
[startup+2502.3 s]
/proc/loadavg: 2.03 2.04 1.99 3/192 30803
/proc/meminfo: memFree=17566388/32770624 swapFree=67108688/67108860
[pid=30678] ppid=30675 vsize=2462648 memory=495928 CPUtime=2502.25 cores=0,2,4,6
/proc/30678/stat : 30678 (xcsp_picat) R 30675 30678 30627 0 -1 4202496 980960 0 0 0 249486 739 0 0 20 0 1 0 220169503 2521751552 123982 33554432000 4194304 5849708 140728143816512 140728143815512 5437714 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 45666304 140728143819958 140728143820036 140728143820036 140728143822794 0
/proc/30678/statm: 615662 123982 712 405 0 612607 0
Current children cumulated CPU time: 2502.25 s
Current children cumulated vsize: 2462648 KiB
Current children cumulated memory: 495928 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.03 2.04 1.99 3/192 30803
/proc/meminfo: memFree=17566388/32770624 swapFree=67108688/67108860
[pid=30678] ppid=30675 vsize=2462648 memory=495928 CPUtime=2519.96 cores=0,2,4,6
/proc/30678/stat : 30678 (xcsp_picat) R 30675 30678 30627 0 -1 4202496 980965 0 0 0 251256 740 0 0 20 0 1 0 220169503 2521751552 123982 33554432000 4194304 5849708 140728143816512 140728143815512 5437714 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 45666304 140728143819958 140728143820036 140728143820036 140728143822794 0
/proc/30678/statm: 615662 123982 712 405 0 612607 0
Current children cumulated CPU time: 2519.96 s
Current children cumulated vsize: 2462648 KiB
Current children cumulated memory: 495928 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 30678 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2512.56 s, system=7.41689 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.98
CPU user time (s): 2512.56
CPU system time (s): 7.41689
CPU usage (%): 99.9983
Max. virtual memory (cumulated for all children) (KiB): 2462648
Max. memory (cumulated for all children) (KiB): 495928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2512.56
system time used= 7.41689
maximum resident set size= 495928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 980966
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= 6
involuntary context switches= 816
# summary of solver processes directly reported to runsolver:
# pid: 30678
# total CPU time (s): 2519.98
# total CPU user time (s): 2512.56
# total CPU system time (s): 7.41689
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9665 second user time and 10.6436 second system time
The end