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 (2871 MiB free)
memory of node 1: 16384 MiB (2478 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303260-1533990060/watcher-4303260-1533990060 -o /tmp/evaluation-result-4303260-1533990060/solver-4303260-1533990060 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1533990060-10870 --watchdog 2580 xcsp_picat HOME/instance-4303260-1533990060.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=10897, runsolver pid=10892
[startup+0.10078 s]*
/proc/loadavg: 1.00 1.04 1.35 4/188 10901
/proc/meminfo: memFree=5454060/32770624 swapFree=67030624/67108860
[pid=10897] ppid=10892 vsize=2028608 memory=16392 CPUtime=0.1 cores=0,2,4,6
/proc/10897/stat : 10897 (xcsp_picat) R 10892 10897 10838 0 -1 4202496 2409 0 0 0 10 0 0 0 20 0 1 0 216569217 2077294592 4098 33554432000 4194304 5849708 140723175979872 140723175978120 140494611760896 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 44032000 140723175986358 140723175986436 140723175986436 140723175989194 0
/proc/10897/statm: 507152 4098 638 405 0 504097 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2028608 KiB
Current children cumulated memory: 16392 KiB
[startup+0.209449 s]*
/proc/loadavg: 1.00 1.04 1.35 3/188 10901
/proc/meminfo: memFree=5453688/32770624 swapFree=67030624/67108860
[pid=10897] ppid=10892 vsize=2028608 memory=16392 CPUtime=0.21 cores=0,2,4,6
/proc/10897/stat : 10897 (xcsp_picat) R 10892 10897 10838 0 -1 4202496 2414 0 0 0 21 0 0 0 20 0 1 0 216569217 2077294592 4098 33554432000 4194304 5849708 140723175979872 140723175978120 5361324 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 44032000 140723175986358 140723175986436 140723175986436 140723175989194 0
/proc/10897/statm: 507152 4098 638 405 0 504097 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2028608 KiB
Current children cumulated memory: 16392 KiB
[startup+0.308957 s]*
/proc/loadavg: 1.00 1.04 1.35 3/188 10901
/proc/meminfo: memFree=5451036/32770624 swapFree=67030624/67108860
[pid=10897] ppid=10892 vsize=2031532 memory=18180 CPUtime=0.31 cores=0,2,4,6
/proc/10897/stat : 10897 (xcsp_picat) R 10892 10897 10838 0 -1 4202496 3440 0 0 0 31 0 0 0 20 0 1 0 216569217 2080288768 4545 33554432000 4194304 5849708 140723175979872 140723175978120 5416865 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 44032000 140723175986358 140723175986436 140723175986436 140723175989194 0
/proc/10897/statm: 507883 4545 647 405 0 504828 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2031532 KiB
Current children cumulated memory: 18180 KiB
[startup+0.700252 s]
/proc/loadavg: 1.00 1.04 1.35 4/188 10901
/proc/meminfo: memFree=5450292/32770624 swapFree=67030624/67108860
[pid=10897] ppid=10892 vsize=2031532 memory=18180 CPUtime=0.69 cores=0,2,4,6
/proc/10897/stat : 10897 (xcsp_picat) R 10892 10897 10838 0 -1 4202496 3453 0 0 0 69 0 0 0 20 0 1 0 216569217 2080288768 4545 33554432000 4194304 5849708 140723175979872 140723175978360 5355898 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 44032000 140723175986358 140723175986436 140723175986436 140723175989194 0
/proc/10897/statm: 507883 4545 647 405 0 504828 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2031532 KiB
Current children cumulated memory: 18180 KiB
[startup+1.50027 s]
/proc/loadavg: 0.92 1.02 1.34 3/188 10901
/proc/meminfo: memFree=5449544/32770624 swapFree=67030624/67108860
[pid=10897] ppid=10892 vsize=2033580 memory=21336 CPUtime=1.49 cores=0,2,4,6
/proc/10897/stat : 10897 (xcsp_picat) R 10892 10897 10838 0 -1 4202496 4232 0 0 0 147 2 0 0 20 0 1 0 216569217 2082385920 5334 33554432000 4194304 5849708 140723175979872 140723175978360 5437420 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 44032000 140723175986358 140723175986436 140723175986436 140723175989194 0
/proc/10897/statm: 508395 5334 661 405 0 505340 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2033580 KiB
Current children cumulated memory: 21336 KiB
[startup+3.10952 s]
/proc/loadavg: 0.92 1.02 1.34 4/188 10901
/proc/meminfo: memFree=5437504/32770624 swapFree=67030624/67108860
[pid=10897] ppid=10892 vsize=2038968 memory=26884 CPUtime=3.1 cores=0,2,4,6
/proc/10897/stat : 10897 (xcsp_picat) R 10892 10897 10838 0 -1 4202496 7717 0 0 0 306 4 0 0 20 0 1 0 216569217 2087903232 6721 33554432000 4194304 5849708 140723175979872 140723175978360 5321416 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 44032000 140723175986358 140723175986436 140723175986436 140723175989194 0
/proc/10897/statm: 509742 6721 661 405 0 506687 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2038968 KiB
Current children cumulated memory: 26884 KiB
[startup+6.30027 s]
/proc/loadavg: 1.01 1.04 1.34 4/188 10901
/proc/meminfo: memFree=5434444/32770624 swapFree=67030624/67108860
[pid=10897] ppid=10892 vsize=2041844 memory=29608 CPUtime=6.28 cores=0,2,4,6
/proc/10897/stat : 10897 (xcsp_picat) R 10892 10897 10838 0 -1 4202496 9903 0 0 0 619 9 0 0 20 0 1 0 216569217 2090848256 7402 33554432000 4194304 5849708 140723175979872 140723175978872 4213631 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 44032000 140723175986358 140723175986436 140723175986436 140723175989194 0
/proc/10897/statm: 510461 7402 661 405 0 507406 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2041844 KiB
Current children cumulated memory: 29608 KiB
[startup+12.7003 s]
/proc/loadavg: 1.09 1.06 1.35 4/188 10901
/proc/meminfo: memFree=5429196/32770624 swapFree=67030624/67108860
[pid=10897] ppid=10892 vsize=2046796 memory=34720 CPUtime=12.68 cores=0,2,4,6
/proc/10897/stat : 10897 (xcsp_picat) R 10892 10897 10838 0 -1 4202496 14793 0 0 0 1251 17 0 0 20 0 1 0 216569217 2095919104 8680 33554432000 4194304 5849708 140723175979872 140723175978872 140494612172679 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 44032000 140723175986358 140723175986436 140723175986436 140723175989194 0
/proc/10897/statm: 511699 8680 661 405 0 508644 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2046796 KiB
Current children cumulated memory: 34720 KiB
[startup+25.5003 s]
/proc/loadavg: 1.23 1.09 1.35 4/188 10901
/proc/meminfo: memFree=5408868/32770624 swapFree=67030624/67108860
[pid=10897] ppid=10892 vsize=2061936 memory=52884 CPUtime=25.48 cores=0,2,4,6
/proc/10897/stat : 10897 (xcsp_picat) R 10892 10897 10838 0 -1 4202496 35396 0 0 0 2511 37 0 0 20 0 1 0 216569217 2111422464 13221 33554432000 4194304 5849708 140723175979872 140723175978872 140494612172679 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 44032000 140723175986358 140723175986436 140723175986436 140723175989194 0
/proc/10897/statm: 515484 13221 661 405 0 512429 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2061936 KiB
Current children cumulated memory: 52884 KiB
[startup+51.1095 s]
/proc/loadavg: 1.53 1.18 1.37 4/188 10901
/proc/meminfo: memFree=5370468/32770624 swapFree=67030624/67108860
[pid=10897] ppid=10892 vsize=2078544 memory=70544 CPUtime=51.09 cores=0,2,4,6
/proc/10897/stat : 10897 (xcsp_picat) R 10892 10897 10838 0 -1 4202496 67203 0 0 0 5042 67 0 0 20 0 1 0 216569217 2128429056 17636 33554432000 4194304 5849708 140723175979872 140723175978872 5413360 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 44032000 140723175986358 140723175986436 140723175986436 140723175989194 0
/proc/10897/statm: 519636 17636 661 405 0 516581 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2078544 KiB
Current children cumulated memory: 70544 KiB
[startup+102.3 s]
/proc/loadavg: 1.80 1.30 1.41 4/188 10902
/proc/meminfo: memFree=5363056/32770624 swapFree=67030624/67108860
[pid=10897] ppid=10892 vsize=2073872 memory=65864 CPUtime=102.27 cores=0,2,4,6
/proc/10897/stat : 10897 (xcsp_picat) R 10892 10897 10838 0 -1 4202496 99142 0 0 0 10108 119 0 0 20 0 1 0 216569217 2123644928 16466 33554432000 4194304 5849708 140723175979872 140723175979032 140494612172679 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 44032000 140723175986358 140723175986436 140723175986436 140723175989194 0
/proc/10897/statm: 518468 16466 661 405 0 515413 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 2073872 KiB
Current children cumulated memory: 65864 KiB
[startup+162.3 s]
/proc/loadavg: 1.93 1.43 1.44 4/188 10903
/proc/meminfo: memFree=5308628/32770624 swapFree=67030624/67108860
[pid=10897] ppid=10892 vsize=2093616 memory=85808 CPUtime=162.26 cores=0,2,4,6
/proc/10897/stat : 10897 (xcsp_picat) R 10892 10897 10838 0 -1 4202496 129388 0 0 0 16052 174 0 0 20 0 1 0 216569217 2143862784 21452 33554432000 4194304 5849708 140723175979872 140723175978872 5437714 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 44032000 140723175986358 140723175986436 140723175986436 140723175989194 0
/proc/10897/statm: 523404 21452 661 405 0 520349 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 2093616 KiB
Current children cumulated memory: 85808 KiB
[startup+222.3 s]
/proc/loadavg: 1.97 1.53 1.48 4/188 10904
/proc/meminfo: memFree=5278012/32770624 swapFree=67030624/67108860
[pid=10897] ppid=10892 vsize=2115440 memory=107552 CPUtime=222.26 cores=0,2,4,6
/proc/10897/stat : 10897 (xcsp_picat) R 10892 10897 10838 0 -1 4202496 151067 0 0 0 21999 227 0 0 20 0 1 0 216569217 2166210560 26888 33554432000 4194304 5849708 140723175979872 140723175979032 140494612172679 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 44032000 140723175986358 140723175986436 140723175986436 140723175989194 0
/proc/10897/statm: 528860 26888 661 405 0 525805 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 2115440 KiB
Current children cumulated memory: 107552 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 1.62 1.51 3/188 10906
/proc/meminfo: memFree=5236044/32770624 swapFree=67030624/67108860
[pid=10897] ppid=10892 vsize=2123904 memory=115856 CPUtime=282.26 cores=0,2,4,6
/proc/10897/stat : 10897 (xcsp_picat) R 10892 10897 10838 0 -1 4202496 158453 0 0 0 27956 270 0 0 20 0 1 0 216569217 2174877696 28964 33554432000 4194304 5849708 140723175979872 140723175978872 5340254 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 44032000 140723175986358 140723175986436 140723175986436 140723175989194 0
/proc/10897/statm: 530976 28964 661 405 0 527921 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 2123904 KiB
Current children cumulated memory: 115856 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.69 1.54 4/187 10907
/proc/meminfo: memFree=5202496/32770624 swapFree=67030624/67108860
[pid=10897] ppid=10892 vsize=2205568 memory=197680 CPUtime=342.25 cores=0,2,4,6
/proc/10897/stat : 10897 (xcsp_picat) R 10892 10897 10838 0 -1 4202496 189007 0 0 0 33916 309 0 0 20 0 1 0 216569217 2258501632 49420 33554432000 4194304 5849708 140723175979872 140723175978872 5437714 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 44032000 140723175986358 140723175986436 140723175986436 140723175989194 0
/proc/10897/statm: 551392 49420 661 405 0 548337 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 2205568 KiB
Current children cumulated memory: 197680 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.74 1.57 4/187 10908
/proc/meminfo: memFree=5202676/32770624 swapFree=67030624/67108860
[pid=10897] ppid=10892 vsize=2203284 memory=190604 CPUtime=402.24 cores=0,2,4,6
/proc/10897/stat : 10897 (xcsp_picat) R 10892 10897 10838 0 -1 4202496 212209 0 0 0 39882 342 0 0 20 0 1 0 216569217 2256162816 47651 33554432000 4194304 5849708 140723175979872 140723175978872 140494611761056 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 44032000 140723175986358 140723175986436 140723175986436 140723175989194 0
/proc/10897/statm: 550821 47651 661 405 0 547766 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 2203284 KiB
Current children cumulated memory: 190604 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.79 1.60 4/187 10910
/proc/meminfo: memFree=5178540/32770624 swapFree=67030624/67108860
[pid=10897] ppid=10892 vsize=2155736 memory=147848 CPUtime=462.23 cores=0,2,4,6
/proc/10897/stat : 10897 (xcsp_picat) R 10892 10897 10838 0 -1 4202496 237644 0 0 0 45850 373 0 0 20 0 1 0 216569217 2207473664 36962 33554432000 4194304 5849708 140723175979872 140723175978872 5438237 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 44032000 140723175986358 140723175986436 140723175986436 140723175989194 0
/proc/10897/statm: 538934 36962 661 405 0 535879 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 2155736 KiB
Current children cumulated memory: 147848 KiB
################
# More data... #
################
/proc/10897/statm: 667789 164016 661 405 0 664734 0
Current children cumulated CPU time: 1722.1 s
Current children cumulated vsize: 2671156 KiB
Current children cumulated memory: 656064 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.93 4/188 10956
/proc/meminfo: memFree=4332652/32770624 swapFree=67030624/67108860
[pid=10897] ppid=10892 vsize=2969452 memory=954360 CPUtime=1782.09 cores=0,2,4,6
/proc/10897/stat : 10897 (xcsp_picat) R 10892 10897 10838 0 -1 4202496 1113240 0 0 0 177470 739 0 0 20 0 1 0 216569217 3040718848 238590 33554432000 4194304 5849708 140723175979872 140723175978872 5437714 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 44032000 140723175986358 140723175986436 140723175986436 140723175989194 0
/proc/10897/statm: 742363 238590 661 405 0 739308 0
Current children cumulated CPU time: 1782.09 s
Current children cumulated vsize: 2969452 KiB
Current children cumulated memory: 954360 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.94 4/188 10957
/proc/meminfo: memFree=4984552/32770624 swapFree=67030624/67108860
[pid=10897] ppid=10892 vsize=2312532 memory=304772 CPUtime=1842.09 cores=0,2,4,6
/proc/10897/stat : 10897 (xcsp_picat) R 10892 10897 10838 0 -1 4202496 1197445 0 0 0 183443 766 0 0 20 0 1 0 216569217 2368032768 76193 33554432000 4194304 5849708 140723175979872 140723175978872 5437714 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 44032000 140723175986358 140723175986436 140723175986436 140723175989194 0
/proc/10897/statm: 578133 76193 661 405 0 575078 0
Current children cumulated CPU time: 1842.09 s
Current children cumulated vsize: 2312532 KiB
Current children cumulated memory: 304772 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.94 4/188 10958
/proc/meminfo: memFree=4886200/32770624 swapFree=67030624/67108860
[pid=10897] ppid=10892 vsize=2372124 memory=364236 CPUtime=1902.07 cores=0,2,4,6
/proc/10897/stat : 10897 (xcsp_picat) R 10892 10897 10838 0 -1 4202496 1239035 0 0 0 189426 781 0 0 20 0 1 0 216569217 2429054976 91059 33554432000 4194304 5849708 140723175979872 140723175978872 5437702 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 44032000 140723175986358 140723175986436 140723175986436 140723175989194 0
/proc/10897/statm: 593031 91059 661 405 0 589976 0
Current children cumulated CPU time: 1902.07 s
Current children cumulated vsize: 2372124 KiB
Current children cumulated memory: 364236 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/188 10959
/proc/meminfo: memFree=4849672/32770624 swapFree=67030624/67108860
[pid=10897] ppid=10892 vsize=2395348 memory=387460 CPUtime=1962.07 cores=0,2,4,6
/proc/10897/stat : 10897 (xcsp_picat) R 10892 10897 10838 0 -1 4202496 1249157 0 0 0 195414 793 0 0 20 0 1 0 216569217 2452836352 96865 33554432000 4194304 5849708 140723175979872 140723175978872 5437714 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 44032000 140723175986358 140723175986436 140723175986436 140723175989194 0
/proc/10897/statm: 598837 96865 661 405 0 595782 0
Current children cumulated CPU time: 1962.07 s
Current children cumulated vsize: 2395348 KiB
Current children cumulated memory: 387460 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/187 10960
/proc/meminfo: memFree=4762264/32770624 swapFree=67030624/67108860
[pid=10897] ppid=10892 vsize=2410336 memory=402448 CPUtime=2022.06 cores=0,2,4,6
/proc/10897/stat : 10897 (xcsp_picat) R 10892 10897 10838 0 -1 4202496 1291736 0 0 0 201402 804 0 0 20 0 1 0 216569217 2468184064 100612 33554432000 4194304 5849708 140723175979872 140723175978872 5437623 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 44032000 140723175986358 140723175986436 140723175986436 140723175989194 0
/proc/10897/statm: 602584 100612 661 405 0 599529 0
Current children cumulated CPU time: 2022.06 s
Current children cumulated vsize: 2410336 KiB
Current children cumulated memory: 402448 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/187 10963
/proc/meminfo: memFree=4687260/32770624 swapFree=67030624/67108860
[pid=10897] ppid=10892 vsize=2484540 memory=476652 CPUtime=2082.05 cores=0,2,4,6
/proc/10897/stat : 10897 (xcsp_picat) R 10892 10897 10838 0 -1 4202496 1322524 0 0 0 207391 814 0 0 20 0 1 0 216569217 2544168960 119163 33554432000 4194304 5849708 140723175979872 140723175978872 5437714 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 44032000 140723175986358 140723175986436 140723175986436 140723175989194 0
/proc/10897/statm: 621135 119163 661 405 0 618080 0
Current children cumulated CPU time: 2082.05 s
Current children cumulated vsize: 2484540 KiB
Current children cumulated memory: 476652 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/187 10964
/proc/meminfo: memFree=4687524/32770624 swapFree=67030624/67108860
[pid=10897] ppid=10892 vsize=2484540 memory=476652 CPUtime=2142.04 cores=0,2,4,6
/proc/10897/stat : 10897 (xcsp_picat) R 10892 10897 10838 0 -1 4202496 1338865 0 0 0 213382 822 0 0 20 0 1 0 216569217 2544168960 119163 33554432000 4194304 5849708 140723175979872 140723175978872 5335528 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 44032000 140723175986358 140723175986436 140723175986436 140723175989194 0
/proc/10897/statm: 621135 119163 661 405 0 618080 0
Current children cumulated CPU time: 2142.04 s
Current children cumulated vsize: 2484540 KiB
Current children cumulated memory: 476652 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/187 10965
/proc/meminfo: memFree=4656796/32770624 swapFree=67030624/67108860
[pid=10897] ppid=10892 vsize=2514520 memory=506632 CPUtime=2202.04 cores=0,2,4,6
/proc/10897/stat : 10897 (xcsp_picat) R 10892 10897 10838 0 -1 4202496 1386209 0 0 0 219367 837 0 0 20 0 1 0 216569217 2574868480 126658 33554432000 4194304 5849708 140723175979872 140723175978872 5437714 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 44032000 140723175986358 140723175986436 140723175986436 140723175989194 0
/proc/10897/statm: 628630 126658 661 405 0 625575 0
Current children cumulated CPU time: 2202.04 s
Current children cumulated vsize: 2514520 KiB
Current children cumulated memory: 506632 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/187 10967
/proc/meminfo: memFree=4454360/32770624 swapFree=67030624/67108860
[pid=10897] ppid=10892 vsize=2684324 memory=676436 CPUtime=2262.04 cores=0,2,4,6
/proc/10897/stat : 10897 (xcsp_picat) R 10892 10897 10838 0 -1 4202496 1388676 0 0 0 225351 853 0 0 20 0 1 0 216569217 2748747776 169109 33554432000 4194304 5849708 140723175979872 140723175978872 5438244 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 44032000 140723175986358 140723175986436 140723175986436 140723175989194 0
/proc/10897/statm: 671081 169109 661 405 0 668026 0
Current children cumulated CPU time: 2262.04 s
Current children cumulated vsize: 2684324 KiB
Current children cumulated memory: 676436 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/187 10968
/proc/meminfo: memFree=4427880/32770624 swapFree=67030624/67108860
[pid=10897] ppid=10892 vsize=2670920 memory=663032 CPUtime=2322.03 cores=0,2,4,6
/proc/10897/stat : 10897 (xcsp_picat) R 10892 10897 10838 0 -1 4202496 1441382 0 0 0 231337 866 0 0 20 0 1 0 216569217 2735022080 165758 33554432000 4194304 5849708 140723175979872 140723175978872 5312992 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 44032000 140723175986358 140723175986436 140723175986436 140723175989194 0
/proc/10897/statm: 667730 165758 661 405 0 664675 0
Current children cumulated CPU time: 2322.03 s
Current children cumulated vsize: 2670920 KiB
Current children cumulated memory: 663032 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/187 10976
/proc/meminfo: memFree=4174160/32770624 swapFree=67030624/67108860
[pid=10897] ppid=10892 vsize=2924280 memory=916392 CPUtime=2382.02 cores=0,2,4,6
/proc/10897/stat : 10897 (xcsp_picat) R 10892 10897 10838 0 -1 4202496 1483198 0 0 0 237319 883 0 0 20 0 1 0 216569217 2994462720 229098 33554432000 4194304 5849708 140723175979872 140723175978872 5437744 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 44032000 140723175986358 140723175986436 140723175986436 140723175989194 0
/proc/10897/statm: 731070 229098 661 405 0 728015 0
Current children cumulated CPU time: 2382.02 s
Current children cumulated vsize: 2924280 KiB
Current children cumulated memory: 916392 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/187 10999
/proc/meminfo: memFree=3967144/32770624 swapFree=67030624/67108860
[pid=10897] ppid=10892 vsize=3140484 memory=1122392 CPUtime=2442.01 cores=0,2,4,6
/proc/10897/stat : 10897 (xcsp_picat) R 10892 10897 10838 0 -1 4202496 1542550 0 0 0 243299 902 0 0 20 0 1 0 216569217 3215855616 280598 33554432000 4194304 5849708 140723175979872 140723175978872 5437775 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 44032000 140723175986358 140723175986436 140723175986436 140723175989194 0
/proc/10897/statm: 785121 280598 661 405 0 782066 0
Current children cumulated CPU time: 2442.01 s
Current children cumulated vsize: 3140484 KiB
Current children cumulated memory: 1122392 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/187 11000
/proc/meminfo: memFree=3967584/32770624 swapFree=67030624/67108860
[pid=10897] ppid=10892 vsize=3140484 memory=1122464 CPUtime=2502.01 cores=0,2,4,6
/proc/10897/stat : 10897 (xcsp_picat) R 10892 10897 10838 0 -1 4202496 1588331 0 0 0 249285 916 0 0 20 0 1 0 216569217 3215855616 280616 33554432000 4194304 5849708 140723175979872 140723175978872 140494612172679 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 44032000 140723175986358 140723175986436 140723175986436 140723175989194 0
/proc/10897/statm: 785121 280616 661 405 0 782066 0
Current children cumulated CPU time: 2502.01 s
Current children cumulated vsize: 3140484 KiB
Current children cumulated memory: 1122464 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 1.95 4/187 11000
/proc/meminfo: memFree=3953872/32770624 swapFree=67030624/67108860
[pid=10897] ppid=10892 vsize=3144032 memory=1136144 CPUtime=2519.71 cores=0,2,4,6
/proc/10897/stat : 10897 (xcsp_picat) R 10892 10897 10838 0 -1 4202496 1600232 0 0 0 251051 920 0 0 20 0 1 0 216569217 3219488768 284036 33554432000 4194304 5849708 140723175979872 140723175978872 5437714 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 44032000 140723175986358 140723175986436 140723175986436 140723175989194 0
/proc/10897/statm: 786008 284036 661 405 0 782953 0
Current children cumulated CPU time: 2519.71 s
Current children cumulated vsize: 3144032 KiB
Current children cumulated memory: 1136144 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.04 s]
# the end of solver process 10897 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2510.52 s, system=9.23899 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.76
CPU user time (s): 2510.52
CPU system time (s): 9.23899
CPU usage (%): 99.9887
Max. virtual memory (cumulated for all children) (KiB): 3144032
Max. memory (cumulated for all children) (KiB): 1136144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2510.52
system time used= 9.23899
maximum resident set size= 1136144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1600233
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= 8
involuntary context switches= 2855
# summary of solver processes directly reported to runsolver:
# pid: 10897
# total CPU time (s): 2519.76
# total CPU user time (s): 2510.52
# total CPU system time (s): 9.23899
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.73901 second user time and 18.8387 second system time
The end