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 (12779 MiB free)
memory of node 1: 16384 MiB (13396 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309483-1534318338/watcher-4309483-1534318338 -o /tmp/evaluation-result-4309483-1534318338/solver-4309483-1534318338 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1534293911-23505 --watchdog 2580 xcsp_picat HOME/instance-4309483-1534318338.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=26882, runsolver pid=26879
[startup+0.100117 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 26883
/proc/meminfo: memFree=26775928/32770624 swapFree=67108804/67108860
[pid=26882] ppid=26879 vsize=2025744 memory=31528 CPUtime=0.1 cores=1,3,5,7
/proc/26882/stat : 26882 (xcsp_picat) R 26879 26882 23473 0 -1 4202496 1424 0 0 0 10 0 0 0 20 0 1 0 249396978 2074361856 7882 33554432000 4194304 5849940 140737179632256 140737179632256 140236488637440 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 29618176 140737179641014 140737179641092 140737179641092 140737179643850 0
/proc/26882/statm: 506436 7882 609 405 0 503380 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 31528 KiB
[startup+0.209726 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 26883
/proc/meminfo: memFree=26754456/32770624 swapFree=67108804/67108860
[pid=26882] ppid=26879 vsize=2025744 memory=53012 CPUtime=0.21 cores=1,3,5,7
/proc/26882/stat : 26882 (xcsp_picat) R 26879 26882 23473 0 -1 4202496 1695 0 0 0 21 0 0 0 20 0 1 0 249396978 2074361856 13253 33554432000 4194304 5849940 140737179632256 140737179632256 4467102 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 29618176 140737179641014 140737179641092 140737179641092 140737179643850 0
/proc/26882/statm: 506436 13253 625 405 0 503380 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 53012 KiB
[startup+0.309641 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 26883
/proc/meminfo: memFree=26737824/32770624 swapFree=67108804/67108860
[pid=26882] ppid=26879 vsize=2025744 memory=71948 CPUtime=0.31 cores=1,3,5,7
/proc/26882/stat : 26882 (xcsp_picat) R 26879 26882 23473 0 -1 4202496 1801 0 0 0 30 1 0 0 20 0 1 0 249396978 2074361856 17987 33554432000 4194304 5849940 140737179632256 140737179632256 4819867 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 29618176 140737179641014 140737179641092 140737179641092 140737179643850 0
/proc/26882/statm: 506436 17987 642 405 0 503380 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 71948 KiB
[startup+0.70025 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26883
/proc/meminfo: memFree=26725968/32770624 swapFree=67108804/67108860
[pid=26882] ppid=26879 vsize=2028788 memory=83324 CPUtime=0.69 cores=1,3,5,7
/proc/26882/stat : 26882 (xcsp_picat) R 26879 26882 23473 0 -1 4202496 2646 0 0 0 67 2 0 0 20 0 1 0 249396978 2077478912 20831 33554432000 4194304 5849940 140737179632256 140737179631560 140236488658823 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 29618176 140737179641014 140737179641092 140737179641092 140737179643850 0
/proc/26882/statm: 507197 20831 704 405 0 504141 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2028788 KiB
Current children cumulated memory: 83324 KiB
[startup+1.50031 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26883
/proc/meminfo: memFree=26709036/32770624 swapFree=67108804/67108860
[pid=26882] ppid=26879 vsize=2111032 memory=169676 CPUtime=1.49 cores=1,3,5,7
/proc/26882/stat : 26882 (xcsp_picat) R 26879 26882 23473 0 -1 4202496 9529 0 0 0 144 5 0 0 20 0 1 0 249396978 2161696768 42419 33554432000 4194304 5849940 140737179632256 140737179631560 4677815 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 29618176 140737179641014 140737179641092 140737179641092 140737179643850 0
/proc/26882/statm: 527758 42419 706 405 0 524702 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2111032 KiB
Current children cumulated memory: 169676 KiB
[startup+3.10902 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26883
/proc/meminfo: memFree=26572460/32770624 swapFree=67108804/67108860
[pid=26882] ppid=26879 vsize=2176568 memory=235532 CPUtime=3.1 cores=1,3,5,7
/proc/26882/stat : 26882 (xcsp_picat) R 26879 26882 23473 0 -1 4202496 10172 0 0 0 304 6 0 0 20 0 1 0 249396978 2228805632 58883 33554432000 4194304 5849940 140737179632256 140737179631352 5520087 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 29618176 140737179641014 140737179641092 140737179641092 140737179643850 0
/proc/26882/statm: 544142 58883 723 405 0 541086 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2176568 KiB
Current children cumulated memory: 235532 KiB
[startup+6.30034 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26883
/proc/meminfo: memFree=26567244/32770624 swapFree=67108804/67108860
[pid=26882] ppid=26879 vsize=2191008 memory=248036 CPUtime=6.29 cores=1,3,5,7
/proc/26882/stat : 26882 (xcsp_picat) R 26879 26882 23473 0 -1 4202496 35037 0 0 0 621 8 0 0 20 0 1 0 249396978 2243592192 62009 33554432000 4194304 5849940 140737179632256 140737179631352 5303861 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 29618176 140737179641014 140737179641092 140737179641092 140737179643850 0
/proc/26882/statm: 547752 62009 735 405 0 544696 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2191008 KiB
Current children cumulated memory: 248036 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26883
/proc/meminfo: memFree=26552736/32770624 swapFree=67108804/67108860
[pid=26882] ppid=26879 vsize=2194252 memory=253204 CPUtime=12.69 cores=1,3,5,7
/proc/26882/stat : 26882 (xcsp_picat) R 26879 26882 23473 0 -1 4202496 61913 0 0 0 1257 12 0 0 20 0 1 0 249396978 2246914048 63301 33554432000 4194304 5849940 140737179632256 140737179630744 5309295 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 29618176 140737179641014 140737179641092 140737179641092 140737179643850 0
/proc/26882/statm: 548563 63301 751 405 0 545507 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2194252 KiB
Current children cumulated memory: 253204 KiB
[startup+25.5003 s]
/proc/loadavg: 2.07 2.03 2.05 3/187 26883
/proc/meminfo: memFree=26547340/32770624 swapFree=67108804/67108860
[pid=26882] ppid=26879 vsize=2194252 memory=253288 CPUtime=25.49 cores=1,3,5,7
/proc/26882/stat : 26882 (xcsp_picat) R 26879 26882 23473 0 -1 4202496 85579 0 0 0 2535 14 0 0 20 0 1 0 249396978 2246914048 63322 33554432000 4194304 5849940 140737179632256 140737179629800 4204042 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 29618176 140737179641014 140737179641092 140737179641092 140737179643850 0
/proc/26882/statm: 548563 63322 751 405 0 545507 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2194252 KiB
Current children cumulated memory: 253288 KiB
[startup+51.1096 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 26883
/proc/meminfo: memFree=26543436/32770624 swapFree=67108804/67108860
[pid=26882] ppid=26879 vsize=2195588 memory=254552 CPUtime=51.11 cores=1,3,5,7
/proc/26882/stat : 26882 (xcsp_picat) R 26879 26882 23473 0 -1 4202496 128966 0 0 0 5080 31 0 0 20 0 1 0 249396978 2248282112 63638 33554432000 4194304 5849940 140737179632256 140737179631256 5438677 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 29618176 140737179641014 140737179641092 140737179641092 140737179643850 0
/proc/26882/statm: 548897 63638 755 405 0 545841 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 2195588 KiB
Current children cumulated memory: 254552 KiB
[startup+102.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/187 26884
/proc/meminfo: memFree=26536868/32770624 swapFree=67108804/67108860
[pid=26882] ppid=26879 vsize=2266488 memory=325240 CPUtime=102.3 cores=1,3,5,7
/proc/26882/stat : 26882 (xcsp_picat) R 26879 26882 23473 0 -1 4202496 181554 0 0 0 10179 51 0 0 20 0 1 0 249396978 2320883712 81310 33554432000 4194304 5849940 140737179632256 140737179630904 4217974 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 29618176 140737179641014 140737179641092 140737179641092 140737179643850 0
/proc/26882/statm: 566622 81310 755 405 0 563566 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 2266488 KiB
Current children cumulated memory: 325240 KiB
[startup+162.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/187 26885
/proc/meminfo: memFree=26531524/32770624 swapFree=67108804/67108860
[pid=26882] ppid=26879 vsize=2204372 memory=263336 CPUtime=162.3 cores=1,3,5,7
/proc/26882/stat : 26882 (xcsp_picat) R 26879 26882 23473 0 -1 4202496 212056 0 0 0 16149 81 0 0 20 0 1 0 249396978 2257276928 65834 33554432000 4194304 5849940 140737179632256 140737179631256 5360645 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 29618176 140737179641014 140737179641092 140737179641092 140737179643850 0
/proc/26882/statm: 551093 65834 755 405 0 548037 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 2204372 KiB
Current children cumulated memory: 263336 KiB
[startup+222.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/187 26886
/proc/meminfo: memFree=26516160/32770624 swapFree=67108804/67108860
[pid=26882] ppid=26879 vsize=2218604 memory=272496 CPUtime=222.3 cores=1,3,5,7
/proc/26882/stat : 26882 (xcsp_picat) R 26879 26882 23473 0 -1 4202496 245960 0 0 0 22124 106 0 0 20 0 1 0 249396978 2271850496 68124 33554432000 4194304 5849940 140737179632256 140737179631256 5311618 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 29618176 140737179641014 140737179641092 140737179641092 140737179643850 0
/proc/26882/statm: 554651 68124 755 405 0 551595 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 2218604 KiB
Current children cumulated memory: 272496 KiB
[startup+282.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/187 26887
/proc/meminfo: memFree=26510380/32770624 swapFree=67108804/67108860
[pid=26882] ppid=26879 vsize=2217912 memory=276876 CPUtime=282.3 cores=1,3,5,7
/proc/26882/stat : 26882 (xcsp_picat) R 26879 26882 23473 0 -1 4202496 276934 0 0 0 28099 131 0 0 20 0 1 0 249396978 2271141888 69219 33554432000 4194304 5849940 140737179632256 140737179631128 5416823 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 29618176 140737179641014 140737179641092 140737179641092 140737179643850 0
/proc/26882/statm: 554478 69219 755 405 0 551422 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 2217912 KiB
Current children cumulated memory: 276876 KiB
[startup+342.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/187 26888
/proc/meminfo: memFree=26481216/32770624 swapFree=67108804/67108860
[pid=26882] ppid=26879 vsize=2223180 memory=282144 CPUtime=342.31 cores=1,3,5,7
/proc/26882/stat : 26882 (xcsp_picat) R 26879 26882 23473 0 -1 4202496 300856 0 0 0 34073 158 0 0 20 0 1 0 249396978 2276536320 70536 33554432000 4194304 5849940 140737179632256 140737179631256 140236488658823 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 29618176 140737179641014 140737179641092 140737179641092 140737179643850 0
/proc/26882/statm: 555795 70536 755 405 0 552739 0
Current children cumulated CPU time: 342.31 s
Current children cumulated vsize: 2223180 KiB
Current children cumulated memory: 282144 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 26889
/proc/meminfo: memFree=26494144/32770624 swapFree=67108804/67108860
[pid=26882] ppid=26879 vsize=2222560 memory=281556 CPUtime=402.32 cores=1,3,5,7
/proc/26882/stat : 26882 (xcsp_picat) R 26879 26882 23473 0 -1 4202496 327807 0 0 0 40045 187 0 0 20 0 1 0 249396978 2275901440 70389 33554432000 4194304 5849940 140737179632256 140737179631128 140236488658823 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 29618176 140737179641014 140737179641092 140737179641092 140737179643850 0
/proc/26882/statm: 555640 70389 755 405 0 552584 0
Current children cumulated CPU time: 402.32 s
Current children cumulated vsize: 2222560 KiB
Current children cumulated memory: 281556 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 26890
/proc/meminfo: memFree=26491292/32770624 swapFree=67108804/67108860
[pid=26882] ppid=26879 vsize=2223336 memory=282300 CPUtime=462.32 cores=1,3,5,7
/proc/26882/stat : 26882 (xcsp_picat) R 26879 26882 23473 0 -1 4202496 355168 0 0 0 46023 209 0 0 20 0 1 0 249396978 2276696064 70575 33554432000 4194304 5849940 140737179632256 140737179631256 140236488658823 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 29618176 140737179641014 140737179641092 140737179641092 140737179643850 0
/proc/26882/statm: 555834 70575 755 405 0 552778 0
Current children cumulated CPU time: 462.32 s
Current children cumulated vsize: 2223336 KiB
Current children cumulated memory: 282300 KiB
################
# More data... #
################
/proc/26882/statm: 614776 130385 755 405 0 611720 0
Current children cumulated CPU time: 1782.38 s
Current children cumulated vsize: 2459104 KiB
Current children cumulated memory: 521540 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 26961
/proc/meminfo: memFree=26075332/32770624 swapFree=67108804/67108860
[pid=26882] ppid=26879 vsize=2459832 memory=522268 CPUtime=1842.38 cores=1,3,5,7
/proc/26882/stat : 26882 (xcsp_picat) R 26879 26882 23473 0 -1 4202496 962297 0 0 0 183358 880 0 0 20 0 1 0 249396978 2518867968 130567 33554432000 4194304 5849940 140737179632256 140737179631256 5311599 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 29618176 140737179641014 140737179641092 140737179641092 140737179643850 0
/proc/26882/statm: 614958 130567 755 405 0 611902 0
Current children cumulated CPU time: 1842.38 s
Current children cumulated vsize: 2459832 KiB
Current children cumulated memory: 522268 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 26962
/proc/meminfo: memFree=26001100/32770624 swapFree=67108804/67108860
[pid=26882] ppid=26879 vsize=2465832 memory=528268 CPUtime=1902.38 cores=1,3,5,7
/proc/26882/stat : 26882 (xcsp_picat) R 26879 26882 23473 0 -1 4202496 990324 0 0 0 189326 912 0 0 20 0 1 0 249396978 2525011968 132067 33554432000 4194304 5849940 140737179632256 140737179631128 140236488658823 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 29618176 140737179641014 140737179641092 140737179641092 140737179643850 0
/proc/26882/statm: 616458 132067 755 405 0 613402 0
Current children cumulated CPU time: 1902.38 s
Current children cumulated vsize: 2465832 KiB
Current children cumulated memory: 528268 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 26963
/proc/meminfo: memFree=25998608/32770624 swapFree=67108804/67108860
[pid=26882] ppid=26879 vsize=2465824 memory=528260 CPUtime=1962.39 cores=1,3,5,7
/proc/26882/stat : 26882 (xcsp_picat) R 26879 26882 23473 0 -1 4202496 996717 0 0 0 195303 936 0 0 20 0 1 0 249396978 2525003776 132065 33554432000 4194304 5849940 140737179632256 140737179630520 4211600 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 29618176 140737179641014 140737179641092 140737179641092 140737179643850 0
/proc/26882/statm: 616456 132065 755 405 0 613400 0
Current children cumulated CPU time: 1962.39 s
Current children cumulated vsize: 2465824 KiB
Current children cumulated memory: 528260 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26964
/proc/meminfo: memFree=25948464/32770624 swapFree=67108804/67108860
[pid=26882] ppid=26879 vsize=2476812 memory=539248 CPUtime=2022.4 cores=1,3,5,7
/proc/26882/stat : 26882 (xcsp_picat) R 26879 26882 23473 0 -1 4202496 1033761 0 0 0 201281 959 0 0 20 0 1 0 249396978 2536255488 134812 33554432000 4194304 5849940 140737179632256 140737179631256 140236488658823 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 29618176 140737179641014 140737179641092 140737179641092 140737179643850 0
/proc/26882/statm: 619203 134812 755 405 0 616147 0
Current children cumulated CPU time: 2022.4 s
Current children cumulated vsize: 2476812 KiB
Current children cumulated memory: 539248 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26965
/proc/meminfo: memFree=25910544/32770624 swapFree=67108804/67108860
[pid=26882] ppid=26879 vsize=2478912 memory=541264 CPUtime=2082.4 cores=1,3,5,7
/proc/26882/stat : 26882 (xcsp_picat) R 26879 26882 23473 0 -1 4202496 1067012 0 0 0 207247 993 0 0 20 0 1 0 249396978 2538405888 135316 33554432000 4194304 5849940 140737179632256 140737179631256 140236488658823 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 29618176 140737179641014 140737179641092 140737179641092 140737179643850 0
/proc/26882/statm: 619728 135316 755 405 0 616672 0
Current children cumulated CPU time: 2082.4 s
Current children cumulated vsize: 2478912 KiB
Current children cumulated memory: 541264 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26966
/proc/meminfo: memFree=25923244/32770624 swapFree=67108804/67108860
[pid=26882] ppid=26879 vsize=2492048 memory=554308 CPUtime=2142.4 cores=1,3,5,7
/proc/26882/stat : 26882 (xcsp_picat) R 26879 26882 23473 0 -1 4202496 1108952 0 0 0 213219 1021 0 0 20 0 1 0 249396978 2551857152 138577 33554432000 4194304 5849940 140737179632256 140737179631256 140236488658823 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 29618176 140737179641014 140737179641092 140737179641092 140737179643850 0
/proc/26882/statm: 623012 138577 755 405 0 619956 0
Current children cumulated CPU time: 2142.4 s
Current children cumulated vsize: 2492048 KiB
Current children cumulated memory: 554308 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26967
/proc/meminfo: memFree=26008556/32770624 swapFree=67108804/67108860
[pid=26882] ppid=26879 vsize=2478840 memory=541212 CPUtime=2202.4 cores=1,3,5,7
/proc/26882/stat : 26882 (xcsp_picat) R 26879 26882 23473 0 -1 4202496 1150741 0 0 0 219199 1041 0 0 20 0 1 0 249396978 2538332160 135303 33554432000 4194304 5849940 140737179632256 140737179631256 140236488658823 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 29618176 140737179641014 140737179641092 140737179641092 140737179643850 0
/proc/26882/statm: 619710 135303 755 405 0 616654 0
Current children cumulated CPU time: 2202.4 s
Current children cumulated vsize: 2478840 KiB
Current children cumulated memory: 541212 KiB
[startup+2262.3 s]
/proc/loadavg: 2.54 2.18 2.10 3/187 26968
/proc/meminfo: memFree=25910148/32770624 swapFree=67108804/67108860
[pid=26882] ppid=26879 vsize=2552768 memory=615204 CPUtime=2262.41 cores=1,3,5,7
/proc/26882/stat : 26882 (xcsp_picat) R 26879 26882 23473 0 -1 4202496 1206929 0 0 0 225167 1074 0 0 20 0 1 0 249396978 2614034432 153801 33554432000 4194304 5849940 140737179632256 140737179631256 140236488658823 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 29618176 140737179641014 140737179641092 140737179641092 140737179643850 0
/proc/26882/statm: 638192 153801 755 405 0 635136 0
Current children cumulated CPU time: 2262.41 s
Current children cumulated vsize: 2552768 KiB
Current children cumulated memory: 615204 KiB
[startup+2322.3 s]
/proc/loadavg: 2.20 2.14 2.09 3/188 26977
/proc/meminfo: memFree=25855820/32770624 swapFree=67108804/67108860
[pid=26882] ppid=26879 vsize=2602560 memory=664996 CPUtime=2322.41 cores=1,3,5,7
/proc/26882/stat : 26882 (xcsp_picat) R 26879 26882 23473 0 -1 4202496 1267275 0 0 0 231139 1102 0 0 20 0 1 0 249396978 2665021440 166249 33554432000 4194304 5849940 140737179632256 140737179631256 140236488658823 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 29618176 140737179641014 140737179641092 140737179641092 140737179643850 0
/proc/26882/statm: 650640 166249 755 405 0 647584 0
Current children cumulated CPU time: 2322.41 s
Current children cumulated vsize: 2602560 KiB
Current children cumulated memory: 664996 KiB
[startup+2382.3 s]
/proc/loadavg: 2.07 2.12 2.09 3/188 27039
/proc/meminfo: memFree=26425964/32770624 swapFree=67108804/67108860
[pid=26882] ppid=26879 vsize=2557900 memory=620336 CPUtime=2382.41 cores=1,3,5,7
/proc/26882/stat : 26882 (xcsp_picat) R 26879 26882 23473 0 -1 4202496 1306947 0 0 0 237107 1134 0 0 20 0 1 0 249396978 2619289600 155084 33554432000 4194304 5849940 140737179632256 140737179630904 5438134 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 29618176 140737179641014 140737179641092 140737179641092 140737179643850 0
/proc/26882/statm: 639475 155084 755 405 0 636419 0
Current children cumulated CPU time: 2382.41 s
Current children cumulated vsize: 2557900 KiB
Current children cumulated memory: 620336 KiB
[startup+2442.3 s]
/proc/loadavg: 2.03 2.10 2.08 3/188 27040
/proc/meminfo: memFree=26477908/32770624 swapFree=67108804/67108860
[pid=26882] ppid=26879 vsize=2477820 memory=540184 CPUtime=2442.41 cores=1,3,5,7
/proc/26882/stat : 26882 (xcsp_picat) R 26879 26882 23473 0 -1 4202496 1372080 0 0 0 243077 1164 0 0 20 0 1 0 249396978 2537287680 135046 33554432000 4194304 5849940 140737179632256 140737179631256 140236488658823 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 29618176 140737179641014 140737179641092 140737179641092 140737179643850 0
/proc/26882/statm: 619455 135046 755 405 0 616399 0
Current children cumulated CPU time: 2442.41 s
Current children cumulated vsize: 2477820 KiB
Current children cumulated memory: 540184 KiB
[startup+2502.3 s]
/proc/loadavg: 2.01 2.08 2.08 3/188 27041
/proc/meminfo: memFree=26439808/32770624 swapFree=67108804/67108860
[pid=26882] ppid=26879 vsize=2493844 memory=556096 CPUtime=2502.42 cores=1,3,5,7
/proc/26882/stat : 26882 (xcsp_picat) R 26879 26882 23473 0 -1 4202496 1422693 0 0 0 249048 1194 0 0 20 0 1 0 249396978 2553696256 139024 33554432000 4194304 5849940 140737179632256 140737179631416 140236488658823 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 29618176 140737179641014 140737179641092 140737179641092 140737179643850 0
/proc/26882/statm: 623461 139024 755 405 0 620405 0
Current children cumulated CPU time: 2502.42 s
Current children cumulated vsize: 2493844 KiB
Current children cumulated memory: 556096 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 2.01 2.07 2.07 3/188 27041
/proc/meminfo: memFree=26447616/32770624 swapFree=67108804/67108860
[pid=26882] ppid=26879 vsize=2481612 memory=543844 CPUtime=2520.02 cores=1,3,5,7
/proc/26882/stat : 26882 (xcsp_picat) R 26879 26882 23473 0 -1 4202496 1429613 0 0 0 250793 1209 0 0 20 0 1 0 249396978 2541170688 135961 33554432000 4194304 5849940 140737179632256 140737179631256 140236488658823 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 29618176 140737179641014 140737179641092 140737179641092 140737179643850 0
/proc/26882/statm: 620403 135961 755 405 0 617347 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 2481612 KiB
Current children cumulated memory: 543844 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.91 s]
# the end of solver process 26882 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2507.93 s, system=12.1097 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.9 s]
/proc/loadavg: 2.01 2.07 2.07 3/188 27041
/proc/meminfo: memFree=26447616/32770624 swapFree=67108804/67108860
[pid=26882] ppid=26879 vsize=2481612 memory=543844 CPUtime=2520.02 cores=1,3,5,7
/proc/26882/stat : 26882 (xcsp_picat) R 26879 26882 23473 0 -1 4202496 1429613 0 0 0 250793 1209 0 0 20 0 1 0 249396978 2541170688 135961 33554432000 4194304 5849940 140737179632256 140737179631256 140236488658823 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 29618176 140737179641014 140737179641092 140737179641092 140737179643850 0
/proc/26882/statm: 620403 135961 755 405 0 617347 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 2481612 KiB
Current children cumulated memory: 543844 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2519.91
CPU time (s): 2520.04
CPU user time (s): 2507.93
CPU system time (s): 12.1097
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 2791704
Max. memory (cumulated for all children) (KiB): 854048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2507.93
system time used= 12.1097
maximum resident set size= 854084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1429613
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= 27
involuntary context switches= 1281
# summary of solver processes directly reported to runsolver:
# pid: 26882
# total CPU time (s): 2520.04
# total CPU user time (s): 2507.93
# total CPU system time (s): 12.1097
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.3787 second user time and 18.0176 second system time
The end