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 (7043 MiB free)
memory of node 1: 16384 MiB (10979 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309857-1534296856/watcher-4309857-1534296856 -o /tmp/evaluation-result-4309857-1534296856/solver-4309857-1534296856 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534293054-21340 --watchdog 2580 xcsp_picat HOME/instance-4309857-1534296856.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=21932, runsolver pid=21929
[startup+0.100401 s]*
/proc/loadavg: 2.00 2.01 1.96 4/188 21933
/proc/meminfo: memFree=18432092/32770624 swapFree=67108792/67108860
[pid=21932] ppid=21929 vsize=2025744 memory=32580 CPUtime=0.1 cores=0,2,4,6
/proc/21932/stat : 21932 (xcsp_picat) R 21929 21932 21309 0 -1 4202496 1661 0 0 0 10 0 0 0 20 0 1 0 247248838 2074361856 8145 33554432000 4194304 5849940 140721233619712 140721233619016 4828704 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 41054208 140721233622198 140721233622276 140721233622276 140721233625034 0
/proc/21932/statm: 506436 8145 637 405 0 503380 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 32580 KiB
[startup+0.209583 s]*
/proc/loadavg: 2.00 2.01 1.96 3/188 21933
/proc/meminfo: memFree=18425840/32770624 swapFree=67108792/67108860
[pid=21932] ppid=21929 vsize=2025744 memory=32908 CPUtime=0.21 cores=0,2,4,6
/proc/21932/stat : 21932 (xcsp_picat) R 21929 21932 21309 0 -1 4202496 1750 0 0 0 21 0 0 0 20 0 1 0 247248838 2074361856 8227 33554432000 4194304 5849940 140721233619712 140721233619016 5477491 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 41054208 140721233622198 140721233622276 140721233622276 140721233625034 0
/proc/21932/statm: 506436 8227 710 405 0 503380 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 32908 KiB
[startup+0.309524 s]*
/proc/loadavg: 2.00 2.01 1.96 3/188 21933
/proc/meminfo: memFree=18425872/32770624 swapFree=67108792/67108860
[pid=21932] ppid=21929 vsize=2025744 memory=32908 CPUtime=0.31 cores=0,2,4,6
/proc/21932/stat : 21932 (xcsp_picat) R 21929 21932 21309 0 -1 4202496 1752 0 0 0 31 0 0 0 20 0 1 0 247248838 2074361856 8227 33554432000 4194304 5849940 140721233619712 140721233619016 5606430 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 41054208 140721233622198 140721233622276 140721233622276 140721233625034 0
/proc/21932/statm: 506436 8227 710 405 0 503380 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 32908 KiB
[startup+0.700226 s]
/proc/loadavg: 2.00 2.01 1.96 3/188 21933
/proc/meminfo: memFree=18425384/32770624 swapFree=67108792/67108860
[pid=21932] ppid=21929 vsize=2025880 memory=32908 CPUtime=0.69 cores=0,2,4,6
/proc/21932/stat : 21932 (xcsp_picat) R 21929 21932 21309 0 -1 4202496 1770 0 0 0 69 0 0 0 20 0 1 0 247248838 2074501120 8227 33554432000 4194304 5849940 140721233619712 140721233618952 5606399 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 41054208 140721233622198 140721233622276 140721233622276 140721233625034 0
/proc/21932/statm: 506470 8227 710 405 0 503414 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2025880 KiB
Current children cumulated memory: 32908 KiB
[startup+1.50023 s]
/proc/loadavg: 2.00 2.01 1.96 3/188 21933
/proc/meminfo: memFree=18425328/32770624 swapFree=67108792/67108860
[pid=21932] ppid=21929 vsize=2025880 memory=32908 CPUtime=1.49 cores=0,2,4,6
/proc/21932/stat : 21932 (xcsp_picat) R 21929 21932 21309 0 -1 4202496 1770 0 0 0 149 0 0 0 20 0 1 0 247248838 2074501120 8227 33554432000 4194304 5849940 140721233619712 140721233618952 5472029 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 41054208 140721233622198 140721233622276 140721233622276 140721233625034 0
/proc/21932/statm: 506470 8227 710 405 0 503414 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2025880 KiB
Current children cumulated memory: 32908 KiB
[startup+3.1091 s]
/proc/loadavg: 2.00 2.01 1.96 3/188 21933
/proc/meminfo: memFree=18425348/32770624 swapFree=67108792/67108860
[pid=21932] ppid=21929 vsize=2025976 memory=33156 CPUtime=3.1 cores=0,2,4,6
/proc/21932/stat : 21932 (xcsp_picat) R 21929 21932 21309 0 -1 4202496 1870 0 0 0 310 0 0 0 20 0 1 0 247248838 2074599424 8289 33554432000 4194304 5849940 140721233619712 140721233618952 5521648 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 41054208 140721233622198 140721233622276 140721233622276 140721233625034 0
/proc/21932/statm: 506494 8289 711 405 0 503438 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2025976 KiB
Current children cumulated memory: 33156 KiB
[startup+6.30022 s]
/proc/loadavg: 2.00 2.01 1.96 3/188 21933
/proc/meminfo: memFree=18424532/32770624 swapFree=67108792/67108860
[pid=21932] ppid=21929 vsize=2025976 memory=33236 CPUtime=6.28 cores=0,2,4,6
/proc/21932/stat : 21932 (xcsp_picat) R 21929 21932 21309 0 -1 4202496 1946 0 0 0 628 0 0 0 20 0 1 0 247248838 2074599424 8309 33554432000 4194304 5849940 140721233619712 140721233618808 5606427 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 41054208 140721233622198 140721233622276 140721233622276 140721233625034 0
/proc/21932/statm: 506494 8309 711 405 0 503438 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2025976 KiB
Current children cumulated memory: 33236 KiB
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 1.96 3/188 21933
/proc/meminfo: memFree=18424768/32770624 swapFree=67108792/67108860
[pid=21932] ppid=21929 vsize=2026080 memory=33244 CPUtime=12.68 cores=0,2,4,6
/proc/21932/stat : 21932 (xcsp_picat) R 21929 21932 21309 0 -1 4202496 2220 0 0 0 1268 0 0 0 20 0 1 0 247248838 2074705920 8311 33554432000 4194304 5849940 140721233619712 140721233618824 5521660 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 41054208 140721233622198 140721233622276 140721233622276 140721233625034 0
/proc/21932/statm: 506520 8311 711 405 0 503464 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2026080 KiB
Current children cumulated memory: 33244 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 1.96 3/188 21933
/proc/meminfo: memFree=18394196/32770624 swapFree=67108792/67108860
[pid=21932] ppid=21929 vsize=2057024 memory=64120 CPUtime=25.48 cores=0,2,4,6
/proc/21932/stat : 21932 (xcsp_picat) R 21929 21932 21309 0 -1 4202496 21896 0 0 0 2542 6 0 0 20 0 1 0 247248838 2106392576 16030 33554432000 4194304 5849940 140721233619712 140721233618712 5340450 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 41054208 140721233622198 140721233622276 140721233622276 140721233625034 0
/proc/21932/statm: 514256 16030 744 405 0 511200 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2057024 KiB
Current children cumulated memory: 64120 KiB
[startup+51.1097 s]
/proc/loadavg: 2.00 2.01 1.96 3/188 21971
/proc/meminfo: memFree=18342960/32770624 swapFree=67108792/67108860
[pid=21932] ppid=21929 vsize=2054420 memory=61688 CPUtime=51.1 cores=0,2,4,6
/proc/21932/stat : 21932 (xcsp_picat) R 21929 21932 21309 0 -1 4202496 37694 0 0 0 5087 23 0 0 20 0 1 0 247248838 2103726080 15422 33554432000 4194304 5849940 140721233619712 140721233618200 139752796905351 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 41054208 140721233622198 140721233622276 140721233622276 140721233625034 0
/proc/21932/statm: 513605 15422 744 405 0 510549 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2054420 KiB
Current children cumulated memory: 61688 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/188 21972
/proc/meminfo: memFree=18374100/32770624 swapFree=67108792/67108860
[pid=21932] ppid=21929 vsize=2056180 memory=63448 CPUtime=102.28 cores=0,2,4,6
/proc/21932/stat : 21932 (xcsp_picat) R 21929 21932 21309 0 -1 4202496 50003 0 0 0 10173 55 0 0 20 0 1 0 247248838 2105528320 15862 33554432000 4194304 5849940 140721233619712 140721233618712 5437824 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 41054208 140721233622198 140721233622276 140721233622276 140721233625034 0
/proc/21932/statm: 514045 15862 744 405 0 510989 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2056180 KiB
Current children cumulated memory: 63448 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/188 21973
/proc/meminfo: memFree=18353192/32770624 swapFree=67108792/67108860
[pid=21932] ppid=21929 vsize=2077928 memory=84108 CPUtime=162.28 cores=0,2,4,6
/proc/21932/stat : 21932 (xcsp_picat) R 21929 21932 21309 0 -1 4202496 57267 0 0 0 16139 89 0 0 20 0 1 0 247248838 2127798272 21027 33554432000 4194304 5849940 140721233619712 140721233618584 5416944 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 41054208 140721233622198 140721233622276 140721233622276 140721233625034 0
/proc/21932/statm: 519482 21027 744 405 0 516426 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2077928 KiB
Current children cumulated memory: 84108 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/188 21974
/proc/meminfo: memFree=18360504/32770624 swapFree=67108792/67108860
[pid=21932] ppid=21929 vsize=2088912 memory=92448 CPUtime=222.27 cores=0,2,4,6
/proc/21932/stat : 21932 (xcsp_picat) R 21929 21932 21309 0 -1 4202496 68140 0 0 0 22105 122 0 0 20 0 1 0 247248838 2139045888 23112 33554432000 4194304 5849940 140721233619712 140721233618712 5438016 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 41054208 140721233622198 140721233622276 140721233622276 140721233625034 0
/proc/21932/statm: 522228 23112 744 405 0 519172 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 2088912 KiB
Current children cumulated memory: 92448 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/188 21975
/proc/meminfo: memFree=18336556/32770624 swapFree=67108792/67108860
[pid=21932] ppid=21929 vsize=2093620 memory=100888 CPUtime=282.26 cores=0,2,4,6
/proc/21932/stat : 21932 (xcsp_picat) R 21929 21932 21309 0 -1 4202496 80779 0 0 0 28073 153 0 0 20 0 1 0 247248838 2143866880 25222 33554432000 4194304 5849940 140721233619712 140721233618872 5335712 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 41054208 140721233622198 140721233622276 140721233622276 140721233625034 0
/proc/21932/statm: 523405 25222 744 405 0 520349 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 2093620 KiB
Current children cumulated memory: 100888 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/188 21976
/proc/meminfo: memFree=18336564/32770624 swapFree=67108792/67108860
[pid=21932] ppid=21929 vsize=2093568 memory=100836 CPUtime=342.26 cores=0,2,4,6
/proc/21932/stat : 21932 (xcsp_picat) R 21929 21932 21309 0 -1 4202496 90812 0 0 0 34041 185 0 0 20 0 1 0 247248838 2143813632 25209 33554432000 4194304 5849940 140721233619712 140721233618712 5339105 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 41054208 140721233622198 140721233622276 140721233622276 140721233625034 0
/proc/21932/statm: 523392 25209 744 405 0 520336 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 2093568 KiB
Current children cumulated memory: 100836 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/188 21982
/proc/meminfo: memFree=18313156/32770624 swapFree=67108792/67108860
[pid=21932] ppid=21929 vsize=2111704 memory=118972 CPUtime=402.25 cores=0,2,4,6
/proc/21932/stat : 21932 (xcsp_picat) R 21929 21932 21309 0 -1 4202496 105022 0 0 0 40011 214 0 0 20 0 1 0 247248838 2162384896 29743 33554432000 4194304 5849940 140721233619712 140721233618584 5309842 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 41054208 140721233622198 140721233622276 140721233622276 140721233625034 0
/proc/21932/statm: 527926 29743 744 405 0 524870 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 2111704 KiB
Current children cumulated memory: 118972 KiB
[startup+462.3 s]
/proc/loadavg: 2.49 2.14 2.00 3/188 21983
/proc/meminfo: memFree=18280292/32770624 swapFree=67108792/67108860
[pid=21932] ppid=21929 vsize=2112480 memory=119556 CPUtime=462.25 cores=0,2,4,6
/proc/21932/stat : 21932 (xcsp_picat) R 21929 21932 21309 0 -1 4202496 119372 0 0 0 45978 247 0 0 20 0 1 0 247248838 2163179520 29889 33554432000 4194304 5849940 140721233619712 140721233618712 5438301 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 41054208 140721233622198 140721233622276 140721233622276 140721233625034 0
/proc/21932/statm: 528120 29889 744 405 0 525064 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 2112480 KiB
Current children cumulated memory: 119556 KiB
################
# More data... #
################
/proc/21932/statm: 535558 38243 744 405 0 532502 0
Current children cumulated CPU time: 1722.13 s
Current children cumulated vsize: 2142232 KiB
Current children cumulated memory: 152972 KiB
[startup+1782.3 s]
/proc/loadavg: 2.02 2.05 2.05 3/189 22110
/proc/meminfo: memFree=18337776/32770624 swapFree=67108792/67108860
[pid=21932] ppid=21929 vsize=2172452 memory=183348 CPUtime=1782.13 cores=0,2,4,6
/proc/21932/stat : 21932 (xcsp_picat) R 21929 21932 21309 0 -1 4202496 343010 0 0 0 177409 804 0 0 20 0 1 0 247248838 2224590848 45837 33554432000 4194304 5849940 140721233619712 140721233618712 5396116 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 41054208 140721233622198 140721233622276 140721233622276 140721233625034 0
/proc/21932/statm: 543113 45837 744 405 0 540057 0
Current children cumulated CPU time: 1782.13 s
Current children cumulated vsize: 2172452 KiB
Current children cumulated memory: 183348 KiB
[startup+1842.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/189 22111
/proc/meminfo: memFree=18277548/32770624 swapFree=67108792/67108860
[pid=21932] ppid=21929 vsize=2198404 memory=209064 CPUtime=1842.12 cores=0,2,4,6
/proc/21932/stat : 21932 (xcsp_picat) R 21929 21932 21309 0 -1 4202496 348157 0 0 0 183388 824 0 0 20 0 1 0 247248838 2251165696 52266 33554432000 4194304 5849940 140721233619712 140721233618712 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 41054208 140721233622198 140721233622276 140721233622276 140721233625034 0
/proc/21932/statm: 549601 52266 744 405 0 546545 0
Current children cumulated CPU time: 1842.12 s
Current children cumulated vsize: 2198404 KiB
Current children cumulated memory: 209064 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 22112
/proc/meminfo: memFree=18312724/32770624 swapFree=67108792/67108860
[pid=21932] ppid=21929 vsize=2186796 memory=197704 CPUtime=1902.12 cores=0,2,4,6
/proc/21932/stat : 21932 (xcsp_picat) R 21929 21932 21309 0 -1 4202496 364854 0 0 0 189365 847 0 0 20 0 1 0 247248838 2239279104 49426 33554432000 4194304 5849940 140721233619712 140721233618712 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 41054208 140721233622198 140721233622276 140721233622276 140721233625034 0
/proc/21932/statm: 546699 49426 744 405 0 543643 0
Current children cumulated CPU time: 1902.12 s
Current children cumulated vsize: 2186796 KiB
Current children cumulated memory: 197704 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 22113
/proc/meminfo: memFree=18268428/32770624 swapFree=67108792/67108860
[pid=21932] ppid=21929 vsize=2191968 memory=202892 CPUtime=1962.11 cores=0,2,4,6
/proc/21932/stat : 21932 (xcsp_picat) R 21929 21932 21309 0 -1 4202496 370438 0 0 0 195343 868 0 0 20 0 1 0 247248838 2244575232 50723 33554432000 4194304 5849940 140721233619712 140721233618712 5437837 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 41054208 140721233622198 140721233622276 140721233622276 140721233625034 0
/proc/21932/statm: 547992 50723 744 405 0 544936 0
Current children cumulated CPU time: 1962.11 s
Current children cumulated vsize: 2191968 KiB
Current children cumulated memory: 202892 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 22114
/proc/meminfo: memFree=18196976/32770624 swapFree=67108792/67108860
[pid=21932] ppid=21929 vsize=2199452 memory=210376 CPUtime=2022.11 cores=0,2,4,6
/proc/21932/stat : 21932 (xcsp_picat) R 21929 21932 21309 0 -1 4202496 390584 0 0 0 201321 890 0 0 20 0 1 0 247248838 2252238848 52594 33554432000 4194304 5849940 140721233619712 140721233618872 5438404 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 41054208 140721233622198 140721233622276 140721233622276 140721233625034 0
/proc/21932/statm: 549863 52594 744 405 0 546807 0
Current children cumulated CPU time: 2022.11 s
Current children cumulated vsize: 2199452 KiB
Current children cumulated memory: 210376 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 22115
/proc/meminfo: memFree=18326260/32770624 swapFree=67108792/67108860
[pid=21932] ppid=21929 vsize=2159196 memory=169896 CPUtime=2082.1 cores=0,2,4,6
/proc/21932/stat : 21932 (xcsp_picat) R 21929 21932 21309 0 -1 4202496 396747 0 0 0 207300 910 0 0 20 0 1 0 247248838 2211016704 42474 33554432000 4194304 5849940 140721233619712 140721233618712 139752796905351 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 41054208 140721233622198 140721233622276 140721233622276 140721233625034 0
/proc/21932/statm: 539799 42474 744 405 0 536743 0
Current children cumulated CPU time: 2082.1 s
Current children cumulated vsize: 2159196 KiB
Current children cumulated memory: 169896 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22116
/proc/meminfo: memFree=18296464/32770624 swapFree=67108792/67108860
[pid=21932] ppid=21929 vsize=2157196 memory=167988 CPUtime=2142.09 cores=0,2,4,6
/proc/21932/stat : 21932 (xcsp_picat) R 21929 21932 21309 0 -1 4202496 413739 0 0 0 213277 932 0 0 20 0 1 0 247248838 2208968704 41997 33554432000 4194304 5849940 140721233619712 140721233618712 5335776 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 41054208 140721233622198 140721233622276 140721233622276 140721233625034 0
/proc/21932/statm: 539299 41997 744 405 0 536243 0
Current children cumulated CPU time: 2142.09 s
Current children cumulated vsize: 2157196 KiB
Current children cumulated memory: 167988 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 22125
/proc/meminfo: memFree=18213948/32770624 swapFree=67108792/67108860
[pid=21932] ppid=21929 vsize=2218416 memory=229340 CPUtime=2202.09 cores=0,2,4,6
/proc/21932/stat : 21932 (xcsp_picat) R 21929 21932 21309 0 -1 4202496 418806 0 0 0 219255 954 0 0 20 0 1 0 247248838 2271657984 57335 33554432000 4194304 5849940 140721233619712 140721233618712 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 41054208 140721233622198 140721233622276 140721233622276 140721233625034 0
/proc/21932/statm: 554604 57335 744 405 0 551548 0
Current children cumulated CPU time: 2202.09 s
Current children cumulated vsize: 2218416 KiB
Current children cumulated memory: 229340 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 22126
/proc/meminfo: memFree=18217212/32770624 swapFree=67108792/67108860
[pid=21932] ppid=21929 vsize=2192920 memory=203844 CPUtime=2262.09 cores=0,2,4,6
/proc/21932/stat : 21932 (xcsp_picat) R 21929 21932 21309 0 -1 4202496 431409 0 0 0 225235 974 0 0 20 0 1 0 247248838 2245550080 50961 33554432000 4194304 5849940 140721233619712 140721233618712 5340063 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 41054208 140721233622198 140721233622276 140721233622276 140721233625034 0
/proc/21932/statm: 548230 50961 744 405 0 545174 0
Current children cumulated CPU time: 2262.09 s
Current children cumulated vsize: 2192920 KiB
Current children cumulated memory: 203844 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 22127
/proc/meminfo: memFree=18215452/32770624 swapFree=67108792/67108860
[pid=21932] ppid=21929 vsize=2160156 memory=171080 CPUtime=2322.08 cores=0,2,4,6
/proc/21932/stat : 21932 (xcsp_picat) R 21929 21932 21309 0 -1 4202496 433933 0 0 0 231218 990 0 0 20 0 1 0 247248838 2211999744 42770 33554432000 4194304 5849940 140721233619712 140721233618712 5438036 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 41054208 140721233622198 140721233622276 140721233622276 140721233625034 0
/proc/21932/statm: 540039 42770 744 405 0 536983 0
Current children cumulated CPU time: 2322.08 s
Current children cumulated vsize: 2160156 KiB
Current children cumulated memory: 171080 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 22128
/proc/meminfo: memFree=18084772/32770624 swapFree=67108792/67108860
[pid=21932] ppid=21929 vsize=2186060 memory=196816 CPUtime=2382.08 cores=0,2,4,6
/proc/21932/stat : 21932 (xcsp_picat) R 21929 21932 21309 0 -1 4202496 446930 0 0 0 237196 1012 0 0 20 0 1 0 247248838 2238525440 49204 33554432000 4194304 5849940 140721233619712 140721233618872 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 41054208 140721233622198 140721233622276 140721233622276 140721233625034 0
/proc/21932/statm: 546515 49204 744 405 0 543459 0
Current children cumulated CPU time: 2382.08 s
Current children cumulated vsize: 2186060 KiB
Current children cumulated memory: 196816 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 22129
/proc/meminfo: memFree=18075684/32770624 swapFree=67108792/67108860
[pid=21932] ppid=21929 vsize=2192084 memory=202848 CPUtime=2442.08 cores=0,2,4,6
/proc/21932/stat : 21932 (xcsp_picat) R 21929 21932 21309 0 -1 4202496 450982 0 0 0 243173 1035 0 0 20 0 1 0 247248838 2244694016 50712 33554432000 4194304 5849940 140721233619712 140721233618712 5307802 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 41054208 140721233622198 140721233622276 140721233622276 140721233625034 0
/proc/21932/statm: 548021 50712 744 405 0 544965 0
Current children cumulated CPU time: 2442.08 s
Current children cumulated vsize: 2192084 KiB
Current children cumulated memory: 202848 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22130
/proc/meminfo: memFree=18183952/32770624 swapFree=67108792/67108860
[pid=21932] ppid=21929 vsize=2242316 memory=253000 CPUtime=2502.07 cores=0,2,4,6
/proc/21932/stat : 21932 (xcsp_picat) R 21929 21932 21309 0 -1 4202496 467003 0 0 0 249153 1054 0 0 20 0 1 0 247248838 2296131584 63250 33554432000 4194304 5849940 140721233619712 140721233618712 5335776 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 41054208 140721233622198 140721233622276 140721233622276 140721233625034 0
/proc/21932/statm: 560579 63250 744 405 0 557523 0
Current children cumulated CPU time: 2502.07 s
Current children cumulated vsize: 2242316 KiB
Current children cumulated memory: 253000 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 22131
/proc/meminfo: memFree=18183580/32770624 swapFree=67108792/67108860
[pid=21932] ppid=21929 vsize=2242316 memory=253240 CPUtime=2519.78 cores=0,2,4,6
/proc/21932/stat : 21932 (xcsp_picat) R 21929 21932 21309 0 -1 4202496 467035 0 0 0 250918 1060 0 0 20 0 1 0 247248838 2296131584 63310 33554432000 4194304 5849940 140721233619712 140721233618712 139752796905351 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 41054208 140721233622198 140721233622276 140721233622276 140721233625034 0
/proc/21932/statm: 560579 63310 744 405 0 557523 0
Current children cumulated CPU time: 2519.78 s
Current children cumulated vsize: 2242316 KiB
Current children cumulated memory: 253240 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 21932 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2509.18 s, system=10.6092 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.79
CPU user time (s): 2509.18
CPU system time (s): 10.6092
CPU usage (%): 99.9912
Max. virtual memory (cumulated for all children) (KiB): 2269976
Max. memory (cumulated for all children) (KiB): 280880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2509.18
system time used= 10.6092
maximum resident set size= 280880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 467035
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= 23
involuntary context switches= 3169
# summary of solver processes directly reported to runsolver:
# pid: 21932
# total CPU time (s): 2519.79
# total CPU user time (s): 2509.18
# total CPU system time (s): 10.6092
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.2957 second user time and 15.0518 second system time
The end