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 (10663 MiB free)
memory of node 1: 16384 MiB (6418 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303332-1534029610/watcher-4303332-1534029610 -o /tmp/evaluation-result-4303332-1534029610/solver-4303332-1534029610 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1534027058-25372 --watchdog 2580 xcsp_picat HOME/instance-4303332-1534029610.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=25759, runsolver pid=25756
Current StackSize limit: 8192 KiB
[startup+0.100158 s]*
/proc/loadavg: 2.02 2.13 2.05 3/187 25760
/proc/meminfo: memFree=17478668/32770624 swapFree=67108796/67108860
[pid=25759] ppid=25756 vsize=2033868 memory=15120 CPUtime=0.1 cores=1,3,5,7
/proc/25759/stat : 25759 (xcsp_picat) R 25756 25759 25340 0 -1 4202496 1388 0 0 0 10 0 0 0 20 0 1 0 220524166 2082680832 3780 33554432000 4194304 5849708 140732581606544 140732581605640 140412530147207 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22261760 140732581614774 140732581614852 140732581614852 140732581617610 0
/proc/25759/statm: 508467 3780 687 405 0 505412 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2033868 KiB
Current children cumulated memory: 15120 KiB
[startup+0.209592 s]*
/proc/loadavg: 2.02 2.13 2.05 3/187 25760
/proc/meminfo: memFree=17477924/32770624 swapFree=67108796/67108860
[pid=25759] ppid=25756 vsize=2034000 memory=15380 CPUtime=0.21 cores=1,3,5,7
/proc/25759/stat : 25759 (xcsp_picat) R 25756 25759 25340 0 -1 4202496 1438 0 0 0 21 0 0 0 20 0 1 0 220524166 2082816000 3845 33554432000 4194304 5849708 140732581606544 140732581605640 140412530147207 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22261760 140732581614774 140732581614852 140732581614852 140732581617610 0
/proc/25759/statm: 508500 3845 688 405 0 505445 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2034000 KiB
Current children cumulated memory: 15380 KiB
[startup+0.308755 s]*
/proc/loadavg: 2.02 2.13 2.05 3/187 25760
/proc/meminfo: memFree=17477924/32770624 swapFree=67108796/67108860
[pid=25759] ppid=25756 vsize=2034000 memory=15380 CPUtime=0.31 cores=1,3,5,7
/proc/25759/stat : 25759 (xcsp_picat) R 25756 25759 25340 0 -1 4202496 1454 0 0 0 31 0 0 0 20 0 1 0 220524166 2082816000 3845 33554432000 4194304 5849708 140732581606544 140732581605640 140412530147207 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22261760 140732581614774 140732581614852 140732581614852 140732581617610 0
/proc/25759/statm: 508500 3845 688 405 0 505445 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2034000 KiB
Current children cumulated memory: 15380 KiB
[startup+0.700276 s]
/proc/loadavg: 2.02 2.13 2.05 3/187 25760
/proc/meminfo: memFree=17477552/32770624 swapFree=67108796/67108860
[pid=25759] ppid=25756 vsize=2034324 memory=15648 CPUtime=0.69 cores=1,3,5,7
/proc/25759/stat : 25759 (xcsp_picat) R 25756 25759 25340 0 -1 4202496 1552 0 0 0 69 0 0 0 20 0 1 0 220524166 2083147776 3912 33554432000 4194304 5849708 140732581606544 140732581605640 140412530147207 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22261760 140732581614774 140732581614852 140732581614852 140732581617610 0
/proc/25759/statm: 508581 3912 689 405 0 505526 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2034324 KiB
Current children cumulated memory: 15648 KiB
[startup+1.50028 s]
/proc/loadavg: 2.02 2.13 2.05 4/187 25760
/proc/meminfo: memFree=17481768/32770624 swapFree=67108796/67108860
[pid=25759] ppid=25756 vsize=2036496 memory=17828 CPUtime=1.49 cores=1,3,5,7
/proc/25759/stat : 25759 (xcsp_picat) R 25756 25759 25340 0 -1 4202496 2124 0 0 0 148 1 0 0 20 0 1 0 220524166 2085371904 4457 33554432000 4194304 5849708 140732581606544 140732581605768 5356062 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22261760 140732581614774 140732581614852 140732581614852 140732581617610 0
/proc/25759/statm: 509124 4457 708 405 0 506069 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2036496 KiB
Current children cumulated memory: 17828 KiB
[startup+3.10902 s]
/proc/loadavg: 2.02 2.13 2.05 4/187 25760
/proc/meminfo: memFree=17475320/32770624 swapFree=67108796/67108860
[pid=25759] ppid=25756 vsize=2037144 memory=18480 CPUtime=3.1 cores=1,3,5,7
/proc/25759/stat : 25759 (xcsp_picat) R 25756 25759 25340 0 -1 4202496 3397 0 0 0 307 3 0 0 20 0 1 0 220524166 2086035456 4620 33554432000 4194304 5849708 140732581606544 140732581605544 140412530147207 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22261760 140732581614774 140732581614852 140732581614852 140732581617610 0
/proc/25759/statm: 509286 4620 722 405 0 506231 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2037144 KiB
Current children cumulated memory: 18480 KiB
[startup+6.30027 s]
/proc/loadavg: 2.02 2.13 2.05 4/187 25760
/proc/meminfo: memFree=17478848/32770624 swapFree=67108796/67108860
[pid=25759] ppid=25756 vsize=2037368 memory=18692 CPUtime=6.29 cores=1,3,5,7
/proc/25759/stat : 25759 (xcsp_picat) R 25756 25759 25340 0 -1 4202496 6668 0 0 0 622 7 0 0 20 0 1 0 220524166 2086264832 4673 33554432000 4194304 5849708 140732581606544 140732581605544 140412530147207 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22261760 140732581614774 140732581614852 140732581614852 140732581617610 0
/proc/25759/statm: 509342 4673 722 405 0 506287 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2037368 KiB
Current children cumulated memory: 18692 KiB
[startup+12.7003 s]
/proc/loadavg: 2.01 2.13 2.05 4/187 25760
/proc/meminfo: memFree=17474672/32770624 swapFree=67108796/67108860
[pid=25759] ppid=25756 vsize=2038792 memory=20156 CPUtime=12.69 cores=1,3,5,7
/proc/25759/stat : 25759 (xcsp_picat) R 25756 25759 25340 0 -1 4202496 10777 0 0 0 1257 12 0 0 20 0 1 0 220524166 2087723008 5039 33554432000 4194304 5849708 140732581606544 140732581605544 140412530147207 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22261760 140732581614774 140732581614852 140732581614852 140732581617610 0
/proc/25759/statm: 509698 5039 722 405 0 506643 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2038792 KiB
Current children cumulated memory: 20156 KiB
[startup+25.5003 s]
/proc/loadavg: 2.01 2.12 2.05 4/187 25760
/proc/meminfo: memFree=17470356/32770624 swapFree=67108796/67108860
[pid=25759] ppid=25756 vsize=2043004 memory=24392 CPUtime=25.49 cores=1,3,5,7
/proc/25759/stat : 25759 (xcsp_picat) R 25756 25759 25340 0 -1 4202496 21342 0 0 0 2527 22 0 0 20 0 1 0 220524166 2092036096 6098 33554432000 4194304 5849708 140732581606544 140732581605544 5413360 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22261760 140732581614774 140732581614852 140732581614852 140732581617610 0
/proc/25759/statm: 510751 6098 722 405 0 507696 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2043004 KiB
Current children cumulated memory: 24392 KiB
[startup+51.1092 s]
/proc/loadavg: 2.01 2.11 2.05 4/187 25760
/proc/meminfo: memFree=17463540/32770624 swapFree=67108796/67108860
[pid=25759] ppid=25756 vsize=2045252 memory=26640 CPUtime=51.1 cores=1,3,5,7
/proc/25759/stat : 25759 (xcsp_picat) R 25756 25759 25340 0 -1 4202496 32792 0 0 0 5072 38 0 0 20 0 1 0 220524166 2094338048 6660 33554432000 4194304 5849708 140732581606544 140732581605704 140412530147207 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22261760 140732581614774 140732581614852 140732581614852 140732581617610 0
/proc/25759/statm: 511313 6660 722 405 0 508258 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2045252 KiB
Current children cumulated memory: 26640 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.09 2.05 4/187 25761
/proc/meminfo: memFree=17457760/32770624 swapFree=67108796/67108860
[pid=25759] ppid=25756 vsize=2045680 memory=27104 CPUtime=102.28 cores=1,3,5,7
/proc/25759/stat : 25759 (xcsp_picat) R 25756 25759 25340 0 -1 4202496 52183 0 0 0 10162 66 0 0 20 0 1 0 220524166 2094776320 6776 33554432000 4194304 5849708 140732581606544 140732581605544 140412530147207 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22261760 140732581614774 140732581614852 140732581614852 140732581617610 0
/proc/25759/statm: 511420 6776 722 405 0 508365 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2045680 KiB
Current children cumulated memory: 27104 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.08 2.05 4/187 25762
/proc/meminfo: memFree=17450772/32770624 swapFree=67108796/67108860
[pid=25759] ppid=25756 vsize=2052012 memory=33480 CPUtime=162.28 cores=1,3,5,7
/proc/25759/stat : 25759 (xcsp_picat) R 25756 25759 25340 0 -1 4202496 70082 0 0 0 16137 91 0 0 20 0 1 0 220524166 2101260288 8370 33554432000 4194304 5849708 140732581606544 140732581605544 140412530147207 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22261760 140732581614774 140732581614852 140732581614852 140732581617610 0
/proc/25759/statm: 513003 8370 722 405 0 509948 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2052012 KiB
Current children cumulated memory: 33480 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.06 2.05 4/187 25763
/proc/meminfo: memFree=17440404/32770624 swapFree=67108796/67108860
[pid=25759] ppid=25756 vsize=2051084 memory=32592 CPUtime=222.27 cores=1,3,5,7
/proc/25759/stat : 25759 (xcsp_picat) R 25756 25759 25340 0 -1 4202496 86560 0 0 0 22114 113 0 0 20 0 1 0 220524166 2100310016 8148 33554432000 4194304 5849708 140732581606544 140732581605544 140412530147207 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22261760 140732581614774 140732581614852 140732581614852 140732581617610 0
/proc/25759/statm: 512771 8148 722 405 0 509716 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 2051084 KiB
Current children cumulated memory: 32592 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.05 2.05 4/187 25764
/proc/meminfo: memFree=17446620/32770624 swapFree=67108796/67108860
[pid=25759] ppid=25756 vsize=2057620 memory=39080 CPUtime=282.27 cores=1,3,5,7
/proc/25759/stat : 25759 (xcsp_picat) R 25756 25759 25340 0 -1 4202496 101122 0 0 0 28090 137 0 0 20 0 1 0 220524166 2107002880 9770 33554432000 4194304 5849708 140732581606544 140732581605544 5356007 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22261760 140732581614774 140732581614852 140732581614852 140732581617610 0
/proc/25759/statm: 514405 9770 722 405 0 511350 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 2057620 KiB
Current children cumulated memory: 39080 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.04 2.05 4/187 25766
/proc/meminfo: memFree=17413980/32770624 swapFree=67108796/67108860
[pid=25759] ppid=25756 vsize=2067412 memory=48920 CPUtime=342.27 cores=1,3,5,7
/proc/25759/stat : 25759 (xcsp_picat) R 25756 25759 25340 0 -1 4202496 116903 0 0 0 34068 159 0 0 20 0 1 0 220524166 2117029888 12230 33554432000 4194304 5849708 140732581606544 140732581605544 140412530147207 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22261760 140732581614774 140732581614852 140732581614852 140732581617610 0
/proc/25759/statm: 516853 12230 722 405 0 513798 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 2067412 KiB
Current children cumulated memory: 48920 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.04 2.05 4/187 25767
/proc/meminfo: memFree=17454260/32770624 swapFree=67108796/67108860
[pid=25759] ppid=25756 vsize=2051904 memory=33412 CPUtime=402.27 cores=1,3,5,7
/proc/25759/stat : 25759 (xcsp_picat) R 25756 25759 25340 0 -1 4202496 130069 0 0 0 40049 178 0 0 20 0 1 0 220524166 2101149696 8353 33554432000 4194304 5849708 140732581606544 140732581605544 140412530147207 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22261760 140732581614774 140732581614852 140732581614852 140732581617610 0
/proc/25759/statm: 512976 8353 722 405 0 509921 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 2051904 KiB
Current children cumulated memory: 33412 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.05 4/187 25768
/proc/meminfo: memFree=17436784/32770624 swapFree=67108796/67108860
[pid=25759] ppid=25756 vsize=2054820 memory=36328 CPUtime=462.27 cores=1,3,5,7
/proc/25759/stat : 25759 (xcsp_picat) R 25756 25759 25340 0 -1 4202496 142964 0 0 0 46031 196 0 0 20 0 1 0 220524166 2104135680 9082 33554432000 4194304 5849708 140732581606544 140732581605544 140412530147207 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22261760 140732581614774 140732581614852 140732581614852 140732581617610 0
/proc/25759/statm: 513705 9082 722 405 0 510650 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 2054820 KiB
Current children cumulated memory: 36328 KiB
################
# More data... #
################
Current children cumulated memory: 45624 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 25788
/proc/meminfo: memFree=17387920/32770624 swapFree=67108796/67108860
[pid=25759] ppid=25756 vsize=2059192 memory=40768 CPUtime=1122.25 cores=1,3,5,7
/proc/25759/stat : 25759 (xcsp_picat) R 25756 25759 25340 0 -1 4202496 296569 0 0 0 111829 396 0 0 20 0 1 0 220524166 2108612608 10192 33554432000 4194304 5849708 140732581606544 140732581605544 140412530147207 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22261760 140732581614774 140732581614852 140732581614852 140732581617610 0
/proc/25759/statm: 514798 10192 722 405 0 511743 0
Current children cumulated CPU time: 1122.25 s
Current children cumulated vsize: 2059192 KiB
Current children cumulated memory: 40768 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 25789
/proc/meminfo: memFree=17391268/32770624 swapFree=67108796/67108860
[pid=25759] ppid=25756 vsize=2068760 memory=50336 CPUtime=1182.25 cores=1,3,5,7
/proc/25759/stat : 25759 (xcsp_picat) R 25756 25759 25340 0 -1 4202496 313214 0 0 0 117810 415 0 0 20 0 1 0 220524166 2118410240 12584 33554432000 4194304 5849708 140732581606544 140732581605544 140412530147207 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22261760 140732581614774 140732581614852 140732581614852 140732581617610 0
/proc/25759/statm: 517190 12584 722 405 0 514135 0
Current children cumulated CPU time: 1182.25 s
Current children cumulated vsize: 2068760 KiB
Current children cumulated memory: 50336 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/188 25798
/proc/meminfo: memFree=17381756/32770624 swapFree=67108796/67108860
[pid=25759] ppid=25756 vsize=2079608 memory=61048 CPUtime=1242.25 cores=1,3,5,7
/proc/25759/stat : 25759 (xcsp_picat) R 25756 25759 25340 0 -1 4202496 329107 0 0 0 123792 433 0 0 20 0 1 0 220524166 2129518592 15262 33554432000 4194304 5849708 140732581606544 140732581605032 140412530147207 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22261760 140732581614774 140732581614852 140732581614852 140732581617610 0
/proc/25759/statm: 519902 15262 722 405 0 516847 0
Current children cumulated CPU time: 1242.25 s
Current children cumulated vsize: 2079608 KiB
Current children cumulated memory: 61048 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/188 25799
/proc/meminfo: memFree=17396436/32770624 swapFree=67108796/67108860
[pid=25759] ppid=25756 vsize=2074856 memory=63528 CPUtime=1302.23 cores=1,3,5,7
/proc/25759/stat : 25759 (xcsp_picat) R 25756 25759 25340 0 -1 4202496 336865 0 0 0 129775 448 0 0 20 0 1 0 220524166 2124652544 15882 33554432000 4194304 5849708 140732581606544 140732581605544 140412530147207 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22261760 140732581614774 140732581614852 140732581614852 140732581617610 0
/proc/25759/statm: 518714 15882 722 405 0 515659 0
Current children cumulated CPU time: 1302.23 s
Current children cumulated vsize: 2074856 KiB
Current children cumulated memory: 63528 KiB
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/188 25800
/proc/meminfo: memFree=17376516/32770624 swapFree=67108796/67108860
[pid=25759] ppid=25756 vsize=2075116 memory=63788 CPUtime=1362.24 cores=1,3,5,7
/proc/25759/stat : 25759 (xcsp_picat) R 25756 25759 25340 0 -1 4202496 344272 0 0 0 135757 467 0 0 20 0 1 0 220524166 2124918784 15947 33554432000 4194304 5849708 140732581606544 140732581605544 140412530147207 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22261760 140732581614774 140732581614852 140732581614852 140732581617610 0
/proc/25759/statm: 518779 15947 722 405 0 515724 0
Current children cumulated CPU time: 1362.24 s
Current children cumulated vsize: 2075116 KiB
Current children cumulated memory: 63788 KiB
[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/188 25801
/proc/meminfo: memFree=17384252/32770624 swapFree=67108796/67108860
[pid=25759] ppid=25756 vsize=2076508 memory=65176 CPUtime=1422.23 cores=1,3,5,7
/proc/25759/stat : 25759 (xcsp_picat) R 25756 25759 25340 0 -1 4202496 357150 0 0 0 141741 482 0 0 20 0 1 0 220524166 2126344192 16294 33554432000 4194304 5849708 140732581606544 140732581605544 140412530147207 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22261760 140732581614774 140732581614852 140732581614852 140732581617610 0
/proc/25759/statm: 519127 16294 722 405 0 516072 0
Current children cumulated CPU time: 1422.23 s
Current children cumulated vsize: 2076508 KiB
Current children cumulated memory: 65176 KiB
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/188 25802
/proc/meminfo: memFree=17386552/32770624 swapFree=67108796/67108860
[pid=25759] ppid=25756 vsize=2066064 memory=54804 CPUtime=1482.23 cores=1,3,5,7
/proc/25759/stat : 25759 (xcsp_picat) R 25756 25759 25340 0 -1 4202496 363921 0 0 0 147726 497 0 0 20 0 1 0 220524166 2115649536 13701 33554432000 4194304 5849708 140732581606544 140732581605192 5398310 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22261760 140732581614774 140732581614852 140732581614852 140732581617610 0
/proc/25759/statm: 516516 13701 722 405 0 513461 0
Current children cumulated CPU time: 1482.23 s
Current children cumulated vsize: 2066064 KiB
Current children cumulated memory: 54804 KiB
[startup+1499.13 s]
# the end of solver process 25759 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1494.05 s, system=5.01782 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1484.8 s]
/proc/loadavg: 2.00 2.01 2.05 4/188 25802
/proc/meminfo: memFree=17368288/32770624 swapFree=67108796/67108860
[pid=25759] ppid=25756 vsize=2077000 memory=65488 CPUtime=1484.73 cores=1,3,5,7
/proc/25759/stat : 25759 (xcsp_picat) R 25756 25759 25340 0 -1 4202496 365651 0 0 0 147975 498 0 0 20 0 1 0 220524166 2126848000 16372 33554432000 4194304 5849708 140732581606544 140732581605544 140412530147207 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22261760 140732581614774 140732581614852 140732581614852 140732581617610 0
/proc/25759/statm: 519250 16372 722 405 0 516195 0
Current children cumulated CPU time: 1484.73 s
Current children cumulated vsize: 2077000 KiB
Current children cumulated memory: 65488 KiB
[startup+1491.2 s]
/proc/loadavg: 2.00 2.01 2.05 4/188 25802
/proc/meminfo: memFree=17341236/32770624 swapFree=67108796/67108860
[pid=25759] ppid=25756 vsize=2077028 memory=65748 CPUtime=1491.13 cores=1,3,5,7
/proc/25759/stat : 25759 (xcsp_picat) R 25756 25759 25340 0 -1 4202496 365659 0 0 0 148614 499 0 0 20 0 1 0 220524166 2126876672 16437 33554432000 4194304 5849708 140732581606544 140732581605544 5335622 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22261760 140732581614774 140732581614852 140732581614852 140732581617610 0
/proc/25759/statm: 519257 16437 722 405 0 516202 0
Current children cumulated CPU time: 1491.13 s
Current children cumulated vsize: 2077028 KiB
Current children cumulated memory: 65748 KiB
[startup+1494.4 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 25802
/proc/meminfo: memFree=17341252/32770624 swapFree=67108796/67108860
[pid=25759] ppid=25756 vsize=2077028 memory=65748 CPUtime=1494.33 cores=1,3,5,7
/proc/25759/stat : 25759 (xcsp_picat) R 25756 25759 25340 0 -1 4202496 365659 0 0 0 148933 500 0 0 20 0 1 0 220524166 2126876672 16437 33554432000 4194304 5849708 140732581606544 140732581605544 5437714 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22261760 140732581614774 140732581614852 140732581614852 140732581617610 0
/proc/25759/statm: 519257 16437 722 405 0 516202 0
Current children cumulated CPU time: 1494.33 s
Current children cumulated vsize: 2077028 KiB
Current children cumulated memory: 65748 KiB
[startup+1497.6 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 25802
/proc/meminfo: memFree=17341252/32770624 swapFree=67108796/67108860
[pid=25759] ppid=25756 vsize=2077028 memory=65748 CPUtime=1497.53 cores=1,3,5,7
/proc/25759/stat : 25759 (xcsp_picat) R 25756 25759 25340 0 -1 4202496 365659 0 0 0 149252 501 0 0 20 0 1 0 220524166 2126876672 16437 33554432000 4194304 5849708 140732581606544 140732581605704 140412530147207 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22261760 140732581614774 140732581614852 140732581614852 140732581617610 0
/proc/25759/statm: 519257 16437 722 405 0 516202 0
Current children cumulated CPU time: 1497.53 s
Current children cumulated vsize: 2077028 KiB
Current children cumulated memory: 65748 KiB
[startup+1498.4 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 25802
/proc/meminfo: memFree=17341252/32770624 swapFree=67108796/67108860
[pid=25759] ppid=25756 vsize=2077028 memory=65748 CPUtime=1498.33 cores=1,3,5,7
/proc/25759/stat : 25759 (xcsp_picat) R 25756 25759 25340 0 -1 4202496 365659 0 0 0 149332 501 0 0 20 0 1 0 220524166 2126876672 16437 33554432000 4194304 5849708 140732581606544 140732581605704 5437636 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22261760 140732581614774 140732581614852 140732581614852 140732581617610 0
/proc/25759/statm: 519257 16437 722 405 0 516202 0
Current children cumulated CPU time: 1498.33 s
Current children cumulated vsize: 2077028 KiB
Current children cumulated memory: 65748 KiB
[startup+1498.8 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 25802
/proc/meminfo: memFree=17341252/32770624 swapFree=67108796/67108860
[pid=25759] ppid=25756 vsize=2077028 memory=65748 CPUtime=1498.73 cores=1,3,5,7
/proc/25759/stat : 25759 (xcsp_picat) R 25756 25759 25340 0 -1 4202496 365659 0 0 0 149372 501 0 0 20 0 1 0 220524166 2126876672 16437 33554432000 4194304 5849708 140732581606544 140732581605544 140412530147207 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22261760 140732581614774 140732581614852 140732581614852 140732581617610 0
/proc/25759/statm: 519257 16437 722 405 0 516202 0
Current children cumulated CPU time: 1498.73 s
Current children cumulated vsize: 2077028 KiB
Current children cumulated memory: 65748 KiB
[startup+1499 s]*
/proc/loadavg: 2.00 2.01 2.05 4/187 25802
/proc/meminfo: memFree=17341252/32770624 swapFree=67108796/67108860
[pid=25759] ppid=25756 vsize=2077028 memory=65748 CPUtime=1498.94 cores=1,3,5,7
/proc/25759/stat : 25759 (xcsp_picat) R 25756 25759 25340 0 -1 4202496 365659 0 0 0 149393 501 0 0 20 0 1 0 220524166 2126876672 16437 33554432000 4194304 5849708 140732581606544 140732581605544 140412530147207 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22261760 140732581614774 140732581614852 140732581614852 140732581617610 0
/proc/25759/statm: 519257 16437 722 405 0 516202 0
Current children cumulated CPU time: 1498.94 s
Current children cumulated vsize: 2077028 KiB
Current children cumulated memory: 65748 KiB
[startup+1499.11 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 25802
/proc/meminfo: memFree=17341252/32770624 swapFree=67108796/67108860
[pid=25759] ppid=25756 vsize=2077028 memory=65748 CPUtime=1499.04 cores=1,3,5,7
/proc/25759/stat : 25759 (xcsp_picat) R 25756 25759 25340 0 -1 4202496 365659 0 0 0 149403 501 0 0 20 0 1 0 220524166 2126876672 16437 33554432000 4194304 5849708 140732581606544 140732581605544 140412530147207 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22261760 140732581614774 140732581614852 140732581614852 140732581617610 0
/proc/25759/statm: 519257 16437 722 405 0 516202 0
Current children cumulated CPU time: 1499.04 s
Current children cumulated vsize: 2077028 KiB
Current children cumulated memory: 65748 KiB
Child status: 0
Real time (s): 1499.13
CPU time (s): 1499.06
CPU user time (s): 1494.05
CPU system time (s): 5.01782
CPU usage (%): 99.9959
Max. virtual memory (cumulated for all children) (KiB): 2080732
Max. memory (cumulated for all children) (KiB): 69400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1494.05
system time used= 5.01782
maximum resident set size= 69400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 365682
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= 13
involuntary context switches= 1235
# summary of solver processes directly reported to runsolver:
# pid: 25759
# total CPU time (s): 1499.06
# total CPU user time (s): 1494.05
# total CPU system time (s): 5.01782
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.65667 second user time and 10.1741 second system time
The end