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 (3209 MiB free)
memory of node 1: 16384 MiB (3133 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303373-1534020952/watcher-4303373-1534020952 -o /tmp/evaluation-result-4303373-1534020952/solver-4303373-1534020952 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1533990783-10864 --watchdog 2580 xcsp_picat HOME/instance-4303373-1534020952.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=14696, runsolver pid=14693
[startup+0.100112 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 14697
/proc/meminfo: memFree=6473476/32770624 swapFree=67108404/67108860
[pid=14696] ppid=14693 vsize=2026040 memory=24920 CPUtime=0.1 cores=0,2,4,6
/proc/14696/stat : 14696 (xcsp_picat) R 14693 14696 10833 0 -1 4202496 1788 0 0 0 10 0 0 0 20 0 1 0 219658315 2074664960 6230 33554432000 4194304 5849708 140733535824832 140733535824136 139635065036679 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 21344256 140733535831222 140733535831300 140733535831300 140733535834058 0
/proc/14696/statm: 506510 6230 665 405 0 503455 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2026040 KiB
Current children cumulated memory: 24920 KiB
[startup+0.209701 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 14697
/proc/meminfo: memFree=6472732/32770624 swapFree=67108404/67108860
[pid=14696] ppid=14693 vsize=2026300 memory=25164 CPUtime=0.2 cores=0,2,4,6
/proc/14696/stat : 14696 (xcsp_picat) R 14693 14696 10833 0 -1 4202496 1869 0 0 0 20 0 0 0 20 0 1 0 219658315 2074931200 6291 33554432000 4194304 5849708 140733535824832 140733535824136 139635065036679 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 21344256 140733535831222 140733535831300 140733535831300 140733535834058 0
/proc/14696/statm: 506575 6291 665 405 0 503520 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2026300 KiB
Current children cumulated memory: 25164 KiB
[startup+0.309061 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 14697
/proc/meminfo: memFree=6472236/32770624 swapFree=67108404/67108860
[pid=14696] ppid=14693 vsize=2026720 memory=25460 CPUtime=0.31 cores=0,2,4,6
/proc/14696/stat : 14696 (xcsp_picat) R 14693 14696 10833 0 -1 4202496 1999 0 0 0 30 1 0 0 20 0 1 0 219658315 2075361280 6365 33554432000 4194304 5849708 140733535824832 140733535824136 139635065036679 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 21344256 140733535831222 140733535831300 140733535831300 140733535834058 0
/proc/14696/statm: 506680 6365 666 405 0 503625 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2026720 KiB
Current children cumulated memory: 25460 KiB
[startup+0.700225 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14697
/proc/meminfo: memFree=6471492/32770624 swapFree=67108404/67108860
[pid=14696] ppid=14693 vsize=2028000 memory=26744 CPUtime=0.69 cores=0,2,4,6
/proc/14696/stat : 14696 (xcsp_picat) R 14693 14696 10833 0 -1 4202496 2319 0 0 0 67 2 0 0 20 0 1 0 219658315 2076672000 6686 33554432000 4194304 5849708 140733535824832 140733535824072 139635065036679 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 21344256 140733535831222 140733535831300 140733535831300 140733535834058 0
/proc/14696/statm: 507000 6686 666 405 0 503945 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2028000 KiB
Current children cumulated memory: 26744 KiB
[startup+1.50023 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14697
/proc/meminfo: memFree=6469788/32770624 swapFree=67108404/67108860
[pid=14696] ppid=14693 vsize=2030048 memory=28808 CPUtime=1.49 cores=0,2,4,6
/proc/14696/stat : 14696 (xcsp_picat) R 14693 14696 10833 0 -1 4202496 2831 0 0 0 144 5 0 0 20 0 1 0 219658315 2078769152 7202 33554432000 4194304 5849708 140733535824832 140733535823928 139635065036679 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 21344256 140733535831222 140733535831300 140733535831300 140733535834058 0
/proc/14696/statm: 507512 7202 666 405 0 504457 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2030048 KiB
Current children cumulated memory: 28808 KiB
[startup+3.10948 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14697
/proc/meminfo: memFree=6461064/32770624 swapFree=67108404/67108860
[pid=14696] ppid=14693 vsize=2038620 memory=37656 CPUtime=3.1 cores=0,2,4,6
/proc/14696/stat : 14696 (xcsp_picat) R 14693 14696 10833 0 -1 4202496 6756 0 0 0 304 6 0 0 20 0 1 0 219658315 2087546880 9414 33554432000 4194304 5849708 140733535824832 140733535823704 5340942 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 21344256 140733535831222 140733535831300 140733535831300 140733535834058 0
/proc/14696/statm: 509655 9414 692 405 0 506600 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2038620 KiB
Current children cumulated memory: 37656 KiB
[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14697
/proc/meminfo: memFree=6454468/32770624 swapFree=67108404/67108860
[pid=14696] ppid=14693 vsize=2041348 memory=39756 CPUtime=6.29 cores=0,2,4,6
/proc/14696/stat : 14696 (xcsp_picat) R 14693 14696 10833 0 -1 4202496 9089 0 0 0 618 11 0 0 20 0 1 0 219658315 2090340352 9939 33554432000 4194304 5849708 140733535824832 140733535823832 5340963 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 21344256 140733535831222 140733535831300 140733535831300 140733535834058 0
/proc/14696/statm: 510337 9939 700 405 0 507282 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2041348 KiB
Current children cumulated memory: 39756 KiB
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14697
/proc/meminfo: memFree=6452224/32770624 swapFree=67108404/67108860
[pid=14696] ppid=14693 vsize=2044076 memory=43076 CPUtime=12.69 cores=0,2,4,6
/proc/14696/stat : 14696 (xcsp_picat) R 14693 14696 10833 0 -1 4202496 16488 0 0 0 1247 22 0 0 20 0 1 0 219658315 2093133824 10769 33554432000 4194304 5849708 140733535824832 140733535823320 5437714 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 21344256 140733535831222 140733535831300 140733535831300 140733535834058 0
/proc/14696/statm: 511019 10769 700 405 0 507964 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2044076 KiB
Current children cumulated memory: 43076 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14697
/proc/meminfo: memFree=6430868/32770624 swapFree=67108404/67108860
[pid=14696] ppid=14693 vsize=2053268 memory=52080 CPUtime=25.49 cores=0,2,4,6
/proc/14696/stat : 14696 (xcsp_picat) R 14693 14696 10833 0 -1 4202496 30672 0 0 0 2506 43 0 0 20 0 1 0 219658315 2102546432 13020 33554432000 4194304 5849708 140733535824832 140733535823832 5361808 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 21344256 140733535831222 140733535831300 140733535831300 140733535834058 0
/proc/14696/statm: 513317 13020 700 405 0 510262 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2053268 KiB
Current children cumulated memory: 52080 KiB
[startup+51.1095 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14697
/proc/meminfo: memFree=6425904/32770624 swapFree=67108404/67108860
[pid=14696] ppid=14693 vsize=2064320 memory=63288 CPUtime=51.1 cores=0,2,4,6
/proc/14696/stat : 14696 (xcsp_picat) R 14693 14696 10833 0 -1 4202496 49155 0 0 0 5037 73 0 0 20 0 1 0 219658315 2113863680 15822 33554432000 4194304 5849708 140733535824832 140733535823992 5335568 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 21344256 140733535831222 140733535831300 140733535831300 140733535834058 0
/proc/14696/statm: 516080 15822 700 405 0 513025 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2064320 KiB
Current children cumulated memory: 63288 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14698
/proc/meminfo: memFree=6373764/32770624 swapFree=67108404/67108860
[pid=14696] ppid=14693 vsize=2112672 memory=111496 CPUtime=102.29 cores=0,2,4,6
/proc/14696/stat : 14696 (xcsp_picat) R 14693 14696 10833 0 -1 4202496 73059 0 0 0 10120 109 0 0 20 0 1 0 219658315 2163376128 27874 33554432000 4194304 5849708 140733535824832 140733535823832 5335528 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 21344256 140733535831222 140733535831300 140733535831300 140733535834058 0
/proc/14696/statm: 528168 27874 700 405 0 525113 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2112672 KiB
Current children cumulated memory: 111496 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14700
/proc/meminfo: memFree=6298464/32770624 swapFree=67108404/67108860
[pid=14696] ppid=14693 vsize=2187612 memory=186364 CPUtime=162.27 cores=0,2,4,6
/proc/14696/stat : 14696 (xcsp_picat) R 14693 14696 10833 0 -1 4202496 94468 0 0 0 16083 144 0 0 20 0 1 0 219658315 2240114688 46591 33554432000 4194304 5849708 140733535824832 140733535823832 5437714 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 21344256 140733535831222 140733535831300 140733535831300 140733535834058 0
/proc/14696/statm: 546903 46591 700 405 0 543848 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 2187612 KiB
Current children cumulated memory: 186364 KiB
[startup+222.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 14701
/proc/meminfo: memFree=6372692/32770624 swapFree=67108404/67108860
[pid=14696] ppid=14693 vsize=2136524 memory=135540 CPUtime=222.27 cores=0,2,4,6
/proc/14696/stat : 14696 (xcsp_picat) R 14693 14696 10833 0 -1 4202496 120193 0 0 0 22058 169 0 0 20 0 1 0 219658315 2187800576 33885 33554432000 4194304 5849708 140733535824832 140733535823832 139635065036679 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 21344256 140733535831222 140733535831300 140733535831300 140733535834058 0
/proc/14696/statm: 534131 33885 700 405 0 531076 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 2136524 KiB
Current children cumulated memory: 135540 KiB
[startup+282.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 14709
/proc/meminfo: memFree=6266676/32770624 swapFree=67108404/67108860
[pid=14696] ppid=14693 vsize=2194176 memory=193192 CPUtime=282.27 cores=0,2,4,6
/proc/14696/stat : 14696 (xcsp_picat) R 14693 14696 10833 0 -1 4202496 128573 0 0 0 28031 196 0 0 20 0 1 0 219658315 2246836224 48298 33554432000 4194304 5849708 140733535824832 140733535823832 5438246 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 21344256 140733535831222 140733535831300 140733535831300 140733535834058 0
/proc/14696/statm: 548544 48298 700 405 0 545489 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 2194176 KiB
Current children cumulated memory: 193192 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 14793
/proc/meminfo: memFree=6470380/32770624 swapFree=67108404/67108860
[pid=14696] ppid=14693 vsize=2147484 memory=146500 CPUtime=342.26 cores=0,2,4,6
/proc/14696/stat : 14696 (xcsp_picat) R 14693 14696 10833 0 -1 4202496 153503 0 0 0 34001 225 0 0 20 0 1 0 219658315 2199023616 36625 33554432000 4194304 5849708 140733535824832 140733535823832 5437619 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 21344256 140733535831222 140733535831300 140733535831300 140733535834058 0
/proc/14696/statm: 536871 36625 700 405 0 533816 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 2147484 KiB
Current children cumulated memory: 146500 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14794
/proc/meminfo: memFree=6386744/32770624 swapFree=67108404/67108860
[pid=14696] ppid=14693 vsize=2213892 memory=212908 CPUtime=402.24 cores=0,2,4,6
/proc/14696/stat : 14696 (xcsp_picat) R 14693 14696 10833 0 -1 4202496 159086 0 0 0 39970 254 0 0 20 0 1 0 219658315 2267025408 53227 33554432000 4194304 5849708 140733535824832 140733535823992 5312614 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 21344256 140733535831222 140733535831300 140733535831300 140733535834058 0
/proc/14696/statm: 553473 53227 700 405 0 550418 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 2213892 KiB
Current children cumulated memory: 212908 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14795
/proc/meminfo: memFree=6318948/32770624 swapFree=67108404/67108860
[pid=14696] ppid=14693 vsize=2270208 memory=272984 CPUtime=462.23 cores=0,2,4,6
/proc/14696/stat : 14696 (xcsp_picat) R 14693 14696 10833 0 -1 4202496 176056 0 0 0 45949 274 0 0 20 0 1 0 219658315 2324692992 68246 33554432000 4194304 5849708 140733535824832 140733535823832 5438227 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 21344256 140733535831222 140733535831300 140733535831300 140733535834058 0
/proc/14696/statm: 567552 68246 700 405 0 564497 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 2270208 KiB
Current children cumulated memory: 272984 KiB
################
# More data... #
################
/proc/14696/statm: 666169 166863 700 405 0 663114 0
Current children cumulated CPU time: 1722.18 s
Current children cumulated vsize: 2664676 KiB
Current children cumulated memory: 667452 KiB
[startup+1782.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/187 15024
/proc/meminfo: memFree=5915416/32770624 swapFree=67108404/67108860
[pid=14696] ppid=14693 vsize=2533604 memory=536380 CPUtime=1782.18 cores=0,2,4,6
/proc/14696/stat : 14696 (xcsp_picat) R 14693 14696 10833 0 -1 4202496 881389 0 0 0 177535 683 0 0 20 0 1 0 219658315 2594410496 134095 33554432000 4194304 5849708 140733535824832 140733535823832 139635065036679 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 21344256 140733535831222 140733535831300 140733535831300 140733535834058 0
/proc/14696/statm: 633401 134095 700 405 0 630346 0
Current children cumulated CPU time: 1782.18 s
Current children cumulated vsize: 2533604 KiB
Current children cumulated memory: 536380 KiB
[startup+1842.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/187 15025
/proc/meminfo: memFree=5901788/32770624 swapFree=67108404/67108860
[pid=14696] ppid=14693 vsize=2533604 memory=536380 CPUtime=1842.18 cores=0,2,4,6
/proc/14696/stat : 14696 (xcsp_picat) R 14693 14696 10833 0 -1 4202496 927397 0 0 0 183521 697 0 0 20 0 1 0 219658315 2594410496 134095 33554432000 4194304 5849708 140733535824832 140733535823832 5437714 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 21344256 140733535831222 140733535831300 140733535831300 140733535834058 0
/proc/14696/statm: 633401 134095 700 405 0 630346 0
Current children cumulated CPU time: 1842.18 s
Current children cumulated vsize: 2533604 KiB
Current children cumulated memory: 536380 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 15026
/proc/meminfo: memFree=5830368/32770624 swapFree=67108404/67108860
[pid=14696] ppid=14693 vsize=2596836 memory=599612 CPUtime=1902.17 cores=0,2,4,6
/proc/14696/stat : 14696 (xcsp_picat) R 14693 14696 10833 0 -1 4202496 981360 0 0 0 189503 714 0 0 20 0 1 0 219658315 2659160064 149903 33554432000 4194304 5849708 140733535824832 140733535823832 139635065036679 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 21344256 140733535831222 140733535831300 140733535831300 140733535834058 0
/proc/14696/statm: 649209 149903 700 405 0 646154 0
Current children cumulated CPU time: 1902.17 s
Current children cumulated vsize: 2596836 KiB
Current children cumulated memory: 599612 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 15028
/proc/meminfo: memFree=5824104/32770624 swapFree=67108404/67108860
[pid=14696] ppid=14693 vsize=2596836 memory=599612 CPUtime=1962.17 cores=0,2,4,6
/proc/14696/stat : 14696 (xcsp_picat) R 14693 14696 10833 0 -1 4202496 1007603 0 0 0 195491 726 0 0 20 0 1 0 219658315 2659160064 149903 33554432000 4194304 5849708 140733535824832 140733535823832 5313175 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 21344256 140733535831222 140733535831300 140733535831300 140733535834058 0
/proc/14696/statm: 649209 149903 700 405 0 646154 0
Current children cumulated CPU time: 1962.17 s
Current children cumulated vsize: 2596836 KiB
Current children cumulated memory: 599612 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 15029
/proc/meminfo: memFree=5846204/32770624 swapFree=67108404/67108860
[pid=14696] ppid=14693 vsize=2596836 memory=599612 CPUtime=2022.17 cores=0,2,4,6
/proc/14696/stat : 14696 (xcsp_picat) R 14693 14696 10833 0 -1 4202496 1055043 0 0 0 201476 741 0 0 20 0 1 0 219658315 2659160064 149903 33554432000 4194304 5849708 140733535824832 140733535823832 5437855 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 21344256 140733535831222 140733535831300 140733535831300 140733535834058 0
/proc/14696/statm: 649209 149903 700 405 0 646154 0
Current children cumulated CPU time: 2022.17 s
Current children cumulated vsize: 2596836 KiB
Current children cumulated memory: 599612 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 15038
/proc/meminfo: memFree=5780680/32770624 swapFree=67108404/67108860
[pid=14696] ppid=14693 vsize=2596836 memory=599612 CPUtime=2082.17 cores=0,2,4,6
/proc/14696/stat : 14696 (xcsp_picat) R 14693 14696 10833 0 -1 4202496 1106351 0 0 0 207459 758 0 0 20 0 1 0 219658315 2659160064 149903 33554432000 4194304 5849708 140733535824832 140733535823832 139635065036679 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 21344256 140733535831222 140733535831300 140733535831300 140733535834058 0
/proc/14696/statm: 649209 149903 700 405 0 646154 0
Current children cumulated CPU time: 2082.17 s
Current children cumulated vsize: 2596836 KiB
Current children cumulated memory: 599612 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 15039
/proc/meminfo: memFree=5781044/32770624 swapFree=67108404/67108860
[pid=14696] ppid=14693 vsize=2596836 memory=599612 CPUtime=2142.16 cores=0,2,4,6
/proc/14696/stat : 14696 (xcsp_picat) R 14693 14696 10833 0 -1 4202496 1155075 0 0 0 213443 773 0 0 20 0 1 0 219658315 2659160064 149903 33554432000 4194304 5849708 140733535824832 140733535823832 5437714 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 21344256 140733535831222 140733535831300 140733535831300 140733535834058 0
/proc/14696/statm: 649209 149903 700 405 0 646154 0
Current children cumulated CPU time: 2142.16 s
Current children cumulated vsize: 2596836 KiB
Current children cumulated memory: 599612 KiB
[startup+2202.3 s]
/proc/loadavg: 2.04 2.01 2.05 3/188 15040
/proc/meminfo: memFree=5643688/32770624 swapFree=67108404/67108860
[pid=14696] ppid=14693 vsize=2677592 memory=680368 CPUtime=2202.16 cores=0,2,4,6
/proc/14696/stat : 14696 (xcsp_picat) R 14693 14696 10833 0 -1 4202496 1201928 0 0 0 219422 794 0 0 20 0 1 0 219658315 2741854208 170092 33554432000 4194304 5849708 140733535824832 140733535823832 5438232 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 21344256 140733535831222 140733535831300 140733535831300 140733535834058 0
/proc/14696/statm: 669398 170092 700 405 0 666343 0
Current children cumulated CPU time: 2202.16 s
Current children cumulated vsize: 2677592 KiB
Current children cumulated memory: 680368 KiB
[startup+2262.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/188 15041
/proc/meminfo: memFree=5695596/32770624 swapFree=67108404/67108860
[pid=14696] ppid=14693 vsize=2677592 memory=680368 CPUtime=2262.17 cores=0,2,4,6
/proc/14696/stat : 14696 (xcsp_picat) R 14693 14696 10833 0 -1 4202496 1252634 0 0 0 225409 808 0 0 20 0 1 0 219658315 2741854208 170092 33554432000 4194304 5849708 140733535824832 140733535823832 5437576 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 21344256 140733535831222 140733535831300 140733535831300 140733535834058 0
/proc/14696/statm: 669398 170092 700 405 0 666343 0
Current children cumulated CPU time: 2262.17 s
Current children cumulated vsize: 2677592 KiB
Current children cumulated memory: 680368 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 15042
/proc/meminfo: memFree=5550860/32770624 swapFree=67108404/67108860
[pid=14696] ppid=14693 vsize=2808664 memory=811440 CPUtime=2322.16 cores=0,2,4,6
/proc/14696/stat : 14696 (xcsp_picat) R 14693 14696 10833 0 -1 4202496 1288718 0 0 0 231396 820 0 0 20 0 1 0 219658315 2876071936 202860 33554432000 4194304 5849708 140733535824832 140733535823832 139635065036679 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 21344256 140733535831222 140733535831300 140733535831300 140733535834058 0
/proc/14696/statm: 702166 202860 700 405 0 699111 0
Current children cumulated CPU time: 2322.16 s
Current children cumulated vsize: 2808664 KiB
Current children cumulated memory: 811440 KiB
[startup+2382.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 15043
/proc/meminfo: memFree=5550512/32770624 swapFree=67108404/67108860
[pid=14696] ppid=14693 vsize=2808664 memory=811440 CPUtime=2382.16 cores=0,2,4,6
/proc/14696/stat : 14696 (xcsp_picat) R 14693 14696 10833 0 -1 4202496 1338662 0 0 0 237384 832 0 0 20 0 1 0 219658315 2876071936 202860 33554432000 4194304 5849708 140733535824832 140733535823704 5392479 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 21344256 140733535831222 140733535831300 140733535831300 140733535834058 0
/proc/14696/statm: 702166 202860 700 405 0 699111 0
Current children cumulated CPU time: 2382.16 s
Current children cumulated vsize: 2808664 KiB
Current children cumulated memory: 811440 KiB
[startup+2442.3 s]
/proc/loadavg: 2.09 2.04 2.05 3/187 15044
/proc/meminfo: memFree=5421580/32770624 swapFree=67108404/67108860
[pid=14696] ppid=14693 vsize=2927180 memory=929956 CPUtime=2442.16 cores=0,2,4,6
/proc/14696/stat : 14696 (xcsp_picat) R 14693 14696 10833 0 -1 4202496 1398568 0 0 0 243371 845 0 0 20 0 1 0 219658315 2997432320 232489 33554432000 4194304 5849708 140733535824832 140733535823832 139635065036679 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 21344256 140733535831222 140733535831300 140733535831300 140733535834058 0
/proc/14696/statm: 731795 232489 700 405 0 728740 0
Current children cumulated CPU time: 2442.16 s
Current children cumulated vsize: 2927180 KiB
Current children cumulated memory: 929956 KiB
[startup+2502.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/187 15045
/proc/meminfo: memFree=5349392/32770624 swapFree=67108404/67108860
[pid=14696] ppid=14693 vsize=2927180 memory=929956 CPUtime=2502.16 cores=0,2,4,6
/proc/14696/stat : 14696 (xcsp_picat) R 14693 14696 10833 0 -1 4202496 1468389 0 0 0 249358 858 0 0 20 0 1 0 219658315 2997432320 232489 33554432000 4194304 5849708 140733535824832 140733535823704 5437714 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 21344256 140733535831222 140733535831300 140733535831300 140733535834058 0
/proc/14696/statm: 731795 232489 700 405 0 728740 0
Current children cumulated CPU time: 2502.16 s
Current children cumulated vsize: 2927180 KiB
Current children cumulated memory: 929956 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.03 2.03 2.05 3/187 15045
/proc/meminfo: memFree=5348060/32770624 swapFree=67108404/67108860
[pid=14696] ppid=14693 vsize=2927180 memory=929956 CPUtime=2519.87 cores=0,2,4,6
/proc/14696/stat : 14696 (xcsp_picat) R 14693 14696 10833 0 -1 4202496 1498436 0 0 0 251125 862 0 0 20 0 1 0 219658315 2997432320 232489 33554432000 4194304 5849708 140733535824832 140733535823832 5335549 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 21344256 140733535831222 140733535831300 140733535831300 140733535834058 0
/proc/14696/statm: 731795 232489 700 405 0 728740 0
Current children cumulated CPU time: 2519.87 s
Current children cumulated vsize: 2927180 KiB
Current children cumulated memory: 929956 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.04 s]
# the end of solver process 14696 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2511.25 s, system=8.64764 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.04
CPU time (s): 2519.9
CPU user time (s): 2511.25
CPU system time (s): 8.64764
CPU usage (%): 99.9946
Max. virtual memory (cumulated for all children) (KiB): 2927180
Max. memory (cumulated for all children) (KiB): 929956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2511.25
system time used= 8.64764
maximum resident set size= 929956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1498436
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= 43
involuntary context switches= 4050
# summary of solver processes directly reported to runsolver:
# pid: 14696
# total CPU time (s): 2519.9
# total CPU user time (s): 2511.25
# total CPU system time (s): 8.64764
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.3959 second user time and 16.3615 second system time
The end