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 (8528 MiB free)
memory of node 1: 16384 MiB (11706 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303459-1534035497/watcher-4303459-1534035497 -o /tmp/evaluation-result-4303459-1534035497/solver-4303459-1534035497 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534025075-19010 --watchdog 2580 xcsp_picat HOME/instance-4303459-1534035497.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=20218, runsolver pid=20215
[startup+0.100541 s]*
/proc/loadavg: 2.31 2.14 2.09 3/187 20219
/proc/meminfo: memFree=20707028/32770624 swapFree=67108688/67108860
[pid=20218] ppid=20215 vsize=2026524 memory=17168 CPUtime=0.1 cores=1,3,5,7
/proc/20218/stat : 20218 (xcsp_picat) R 20215 20218 18978 0 -1 4202496 1919 0 0 0 9 1 0 0 20 0 1 0 221112585 2075160576 4292 33554432000 4194304 5849708 140736093768704 140736093767880 5366760 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15171584 140736093775030 140736093775108 140736093775108 140736093777866 0
/proc/20218/statm: 506631 4292 729 405 0 503576 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2026524 KiB
Current children cumulated memory: 17168 KiB
[startup+0.20963 s]*
/proc/loadavg: 2.31 2.14 2.09 3/187 20219
/proc/meminfo: memFree=20707028/32770624 swapFree=67108688/67108860
[pid=20218] ppid=20215 vsize=2027340 memory=17644 CPUtime=0.2 cores=1,3,5,7
/proc/20218/stat : 20218 (xcsp_picat) R 20215 20218 18978 0 -1 4202496 2114 0 0 0 19 1 0 0 20 0 1 0 221112585 2075996160 4411 33554432000 4194304 5849708 140736093768704 140736093767880 5358900 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15171584 140736093775030 140736093775108 140736093775108 140736093777866 0
/proc/20218/statm: 506835 4411 743 405 0 503780 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2027340 KiB
Current children cumulated memory: 17644 KiB
[startup+0.308844 s]*
/proc/loadavg: 2.31 2.14 2.09 3/187 20219
/proc/meminfo: memFree=20705920/32770624 swapFree=67108688/67108860
[pid=20218] ppid=20215 vsize=2027352 memory=17852 CPUtime=0.3 cores=1,3,5,7
/proc/20218/stat : 20218 (xcsp_picat) R 20215 20218 18978 0 -1 4202496 2157 0 0 0 29 1 0 0 20 0 1 0 221112585 2076008448 4463 33554432000 4194304 5849708 140736093768704 140736093767880 5326392 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15171584 140736093775030 140736093775108 140736093775108 140736093777866 0
/proc/20218/statm: 506838 4463 743 405 0 503783 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2027352 KiB
Current children cumulated memory: 17852 KiB
[startup+0.700275 s]
/proc/loadavg: 2.31 2.14 2.09 3/187 20219
/proc/meminfo: memFree=20705920/32770624 swapFree=67108688/67108860
[pid=20218] ppid=20215 vsize=2027212 memory=17844 CPUtime=0.69 cores=1,3,5,7
/proc/20218/stat : 20218 (xcsp_picat) R 20215 20218 18978 0 -1 4202496 2379 0 0 0 67 2 0 0 20 0 1 0 221112585 2075865088 4461 33554432000 4194304 5849708 140736093768704 140736093767880 5361731 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15171584 140736093775030 140736093775108 140736093775108 140736093777866 0
/proc/20218/statm: 506803 4461 765 405 0 503748 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2027212 KiB
Current children cumulated memory: 17844 KiB
[startup+1.50028 s]
/proc/loadavg: 2.31 2.14 2.09 3/187 20219
/proc/meminfo: memFree=20705920/32770624 swapFree=67108688/67108860
[pid=20218] ppid=20215 vsize=2028428 memory=18900 CPUtime=1.48 cores=1,3,5,7
/proc/20218/stat : 20218 (xcsp_picat) R 20215 20218 18978 0 -1 4202496 2669 0 0 0 146 2 0 0 20 0 1 0 221112585 2077110272 4725 33554432000 4194304 5849708 140736093768704 140736093767880 5337208 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15171584 140736093775030 140736093775108 140736093775108 140736093777866 0
/proc/20218/statm: 507107 4725 765 405 0 504052 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2028428 KiB
Current children cumulated memory: 18900 KiB
[startup+3.10928 s]
/proc/loadavg: 2.20 2.13 2.08 3/187 20219
/proc/meminfo: memFree=20692336/32770624 swapFree=67108688/67108860
[pid=20218] ppid=20215 vsize=2032628 memory=23300 CPUtime=3.1 cores=1,3,5,7
/proc/20218/stat : 20218 (xcsp_picat) R 20215 20218 18978 0 -1 4202496 4525 0 0 0 306 4 0 0 20 0 1 0 221112585 2081411072 5825 33554432000 4194304 5849708 140736093768704 140736093767704 140403451019143 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15171584 140736093775030 140736093775108 140736093775108 140736093777866 0
/proc/20218/statm: 508157 5825 765 405 0 505102 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2032628 KiB
Current children cumulated memory: 23300 KiB
[startup+6.30028 s]
/proc/loadavg: 2.20 2.13 2.08 3/187 20219
/proc/meminfo: memFree=20731468/32770624 swapFree=67108688/67108860
[pid=20218] ppid=20215 vsize=2033388 memory=24028 CPUtime=6.28 cores=1,3,5,7
/proc/20218/stat : 20218 (xcsp_picat) R 20215 20218 18978 0 -1 4202496 7055 0 0 0 621 7 0 0 20 0 1 0 221112585 2082189312 6007 33554432000 4194304 5849708 140736093768704 140736093767704 140403451019143 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15171584 140736093775030 140736093775108 140736093775108 140736093777866 0
/proc/20218/statm: 508347 6007 765 405 0 505292 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2033388 KiB
Current children cumulated memory: 24028 KiB
[startup+12.7003 s]
/proc/loadavg: 2.17 2.12 2.08 3/187 20219
/proc/meminfo: memFree=20708924/32770624 swapFree=67108688/67108860
[pid=20218] ppid=20215 vsize=2036956 memory=27528 CPUtime=12.69 cores=1,3,5,7
/proc/20218/stat : 20218 (xcsp_picat) R 20215 20218 18978 0 -1 4202496 13990 0 0 0 1255 14 0 0 20 0 1 0 221112585 2085842944 6882 33554432000 4194304 5849708 140736093768704 140736093767704 140403451019143 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15171584 140736093775030 140736093775108 140736093775108 140736093777866 0
/proc/20218/statm: 509239 6882 765 405 0 506184 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2036956 KiB
Current children cumulated memory: 27528 KiB
[startup+25.5003 s]
/proc/loadavg: 2.14 2.12 2.08 3/187 20219
/proc/meminfo: memFree=20692856/32770624 swapFree=67108688/67108860
[pid=20218] ppid=20215 vsize=2042232 memory=32800 CPUtime=25.48 cores=1,3,5,7
/proc/20218/stat : 20218 (xcsp_picat) R 20215 20218 18978 0 -1 4202496 26485 0 0 0 2520 28 0 0 20 0 1 0 221112585 2091245568 8200 33554432000 4194304 5849708 140736093768704 140736093767704 140403451019143 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15171584 140736093775030 140736093775108 140736093775108 140736093777866 0
/proc/20218/statm: 510558 8200 765 405 0 507503 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2042232 KiB
Current children cumulated memory: 32800 KiB
[startup+51.1095 s]
/proc/loadavg: 2.09 2.11 2.08 3/187 20219
/proc/meminfo: memFree=20665360/32770624 swapFree=67108688/67108860
[pid=20218] ppid=20215 vsize=2056592 memory=47096 CPUtime=51.09 cores=1,3,5,7
/proc/20218/stat : 20218 (xcsp_picat) R 20215 20218 18978 0 -1 4202496 41797 0 0 0 5064 45 0 0 20 0 1 0 221112585 2105950208 11774 33554432000 4194304 5849708 140736093768704 140736093767864 140403451019143 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15171584 140736093775030 140736093775108 140736093775108 140736093777866 0
/proc/20218/statm: 514148 11774 765 405 0 511093 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2056592 KiB
Current children cumulated memory: 47096 KiB
[startup+102.3 s]
/proc/loadavg: 2.10 2.11 2.08 3/187 20220
/proc/meminfo: memFree=20634380/32770624 swapFree=67108688/67108860
[pid=20218] ppid=20215 vsize=2079508 memory=70180 CPUtime=102.28 cores=1,3,5,7
/proc/20218/stat : 20218 (xcsp_picat) R 20215 20218 18978 0 -1 4202496 67480 0 0 0 10159 69 0 0 20 0 1 0 221112585 2129416192 17545 33554432000 4194304 5849708 140736093768704 140736093767576 5398191 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15171584 140736093775030 140736093775108 140736093775108 140736093777866 0
/proc/20218/statm: 519877 17545 765 405 0 516822 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2079508 KiB
Current children cumulated memory: 70180 KiB
[startup+162.3 s]
/proc/loadavg: 2.04 2.09 2.07 3/188 20229
/proc/meminfo: memFree=20636500/32770624 swapFree=67108688/67108860
[pid=20218] ppid=20215 vsize=2087152 memory=77824 CPUtime=162.26 cores=1,3,5,7
/proc/20218/stat : 20218 (xcsp_picat) R 20215 20218 18978 0 -1 4202496 85652 0 0 0 16134 92 0 0 20 0 1 0 221112585 2137243648 19456 33554432000 4194304 5849708 140736093768704 140736093767704 5335582 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15171584 140736093775030 140736093775108 140736093775108 140736093777866 0
/proc/20218/statm: 521788 19456 765 405 0 518733 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 2087152 KiB
Current children cumulated memory: 77824 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/189 20252
/proc/meminfo: memFree=20591960/32770624 swapFree=67108688/67108860
[pid=20218] ppid=20215 vsize=2115784 memory=106456 CPUtime=222.27 cores=1,3,5,7
/proc/20218/stat : 20218 (xcsp_picat) R 20215 20218 18978 0 -1 4202496 99654 0 0 0 22117 110 0 0 20 0 1 0 221112585 2166562816 26614 33554432000 4194304 5849708 140736093768704 140736093767704 5335582 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15171584 140736093775030 140736093775108 140736093775108 140736093777866 0
/proc/20218/statm: 528946 26614 765 405 0 525891 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 2115784 KiB
Current children cumulated memory: 106456 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.06 2.06 3/189 20253
/proc/meminfo: memFree=20565688/32770624 swapFree=67108688/67108860
[pid=20218] ppid=20215 vsize=2101508 memory=91964 CPUtime=282.26 cores=1,3,5,7
/proc/20218/stat : 20218 (xcsp_picat) R 20215 20218 18978 0 -1 4202496 107997 0 0 0 28102 124 0 0 20 0 1 0 221112585 2151944192 22991 33554432000 4194304 5849708 140736093768704 140736093767576 5437592 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15171584 140736093775030 140736093775108 140736093775108 140736093777866 0
/proc/20218/statm: 525377 22991 765 405 0 522322 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 2101508 KiB
Current children cumulated memory: 91964 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/189 20254
/proc/meminfo: memFree=20465036/32770624 swapFree=67108688/67108860
[pid=20218] ppid=20215 vsize=2106752 memory=97424 CPUtime=342.25 cores=1,3,5,7
/proc/20218/stat : 20218 (xcsp_picat) R 20215 20218 18978 0 -1 4202496 119833 0 0 0 34083 142 0 0 20 0 1 0 221112585 2157314048 24356 33554432000 4194304 5849708 140736093768704 140736093767704 140403451019143 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15171584 140736093775030 140736093775108 140736093775108 140736093777866 0
/proc/20218/statm: 526688 24356 765 405 0 523633 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 2106752 KiB
Current children cumulated memory: 97424 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/189 20255
/proc/meminfo: memFree=20536300/32770624 swapFree=67108688/67108860
[pid=20218] ppid=20215 vsize=2133252 memory=123924 CPUtime=402.24 cores=1,3,5,7
/proc/20218/stat : 20218 (xcsp_picat) R 20215 20218 18978 0 -1 4202496 134280 0 0 0 40066 158 0 0 20 0 1 0 221112585 2184450048 30981 33554432000 4194304 5849708 140736093768704 140736093767704 140403451019143 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15171584 140736093775030 140736093775108 140736093775108 140736093777866 0
/proc/20218/statm: 533313 30981 765 405 0 530258 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 2133252 KiB
Current children cumulated memory: 123924 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 20256
/proc/meminfo: memFree=20391360/32770624 swapFree=67108688/67108860
[pid=20218] ppid=20215 vsize=2194328 memory=185000 CPUtime=462.24 cores=1,3,5,7
/proc/20218/stat : 20218 (xcsp_picat) R 20215 20218 18978 0 -1 4202496 138586 0 0 0 46057 167 0 0 20 0 1 0 221112585 2246991872 46250 33554432000 4194304 5849708 140736093768704 140736093767704 5438322 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15171584 140736093775030 140736093775108 140736093775108 140736093777866 0
/proc/20218/statm: 548582 46250 765 405 0 545527 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 2194328 KiB
Current children cumulated memory: 185000 KiB
################
# More data... #
################
/proc/20218/statm: 586399 85070 765 405 0 583344 0
Current children cumulated CPU time: 1722.11 s
Current children cumulated vsize: 2345596 KiB
Current children cumulated memory: 340280 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 20327
/proc/meminfo: memFree=20064332/32770624 swapFree=67108688/67108860
[pid=20218] ppid=20215 vsize=2345596 memory=340280 CPUtime=1782.1 cores=1,3,5,7
/proc/20218/stat : 20218 (xcsp_picat) R 20215 20218 18978 0 -1 4202496 315344 0 0 0 177722 488 0 0 20 0 1 0 221112585 2401890304 85070 33554432000 4194304 5849708 140736093768704 140736093767704 5437660 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15171584 140736093775030 140736093775108 140736093775108 140736093777866 0
/proc/20218/statm: 586399 85070 765 405 0 583344 0
Current children cumulated CPU time: 1782.1 s
Current children cumulated vsize: 2345596 KiB
Current children cumulated memory: 340280 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 20329
/proc/meminfo: memFree=19961204/32770624 swapFree=67108688/67108860
[pid=20218] ppid=20215 vsize=2426928 memory=421612 CPUtime=1842.1 cores=1,3,5,7
/proc/20218/stat : 20218 (xcsp_picat) R 20215 20218 18978 0 -1 4202496 334760 0 0 0 183711 499 0 0 20 0 1 0 221112585 2485174272 105403 33554432000 4194304 5849708 140736093768704 140736093767704 5437714 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15171584 140736093775030 140736093775108 140736093775108 140736093777866 0
/proc/20218/statm: 606732 105403 765 405 0 603677 0
Current children cumulated CPU time: 1842.1 s
Current children cumulated vsize: 2426928 KiB
Current children cumulated memory: 421612 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 20330
/proc/meminfo: memFree=19866968/32770624 swapFree=67108688/67108860
[pid=20218] ppid=20215 vsize=2426928 memory=421612 CPUtime=1902.09 cores=1,3,5,7
/proc/20218/stat : 20218 (xcsp_picat) R 20215 20218 18978 0 -1 4202496 362311 0 0 0 189701 508 0 0 20 0 1 0 221112585 2485174272 105403 33554432000 4194304 5849708 140736093768704 140736093767864 5438208 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15171584 140736093775030 140736093775108 140736093775108 140736093777866 0
/proc/20218/statm: 606732 105403 765 405 0 603677 0
Current children cumulated CPU time: 1902.09 s
Current children cumulated vsize: 2426928 KiB
Current children cumulated memory: 421612 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 20336
/proc/meminfo: memFree=19867088/32770624 swapFree=67108688/67108860
[pid=20218] ppid=20215 vsize=2426928 memory=421612 CPUtime=1962.09 cores=1,3,5,7
/proc/20218/stat : 20218 (xcsp_picat) R 20215 20218 18978 0 -1 4202496 382563 0 0 0 195694 515 0 0 20 0 1 0 221112585 2485174272 105403 33554432000 4194304 5849708 140736093768704 140736093767864 5437625 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15171584 140736093775030 140736093775108 140736093775108 140736093777866 0
/proc/20218/statm: 606732 105403 765 405 0 603677 0
Current children cumulated CPU time: 1962.09 s
Current children cumulated vsize: 2426928 KiB
Current children cumulated memory: 421612 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 20337
/proc/meminfo: memFree=19866420/32770624 swapFree=67108688/67108860
[pid=20218] ppid=20215 vsize=2361392 memory=356076 CPUtime=2022.09 cores=1,3,5,7
/proc/20218/stat : 20218 (xcsp_picat) R 20215 20218 18978 0 -1 4202496 396796 0 0 0 201687 522 0 0 20 0 1 0 221112585 2418065408 89019 33554432000 4194304 5849708 140736093768704 140736093767704 5437714 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15171584 140736093775030 140736093775108 140736093775108 140736093777866 0
/proc/20218/statm: 590348 89019 765 405 0 587293 0
Current children cumulated CPU time: 2022.09 s
Current children cumulated vsize: 2361392 KiB
Current children cumulated memory: 356076 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 20338
/proc/meminfo: memFree=19916392/32770624 swapFree=67108688/67108860
[pid=20218] ppid=20215 vsize=2311984 memory=306668 CPUtime=2082.08 cores=1,3,5,7
/proc/20218/stat : 20218 (xcsp_picat) R 20215 20218 18978 0 -1 4202496 423340 0 0 0 207673 535 0 0 20 0 1 0 221112585 2367471616 76667 33554432000 4194304 5849708 140736093768704 140736093767704 140403451019143 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15171584 140736093775030 140736093775108 140736093775108 140736093777866 0
/proc/20218/statm: 577996 76667 765 405 0 574941 0
Current children cumulated CPU time: 2082.08 s
Current children cumulated vsize: 2311984 KiB
Current children cumulated memory: 306668 KiB
[startup+2142.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/188 20339
/proc/meminfo: memFree=19875768/32770624 swapFree=67108688/67108860
[pid=20218] ppid=20215 vsize=2273852 memory=268536 CPUtime=2142.07 cores=1,3,5,7
/proc/20218/stat : 20218 (xcsp_picat) R 20215 20218 18978 0 -1 4202496 446711 0 0 0 213660 547 0 0 20 0 1 0 221112585 2328424448 67134 33554432000 4194304 5849708 140736093768704 140736093767864 140403451019143 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15171584 140736093775030 140736093775108 140736093775108 140736093777866 0
/proc/20218/statm: 568463 67134 765 405 0 565408 0
Current children cumulated CPU time: 2142.07 s
Current children cumulated vsize: 2273852 KiB
Current children cumulated memory: 268536 KiB
[startup+2202.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 20340
/proc/meminfo: memFree=19875908/32770624 swapFree=67108688/67108860
[pid=20218] ppid=20215 vsize=2273852 memory=268536 CPUtime=2202.07 cores=1,3,5,7
/proc/20218/stat : 20218 (xcsp_picat) R 20215 20218 18978 0 -1 4202496 467053 0 0 0 219650 557 0 0 20 0 1 0 221112585 2328424448 67134 33554432000 4194304 5849708 140736093768704 140736093767704 5335584 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15171584 140736093775030 140736093775108 140736093775108 140736093777866 0
/proc/20218/statm: 568463 67134 765 405 0 565408 0
Current children cumulated CPU time: 2202.07 s
Current children cumulated vsize: 2273852 KiB
Current children cumulated memory: 268536 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 20341
/proc/meminfo: memFree=19874916/32770624 swapFree=67108688/67108860
[pid=20218] ppid=20215 vsize=2273852 memory=268536 CPUtime=2262.07 cores=1,3,5,7
/proc/20218/stat : 20218 (xcsp_picat) R 20215 20218 18978 0 -1 4202496 487986 0 0 0 225640 567 0 0 20 0 1 0 221112585 2328424448 67134 33554432000 4194304 5849708 140736093768704 140736093767704 140403451019143 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15171584 140736093775030 140736093775108 140736093775108 140736093777866 0
/proc/20218/statm: 568463 67134 765 405 0 565408 0
Current children cumulated CPU time: 2262.07 s
Current children cumulated vsize: 2273852 KiB
Current children cumulated memory: 268536 KiB
[startup+2322.3 s]
/proc/loadavg: 1.37 1.83 1.98 2/181 20387
/proc/meminfo: memFree=20491304/32770624 swapFree=67108688/67108860
[pid=20218] ppid=20215 vsize=2319400 memory=314084 CPUtime=2322.06 cores=1,3,5,7
/proc/20218/stat : 20218 (xcsp_picat) R 20215 20218 18978 0 -1 4202496 512945 0 0 0 231629 577 0 0 20 0 1 0 221112585 2375065600 78521 33554432000 4194304 5849708 140736093768704 140736093767704 140403451019143 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15171584 140736093775030 140736093775108 140736093775108 140736093777866 0
/proc/20218/statm: 579850 78521 765 405 0 576795 0
Current children cumulated CPU time: 2322.06 s
Current children cumulated vsize: 2319400 KiB
Current children cumulated memory: 314084 KiB
[startup+2382.3 s]
/proc/loadavg: 1.14 1.68 1.92 2/181 20388
/proc/meminfo: memFree=20491584/32770624 swapFree=67108688/67108860
[pid=20218] ppid=20215 vsize=2319400 memory=314084 CPUtime=2382.05 cores=1,3,5,7
/proc/20218/stat : 20218 (xcsp_picat) R 20215 20218 18978 0 -1 4202496 533843 0 0 0 237614 591 0 0 20 0 1 0 221112585 2375065600 78521 33554432000 4194304 5849708 140736093768704 140736093767704 140403451019143 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15171584 140736093775030 140736093775108 140736093775108 140736093777866 0
/proc/20218/statm: 579850 78521 765 405 0 576795 0
Current children cumulated CPU time: 2382.05 s
Current children cumulated vsize: 2319400 KiB
Current children cumulated memory: 314084 KiB
[startup+2442.3 s]
/proc/loadavg: 1.05 1.56 1.86 2/181 20389
/proc/meminfo: memFree=20491844/32770624 swapFree=67108688/67108860
[pid=20218] ppid=20215 vsize=2319400 memory=314084 CPUtime=2442.05 cores=1,3,5,7
/proc/20218/stat : 20218 (xcsp_picat) R 20215 20218 18978 0 -1 4202496 555070 0 0 0 243603 602 0 0 20 0 1 0 221112585 2375065600 78521 33554432000 4194304 5849708 140736093768704 140736093767704 5437670 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15171584 140736093775030 140736093775108 140736093775108 140736093777866 0
/proc/20218/statm: 579850 78521 765 405 0 576795 0
Current children cumulated CPU time: 2442.05 s
Current children cumulated vsize: 2319400 KiB
Current children cumulated memory: 314084 KiB
[startup+2502.3 s]
/proc/loadavg: 1.02 1.45 1.81 2/181 20390
/proc/meminfo: memFree=20426368/32770624 swapFree=67108688/67108860
[pid=20218] ppid=20215 vsize=2384936 memory=379620 CPUtime=2502.05 cores=1,3,5,7
/proc/20218/stat : 20218 (xcsp_picat) R 20215 20218 18978 0 -1 4202496 576548 0 0 0 249589 616 0 0 20 0 1 0 221112585 2442174464 94905 33554432000 4194304 5849708 140736093768704 140736093767704 5312614 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15171584 140736093775030 140736093775108 140736093775108 140736093777866 0
/proc/20218/statm: 596234 94905 765 405 0 593179 0
Current children cumulated CPU time: 2502.05 s
Current children cumulated vsize: 2384936 KiB
Current children cumulated memory: 379620 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 1.01 1.43 1.80 2/181 20396
/proc/meminfo: memFree=20425188/32770624 swapFree=67108688/67108860
[pid=20218] ppid=20215 vsize=2384936 memory=379620 CPUtime=2519.75 cores=1,3,5,7
/proc/20218/stat : 20218 (xcsp_picat) R 20215 20218 18978 0 -1 4202496 589982 0 0 0 251355 620 0 0 20 0 1 0 221112585 2442174464 94905 33554432000 4194304 5849708 140736093768704 140736093767704 140403451019143 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15171584 140736093775030 140736093775108 140736093775108 140736093777866 0
/proc/20218/statm: 596234 94905 765 405 0 593179 0
Current children cumulated CPU time: 2519.75 s
Current children cumulated vsize: 2384936 KiB
Current children cumulated memory: 379620 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 20218 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.55 s, system=6.21443 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520.02
CPU time (s): 2519.77
CPU user time (s): 2513.55
CPU system time (s): 6.21443
CPU usage (%): 99.9901
Max. virtual memory (cumulated for all children) (KiB): 2426928
Max. memory (cumulated for all children) (KiB): 421612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.55
system time used= 6.21443
maximum resident set size= 421612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 589982
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= 33
involuntary context switches= 838
# summary of solver processes directly reported to runsolver:
# pid: 20218
# total CPU time (s): 2519.77
# total CPU user time (s): 2513.55
# total CPU system time (s): 6.21443
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.34666 second user time and 19.7392 second system time
The end