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 (13246 MiB free)
memory of node 1: 16384 MiB (13907 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309571-1534306123/watcher-4309571-1534306123 -o /tmp/evaluation-result-4309571-1534306123/solver-4309571-1534306123 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1534292346-18984 --watchdog 2580 xcsp_picat HOME/instance-4309571-1534306123.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=20749, runsolver pid=20746
[startup+0.100125 s]*
/proc/loadavg: 1.88 2.00 2.03 3/187 20750
/proc/meminfo: memFree=27768272/32770624 swapFree=67030680/67108860
[pid=20749] ppid=20746 vsize=2025744 memory=39008 CPUtime=0.09 cores=1,3,5,7
/proc/20749/stat : 20749 (xcsp_picat) R 20746 20749 18952 0 -1 4202496 1777 0 0 0 9 0 0 0 20 0 1 0 248175474 2074361856 9752 33554432000 4194304 5849940 140732099037536 140732099036840 4454219 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 41340928 140732099044534 140732099044612 140732099044612 140732099047370 0
/proc/20749/statm: 506436 9752 609 405 0 503380 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 39008 KiB
[startup+0.209751 s]*
/proc/loadavg: 1.88 2.00 2.03 3/187 20750
/proc/meminfo: memFree=27753812/32770624 swapFree=67030680/67108860
[pid=20749] ppid=20746 vsize=2025744 memory=53796 CPUtime=0.21 cores=1,3,5,7
/proc/20749/stat : 20749 (xcsp_picat) R 20746 20749 18952 0 -1 4202496 1850 0 0 0 20 1 0 0 20 0 1 0 248175474 2074361856 13449 33554432000 4194304 5849940 140732099037536 140732099036840 4931088 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 41340928 140732099044534 140732099044612 140732099044612 140732099047370 0
/proc/20749/statm: 506436 13449 620 405 0 503380 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 53796 KiB
[startup+0.309608 s]*
/proc/loadavg: 1.88 2.00 2.03 3/187 20750
/proc/meminfo: memFree=27739228/32770624 swapFree=67030680/67108860
[pid=20749] ppid=20746 vsize=2025744 memory=70180 CPUtime=0.31 cores=1,3,5,7
/proc/20749/stat : 20749 (xcsp_picat) R 20746 20749 18952 0 -1 4202496 1890 0 0 0 30 1 0 0 20 0 1 0 248175474 2074361856 17545 33554432000 4194304 5849940 140732099037536 140732099036840 4491931 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 41340928 140732099044534 140732099044612 140732099044612 140732099047370 0
/proc/20749/statm: 506436 17545 620 405 0 503380 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 70180 KiB
[startup+0.700399 s]
/proc/loadavg: 1.88 2.00 2.03 3/187 20750
/proc/meminfo: memFree=27703048/32770624 swapFree=67030680/67108860
[pid=20749] ppid=20746 vsize=2025744 memory=142864 CPUtime=0.69 cores=1,3,5,7
/proc/20749/stat : 20749 (xcsp_picat) R 20746 20749 18952 0 -1 4202496 2167 0 0 0 67 2 0 0 20 0 1 0 248175474 2074361856 35716 33554432000 4194304 5849940 140732099037536 140732099036840 4492560 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 41340928 140732099044534 140732099044612 140732099044612 140732099047370 0
/proc/20749/statm: 506436 35716 621 405 0 503380 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 142864 KiB
[startup+1.50036 s]
/proc/loadavg: 1.88 2.00 2.03 3/187 20750
/proc/meminfo: memFree=27643488/32770624 swapFree=67030680/67108860
[pid=20749] ppid=20746 vsize=2062900 memory=180232 CPUtime=1.49 cores=1,3,5,7
/proc/20749/stat : 20749 (xcsp_picat) R 20746 20749 18952 0 -1 4202496 9032 0 0 0 130 19 0 0 20 0 1 0 248175474 2112409600 45058 33554432000 4194304 5849940 140732099037536 140732099036520 4828849 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 41340928 140732099044534 140732099044612 140732099044612 140732099047370 0
/proc/20749/statm: 515725 45058 679 405 0 512669 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2062900 KiB
Current children cumulated memory: 180232 KiB
[startup+3.10965 s]
/proc/loadavg: 1.81 1.98 2.03 3/187 20750
/proc/meminfo: memFree=27607364/32770624 swapFree=67030680/67108860
[pid=20749] ppid=20746 vsize=2085440 memory=201952 CPUtime=3.09 cores=1,3,5,7
/proc/20749/stat : 20749 (xcsp_picat) R 20746 20749 18952 0 -1 4202496 24733 0 0 0 289 20 0 0 20 0 1 0 248175474 2135490560 50488 33554432000 4194304 5849940 140732099037536 140732099036184 5359304 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 41340928 140732099044534 140732099044612 140732099044612 140732099047370 0
/proc/20749/statm: 521360 50488 702 405 0 518304 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2085440 KiB
Current children cumulated memory: 201952 KiB
[startup+6.30028 s]
/proc/loadavg: 1.81 1.98 2.03 3/187 20750
/proc/meminfo: memFree=27550568/32770624 swapFree=67030680/67108860
[pid=20749] ppid=20746 vsize=2139084 memory=256712 CPUtime=6.29 cores=1,3,5,7
/proc/20749/stat : 20749 (xcsp_picat) R 20746 20749 18952 0 -1 4202496 34479 0 0 0 607 22 0 0 20 0 1 0 248175474 2190422016 64178 33554432000 4194304 5849940 140732099037536 140732099034968 4203940 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 41340928 140732099044534 140732099044612 140732099044612 140732099047370 0
/proc/20749/statm: 534771 64178 708 405 0 531715 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2139084 KiB
Current children cumulated memory: 256712 KiB
[startup+12.7003 s]
/proc/loadavg: 1.84 1.98 2.03 3/187 20750
/proc/meminfo: memFree=27493224/32770624 swapFree=67030680/67108860
[pid=20749] ppid=20746 vsize=2139084 memory=256712 CPUtime=12.68 cores=1,3,5,7
/proc/20749/stat : 20749 (xcsp_picat) R 20746 20749 18952 0 -1 4202496 51670 0 0 0 1246 22 0 0 20 0 1 0 248175474 2190422016 64178 33554432000 4194304 5849940 140732099037536 140732099034968 5309130 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 41340928 140732099044534 140732099044612 140732099044612 140732099047370 0
/proc/20749/statm: 534771 64178 708 405 0 531715 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2139084 KiB
Current children cumulated memory: 256712 KiB
[startup+25.5003 s]
/proc/loadavg: 1.86 1.98 2.03 3/187 20750
/proc/meminfo: memFree=27460768/32770624 swapFree=67030680/67108860
[pid=20749] ppid=20746 vsize=2138836 memory=256480 CPUtime=25.49 cores=1,3,5,7
/proc/20749/stat : 20749 (xcsp_picat) R 20746 20749 18952 0 -1 4202496 67353 0 0 0 2523 26 0 0 20 0 1 0 248175474 2190168064 64120 33554432000 4194304 5849940 140732099037536 140732099036024 5309076 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 41340928 140732099044534 140732099044612 140732099044612 140732099047370 0
/proc/20749/statm: 534709 64120 712 405 0 531653 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2138836 KiB
Current children cumulated memory: 256480 KiB
[startup+51.1094 s]
/proc/loadavg: 1.91 1.99 2.03 3/187 20750
/proc/meminfo: memFree=27545552/32770624 swapFree=67030680/67108860
[pid=20749] ppid=20746 vsize=2145612 memory=261548 CPUtime=51.09 cores=1,3,5,7
/proc/20749/stat : 20749 (xcsp_picat) R 20746 20749 18952 0 -1 4202496 80847 0 0 0 5076 33 0 0 20 0 1 0 248175474 2197106688 65387 33554432000 4194304 5849940 140732099037536 140732099036024 5309811 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 41340928 140732099044534 140732099044612 140732099044612 140732099047370 0
/proc/20749/statm: 536403 65387 712 405 0 533347 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2145612 KiB
Current children cumulated memory: 261548 KiB
[startup+102.3 s]
/proc/loadavg: 1.96 1.99 2.03 3/188 20759
/proc/meminfo: memFree=27452588/32770624 swapFree=67030680/67108860
[pid=20749] ppid=20746 vsize=2145496 memory=263084 CPUtime=102.28 cores=1,3,5,7
/proc/20749/stat : 20749 (xcsp_picat) R 20746 20749 18952 0 -1 4202496 95283 0 0 0 10173 55 0 0 20 0 1 0 248175474 2196987904 65771 33554432000 4194304 5849940 140732099037536 140732099036024 5309792 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 41340928 140732099044534 140732099044612 140732099044612 140732099047370 0
/proc/20749/statm: 536374 65771 712 405 0 533318 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2145496 KiB
Current children cumulated memory: 263084 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/188 20760
/proc/meminfo: memFree=27418012/32770624 swapFree=67030680/67108860
[pid=20749] ppid=20746 vsize=2152788 memory=273016 CPUtime=162.28 cores=1,3,5,7
/proc/20749/stat : 20749 (xcsp_picat) R 20746 20749 18952 0 -1 4202496 97742 0 0 0 16146 82 0 0 20 0 1 0 248175474 2204454912 68254 33554432000 4194304 5849940 140732099037536 140732099036536 140302374064007 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 41340928 140732099044534 140732099044612 140732099044612 140732099047370 0
/proc/20749/statm: 538197 68254 712 405 0 535141 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2152788 KiB
Current children cumulated memory: 273016 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 20761
/proc/meminfo: memFree=27416672/32770624 swapFree=67030680/67108860
[pid=20749] ppid=20746 vsize=2155568 memory=274704 CPUtime=222.28 cores=1,3,5,7
/proc/20749/stat : 20749 (xcsp_picat) R 20746 20749 18952 0 -1 4202496 101214 0 0 0 22119 109 0 0 20 0 1 0 248175474 2207301632 68676 33554432000 4194304 5849940 140732099037536 140732099036536 5437772 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 41340928 140732099044534 140732099044612 140732099044612 140732099047370 0
/proc/20749/statm: 538892 68676 712 405 0 535836 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2155568 KiB
Current children cumulated memory: 274704 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 20762
/proc/meminfo: memFree=27478488/32770624 swapFree=67030680/67108860
[pid=20749] ppid=20746 vsize=2158728 memory=270708 CPUtime=282.29 cores=1,3,5,7
/proc/20749/stat : 20749 (xcsp_picat) R 20746 20749 18952 0 -1 4202496 104516 0 0 0 28090 139 0 0 20 0 1 0 248175474 2210537472 67677 33554432000 4194304 5849940 140732099037536 140732099036536 140302374064007 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 41340928 140732099044534 140732099044612 140732099044612 140732099047370 0
/proc/20749/statm: 539682 67677 712 405 0 536626 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 2158728 KiB
Current children cumulated memory: 270708 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 20763
/proc/meminfo: memFree=27439664/32770624 swapFree=67030680/67108860
[pid=20749] ppid=20746 vsize=2158736 memory=277748 CPUtime=342.28 cores=1,3,5,7
/proc/20749/stat : 20749 (xcsp_picat) R 20746 20749 18952 0 -1 4202496 107857 0 0 0 34056 172 0 0 20 0 1 0 248175474 2210545664 69437 33554432000 4194304 5849940 140732099037536 140732099036536 140302374064007 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 41340928 140732099044534 140732099044612 140732099044612 140732099047370 0
/proc/20749/statm: 539684 69437 712 405 0 536628 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 2158736 KiB
Current children cumulated memory: 277748 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 20764
/proc/meminfo: memFree=27505436/32770624 swapFree=67030680/67108860
[pid=20749] ppid=20746 vsize=2158692 memory=277704 CPUtime=402.29 cores=1,3,5,7
/proc/20749/stat : 20749 (xcsp_picat) R 20746 20749 18952 0 -1 4202496 110999 0 0 0 40023 206 0 0 20 0 1 0 248175474 2210500608 69426 33554432000 4194304 5849940 140732099037536 140732099036536 140302374064007 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 41340928 140732099044534 140732099044612 140732099044612 140732099047370 0
/proc/20749/statm: 539673 69426 712 405 0 536617 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 2158692 KiB
Current children cumulated memory: 277704 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 20765
/proc/meminfo: memFree=27503136/32770624 swapFree=67030680/67108860
[pid=20749] ppid=20746 vsize=2165124 memory=284136 CPUtime=462.28 cores=1,3,5,7
/proc/20749/stat : 20749 (xcsp_picat) R 20746 20749 18952 0 -1 4202496 113317 0 0 0 45992 236 0 0 20 0 1 0 248175474 2217086976 71034 33554432000 4194304 5849940 140732099037536 140732099036536 140302374064007 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 41340928 140732099044534 140732099044612 140732099044612 140732099047370 0
/proc/20749/statm: 541281 71034 712 405 0 538225 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 2165124 KiB
Current children cumulated memory: 284136 KiB
################
# More data... #
################
/proc/20749/statm: 554035 83872 712 405 0 550979 0
Current children cumulated CPU time: 1722.32 s
Current children cumulated vsize: 2216140 KiB
Current children cumulated memory: 335488 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 20866
/proc/meminfo: memFree=28719508/32770624 swapFree=67030680/67108860
[pid=20749] ppid=20746 vsize=2210256 memory=329620 CPUtime=1782.32 cores=1,3,5,7
/proc/20749/stat : 20749 (xcsp_picat) R 20746 20749 18952 0 -1 4202496 202110 0 0 0 177297 935 0 0 20 0 1 0 248175474 2263302144 82405 33554432000 4194304 5849940 140732099037536 140732099036536 140302374064007 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 41340928 140732099044534 140732099044612 140732099044612 140732099047370 0
/proc/20749/statm: 552564 82405 712 405 0 549508 0
Current children cumulated CPU time: 1782.32 s
Current children cumulated vsize: 2210256 KiB
Current children cumulated memory: 329620 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 20867
/proc/meminfo: memFree=28709372/32770624 swapFree=67030680/67108860
[pid=20749] ppid=20746 vsize=2209804 memory=329616 CPUtime=1842.32 cores=1,3,5,7
/proc/20749/stat : 20749 (xcsp_picat) R 20746 20749 18952 0 -1 4202496 203594 0 0 0 183264 968 0 0 20 0 1 0 248175474 2262839296 82404 33554432000 4194304 5849940 140732099037536 140732099036536 140302374064007 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 41340928 140732099044534 140732099044612 140732099044612 140732099047370 0
/proc/20749/statm: 552451 82404 712 405 0 549395 0
Current children cumulated CPU time: 1842.32 s
Current children cumulated vsize: 2209804 KiB
Current children cumulated memory: 329616 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 20875
/proc/meminfo: memFree=28682172/32770624 swapFree=67030680/67108860
[pid=20749] ppid=20746 vsize=2209804 memory=329616 CPUtime=1902.32 cores=1,3,5,7
/proc/20749/stat : 20749 (xcsp_picat) R 20746 20749 18952 0 -1 4202496 204962 0 0 0 189242 990 0 0 20 0 1 0 248175474 2262839296 82404 33554432000 4194304 5849940 140732099037536 140732099036024 140302374064007 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 41340928 140732099044534 140732099044612 140732099044612 140732099047370 0
/proc/20749/statm: 552451 82404 712 405 0 549395 0
Current children cumulated CPU time: 1902.32 s
Current children cumulated vsize: 2209804 KiB
Current children cumulated memory: 329616 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 20876
/proc/meminfo: memFree=28671132/32770624 swapFree=67030680/67108860
[pid=20749] ppid=20746 vsize=2218760 memory=330604 CPUtime=1962.33 cores=1,3,5,7
/proc/20749/stat : 20749 (xcsp_picat) R 20746 20749 18952 0 -1 4202496 206290 0 0 0 195206 1027 0 0 20 0 1 0 248175474 2272010240 82651 33554432000 4194304 5849940 140732099037536 140732099036536 140302374064007 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 41340928 140732099044534 140732099044612 140732099044612 140732099047370 0
/proc/20749/statm: 554690 82651 712 405 0 551634 0
Current children cumulated CPU time: 1962.33 s
Current children cumulated vsize: 2218760 KiB
Current children cumulated memory: 330604 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 20877
/proc/meminfo: memFree=28646972/32770624 swapFree=67030680/67108860
[pid=20749] ppid=20746 vsize=2218308 memory=337512 CPUtime=2022.33 cores=1,3,5,7
/proc/20749/stat : 20749 (xcsp_picat) R 20746 20749 18952 0 -1 4202496 208008 0 0 0 201179 1054 0 0 20 0 1 0 248175474 2271547392 84378 33554432000 4194304 5849940 140732099037536 140732099036536 140302374064007 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 41340928 140732099044534 140732099044612 140732099044612 140732099047370 0
/proc/20749/statm: 554577 84378 712 405 0 551521 0
Current children cumulated CPU time: 2022.33 s
Current children cumulated vsize: 2218308 KiB
Current children cumulated memory: 337512 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 20878
/proc/meminfo: memFree=28611868/32770624 swapFree=67030680/67108860
[pid=20749] ppid=20746 vsize=2218308 memory=337512 CPUtime=2082.33 cores=1,3,5,7
/proc/20749/stat : 20749 (xcsp_picat) R 20746 20749 18952 0 -1 4202496 210688 0 0 0 207154 1079 0 0 20 0 1 0 248175474 2271547392 84378 33554432000 4194304 5849940 140732099037536 140732099036536 5437815 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 41340928 140732099044534 140732099044612 140732099044612 140732099047370 0
/proc/20749/statm: 554577 84378 712 405 0 551521 0
Current children cumulated CPU time: 2082.33 s
Current children cumulated vsize: 2218308 KiB
Current children cumulated memory: 337512 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 20879
/proc/meminfo: memFree=28622652/32770624 swapFree=67030680/67108860
[pid=20749] ppid=20746 vsize=2218308 memory=337512 CPUtime=2142.33 cores=1,3,5,7
/proc/20749/stat : 20749 (xcsp_picat) R 20746 20749 18952 0 -1 4202496 211982 0 0 0 213122 1111 0 0 20 0 1 0 248175474 2271547392 84378 33554432000 4194304 5849940 140732099037536 140732099036536 140302374064007 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 41340928 140732099044534 140732099044612 140732099044612 140732099047370 0
/proc/20749/statm: 554577 84378 712 405 0 551521 0
Current children cumulated CPU time: 2142.33 s
Current children cumulated vsize: 2218308 KiB
Current children cumulated memory: 337512 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 20880
/proc/meminfo: memFree=28636068/32770624 swapFree=67030680/67108860
[pid=20749] ppid=20746 vsize=2218296 memory=337500 CPUtime=2202.33 cores=1,3,5,7
/proc/20749/stat : 20749 (xcsp_picat) R 20746 20749 18952 0 -1 4202496 213814 0 0 0 219098 1135 0 0 20 0 1 0 248175474 2271535104 84375 33554432000 4194304 5849940 140732099037536 140732099036536 5335776 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 41340928 140732099044534 140732099044612 140732099044612 140732099047370 0
/proc/20749/statm: 554574 84375 712 405 0 551518 0
Current children cumulated CPU time: 2202.33 s
Current children cumulated vsize: 2218296 KiB
Current children cumulated memory: 337500 KiB
[startup+2262.3 s]
/proc/loadavg: 2.16 2.02 2.04 3/187 20881
/proc/meminfo: memFree=28603628/32770624 swapFree=67030680/67108860
[pid=20749] ppid=20746 vsize=2218764 memory=337968 CPUtime=2262.33 cores=1,3,5,7
/proc/20749/stat : 20749 (xcsp_picat) R 20746 20749 18952 0 -1 4202496 215331 0 0 0 225068 1165 0 0 20 0 1 0 248175474 2272014336 84492 33554432000 4194304 5849940 140732099037536 140732099036536 140302374064007 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 41340928 140732099044534 140732099044612 140732099044612 140732099047370 0
/proc/20749/statm: 554691 84492 712 405 0 551635 0
Current children cumulated CPU time: 2262.33 s
Current children cumulated vsize: 2218764 KiB
Current children cumulated memory: 337968 KiB
[startup+2322.3 s]
/proc/loadavg: 2.65 2.21 2.10 3/187 20882
/proc/meminfo: memFree=28603652/32770624 swapFree=67030680/67108860
[pid=20749] ppid=20746 vsize=2218296 memory=337500 CPUtime=2322.33 cores=1,3,5,7
/proc/20749/stat : 20749 (xcsp_picat) R 20746 20749 18952 0 -1 4202496 216834 0 0 0 231032 1201 0 0 20 0 1 0 248175474 2271535104 84375 33554432000 4194304 5849940 140732099037536 140732099036536 140302374064007 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 41340928 140732099044534 140732099044612 140732099044612 140732099047370 0
/proc/20749/statm: 554574 84375 712 405 0 551518 0
Current children cumulated CPU time: 2322.33 s
Current children cumulated vsize: 2218296 KiB
Current children cumulated memory: 337500 KiB
[startup+2382.3 s]
/proc/loadavg: 2.24 2.17 2.10 3/187 20883
/proc/meminfo: memFree=28574012/32770624 swapFree=67030680/67108860
[pid=20749] ppid=20746 vsize=2218284 memory=337748 CPUtime=2382.34 cores=1,3,5,7
/proc/20749/stat : 20749 (xcsp_picat) R 20746 20749 18952 0 -1 4202496 219369 0 0 0 236990 1244 0 0 20 0 1 0 248175474 2271522816 84437 33554432000 4194304 5849940 140732099037536 140732099036536 140302374064007 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 41340928 140732099044534 140732099044612 140732099044612 140732099047370 0
/proc/20749/statm: 554571 84437 712 405 0 551515 0
Current children cumulated CPU time: 2382.34 s
Current children cumulated vsize: 2218284 KiB
Current children cumulated memory: 337748 KiB
[startup+2442.3 s]
/proc/loadavg: 2.10 2.14 2.09 3/187 20884
/proc/meminfo: memFree=28545212/32770624 swapFree=67030680/67108860
[pid=20749] ppid=20746 vsize=2218712 memory=338176 CPUtime=2442.34 cores=1,3,5,7
/proc/20749/stat : 20749 (xcsp_picat) R 20746 20749 18952 0 -1 4202496 220788 0 0 0 242948 1286 0 0 20 0 1 0 248175474 2271961088 84544 33554432000 4194304 5849940 140732099037536 140732099036408 5359307 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 41340928 140732099044534 140732099044612 140732099044612 140732099047370 0
/proc/20749/statm: 554678 84544 712 405 0 551622 0
Current children cumulated CPU time: 2442.34 s
Current children cumulated vsize: 2218712 KiB
Current children cumulated memory: 338176 KiB
[startup+2502.3 s]
/proc/loadavg: 2.26 2.17 2.10 3/188 20893
/proc/meminfo: memFree=28630736/32770624 swapFree=67030680/67108860
[pid=20749] ppid=20746 vsize=2232788 memory=353016 CPUtime=2502.34 cores=1,3,5,7
/proc/20749/stat : 20749 (xcsp_picat) R 20746 20749 18952 0 -1 4202496 224071 0 0 0 248926 1308 0 0 20 0 1 0 248175474 2286374912 88254 33554432000 4194304 5849940 140732099037536 140732099036696 140302374064007 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 41340928 140732099044534 140732099044612 140732099044612 140732099047370 0
/proc/20749/statm: 558197 88254 712 405 0 555141 0
Current children cumulated CPU time: 2502.34 s
Current children cumulated vsize: 2232788 KiB
Current children cumulated memory: 353016 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.47 2.22 2.12 3/188 20893
/proc/meminfo: memFree=28630984/32770624 swapFree=67030680/67108860
[pid=20749] ppid=20746 vsize=2232788 memory=353016 CPUtime=2520.05 cores=1,3,5,7
/proc/20749/stat : 20749 (xcsp_picat) R 20746 20749 18952 0 -1 4202496 224163 0 0 0 250687 1318 0 0 20 0 1 0 248175474 2286374912 88254 33554432000 4194304 5849940 140732099037536 140732099036536 140302374064007 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 41340928 140732099044534 140732099044612 140732099044612 140732099047370 0
/proc/20749/statm: 558197 88254 712 405 0 555141 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 2232788 KiB
Current children cumulated memory: 353016 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 20749 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2506.87 s, system=13.1883 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.06
CPU user time (s): 2506.87
CPU system time (s): 13.1883
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2232788
Max. memory (cumulated for all children) (KiB): 353016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2506.87
system time used= 13.1883
maximum resident set size= 353016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 224164
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= 22
involuntary context switches= 884
# summary of solver processes directly reported to runsolver:
# pid: 20749
# total CPU time (s): 2520.06
# total CPU user time (s): 2506.87
# total CPU system time (s): 13.1883
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.70647 second user time and 18.5665 second system time
The end