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 (6683 MiB free)
memory of node 1: 16384 MiB (9005 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303450-1534036676/watcher-4303450-1534036676 -o /tmp/evaluation-result-4303450-1534036676/solver-4303450-1534036676 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534026591-4844 --watchdog 2580 xcsp_picat HOME/instance-4303450-1534036676.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
solver pid=5911, runsolver pid=5908
Current StackSize limit: 8192 KiB
[startup+0.100635 s]*
/proc/loadavg: 1.92 2.00 2.04 3/188 5912
/proc/meminfo: memFree=16052072/32770624 swapFree=67108504/67108860
[pid=5911] ppid=5908 vsize=2026948 memory=17368 CPUtime=0.09 cores=0,2,4,6
/proc/5911/stat : 5911 (xcsp_picat) R 5908 5911 4813 0 -1 4202496 1998 0 0 0 9 0 0 0 20 0 1 0 221230748 2075594752 4342 33554432000 4194304 5849708 140735912868560 140735912867256 5471846 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 29847552 140735912871094 140735912871172 140735912871172 140735912873930 0
/proc/5911/statm: 506737 4342 719 405 0 503682 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2026948 KiB
Current children cumulated memory: 17368 KiB
[startup+0.209614 s]*
/proc/loadavg: 1.92 2.00 2.04 2/186 5912
/proc/meminfo: memFree=16443000/32770624 swapFree=67108504/67108860
[pid=5911] ppid=5908 vsize=2026948 memory=17368 CPUtime=0.2 cores=0,2,4,6
/proc/5911/stat : 5911 (xcsp_picat) R 5908 5911 4813 0 -1 4202496 1998 0 0 0 20 0 0 0 20 0 1 0 221230748 2075594752 4342 33554432000 4194304 5849708 140735912868560 140735912867256 5521468 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 29847552 140735912871094 140735912871172 140735912871172 140735912873930 0
/proc/5911/statm: 506737 4342 719 405 0 503682 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2026948 KiB
Current children cumulated memory: 17368 KiB
[startup+0.308731 s]*
/proc/loadavg: 1.92 2.00 2.04 3/192 5932
/proc/meminfo: memFree=16437908/32770624 swapFree=67108504/67108860
[pid=5911] ppid=5908 vsize=2026948 memory=17368 CPUtime=0.3 cores=0,2,4,6
/proc/5911/stat : 5911 (xcsp_picat) R 5908 5911 4813 0 -1 4202496 1998 0 0 0 30 0 0 0 20 0 1 0 221230748 2075594752 4342 33554432000 4194304 5849708 140735912868560 140735912867736 5606210 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 29847552 140735912871094 140735912871172 140735912871172 140735912873930 0
/proc/5911/statm: 506737 4342 719 405 0 503682 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2026948 KiB
Current children cumulated memory: 17368 KiB
[startup+0.700225 s]
/proc/loadavg: 1.92 2.00 2.04 3/185 5941
/proc/meminfo: memFree=16443968/32770624 swapFree=67108504/67108860
[pid=5911] ppid=5908 vsize=2027188 memory=18032 CPUtime=0.68 cores=0,2,4,6
/proc/5911/stat : 5911 (xcsp_picat) R 5908 5911 4813 0 -1 4202496 2549 0 0 0 68 0 0 0 20 0 1 0 221230748 2075840512 4508 33554432000 4194304 5849708 140735912868560 140735912867208 5309639 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 29847552 140735912871094 140735912871172 140735912871172 140735912873930 0
/proc/5911/statm: 506797 4508 744 405 0 503742 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2027188 KiB
Current children cumulated memory: 18032 KiB
[startup+1.50023 s]
/proc/loadavg: 1.92 2.00 2.04 3/188 5973
/proc/meminfo: memFree=16433128/32770624 swapFree=67108504/67108860
[pid=5911] ppid=5908 vsize=2028020 memory=18820 CPUtime=1.49 cores=0,2,4,6
/proc/5911/stat : 5911 (xcsp_picat) R 5908 5911 4813 0 -1 4202496 3030 0 0 0 148 1 0 0 20 0 1 0 221230748 2076692480 4705 33554432000 4194304 5849708 140735912868560 140735912867208 5361718 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 29847552 140735912871094 140735912871172 140735912871172 140735912873930 0
/proc/5911/statm: 507005 4705 761 405 0 503950 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2028020 KiB
Current children cumulated memory: 18820 KiB
[startup+3.10906 s]
/proc/loadavg: 1.92 2.00 2.04 3/188 5973
/proc/meminfo: memFree=16430696/32770624 swapFree=67108504/67108860
[pid=5911] ppid=5908 vsize=2029464 memory=20272 CPUtime=3.1 cores=0,2,4,6
/proc/5911/stat : 5911 (xcsp_picat) R 5908 5911 4813 0 -1 4202496 3942 0 0 0 307 3 0 0 20 0 1 0 221230748 2078171136 5068 33554432000 4194304 5849708 140735912868560 140735912867560 139955887218567 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 29847552 140735912871094 140735912871172 140735912871172 140735912873930 0
/proc/5911/statm: 507366 5068 761 405 0 504311 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2029464 KiB
Current children cumulated memory: 20272 KiB
[startup+6.30022 s]
/proc/loadavg: 1.93 2.00 2.04 3/188 5973
/proc/meminfo: memFree=16424060/32770624 swapFree=67108504/67108860
[pid=5911] ppid=5908 vsize=2032824 memory=25136 CPUtime=6.29 cores=0,2,4,6
/proc/5911/stat : 5911 (xcsp_picat) R 5908 5911 4813 0 -1 4202496 5342 0 0 0 621 8 0 0 20 0 1 0 221230748 2081611776 6284 33554432000 4194304 5849708 140735912868560 140735912867560 5395432 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 29847552 140735912871094 140735912871172 140735912871172 140735912873930 0
/proc/5911/statm: 508206 6284 761 405 0 505151 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2032824 KiB
Current children cumulated memory: 25136 KiB
[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 2.04 3/188 6037
/proc/meminfo: memFree=16419808/32770624 swapFree=67108504/67108860
[pid=5911] ppid=5908 vsize=2035464 memory=27940 CPUtime=12.69 cores=0,2,4,6
/proc/5911/stat : 5911 (xcsp_picat) R 5908 5911 4813 0 -1 4202496 10260 0 0 0 1254 15 0 0 20 0 1 0 221230748 2084315136 6985 33554432000 4194304 5849708 140735912868560 140735912867560 139955887218567 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 29847552 140735912871094 140735912871172 140735912871172 140735912873930 0
/proc/5911/statm: 508866 6985 761 405 0 505811 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2035464 KiB
Current children cumulated memory: 27940 KiB
[startup+25.5004 s]
/proc/loadavg: 1.95 2.00 2.04 3/188 6037
/proc/meminfo: memFree=16403652/32770624 swapFree=67108504/67108860
[pid=5911] ppid=5908 vsize=2038624 memory=33244 CPUtime=25.48 cores=0,2,4,6
/proc/5911/stat : 5911 (xcsp_picat) R 5908 5911 4813 0 -1 4202496 18157 0 0 0 2521 27 0 0 20 0 1 0 221230748 2087550976 8311 33554432000 4194304 5849708 140735912868560 140735912867560 139955887218567 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 29847552 140735912871094 140735912871172 140735912871172 140735912873930 0
/proc/5911/statm: 509656 8311 761 405 0 506601 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2038624 KiB
Current children cumulated memory: 33244 KiB
[startup+51.1095 s]
/proc/loadavg: 1.97 2.00 2.04 3/188 6037
/proc/meminfo: memFree=16379036/32770624 swapFree=67108504/67108860
[pid=5911] ppid=5908 vsize=2044276 memory=39380 CPUtime=51.09 cores=0,2,4,6
/proc/5911/stat : 5911 (xcsp_picat) R 5908 5911 4813 0 -1 4202496 34786 0 0 0 5061 48 0 0 20 0 1 0 221230748 2093338624 9845 33554432000 4194304 5849708 140735912868560 140735912867560 5312890 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 29847552 140735912871094 140735912871172 140735912871172 140735912873930 0
/proc/5911/statm: 511069 9845 761 405 0 508014 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2044276 KiB
Current children cumulated memory: 39380 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/188 6038
/proc/meminfo: memFree=16306292/32770624 swapFree=67108504/67108860
[pid=5911] ppid=5908 vsize=2075608 memory=70940 CPUtime=102.29 cores=0,2,4,6
/proc/5911/stat : 5911 (xcsp_picat) R 5908 5911 4813 0 -1 4202496 49050 0 0 0 10153 76 0 0 20 0 1 0 221230748 2125422592 17735 33554432000 4194304 5849708 140735912868560 140735912867560 139955887218567 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 29847552 140735912871094 140735912871172 140735912871172 140735912873930 0
/proc/5911/statm: 518902 17735 761 405 0 515847 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2075608 KiB
Current children cumulated memory: 70940 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/188 6044
/proc/meminfo: memFree=16297836/32770624 swapFree=67108504/67108860
[pid=5911] ppid=5908 vsize=2098500 memory=93732 CPUtime=162.3 cores=0,2,4,6
/proc/5911/stat : 5911 (xcsp_picat) R 5908 5911 4813 0 -1 4202496 63987 0 0 0 16130 100 0 0 20 0 1 0 221230748 2148864000 23433 33554432000 4194304 5849708 140735912868560 140735912867720 139955887218567 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 29847552 140735912871094 140735912871172 140735912871172 140735912873930 0
/proc/5911/statm: 524625 23433 761 405 0 521570 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 2098500 KiB
Current children cumulated memory: 93732 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 6045
/proc/meminfo: memFree=16284632/32770624 swapFree=67108504/67108860
[pid=5911] ppid=5908 vsize=2089796 memory=84888 CPUtime=222.31 cores=0,2,4,6
/proc/5911/stat : 5911 (xcsp_picat) R 5908 5911 4813 0 -1 4202496 79125 0 0 0 22112 119 0 0 20 0 1 0 221230748 2139951104 21222 33554432000 4194304 5849708 140735912868560 140735912867560 139955887218567 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 29847552 140735912871094 140735912871172 140735912871172 140735912873930 0
/proc/5911/statm: 522449 21222 761 405 0 519394 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 2089796 KiB
Current children cumulated memory: 84888 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 6046
/proc/meminfo: memFree=16274872/32770624 swapFree=67108504/67108860
[pid=5911] ppid=5908 vsize=2110664 memory=105896 CPUtime=282.31 cores=0,2,4,6
/proc/5911/stat : 5911 (xcsp_picat) R 5908 5911 4813 0 -1 4202496 81946 0 0 0 28095 136 0 0 20 0 1 0 221230748 2161319936 26474 33554432000 4194304 5849708 140735912868560 140735912867560 139955887218567 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 29847552 140735912871094 140735912871172 140735912871172 140735912873930 0
/proc/5911/statm: 527666 26474 761 405 0 524611 0
Current children cumulated CPU time: 282.31 s
Current children cumulated vsize: 2110664 KiB
Current children cumulated memory: 105896 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 6047
/proc/meminfo: memFree=16213204/32770624 swapFree=67108504/67108860
[pid=5911] ppid=5908 vsize=2136796 memory=132028 CPUtime=342.32 cores=0,2,4,6
/proc/5911/stat : 5911 (xcsp_picat) R 5908 5911 4813 0 -1 4202496 95042 0 0 0 34079 153 0 0 20 0 1 0 221230748 2188079104 33007 33554432000 4194304 5849708 140735912868560 140735912867560 139955887218567 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 29847552 140735912871094 140735912871172 140735912871172 140735912873930 0
/proc/5911/statm: 534199 33007 761 405 0 531144 0
Current children cumulated CPU time: 342.32 s
Current children cumulated vsize: 2136796 KiB
Current children cumulated memory: 132028 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 6048
/proc/meminfo: memFree=16254528/32770624 swapFree=67108504/67108860
[pid=5911] ppid=5908 vsize=2096204 memory=91416 CPUtime=402.33 cores=0,2,4,6
/proc/5911/stat : 5911 (xcsp_picat) R 5908 5911 4813 0 -1 4202496 99465 0 0 0 40063 170 0 0 20 0 1 0 221230748 2146512896 22854 33554432000 4194304 5849708 140735912868560 140735912867560 139955887218567 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 29847552 140735912871094 140735912871172 140735912871172 140735912873930 0
/proc/5911/statm: 524051 22854 761 405 0 520996 0
Current children cumulated CPU time: 402.33 s
Current children cumulated vsize: 2096204 KiB
Current children cumulated memory: 91416 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 6050
/proc/meminfo: memFree=16165300/32770624 swapFree=67108504/67108860
[pid=5911] ppid=5908 vsize=2117660 memory=112760 CPUtime=462.34 cores=0,2,4,6
/proc/5911/stat : 5911 (xcsp_picat) R 5908 5911 4813 0 -1 4202496 102114 0 0 0 46048 186 0 0 20 0 1 0 221230748 2168483840 28190 33554432000 4194304 5849708 140735912868560 140735912867560 139955887218567 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 29847552 140735912871094 140735912871172 140735912871172 140735912873930 0
/proc/5911/statm: 529415 28190 761 405 0 526360 0
Current children cumulated CPU time: 462.34 s
Current children cumulated vsize: 2117660 KiB
Current children cumulated memory: 112760 KiB
################
# More data... #
################
/proc/5911/statm: 608615 107423 761 405 0 605560 0
Current children cumulated CPU time: 1722.49 s
Current children cumulated vsize: 2434460 KiB
Current children cumulated memory: 429692 KiB
[startup+1782.3 s]
/proc/loadavg: 1.07 1.64 1.91 2/180 6202
/proc/meminfo: memFree=16057560/32770624 swapFree=67108504/67108860
[pid=5911] ppid=5908 vsize=2402704 memory=397936 CPUtime=1782.48 cores=0,2,4,6
/proc/5911/stat : 5911 (xcsp_picat) R 5908 5911 4813 0 -1 4202496 245487 0 0 0 177755 493 0 0 20 0 1 0 221230748 2460368896 99484 33554432000 4194304 5849708 140735912868560 140735912867560 5437645 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 29847552 140735912871094 140735912871172 140735912871172 140735912873930 0
/proc/5911/statm: 600676 99484 761 405 0 597621 0
Current children cumulated CPU time: 1782.48 s
Current children cumulated vsize: 2402704 KiB
Current children cumulated memory: 397936 KiB
[startup+1842.3 s]
/proc/loadavg: 1.03 1.53 1.85 2/180 6203
/proc/meminfo: memFree=15992200/32770624 swapFree=67108504/67108860
[pid=5911] ppid=5908 vsize=2468240 memory=463472 CPUtime=1842.47 cores=0,2,4,6
/proc/5911/stat : 5911 (xcsp_picat) R 5908 5911 4813 0 -1 4202496 254665 0 0 0 183747 500 0 0 20 0 1 0 221230748 2527477760 115868 33554432000 4194304 5849708 140735912868560 140735912867560 139955887218567 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 29847552 140735912871094 140735912871172 140735912871172 140735912873930 0
/proc/5911/statm: 617060 115868 761 405 0 614005 0
Current children cumulated CPU time: 1842.47 s
Current children cumulated vsize: 2468240 KiB
Current children cumulated memory: 463472 KiB
[startup+1902.3 s]
/proc/loadavg: 1.01 1.43 1.80 2/180 6204
/proc/meminfo: memFree=15992696/32770624 swapFree=67108504/67108860
[pid=5911] ppid=5908 vsize=2468240 memory=463472 CPUtime=1902.48 cores=0,2,4,6
/proc/5911/stat : 5911 (xcsp_picat) R 5908 5911 4813 0 -1 4202496 264049 0 0 0 189740 508 0 0 20 0 1 0 221230748 2527477760 115868 33554432000 4194304 5849708 140735912868560 140735912867560 5335584 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 29847552 140735912871094 140735912871172 140735912871172 140735912873930 0
/proc/5911/statm: 617060 115868 761 405 0 614005 0
Current children cumulated CPU time: 1902.48 s
Current children cumulated vsize: 2468240 KiB
Current children cumulated memory: 463472 KiB
[startup+1962.3 s]
/proc/loadavg: 1.05 1.37 1.75 2/181 6213
/proc/meminfo: memFree=15991640/32770624 swapFree=67108504/67108860
[pid=5911] ppid=5908 vsize=2468240 memory=463472 CPUtime=1962.49 cores=0,2,4,6
/proc/5911/stat : 5911 (xcsp_picat) R 5908 5911 4813 0 -1 4202496 279508 0 0 0 195733 516 0 0 20 0 1 0 221230748 2527477760 115868 33554432000 4194304 5849708 140735912868560 140735912867720 5335568 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 29847552 140735912871094 140735912871172 140735912871172 140735912873930 0
/proc/5911/statm: 617060 115868 761 405 0 614005 0
Current children cumulated CPU time: 1962.49 s
Current children cumulated vsize: 2468240 KiB
Current children cumulated memory: 463472 KiB
[startup+2022.3 s]
/proc/loadavg: 1.02 1.30 1.71 2/181 6214
/proc/meminfo: memFree=16148928/32770624 swapFree=67108504/67108860
[pid=5911] ppid=5908 vsize=2311948 memory=307164 CPUtime=2022.5 cores=0,2,4,6
/proc/5911/stat : 5911 (xcsp_picat) R 5908 5911 4813 0 -1 4202496 281060 0 0 0 201725 525 0 0 20 0 1 0 221230748 2367434752 76791 33554432000 4194304 5849708 140735912868560 140735912867560 5437607 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 29847552 140735912871094 140735912871172 140735912871172 140735912873930 0
/proc/5911/statm: 577987 76791 761 405 0 574932 0
Current children cumulated CPU time: 2022.5 s
Current children cumulated vsize: 2311948 KiB
Current children cumulated memory: 307164 KiB
[startup+2082.3 s]
/proc/loadavg: 1.01 1.25 1.66 2/181 6215
/proc/meminfo: memFree=16127880/32770624 swapFree=67108504/67108860
[pid=5911] ppid=5908 vsize=2333052 memory=328284 CPUtime=2082.51 cores=0,2,4,6
/proc/5911/stat : 5911 (xcsp_picat) R 5908 5911 4813 0 -1 4202496 292651 0 0 0 207715 536 0 0 20 0 1 0 221230748 2389045248 82071 33554432000 4194304 5849708 140735912868560 140735912867560 139955887218567 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 29847552 140735912871094 140735912871172 140735912871172 140735912873930 0
/proc/5911/statm: 583263 82071 761 405 0 580208 0
Current children cumulated CPU time: 2082.51 s
Current children cumulated vsize: 2333052 KiB
Current children cumulated memory: 328284 KiB
[startup+2142.3 s]
/proc/loadavg: 1.00 1.20 1.62 2/181 6216
/proc/meminfo: memFree=16128164/32770624 swapFree=67108504/67108860
[pid=5911] ppid=5908 vsize=2333052 memory=328284 CPUtime=2142.51 cores=0,2,4,6
/proc/5911/stat : 5911 (xcsp_picat) R 5908 5911 4813 0 -1 4202496 296206 0 0 0 213698 553 0 0 20 0 1 0 221230748 2389045248 82071 33554432000 4194304 5849708 140735912868560 140735912867560 139955887218567 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 29847552 140735912871094 140735912871172 140735912871172 140735912873930 0
/proc/5911/statm: 583263 82071 761 405 0 580208 0
Current children cumulated CPU time: 2142.51 s
Current children cumulated vsize: 2333052 KiB
Current children cumulated memory: 328284 KiB
[startup+2202.3 s]
/proc/loadavg: 1.00 1.16 1.58 2/181 6217
/proc/meminfo: memFree=16128396/32770624 swapFree=67108504/67108860
[pid=5911] ppid=5908 vsize=2333052 memory=328284 CPUtime=2202.52 cores=0,2,4,6
/proc/5911/stat : 5911 (xcsp_picat) R 5908 5911 4813 0 -1 4202496 308333 0 0 0 219683 569 0 0 20 0 1 0 221230748 2389045248 82071 33554432000 4194304 5849708 140735912868560 140735912867560 139955887218567 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 29847552 140735912871094 140735912871172 140735912871172 140735912873930 0
/proc/5911/statm: 583263 82071 761 405 0 580208 0
Current children cumulated CPU time: 2202.52 s
Current children cumulated vsize: 2333052 KiB
Current children cumulated memory: 328284 KiB
[startup+2262.3 s]
/proc/loadavg: 1.00 1.13 1.55 2/180 6219
/proc/meminfo: memFree=16069188/32770624 swapFree=67108504/67108860
[pid=5911] ppid=5908 vsize=2402760 memory=388164 CPUtime=2262.53 cores=0,2,4,6
/proc/5911/stat : 5911 (xcsp_picat) R 5908 5911 4813 0 -1 4202496 322214 0 0 0 225668 585 0 0 20 0 1 0 221230748 2460426240 97041 33554432000 4194304 5849708 140735912868560 140735912867560 139955887218567 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 29847552 140735912871094 140735912871172 140735912871172 140735912873930 0
/proc/5911/statm: 600690 97041 761 405 0 597635 0
Current children cumulated CPU time: 2262.53 s
Current children cumulated vsize: 2402760 KiB
Current children cumulated memory: 388164 KiB
[startup+2322.3 s]
/proc/loadavg: 1.00 1.11 1.51 2/180 6220
/proc/meminfo: memFree=16069276/32770624 swapFree=67108504/67108860
[pid=5911] ppid=5908 vsize=2402760 memory=388164 CPUtime=2322.53 cores=0,2,4,6
/proc/5911/stat : 5911 (xcsp_picat) R 5908 5911 4813 0 -1 4202496 325494 0 0 0 231663 590 0 0 20 0 1 0 221230748 2460426240 97041 33554432000 4194304 5849708 140735912868560 140735912867432 5392210 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 29847552 140735912871094 140735912871172 140735912871172 140735912873930 0
/proc/5911/statm: 600690 97041 761 405 0 597635 0
Current children cumulated CPU time: 2322.53 s
Current children cumulated vsize: 2402760 KiB
Current children cumulated memory: 388164 KiB
[startup+2382.3 s]
/proc/loadavg: 1.00 1.09 1.48 2/180 6221
/proc/meminfo: memFree=15999232/32770624 swapFree=67108504/67108860
[pid=5911] ppid=5908 vsize=2472512 memory=457916 CPUtime=2382.54 cores=0,2,4,6
/proc/5911/stat : 5911 (xcsp_picat) R 5908 5911 4813 0 -1 4202496 342451 0 0 0 237654 600 0 0 20 0 1 0 221230748 2531852288 114479 33554432000 4194304 5849708 140735912868560 140735912867560 139955887218567 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 29847552 140735912871094 140735912871172 140735912871172 140735912873930 0
/proc/5911/statm: 618128 114479 761 405 0 615073 0
Current children cumulated CPU time: 2382.54 s
Current children cumulated vsize: 2472512 KiB
Current children cumulated memory: 457916 KiB
[startup+2442.3 s]
/proc/loadavg: 1.00 1.07 1.45 2/180 6223
/proc/meminfo: memFree=15999360/32770624 swapFree=67108504/67108860
[pid=5911] ppid=5908 vsize=2472512 memory=457916 CPUtime=2442.55 cores=0,2,4,6
/proc/5911/stat : 5911 (xcsp_picat) R 5908 5911 4813 0 -1 4202496 353609 0 0 0 243647 608 0 0 20 0 1 0 221230748 2531852288 114479 33554432000 4194304 5849708 140735912868560 140735912867720 5437714 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 29847552 140735912871094 140735912871172 140735912871172 140735912873930 0
/proc/5911/statm: 618128 114479 761 405 0 615073 0
Current children cumulated CPU time: 2442.55 s
Current children cumulated vsize: 2472512 KiB
Current children cumulated memory: 457916 KiB
[startup+2502.3 s]
/proc/loadavg: 1.00 1.06 1.42 2/180 6224
/proc/meminfo: memFree=15999600/32770624 swapFree=67108504/67108860
[pid=5911] ppid=5908 vsize=2472512 memory=457916 CPUtime=2502.55 cores=0,2,4,6
/proc/5911/stat : 5911 (xcsp_picat) R 5908 5911 4813 0 -1 4202496 354363 0 0 0 249640 615 0 0 20 0 1 0 221230748 2531852288 114479 33554432000 4194304 5849708 140735912868560 140735912867720 5335582 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 29847552 140735912871094 140735912871172 140735912871172 140735912873930 0
/proc/5911/statm: 618128 114479 761 405 0 615073 0
Current children cumulated CPU time: 2502.55 s
Current children cumulated vsize: 2472512 KiB
Current children cumulated memory: 457916 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.8 s]
/proc/loadavg: 1.00 1.06 1.41 2/180 6224
/proc/meminfo: memFree=15999600/32770624 swapFree=67108504/67108860
[pid=5911] ppid=5908 vsize=2472512 memory=457916 CPUtime=2520.05 cores=0,2,4,6
/proc/5911/stat : 5911 (xcsp_picat) R 5908 5911 4813 0 -1 4202496 354585 0 0 0 251389 616 0 0 20 0 1 0 221230748 2531852288 114479 33554432000 4194304 5849708 140735912868560 140735912867560 5335584 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 29847552 140735912871094 140735912871172 140735912871172 140735912873930 0
/proc/5911/statm: 618128 114479 761 405 0 615073 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 2472512 KiB
Current children cumulated memory: 457916 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.81 s]
# the end of solver process 5911 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.9 s, system=6.17472 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): 2519.81
CPU time (s): 2520.07
CPU user time (s): 2513.9
CPU system time (s): 6.17472
CPU usage (%): 100.01
Max. virtual memory (cumulated for all children) (KiB): 2472512
Max. memory (cumulated for all children) (KiB): 463472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.9
system time used= 6.17471
maximum resident set size= 463472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 354585
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= 38
involuntary context switches= 810
# summary of solver processes directly reported to runsolver:
# pid: 5911
# total CPU time (s): 2520.07
# total CPU user time (s): 2513.9
# total CPU system time (s): 6.17472
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.9613 second user time and 15.4853 second system time
The end