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 (13462 MiB free)
memory of node 1: 16384 MiB (12011 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407567-1569509642/watcher-4407567-1569509642 -o /var/tmp/evaluation-result-4407567-1569509642/solver-4407567-1569509642 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node105-1569505940-32389 --watchdog 2560 xcsp_picat HOME/instance-4407567-1569509642.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=32415, runsolver pid=32410
[startup+0.100254 s]*
/proc/loadavg: 0.00 0.01 0.05 4/199 32419
/proc/meminfo: memFree=26045928/32770624 swapFree=66957812/67108860
[pid=32415] ppid=32410 vsize=2036916 memory=20740 CPUtime=0.1 cores=1,3,5,7
/proc/32415/stat : 32415 (xcsp_picat) R 32410 32415 32357 0 -1 4202496 2305 0 0 0 10 0 0 0 20 0 1 0 527221875 2085801984 5185 33554432000 4194304 5870510 140727069557584 140727069554728 139921736707975 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 30912512 140727069561863 140727069561945 140727069561945 140727069564870 0
/proc/32415/statm: 509229 5185 936 410 0 504702 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2036916 KiB
Current children cumulated memory: 20740 KiB
[startup+0.209816 s]*
/proc/loadavg: 0.00 0.01 0.05 3/197 32419
/proc/meminfo: memFree=26066812/32770624 swapFree=66957812/67108860
[pid=32415] ppid=32410 vsize=2036916 memory=20740 CPUtime=0.21 cores=1,3,5,7
/proc/32415/stat : 32415 (xcsp_picat) R 32410 32415 32357 0 -1 4202496 2319 0 0 0 21 0 0 0 20 0 1 0 527221875 2085801984 5185 33554432000 4194304 5870510 140727069557584 140727069554728 5477013 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 30912512 140727069561863 140727069561945 140727069561945 140727069564870 0
/proc/32415/statm: 509229 5185 936 410 0 504702 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2036916 KiB
Current children cumulated memory: 20740 KiB
[startup+0.309051 s]*
/proc/loadavg: 0.00 0.01 0.05 2/194 32427
/proc/meminfo: memFree=26067712/32770624 swapFree=66957812/67108860
[pid=32415] ppid=32410 vsize=2037628 memory=21976 CPUtime=0.31 cores=1,3,5,7
/proc/32415/stat : 32415 (xcsp_picat) R 32410 32415 32357 0 -1 4202496 2637 0 0 0 31 0 0 0 20 0 1 0 527221875 2086531072 5494 33554432000 4194304 5870510 140727069557584 140727069554728 139921736707975 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 30912512 140727069561863 140727069561945 140727069561945 140727069564870 0
/proc/32415/statm: 509407 5494 953 410 0 504880 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2037628 KiB
Current children cumulated memory: 21976 KiB
[startup+0.70031 s]
/proc/loadavg: 0.24 0.06 0.06 2/194 32427
/proc/meminfo: memFree=26067712/32770624 swapFree=66957812/67108860
[pid=32415] ppid=32410 vsize=2037804 memory=22140 CPUtime=0.69 cores=1,3,5,7
/proc/32415/stat : 32415 (xcsp_picat) R 32410 32415 32357 0 -1 4202496 2652 0 0 0 69 0 0 0 20 0 1 0 527221875 2086711296 5535 33554432000 4194304 5870510 140727069557584 140727069554728 5478371 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 30912512 140727069561863 140727069561945 140727069561945 140727069564870 0
/proc/32415/statm: 509451 5535 953 410 0 504924 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2037804 KiB
Current children cumulated memory: 22140 KiB
[startup+1.50023 s]
/proc/loadavg: 0.24 0.06 0.06 2/196 32448
/proc/meminfo: memFree=26066024/32770624 swapFree=66957812/67108860
[pid=32415] ppid=32410 vsize=2036052 memory=24040 CPUtime=1.49 cores=1,3,5,7
/proc/32415/stat : 32415 (xcsp_picat) R 32410 32415 32357 0 -1 4202496 3349 0 0 0 149 0 0 0 20 0 1 0 527221875 2084917248 6010 33554432000 4194304 5870510 140727069557584 140727069555944 5267727 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 30912512 140727069561863 140727069561945 140727069561945 140727069564870 0
/proc/32415/statm: 509013 6010 983 410 0 504486 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2036052 KiB
Current children cumulated memory: 24040 KiB
[startup+3.10944 s]
/proc/loadavg: 0.24 0.06 0.06 3/199 32480
/proc/meminfo: memFree=26009500/32770624 swapFree=66957812/67108860
[pid=32415] ppid=32410 vsize=2049052 memory=36312 CPUtime=3.1 cores=1,3,5,7
/proc/32415/stat : 32415 (xcsp_picat) R 32410 32415 32357 0 -1 4202496 6741 0 0 0 309 1 0 0 20 0 1 0 527221875 2098229248 9078 33554432000 4194304 5870510 140727069557584 140727069555944 5282606 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 30912512 140727069561863 140727069561945 140727069561945 140727069564870 0
/proc/32415/statm: 512263 9078 984 410 0 507736 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2049052 KiB
Current children cumulated memory: 36312 KiB
[startup+6.30026 s]
/proc/loadavg: 0.30 0.08 0.07 3/199 32480
/proc/meminfo: memFree=26000656/32770624 swapFree=66957812/67108860
[pid=32415] ppid=32410 vsize=2056192 memory=35408 CPUtime=6.29 cores=1,3,5,7
/proc/32415/stat : 32415 (xcsp_picat) R 32410 32415 32357 0 -1 4202496 9426 0 0 0 627 2 0 0 20 0 1 0 527221875 2105540608 8852 33554432000 4194304 5870510 140727069557584 140727069556696 5282680 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 30912512 140727069561863 140727069561945 140727069561945 140727069564870 0
/proc/32415/statm: 514048 8852 991 410 0 509521 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2056192 KiB
Current children cumulated memory: 35408 KiB
[startup+12.7003 s]
/proc/loadavg: 0.44 0.11 0.08 3/199 32480
/proc/meminfo: memFree=25989084/32770624 swapFree=66957812/67108860
[pid=32415] ppid=32410 vsize=2059200 memory=47440 CPUtime=12.69 cores=1,3,5,7
/proc/32415/stat : 32415 (xcsp_picat) R 32410 32415 32357 0 -1 4202496 14187 0 0 0 1267 2 0 0 20 0 1 0 527221875 2108620800 11860 33554432000 4194304 5870510 140727069557584 140727069556152 5283052 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 30912512 140727069561863 140727069561945 140727069561945 140727069564870 0
/proc/32415/statm: 514800 11860 991 410 0 510273 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2059200 KiB
Current children cumulated memory: 47440 KiB
[startup+25.5003 s]
/proc/loadavg: 0.68 0.17 0.10 3/200 32482
/proc/meminfo: memFree=26002084/32770624 swapFree=66957812/67108860
[pid=32415] ppid=32410 vsize=2059340 memory=46900 CPUtime=25.49 cores=1,3,5,7
/proc/32415/stat : 32415 (xcsp_picat) R 32410 32415 32357 0 -1 4202496 20109 0 0 0 2546 3 0 0 20 0 1 0 527221875 2108764160 11725 33554432000 4194304 5870510 140727069557584 140727069556760 5262976 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 30912512 140727069561863 140727069561945 140727069561945 140727069564870 0
/proc/32415/statm: 514835 11725 991 410 0 510308 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2059340 KiB
Current children cumulated memory: 46900 KiB
[startup+51.1095 s]
/proc/loadavg: 1.20 0.35 0.16 3/198 32482
/proc/meminfo: memFree=25989268/32770624 swapFree=66957812/67108860
[pid=32415] ppid=32410 vsize=2066808 memory=55088 CPUtime=51.11 cores=1,3,5,7
/proc/32415/stat : 32415 (xcsp_picat) R 32410 32415 32357 0 -1 4202496 27161 0 0 0 5107 4 0 0 20 0 1 0 527221875 2116411392 13772 33554432000 4194304 5870510 140727069557584 140727069556696 5282531 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 30912512 140727069561863 140727069561945 140727069561945 140727069564870 0
/proc/32415/statm: 516702 13772 991 410 0 512175 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 2066808 KiB
Current children cumulated memory: 55088 KiB
[startup+102.3 s]
/proc/loadavg: 1.65 0.60 0.25 3/199 32487
/proc/meminfo: memFree=25972704/32770624 swapFree=66957812/67108860
[pid=32415] ppid=32410 vsize=2075536 memory=66120 CPUtime=102.3 cores=1,3,5,7
/proc/32415/stat : 32415 (xcsp_picat) R 32410 32415 32357 0 -1 4202496 32301 0 0 0 10226 4 0 0 20 0 1 0 527221875 2125348864 16530 33554432000 4194304 5870510 140727069557584 140727069556152 5274516 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 30912512 140727069561863 140727069561945 140727069561945 140727069564870 0
/proc/32415/statm: 518884 16530 991 410 0 514357 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 2075536 KiB
Current children cumulated memory: 66120 KiB
[startup+162.3 s]
/proc/loadavg: 1.87 0.86 0.36 3/198 32494
/proc/meminfo: memFree=25979240/32770624 swapFree=66957812/67108860
[pid=32415] ppid=32410 vsize=2071408 memory=61996 CPUtime=162.3 cores=1,3,5,7
/proc/32415/stat : 32415 (xcsp_picat) R 32410 32415 32357 0 -1 4202496 35948 0 0 0 16225 5 0 0 20 0 1 0 527221875 2121121792 15499 33554432000 4194304 5870510 140727069557584 140727069556152 5282721 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 30912512 140727069561863 140727069561945 140727069561945 140727069564870 0
/proc/32415/statm: 517852 15499 991 410 0 513325 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 2071408 KiB
Current children cumulated memory: 61996 KiB
[startup+222.3 s]
/proc/loadavg: 1.95 1.07 0.47 3/198 32561
/proc/meminfo: memFree=24947644/32770624 swapFree=66957812/67108860
[pid=32415] ppid=32410 vsize=2066340 memory=56796 CPUtime=222.31 cores=1,3,5,7
/proc/32415/stat : 32415 (xcsp_picat) R 32410 32415 32357 0 -1 4202496 41281 0 0 0 22224 7 0 0 20 0 1 0 527221875 2115932160 14199 33554432000 4194304 5870510 140727069557584 140727069556024 5262802 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 30912512 140727069561863 140727069561945 140727069561945 140727069564870 0
/proc/32415/statm: 516585 14199 991 410 0 512058 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 2066340 KiB
Current children cumulated memory: 56796 KiB
[startup+282.3 s]
/proc/loadavg: 1.98 1.24 0.56 3/198 32565
/proc/meminfo: memFree=24949036/32770624 swapFree=66957812/67108860
[pid=32415] ppid=32410 vsize=2067496 memory=55144 CPUtime=282.32 cores=1,3,5,7
/proc/32415/stat : 32415 (xcsp_picat) R 32410 32415 32357 0 -1 4202496 46266 0 0 0 28223 9 0 0 20 0 1 0 527221875 2117115904 13786 33554432000 4194304 5870510 140727069557584 140727069556024 5282597 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 30912512 140727069561863 140727069561945 140727069561945 140727069564870 0
/proc/32415/statm: 516874 13786 991 410 0 512347 0
Current children cumulated CPU time: 282.32 s
Current children cumulated vsize: 2067496 KiB
Current children cumulated memory: 55144 KiB
[startup+342.3 s]
/proc/loadavg: 1.99 1.37 0.65 3/199 32572
/proc/meminfo: memFree=24950384/32770624 swapFree=66957812/67108860
[pid=32415] ppid=32410 vsize=2066652 memory=53904 CPUtime=342.32 cores=1,3,5,7
/proc/32415/stat : 32415 (xcsp_picat) R 32410 32415 32357 0 -1 4202496 49914 0 0 0 34222 10 0 0 20 0 1 0 527221875 2116251648 13476 33554432000 4194304 5870510 140727069557584 140727069556024 5272987 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 30912512 140727069561863 140727069561945 140727069561945 140727069564870 0
/proc/32415/statm: 516663 13476 991 410 0 512136 0
Current children cumulated CPU time: 342.32 s
Current children cumulated vsize: 2066652 KiB
Current children cumulated memory: 53904 KiB
[startup+402.3 s]
/proc/loadavg: 2.07 1.51 0.74 3/198 32576
/proc/meminfo: memFree=24926612/32770624 swapFree=66957812/67108860
[pid=32415] ppid=32410 vsize=2088324 memory=77860 CPUtime=402.33 cores=1,3,5,7
/proc/32415/stat : 32415 (xcsp_picat) R 32410 32415 32357 0 -1 4202496 53958 0 0 0 40222 11 0 0 20 0 1 0 527221875 2138443776 19465 33554432000 4194304 5870510 140727069557584 140727069556152 5282721 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 30912512 140727069561863 140727069561945 140727069561945 140727069564870 0
/proc/32415/statm: 522081 19465 991 410 0 517554 0
Current children cumulated CPU time: 402.33 s
Current children cumulated vsize: 2088324 KiB
Current children cumulated memory: 77860 KiB
[startup+462.3 s]
/proc/loadavg: 2.03 1.60 0.82 3/199 32588
/proc/meminfo: memFree=24934192/32770624 swapFree=66957812/67108860
[pid=32415] ppid=32410 vsize=2079940 memory=70084 CPUtime=462.34 cores=1,3,5,7
/proc/32415/stat : 32415 (xcsp_picat) R 32410 32415 32357 0 -1 4202496 57134 0 0 0 46221 13 0 0 20 0 1 0 527221875 2129858560 17521 33554432000 4194304 5870510 140727069557584 140727069556152 5282759 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 30912512 140727069561863 140727069561945 140727069561945 140727069564870 0
/proc/32415/statm: 519985 17521 991 410 0 515458 0
Current children cumulated CPU time: 462.34 s
Current children cumulated vsize: 2079940 KiB
Current children cumulated memory: 70084 KiB
################
# More data... #
################
Current children cumulated memory: 31120 KiB
[startup+882.3 s]
/proc/loadavg: 2.00 1.90 1.25 3/199 32644
/proc/meminfo: memFree=24928396/32770624 swapFree=66957812/67108860
[pid=32415] ppid=32410 vsize=2084652 memory=75800 CPUtime=882.39 cores=1,3,5,7
/proc/32415/stat : 32415 (xcsp_picat) R 32410 32415 32357 0 -1 4202496 84725 0 0 0 88217 22 0 0 20 0 1 0 527221875 2134683648 18950 33554432000 4194304 5870510 140727069557584 140727069556152 5288789 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 30912512 140727069561863 140727069561945 140727069561945 140727069564870 0
/proc/32415/statm: 521163 18950 991 410 0 516636 0
Current children cumulated CPU time: 882.39 s
Current children cumulated vsize: 2084652 KiB
Current children cumulated memory: 75800 KiB
[startup+942.3 s]
/proc/loadavg: 2.04 1.93 1.30 3/198 32648
/proc/meminfo: memFree=24937464/32770624 swapFree=66957812/67108860
[pid=32415] ppid=32410 vsize=2077180 memory=65736 CPUtime=942.4 cores=1,3,5,7
/proc/32415/stat : 32415 (xcsp_picat) R 32410 32415 32357 0 -1 4202496 88331 0 0 0 94217 23 0 0 20 0 1 0 527221875 2127032320 16434 33554432000 4194304 5870510 140727069557584 140727069556152 5272535 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 30912512 140727069561863 140727069561945 140727069561945 140727069564870 0
/proc/32415/statm: 519295 16434 991 410 0 514768 0
Current children cumulated CPU time: 942.4 s
Current children cumulated vsize: 2077180 KiB
Current children cumulated memory: 65736 KiB
[startup+1002.3 s]
/proc/loadavg: 2.01 1.94 1.35 3/198 32652
/proc/meminfo: memFree=24949600/32770624 swapFree=66957812/67108860
[pid=32415] ppid=32410 vsize=2066868 memory=53756 CPUtime=1002.41 cores=1,3,5,7
/proc/32415/stat : 32415 (xcsp_picat) R 32410 32415 32357 0 -1 4202496 91722 0 0 0 100216 25 0 0 20 0 1 0 527221875 2116472832 13439 33554432000 4194304 5870510 140727069557584 140727069556024 139921741927344 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 30912512 140727069561863 140727069561945 140727069561945 140727069564870 0
/proc/32415/statm: 516717 13439 991 410 0 512190 0
Current children cumulated CPU time: 1002.41 s
Current children cumulated vsize: 2066868 KiB
Current children cumulated memory: 53756 KiB
[startup+1062.3 s]
/proc/loadavg: 2.01 1.96 1.39 3/200 32667
/proc/meminfo: memFree=24928696/32770624 swapFree=66957812/67108860
[pid=32415] ppid=32410 vsize=2083328 memory=73632 CPUtime=1062.41 cores=1,3,5,7
/proc/32415/stat : 32415 (xcsp_picat) R 32410 32415 32357 0 -1 4202496 93145 0 0 0 106216 25 0 0 20 0 1 0 527221875 2133327872 18408 33554432000 4194304 5870510 140727069557584 140727069556152 5278132 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 30912512 140727069561863 140727069561945 140727069561945 140727069564870 0
/proc/32415/statm: 520832 18408 991 410 0 516305 0
Current children cumulated CPU time: 1062.41 s
Current children cumulated vsize: 2083328 KiB
Current children cumulated memory: 73632 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 1.96 1.42 3/199 32671
/proc/meminfo: memFree=24935380/32770624 swapFree=66957812/67108860
[pid=32415] ppid=32410 vsize=2077152 memory=68232 CPUtime=1122.42 cores=1,3,5,7
/proc/32415/stat : 32415 (xcsp_picat) R 32410 32415 32357 0 -1 4202496 99041 0 0 0 112216 26 0 0 20 0 1 0 527221875 2127003648 17058 33554432000 4194304 5870510 140727069557584 140727069556152 5274383 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 30912512 140727069561863 140727069561945 140727069561945 140727069564870 0
/proc/32415/statm: 519288 17058 991 410 0 514761 0
Current children cumulated CPU time: 1122.42 s
Current children cumulated vsize: 2077152 KiB
Current children cumulated memory: 68232 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.46 3/199 32675
/proc/meminfo: memFree=24949452/32770624 swapFree=66957812/67108860
[pid=32415] ppid=32410 vsize=2063600 memory=54576 CPUtime=1182.43 cores=1,3,5,7
/proc/32415/stat : 32415 (xcsp_picat) R 32410 32415 32357 0 -1 4202496 102404 0 0 0 118216 27 0 0 20 0 1 0 527221875 2113126400 13644 33554432000 4194304 5870510 140727069557584 140727069556152 5283087 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 30912512 140727069561863 140727069561945 140727069561945 140727069564870 0
/proc/32415/statm: 515900 13644 991 410 0 511373 0
Current children cumulated CPU time: 1182.43 s
Current children cumulated vsize: 2063600 KiB
Current children cumulated memory: 54576 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.50 3/200 32681
/proc/meminfo: memFree=24949996/32770624 swapFree=66957812/67108860
[pid=32415] ppid=32410 vsize=2066604 memory=53844 CPUtime=1242.44 cores=1,3,5,7
/proc/32415/stat : 32415 (xcsp_picat) R 32410 32415 32357 0 -1 4202496 105049 0 0 0 124216 28 0 0 20 0 1 0 527221875 2116202496 13461 33554432000 4194304 5870510 140727069557584 140727069556024 5282574 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 30912512 140727069561863 140727069561945 140727069561945 140727069564870 0
/proc/32415/statm: 516651 13461 991 410 0 512124 0
Current children cumulated CPU time: 1242.44 s
Current children cumulated vsize: 2066604 KiB
Current children cumulated memory: 53844 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 1.98 1.53 3/199 32685
/proc/meminfo: memFree=24930256/32770624 swapFree=66957812/67108860
[pid=32415] ppid=32410 vsize=2083080 memory=73240 CPUtime=1302.45 cores=1,3,5,7
/proc/32415/stat : 32415 (xcsp_picat) R 32410 32415 32357 0 -1 4202496 107470 0 0 0 130216 29 0 0 20 0 1 0 527221875 2133073920 18310 33554432000 4194304 5870510 140727069557584 140727069556152 5283106 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 30912512 140727069561863 140727069561945 140727069561945 140727069564870 0
/proc/32415/statm: 520770 18310 991 410 0 516243 0
Current children cumulated CPU time: 1302.45 s
Current children cumulated vsize: 2083080 KiB
Current children cumulated memory: 73240 KiB
[startup+1362.3 s]
/proc/loadavg: 2.00 1.99 1.55 3/198 32689
/proc/meminfo: memFree=24950768/32770624 swapFree=66957812/67108860
[pid=32415] ppid=32410 vsize=2062360 memory=53456 CPUtime=1362.45 cores=1,3,5,7
/proc/32415/stat : 32415 (xcsp_picat) R 32410 32415 32357 0 -1 4202496 113850 0 0 0 136215 30 0 0 20 0 1 0 527221875 2111856640 13364 33554432000 4194304 5870510 140727069557584 140727069556152 5283135 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 30912512 140727069561863 140727069561945 140727069561945 140727069564870 0
/proc/32415/statm: 515590 13364 991 410 0 511063 0
Current children cumulated CPU time: 1362.45 s
Current children cumulated vsize: 2062360 KiB
Current children cumulated memory: 53456 KiB
[startup+1422.3 s]
/proc/loadavg: 2.05 2.00 1.59 3/199 32695
/proc/meminfo: memFree=24923360/32770624 swapFree=66957812/67108860
[pid=32415] ppid=32410 vsize=2092460 memory=80528 CPUtime=1422.47 cores=1,3,5,7
/proc/32415/stat : 32415 (xcsp_picat) R 32410 32415 32357 0 -1 4202496 116052 0 0 0 142216 31 0 0 20 0 1 0 527221875 2142679040 20132 33554432000 4194304 5870510 140727069557584 140727069556024 5282590 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 30912512 140727069561863 140727069561945 140727069561945 140727069564870 0
/proc/32415/statm: 523115 20132 991 410 0 518588 0
Current children cumulated CPU time: 1422.47 s
Current children cumulated vsize: 2092460 KiB
Current children cumulated memory: 80528 KiB
[startup+1426.59 s]
# the end of solver process 32415 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1426.45 s, system=0.313038 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1424 s]*
/proc/loadavg: 2.05 2.00 1.59 3/199 32695
/proc/meminfo: memFree=24923360/32770624 swapFree=66957812/67108860
[pid=32415] ppid=32410 vsize=2092460 memory=80528 CPUtime=1424.17 cores=1,3,5,7
/proc/32415/stat : 32415 (xcsp_picat) R 32410 32415 32357 0 -1 4202496 116052 0 0 0 142386 31 0 0 20 0 1 0 527221875 2142679040 20132 33554432000 4194304 5870510 140727069557584 140727069556024 5283135 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 30912512 140727069561863 140727069561945 140727069561945 140727069564870 0
/proc/32415/statm: 523115 20132 991 410 0 518588 0
Current children cumulated CPU time: 1424.17 s
Current children cumulated vsize: 2092460 KiB
Current children cumulated memory: 80528 KiB
[startup+1425.6 s]
/proc/loadavg: 2.05 2.00 1.59 3/199 32695
/proc/meminfo: memFree=24923476/32770624 swapFree=66957812/67108860
[pid=32415] ppid=32410 vsize=2092460 memory=80528 CPUtime=1425.77 cores=1,3,5,7
/proc/32415/stat : 32415 (xcsp_picat) R 32410 32415 32357 0 -1 4202496 116052 0 0 0 142546 31 0 0 20 0 1 0 527221875 2142679040 20132 33554432000 4194304 5870510 140727069557584 140727069556024 5282519 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 30912512 140727069561863 140727069561945 140727069561945 140727069564870 0
/proc/32415/statm: 523115 20132 991 410 0 518588 0
Current children cumulated CPU time: 1425.77 s
Current children cumulated vsize: 2092460 KiB
Current children cumulated memory: 80528 KiB
[startup+1426 s]*
/proc/loadavg: 2.05 2.00 1.59 3/199 32695
/proc/meminfo: memFree=24923784/32770624 swapFree=66957812/67108860
[pid=32415] ppid=32410 vsize=2092460 memory=80528 CPUtime=1426.17 cores=1,3,5,7
/proc/32415/stat : 32415 (xcsp_picat) R 32410 32415 32357 0 -1 4202496 116052 0 0 0 142586 31 0 0 20 0 1 0 527221875 2142679040 20132 33554432000 4194304 5870510 140727069557584 140727069556024 5282621 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 30912512 140727069561863 140727069561945 140727069561945 140727069564870 0
/proc/32415/statm: 523115 20132 991 410 0 518588 0
Current children cumulated CPU time: 1426.17 s
Current children cumulated vsize: 2092460 KiB
Current children cumulated memory: 80528 KiB
[startup+1426.4 s]
/proc/loadavg: 2.05 2.00 1.59 3/199 32695
/proc/meminfo: memFree=24923784/32770624 swapFree=66957812/67108860
[pid=32415] ppid=32410 vsize=2092460 memory=80528 CPUtime=1426.57 cores=1,3,5,7
/proc/32415/stat : 32415 (xcsp_picat) R 32410 32415 32357 0 -1 4202496 116052 0 0 0 142626 31 0 0 20 0 1 0 527221875 2142679040 20132 33554432000 4194304 5870510 140727069557584 140727069556024 5289014 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 30912512 140727069561863 140727069561945 140727069561945 140727069564870 0
/proc/32415/statm: 523115 20132 991 410 0 518588 0
Current children cumulated CPU time: 1426.57 s
Current children cumulated vsize: 2092460 KiB
Current children cumulated memory: 80528 KiB
[startup+1426.5 s]
/proc/loadavg: 2.05 2.00 1.59 3/199 32695
/proc/meminfo: memFree=24923784/32770624 swapFree=66957812/67108860
[pid=32415] ppid=32410 vsize=2092460 memory=80528 CPUtime=1426.67 cores=1,3,5,7
/proc/32415/stat : 32415 (xcsp_picat) R 32410 32415 32357 0 -1 4202496 116052 0 0 0 142636 31 0 0 20 0 1 0 527221875 2142679040 20132 33554432000 4194304 5870510 140727069557584 140727069556024 5283106 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 30912512 140727069561863 140727069561945 140727069561945 140727069564870 0
/proc/32415/statm: 523115 20132 991 410 0 518588 0
Current children cumulated CPU time: 1426.67 s
Current children cumulated vsize: 2092460 KiB
Current children cumulated memory: 80528 KiB
Child status: 0
Real time (s): 1426.59
CPU time (s): 1426.76
CPU user time (s): 1426.45
CPU system time (s): 0.313038
CPU usage (%): 100.012
Max. virtual memory (cumulated for all children) (KiB): 2093580
Max. memory (cumulated for all children) (KiB): 80528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1426.45
system time used= 0.313038
maximum resident set size= 80556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116076
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= 10
involuntary context switches= 928
# summary of solver processes directly reported to runsolver:
# pid: 32415
# total CPU time (s): 1426.76
# total CPU user time (s): 1426.45
# total CPU system time (s): 0.313038
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.50759 second user time and 10.2324 second system time
The end