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 (9572 MiB free)
memory of node 1: 16384 MiB (10533 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309570-1534306178/watcher-4309570-1534306178 -o /tmp/evaluation-result-4309570-1534306178/solver-4309570-1534306178 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1534293639-21937 --watchdog 2580 xcsp_picat HOME/instance-4309570-1534306178.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
solver pid=23325, runsolver pid=23322
Current StackSize limit: 8192 KiB
[startup+0.100442 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 23326
/proc/meminfo: memFree=20557452/32770624 swapFree=67108172/67108860
[pid=23325] ppid=23322 vsize=2025744 memory=35680 CPUtime=0.1 cores=1,3,5,7
/proc/23325/stat : 23325 (xcsp_picat) R 23322 23325 21905 0 -1 4202496 1948 0 0 0 10 0 0 0 20 0 1 0 248180939 2074361856 8920 33554432000 4194304 5849940 140733434423104 140733434422472 4490935 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 36601856 140733434426550 140733434426628 140733434426628 140733434429386 0
/proc/23325/statm: 506436 8920 621 405 0 503380 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 35680 KiB
[startup+0.209777 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 23326
/proc/meminfo: memFree=20548736/32770624 swapFree=67108172/67108860
[pid=23325] ppid=23322 vsize=2028620 memory=42840 CPUtime=0.2 cores=1,3,5,7
/proc/23325/stat : 23325 (xcsp_picat) R 23322 23325 21905 0 -1 4202496 2780 0 0 0 18 2 0 0 20 0 1 0 248180939 2077306880 10710 33554432000 4194304 5849940 140733434423104 140733434422472 140576775815047 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 36601856 140733434426550 140733434426628 140733434426628 140733434429386 0
/proc/23325/statm: 507155 10710 678 405 0 504099 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2028620 KiB
Current children cumulated memory: 42840 KiB
[startup+0.30953 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 23326
/proc/meminfo: memFree=20546132/32770624 swapFree=67108172/67108860
[pid=23325] ppid=23322 vsize=2033232 memory=47508 CPUtime=0.31 cores=1,3,5,7
/proc/23325/stat : 23325 (xcsp_picat) R 23322 23325 21905 0 -1 4202496 3934 0 0 0 26 5 0 0 20 0 1 0 248180939 2082029568 11877 33554432000 4194304 5849940 140733434423104 140733434422472 5300300 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 36601856 140733434426550 140733434426628 140733434426628 140733434429386 0
/proc/23325/statm: 508308 11877 679 405 0 505252 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2033232 KiB
Current children cumulated memory: 47508 KiB
[startup+0.700363 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23326
/proc/meminfo: memFree=20541544/32770624 swapFree=67108172/67108860
[pid=23325] ppid=23322 vsize=2035500 memory=49740 CPUtime=0.69 cores=1,3,5,7
/proc/23325/stat : 23325 (xcsp_picat) R 23322 23325 21905 0 -1 4202496 6025 0 0 0 64 5 0 0 20 0 1 0 248180939 2084352000 12435 33554432000 4194304 5849940 140733434423104 140733434422472 5400392 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 36601856 140733434426550 140733434426628 140733434426628 140733434429386 0
/proc/23325/statm: 508875 12435 694 405 0 505819 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2035500 KiB
Current children cumulated memory: 49740 KiB
[startup+1.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23326
/proc/meminfo: memFree=20536520/32770624 swapFree=67108172/67108860
[pid=23325] ppid=23322 vsize=2041288 memory=55740 CPUtime=1.48 cores=1,3,5,7
/proc/23325/stat : 23325 (xcsp_picat) R 23322 23325 21905 0 -1 4202496 9061 0 0 0 143 5 0 0 20 0 1 0 248180939 2090278912 13935 33554432000 4194304 5849940 140733434423104 140733434421864 4234922 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 36601856 140733434426550 140733434426628 140733434426628 140733434429386 0
/proc/23325/statm: 510322 13935 704 405 0 507266 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2041288 KiB
Current children cumulated memory: 55740 KiB
[startup+3.10923 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23326
/proc/meminfo: memFree=20535280/32770624 swapFree=67108172/67108860
[pid=23325] ppid=23322 vsize=2041844 memory=56312 CPUtime=3.09 cores=1,3,5,7
/proc/23325/stat : 23325 (xcsp_picat) R 23322 23325 21905 0 -1 4202496 11294 0 0 0 304 5 0 0 20 0 1 0 248180939 2090848256 14078 33554432000 4194304 5849940 140733434423104 140733434420648 4211800 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 36601856 140733434426550 140733434426628 140733434426628 140733434429386 0
/proc/23325/statm: 510461 14078 708 405 0 507405 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2041844 KiB
Current children cumulated memory: 56312 KiB
[startup+6.30028 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23326
/proc/meminfo: memFree=20534992/32770624 swapFree=67108172/67108860
[pid=23325] ppid=23322 vsize=2041804 memory=56288 CPUtime=6.28 cores=1,3,5,7
/proc/23325/stat : 23325 (xcsp_picat) R 23322 23325 21905 0 -1 4202496 13559 0 0 0 621 7 0 0 20 0 1 0 248180939 2090807296 14072 33554432000 4194304 5849940 140733434423104 140733434421592 5309811 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 36601856 140733434426550 140733434426628 140733434426628 140733434429386 0
/proc/23325/statm: 510451 14072 712 405 0 507395 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2041804 KiB
Current children cumulated memory: 56288 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23326
/proc/meminfo: memFree=20534156/32770624 swapFree=67108172/67108860
[pid=23325] ppid=23322 vsize=2043132 memory=57616 CPUtime=12.68 cores=1,3,5,7
/proc/23325/stat : 23325 (xcsp_picat) R 23322 23325 21905 0 -1 4202496 17744 0 0 0 1254 14 0 0 20 0 1 0 248180939 2092167168 14404 33554432000 4194304 5849940 140733434423104 140733434420648 140576775815047 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 36601856 140733434426550 140733434426628 140733434426628 140733434429386 0
/proc/23325/statm: 510783 14404 712 405 0 507727 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2043132 KiB
Current children cumulated memory: 57616 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23334
/proc/meminfo: memFree=20530944/32770624 swapFree=67108172/67108860
[pid=23325] ppid=23322 vsize=2045768 memory=60060 CPUtime=25.48 cores=1,3,5,7
/proc/23325/stat : 23325 (xcsp_picat) R 23322 23325 21905 0 -1 4202496 25900 0 0 0 2521 27 0 0 20 0 1 0 248180939 2094866432 15015 33554432000 4194304 5849940 140733434423104 140733434422104 140576775815047 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 36601856 140733434426550 140733434426628 140733434426628 140733434429386 0
/proc/23325/statm: 511442 15015 712 405 0 508386 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2045768 KiB
Current children cumulated memory: 60060 KiB
[startup+51.1096 s]
/proc/loadavg: 1.94 2.00 2.04 3/188 23334
/proc/meminfo: memFree=20458520/32770624 swapFree=67108172/67108860
[pid=23325] ppid=23322 vsize=2051808 memory=66076 CPUtime=51.09 cores=1,3,5,7
/proc/23325/stat : 23325 (xcsp_picat) R 23322 23325 21905 0 -1 4202496 32880 0 0 0 5061 48 0 0 20 0 1 0 248180939 2101051392 16519 33554432000 4194304 5849940 140733434423104 140733434422104 140576775815047 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 36601856 140733434426550 140733434426628 140733434426628 140733434429386 0
/proc/23325/statm: 512952 16519 712 405 0 509896 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2051808 KiB
Current children cumulated memory: 66076 KiB
[startup+102.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/188 23335
/proc/meminfo: memFree=20510108/32770624 swapFree=67108172/67108860
[pid=23325] ppid=23322 vsize=2065400 memory=79884 CPUtime=102.28 cores=1,3,5,7
/proc/23325/stat : 23325 (xcsp_picat) R 23322 23325 21905 0 -1 4202496 54176 0 0 0 10137 91 0 0 20 0 1 0 248180939 2114969600 19971 33554432000 4194304 5849940 140733434423104 140733434422104 5335776 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 36601856 140733434426550 140733434426628 140733434426628 140733434429386 0
/proc/23325/statm: 516350 19971 712 405 0 513294 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2065400 KiB
Current children cumulated memory: 79884 KiB
[startup+162.3 s]
/proc/loadavg: 2.06 2.01 2.05 3/188 23336
/proc/meminfo: memFree=20510868/32770624 swapFree=67108172/67108860
[pid=23325] ppid=23322 vsize=2064544 memory=79028 CPUtime=162.28 cores=1,3,5,7
/proc/23325/stat : 23325 (xcsp_picat) R 23322 23325 21905 0 -1 4202496 88189 0 0 0 16090 138 0 0 20 0 1 0 248180939 2114093056 19757 33554432000 4194304 5849940 140733434423104 140733434422104 5362105 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 36601856 140733434426550 140733434426628 140733434426628 140733434429386 0
/proc/23325/statm: 516136 19757 712 405 0 513080 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2064544 KiB
Current children cumulated memory: 79028 KiB
[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/188 23337
/proc/meminfo: memFree=20505420/32770624 swapFree=67108172/67108860
[pid=23325] ppid=23322 vsize=2068908 memory=83392 CPUtime=222.28 cores=1,3,5,7
/proc/23325/stat : 23325 (xcsp_picat) R 23322 23325 21905 0 -1 4202496 113541 0 0 0 22045 183 0 0 20 0 1 0 248180939 2118561792 20848 33554432000 4194304 5849940 140733434423104 140733434422104 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 36601856 140733434426550 140733434426628 140733434426628 140733434429386 0
/proc/23325/statm: 517227 20848 712 405 0 514171 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2068908 KiB
Current children cumulated memory: 83392 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/188 23338
/proc/meminfo: memFree=20491144/32770624 swapFree=67108172/67108860
[pid=23325] ppid=23322 vsize=2076608 memory=91092 CPUtime=282.28 cores=1,3,5,7
/proc/23325/stat : 23325 (xcsp_picat) R 23322 23325 21905 0 -1 4202496 137955 0 0 0 27999 229 0 0 20 0 1 0 248180939 2126446592 22773 33554432000 4194304 5849940 140733434423104 140733434421976 140576775815047 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 36601856 140733434426550 140733434426628 140733434426628 140733434429386 0
/proc/23325/statm: 519152 22773 712 405 0 516096 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2076608 KiB
Current children cumulated memory: 91092 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23339
/proc/meminfo: memFree=20472716/32770624 swapFree=67108172/67108860
[pid=23325] ppid=23322 vsize=2101148 memory=115588 CPUtime=342.28 cores=1,3,5,7
/proc/23325/stat : 23325 (xcsp_picat) R 23322 23325 21905 0 -1 4202496 175635 0 0 0 33952 276 0 0 20 0 1 0 248180939 2151575552 28897 33554432000 4194304 5849940 140733434423104 140733434422104 140576775815047 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 36601856 140733434426550 140733434426628 140733434426628 140733434429386 0
/proc/23325/statm: 525287 28897 712 405 0 522231 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 2101148 KiB
Current children cumulated memory: 115588 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23340
/proc/meminfo: memFree=20484792/32770624 swapFree=67108172/67108860
[pid=23325] ppid=23322 vsize=2082544 memory=97028 CPUtime=402.28 cores=1,3,5,7
/proc/23325/stat : 23325 (xcsp_picat) R 23322 23325 21905 0 -1 4202496 204764 0 0 0 39910 318 0 0 20 0 1 0 248180939 2132525056 24257 33554432000 4194304 5849940 140733434423104 140733434422104 140576775815047 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 36601856 140733434426550 140733434426628 140733434426628 140733434429386 0
/proc/23325/statm: 520636 24257 712 405 0 517580 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 2082544 KiB
Current children cumulated memory: 97028 KiB
[startup+462.3 s]
/proc/loadavg: 2.08 2.03 2.05 5/200 23431
/proc/meminfo: memFree=24568028/32770624 swapFree=67108172/67108860
[pid=23325] ppid=23322 vsize=2076720 memory=91332 CPUtime=462.28 cores=1,3,5,7
/proc/23325/stat : 23325 (xcsp_picat) R 23322 23325 21905 0 -1 4202496 231490 0 0 0 45868 360 0 0 20 0 1 0 248180939 2126561280 22833 33554432000 4194304 5849940 140733434423104 140733434422104 140576775815047 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 36601856 140733434426550 140733434426628 140733434426628 140733434429386 0
/proc/23325/statm: 519180 22833 712 405 0 516124 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 2076720 KiB
Current children cumulated memory: 91332 KiB
################
# More data... #
################
/proc/23325/statm: 543159 47423 712 405 0 540103 0
Current children cumulated CPU time: 1722.27 s
Current children cumulated vsize: 2172636 KiB
Current children cumulated memory: 189692 KiB
[startup+1782.3 s]
/proc/loadavg: 2.50 2.15 2.08 3/187 23869
/proc/meminfo: memFree=24353748/32770624 swapFree=67108172/67108860
[pid=23325] ppid=23322 vsize=2148624 memory=165536 CPUtime=1782.27 cores=1,3,5,7
/proc/23325/stat : 23325 (xcsp_picat) R 23322 23325 21905 0 -1 4202496 620427 0 0 0 177031 1196 0 0 20 0 1 0 248180939 2200190976 41384 33554432000 4194304 5849940 140733434423104 140733434422104 140576775815047 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 36601856 140733434426550 140733434426628 140733434426628 140733434429386 0
/proc/23325/statm: 537156 41384 712 405 0 534100 0
Current children cumulated CPU time: 1782.27 s
Current children cumulated vsize: 2148624 KiB
Current children cumulated memory: 165536 KiB
[startup+1842.3 s]
/proc/loadavg: 2.28 2.16 2.10 3/188 23878
/proc/meminfo: memFree=24340688/32770624 swapFree=67108172/67108860
[pid=23325] ppid=23322 vsize=2169156 memory=186212 CPUtime=1842.27 cores=1,3,5,7
/proc/23325/stat : 23325 (xcsp_picat) R 23322 23325 21905 0 -1 4202496 634744 0 0 0 183002 1225 0 0 20 0 1 0 248180939 2221215744 46553 33554432000 4194304 5849940 140733434423104 140733434422104 140576775815047 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 36601856 140733434426550 140733434426628 140733434426628 140733434429386 0
/proc/23325/statm: 542289 46553 712 405 0 539233 0
Current children cumulated CPU time: 1842.27 s
Current children cumulated vsize: 2169156 KiB
Current children cumulated memory: 186212 KiB
[startup+1902.3 s]
/proc/loadavg: 2.10 2.13 2.09 3/188 23879
/proc/meminfo: memFree=24264996/32770624 swapFree=67108172/67108860
[pid=23325] ppid=23322 vsize=2207312 memory=220788 CPUtime=1902.27 cores=1,3,5,7
/proc/23325/stat : 23325 (xcsp_picat) R 23322 23325 21905 0 -1 4202496 651423 0 0 0 188965 1262 0 0 20 0 1 0 248180939 2260287488 54685 33554432000 4194304 5849940 140733434423104 140733434422104 140576775403424 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 36601856 140733434426550 140733434426628 140733434426628 140733434429386 0
/proc/23325/statm: 551828 55197 712 405 0 548772 0
Current children cumulated CPU time: 1902.27 s
Current children cumulated vsize: 2207312 KiB
Current children cumulated memory: 220788 KiB
[startup+1962.3 s]
/proc/loadavg: 2.04 2.11 2.08 3/188 23880
/proc/meminfo: memFree=24324192/32770624 swapFree=67108172/67108860
[pid=23325] ppid=23322 vsize=2157036 memory=173944 CPUtime=1962.28 cores=1,3,5,7
/proc/23325/stat : 23325 (xcsp_picat) R 23322 23325 21905 0 -1 4202496 673340 0 0 0 194927 1301 0 0 20 0 1 0 248180939 2208804864 43486 33554432000 4194304 5849940 140733434423104 140733434421976 140576775815047 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 36601856 140733434426550 140733434426628 140733434426628 140733434429386 0
/proc/23325/statm: 539259 43486 712 405 0 536203 0
Current children cumulated CPU time: 1962.28 s
Current children cumulated vsize: 2157036 KiB
Current children cumulated memory: 173944 KiB
[startup+2022.3 s]
/proc/loadavg: 2.01 2.09 2.08 3/188 23881
/proc/meminfo: memFree=24221808/32770624 swapFree=67108172/67108860
[pid=23325] ppid=23322 vsize=2234976 memory=251972 CPUtime=2022.27 cores=1,3,5,7
/proc/23325/stat : 23325 (xcsp_picat) R 23322 23325 21905 0 -1 4202496 692740 0 0 0 200888 1339 0 0 20 0 1 0 248180939 2288615424 62993 33554432000 4194304 5849940 140733434423104 140733434422104 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 36601856 140733434426550 140733434426628 140733434426628 140733434429386 0
/proc/23325/statm: 558744 62993 712 405 0 555688 0
Current children cumulated CPU time: 2022.27 s
Current children cumulated vsize: 2234976 KiB
Current children cumulated memory: 251972 KiB
[startup+2082.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/188 23882
/proc/meminfo: memFree=24251736/32770624 swapFree=67108172/67108860
[pid=23325] ppid=23322 vsize=2169660 memory=186716 CPUtime=2082.28 cores=1,3,5,7
/proc/23325/stat : 23325 (xcsp_picat) R 23322 23325 21905 0 -1 4202496 721278 0 0 0 206849 1379 0 0 20 0 1 0 248180939 2221731840 46679 33554432000 4194304 5849940 140733434423104 140733434422104 5438317 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 36601856 140733434426550 140733434426628 140733434426628 140733434429386 0
/proc/23325/statm: 542415 46679 712 405 0 539359 0
Current children cumulated CPU time: 2082.28 s
Current children cumulated vsize: 2169660 KiB
Current children cumulated memory: 186716 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.06 2.07 3/187 23883
/proc/meminfo: memFree=24239896/32770624 swapFree=67108172/67108860
[pid=23325] ppid=23322 vsize=2197852 memory=214820 CPUtime=2142.28 cores=1,3,5,7
/proc/23325/stat : 23325 (xcsp_picat) R 23322 23325 21905 0 -1 4202496 738403 0 0 0 212812 1416 0 0 20 0 1 0 248180939 2250600448 53705 33554432000 4194304 5849940 140733434423104 140733434422104 5438047 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 36601856 140733434426550 140733434426628 140733434426628 140733434429386 0
/proc/23325/statm: 549463 53705 712 405 0 546407 0
Current children cumulated CPU time: 2142.28 s
Current children cumulated vsize: 2197852 KiB
Current children cumulated memory: 214820 KiB
[startup+2202.3 s]
/proc/loadavg: 2.25 2.11 2.08 3/187 23884
/proc/meminfo: memFree=24273508/32770624 swapFree=67108172/67108860
[pid=23325] ppid=23322 vsize=2174144 memory=191200 CPUtime=2202.27 cores=1,3,5,7
/proc/23325/stat : 23325 (xcsp_picat) R 23322 23325 21905 0 -1 4202496 748845 0 0 0 218782 1445 0 0 20 0 1 0 248180939 2226323456 47800 33554432000 4194304 5849940 140733434423104 140733434422264 140576775815047 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 36601856 140733434426550 140733434426628 140733434426628 140733434429386 0
/proc/23325/statm: 543536 47800 712 405 0 540480 0
Current children cumulated CPU time: 2202.27 s
Current children cumulated vsize: 2174144 KiB
Current children cumulated memory: 191200 KiB
[startup+2262.3 s]
/proc/loadavg: 2.09 2.09 2.08 3/187 23885
/proc/meminfo: memFree=24208908/32770624 swapFree=67108172/67108860
[pid=23325] ppid=23322 vsize=2179716 memory=196720 CPUtime=2262.28 cores=1,3,5,7
/proc/23325/stat : 23325 (xcsp_picat) R 23322 23325 21905 0 -1 4202496 756702 0 0 0 224753 1475 0 0 20 0 1 0 248180939 2232029184 49180 33554432000 4194304 5849940 140733434423104 140733434422264 5437921 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 36601856 140733434426550 140733434426628 140733434426628 140733434429386 0
/proc/23325/statm: 544929 49180 712 405 0 541873 0
Current children cumulated CPU time: 2262.28 s
Current children cumulated vsize: 2179716 KiB
Current children cumulated memory: 196720 KiB
[startup+2322.3 s]
/proc/loadavg: 2.03 2.07 2.07 3/187 23886
/proc/meminfo: memFree=24213632/32770624 swapFree=67108172/67108860
[pid=23325] ppid=23322 vsize=2174468 memory=191652 CPUtime=2322.28 cores=1,3,5,7
/proc/23325/stat : 23325 (xcsp_picat) R 23322 23325 21905 0 -1 4202496 763972 0 0 0 230721 1507 0 0 20 0 1 0 248180939 2226655232 47913 33554432000 4194304 5849940 140733434423104 140733434422104 5437949 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 36601856 140733434426550 140733434426628 140733434426628 140733434429386 0
/proc/23325/statm: 543617 47913 712 405 0 540561 0
Current children cumulated CPU time: 2322.28 s
Current children cumulated vsize: 2174468 KiB
Current children cumulated memory: 191652 KiB
[startup+2382.3 s]
/proc/loadavg: 2.01 2.06 2.06 3/187 23887
/proc/meminfo: memFree=24170312/32770624 swapFree=67108172/67108860
[pid=23325] ppid=23322 vsize=2218404 memory=235460 CPUtime=2382.28 cores=1,3,5,7
/proc/23325/stat : 23325 (xcsp_picat) R 23322 23325 21905 0 -1 4202496 770362 0 0 0 236690 1538 0 0 20 0 1 0 248180939 2271645696 58865 33554432000 4194304 5849940 140733434423104 140733434422104 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 36601856 140733434426550 140733434426628 140733434426628 140733434429386 0
/proc/23325/statm: 554601 58865 712 405 0 551545 0
Current children cumulated CPU time: 2382.28 s
Current children cumulated vsize: 2218404 KiB
Current children cumulated memory: 235460 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/188 23896
/proc/meminfo: memFree=24226400/32770624 swapFree=67108172/67108860
[pid=23325] ppid=23322 vsize=2125144 memory=142328 CPUtime=2442.28 cores=1,3,5,7
/proc/23325/stat : 23325 (xcsp_picat) R 23322 23325 21905 0 -1 4202496 776883 0 0 0 242660 1568 0 0 20 0 1 0 248180939 2176147456 35582 33554432000 4194304 5849940 140733434423104 140733434422104 5312979 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 36601856 140733434426550 140733434426628 140733434426628 140733434429386 0
/proc/23325/statm: 531286 35582 712 405 0 528230 0
Current children cumulated CPU time: 2442.28 s
Current children cumulated vsize: 2125144 KiB
Current children cumulated memory: 142328 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 23897
/proc/meminfo: memFree=24148060/32770624 swapFree=67108172/67108860
[pid=23325] ppid=23322 vsize=2204280 memory=221336 CPUtime=2502.28 cores=1,3,5,7
/proc/23325/stat : 23325 (xcsp_picat) R 23322 23325 21905 0 -1 4202496 783354 0 0 0 248628 1600 0 0 20 0 1 0 248180939 2257182720 55334 33554432000 4194304 5849940 140733434423104 140733434422104 140576775815047 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 36601856 140733434426550 140733434426628 140733434426628 140733434429386 0
/proc/23325/statm: 551070 55334 712 405 0 548014 0
Current children cumulated CPU time: 2502.28 s
Current children cumulated vsize: 2204280 KiB
Current children cumulated memory: 221336 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.04 2.05 3/188 23897
/proc/meminfo: memFree=24148136/32770624 swapFree=67108172/67108860
[pid=23325] ppid=23322 vsize=2204280 memory=221336 CPUtime=2520 cores=1,3,5,7
/proc/23325/stat : 23325 (xcsp_picat) R 23322 23325 21905 0 -1 4202496 783394 0 0 0 250391 1609 0 0 20 0 1 0 248180939 2257182720 55334 33554432000 4194304 5849940 140733434423104 140733434422104 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 36601856 140733434426550 140733434426628 140733434426628 140733434429386 0
/proc/23325/statm: 551070 55334 712 405 0 548014 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 2204280 KiB
Current children cumulated memory: 221336 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 23325 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2503.91 s, system=16.0941 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.01
CPU time (s): 2520.01
CPU user time (s): 2503.91
CPU system time (s): 16.0941
CPU usage (%): 99.9997
Max. virtual memory (cumulated for all children) (KiB): 2310776
Max. memory (cumulated for all children) (KiB): 327708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2503.91
system time used= 16.0941
maximum resident set size= 327708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 783394
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= 14
involuntary context switches= 1700
# summary of solver processes directly reported to runsolver:
# pid: 23325
# total CPU time (s): 2520.01
# total CPU user time (s): 2503.91
# total CPU system time (s): 16.0941
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5724 second user time and 14.7448 second system time
The end