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 (14664 MiB free)
memory of node 1: 16384 MiB (15351 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395021-1568325273/watcher-4395021-1568325273 -o /tmp/evaluation-result-4395021-1568325273/solver-4395021-1568325273 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568318666-25672 --watchdog 2580 xcsp_picat HOME/instance-4395021-1568325273.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=26865, runsolver pid=26862
[startup+0.100171 s]*
/proc/loadavg: 1.98 2.08 2.28 3/200 26866
/proc/meminfo: memFree=30698804/32770624 swapFree=66996368/67108860
[pid=26865] ppid=26862 vsize=2053860 memory=41780 CPUtime=0.1 cores=1,3,5,7
/proc/26865/stat : 26865 (xcsp_picat) R 26862 26865 25640 0 -1 4202496 6360 0 0 0 9 1 0 0 20 0 1 0 408782007 2103152640 10445 33554432000 4194304 5870510 140733906386752 140733906386120 5287642 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45318144 140733906387999 140733906388077 140733906388077 140733906390986 0
/proc/26865/statm: 513465 10445 908 410 0 508938 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2053860 KiB
Current children cumulated memory: 41780 KiB
[startup+0.209712 s]*
/proc/loadavg: 1.98 2.08 2.28 3/200 26866
/proc/meminfo: memFree=30678712/32770624 swapFree=66996368/67108860
[pid=26865] ppid=26862 vsize=2075380 memory=62220 CPUtime=0.21 cores=1,3,5,7
/proc/26865/stat : 26865 (xcsp_picat) R 26862 26865 25640 0 -1 4202496 11140 0 0 0 19 2 0 0 20 0 1 0 408782007 2125189120 15555 33554432000 4194304 5870510 140733906386752 140733906386120 140559954874247 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45318144 140733906387999 140733906388077 140733906388077 140733906390986 0
/proc/26865/statm: 518845 15555 945 410 0 514318 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2075380 KiB
Current children cumulated memory: 62220 KiB
[startup+0.309682 s]*
/proc/loadavg: 1.98 2.08 2.28 3/200 26866
/proc/meminfo: memFree=30669596/32770624 swapFree=66996368/67108860
[pid=26865] ppid=26862 vsize=2087460 memory=71040 CPUtime=0.31 cores=1,3,5,7
/proc/26865/stat : 26865 (xcsp_picat) R 26862 26865 25640 0 -1 4202496 12926 0 0 0 29 2 0 0 20 0 1 0 408782007 2137559040 17760 33554432000 4194304 5870510 140733906386752 140733906386120 5287596 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45318144 140733906387999 140733906388077 140733906388077 140733906390986 0
/proc/26865/statm: 521865 17760 964 410 0 517338 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2087460 KiB
Current children cumulated memory: 71040 KiB
[startup+0.700279 s]
/proc/loadavg: 1.98 2.08 2.28 3/200 26866
/proc/meminfo: memFree=30654708/32770624 swapFree=66996368/67108860
[pid=26865] ppid=26862 vsize=2096288 memory=83068 CPUtime=0.69 cores=1,3,5,7
/proc/26865/stat : 26865 (xcsp_picat) R 26862 26865 25640 0 -1 4202496 14903 0 0 0 66 3 0 0 20 0 1 0 408782007 2146598912 20767 33554432000 4194304 5870510 140733906386752 140733906386008 140559954874247 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45318144 140733906387999 140733906388077 140733906388077 140733906390986 0
/proc/26865/statm: 524072 20767 964 410 0 519545 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2096288 KiB
Current children cumulated memory: 83068 KiB
[startup+1.50041 s]
/proc/loadavg: 1.98 2.08 2.28 3/200 26866
/proc/meminfo: memFree=30653852/32770624 swapFree=66996368/67108860
[pid=26865] ppid=26862 vsize=2097716 memory=84900 CPUtime=1.49 cores=1,3,5,7
/proc/26865/stat : 26865 (xcsp_picat) R 26862 26865 25640 0 -1 4202496 15346 0 0 0 146 3 0 0 20 0 1 0 408782007 2148061184 21225 33554432000 4194304 5870510 140733906386752 140733906386008 5343392 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45318144 140733906387999 140733906388077 140733906388077 140733906390986 0
/proc/26865/statm: 524429 21225 974 410 0 519902 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2097716 KiB
Current children cumulated memory: 84900 KiB
[startup+3.10972 s]
/proc/loadavg: 1.82 2.04 2.27 3/200 26866
/proc/meminfo: memFree=30625816/32770624 swapFree=66996368/67108860
[pid=26865] ppid=26862 vsize=2095384 memory=80560 CPUtime=3.1 cores=1,3,5,7
/proc/26865/stat : 26865 (xcsp_picat) R 26862 26865 25640 0 -1 4202496 30819 0 0 0 306 4 0 0 20 0 1 0 408782007 2145673216 20140 33554432000 4194304 5870510 140733906386752 140733906386008 5259103 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45318144 140733906387999 140733906388077 140733906388077 140733906390986 0
/proc/26865/statm: 523846 20140 995 410 0 519319 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2095384 KiB
Current children cumulated memory: 80560 KiB
[startup+6.30039 s]
/proc/loadavg: 1.82 2.04 2.27 3/200 26866
/proc/meminfo: memFree=30630908/32770624 swapFree=66996368/67108860
[pid=26865] ppid=26862 vsize=2095384 memory=82616 CPUtime=6.29 cores=1,3,5,7
/proc/26865/stat : 26865 (xcsp_picat) R 26862 26865 25640 0 -1 4202496 40558 0 0 0 625 4 0 0 20 0 1 0 408782007 2145673216 20654 33554432000 4194304 5870510 140733906386752 140733906386008 5283133 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45318144 140733906387999 140733906388077 140733906388077 140733906390986 0
/proc/26865/statm: 523846 20654 997 410 0 519319 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2095384 KiB
Current children cumulated memory: 82616 KiB
[startup+12.7004 s]
/proc/loadavg: 1.83 2.04 2.27 3/200 26868
/proc/meminfo: memFree=30641520/32770624 swapFree=66996368/67108860
[pid=26865] ppid=26862 vsize=2107060 memory=88392 CPUtime=12.69 cores=1,3,5,7
/proc/26865/stat : 26865 (xcsp_picat) R 26862 26865 25640 0 -1 4202496 50979 0 0 0 1264 5 0 0 20 0 1 0 408782007 2157629440 22098 33554432000 4194304 5870510 140733906386752 140733906385864 5267727 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45318144 140733906387999 140733906388077 140733906388077 140733906390986 0
/proc/26865/statm: 526765 22098 997 410 0 522238 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2107060 KiB
Current children cumulated memory: 88392 KiB
[startup+25.5004 s]
/proc/loadavg: 1.87 2.04 2.26 3/200 26868
/proc/meminfo: memFree=30565600/32770624 swapFree=66996368/67108860
[pid=26865] ppid=26862 vsize=2156628 memory=140240 CPUtime=25.49 cores=1,3,5,7
/proc/26865/stat : 26865 (xcsp_picat) R 26862 26865 25640 0 -1 4202496 77000 0 0 0 2540 9 0 0 20 0 1 0 408782007 2208387072 35060 33554432000 4194304 5870510 140733906386752 140733906385320 5283024 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45318144 140733906387999 140733906388077 140733906388077 140733906390986 0
/proc/26865/statm: 539157 35060 997 410 0 534630 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2156628 KiB
Current children cumulated memory: 140240 KiB
[startup+51.1097 s]
/proc/loadavg: 1.99 2.06 2.26 3/200 26869
/proc/meminfo: memFree=30536364/32770624 swapFree=66996368/67108860
[pid=26865] ppid=26862 vsize=2175596 memory=165236 CPUtime=51.1 cores=1,3,5,7
/proc/26865/stat : 26865 (xcsp_picat) R 26862 26865 25640 0 -1 4202496 88519 0 0 0 5100 10 0 0 20 0 1 0 408782007 2227810304 41309 33554432000 4194304 5870510 140733906386752 140733906385320 5278122 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45318144 140733906387999 140733906388077 140733906388077 140733906390986 0
/proc/26865/statm: 543899 41309 997 410 0 539372 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2175596 KiB
Current children cumulated memory: 165236 KiB
[startup+102.3 s]
/proc/loadavg: 2.41 2.17 2.29 3/200 26876
/proc/meminfo: memFree=30512080/32770624 swapFree=66996368/67108860
[pid=26865] ppid=26862 vsize=2176148 memory=165812 CPUtime=102.28 cores=1,3,5,7
/proc/26865/stat : 26865 (xcsp_picat) R 26862 26865 25640 0 -1 4202496 102639 0 0 0 10215 13 0 0 20 0 1 0 408782007 2228375552 41453 33554432000 4194304 5870510 140733906386752 140733906385768 5258696 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45318144 140733906387999 140733906388077 140733906388077 140733906390986 0
/proc/26865/statm: 544037 41453 997 410 0 539510 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2176148 KiB
Current children cumulated memory: 165812 KiB
[startup+162.3 s]
/proc/loadavg: 2.15 2.14 2.27 3/199 26881
/proc/meminfo: memFree=30511684/32770624 swapFree=66996372/67108860
[pid=26865] ppid=26862 vsize=2176148 memory=165812 CPUtime=162.29 cores=1,3,5,7
/proc/26865/stat : 26865 (xcsp_picat) R 26862 26865 25640 0 -1 4202496 115709 0 0 0 16212 17 0 0 20 0 1 0 408782007 2228375552 41453 33554432000 4194304 5870510 140733906386752 140733906385768 140559960111200 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45318144 140733906387999 140733906388077 140733906388077 140733906390986 0
/proc/26865/statm: 544037 41453 997 410 0 539510 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 2176148 KiB
Current children cumulated memory: 165812 KiB
[startup+222.3 s]
/proc/loadavg: 2.05 2.11 2.25 3/199 26885
/proc/meminfo: memFree=30511956/32770624 swapFree=66996372/67108860
[pid=26865] ppid=26862 vsize=2176148 memory=165812 CPUtime=222.28 cores=1,3,5,7
/proc/26865/stat : 26865 (xcsp_picat) R 26862 26865 25640 0 -1 4202496 130747 0 0 0 22206 22 0 0 20 0 1 0 408782007 2228375552 41453 33554432000 4194304 5870510 140733906386752 140733906385768 140559960111710 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45318144 140733906387999 140733906388077 140733906388077 140733906390986 0
/proc/26865/statm: 544037 41453 997 410 0 539510 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2176148 KiB
Current children cumulated memory: 165812 KiB
[startup+282.3 s]
/proc/loadavg: 2.02 2.09 2.23 3/199 26952
/proc/meminfo: memFree=30646196/32770624 swapFree=66996372/67108860
[pid=26865] ppid=26862 vsize=2225464 memory=215048 CPUtime=282.28 cores=1,3,5,7
/proc/26865/stat : 26865 (xcsp_picat) R 26862 26865 25640 0 -1 4202496 132705 0 0 0 28204 24 0 0 20 0 1 0 408782007 2278875136 53762 33554432000 4194304 5870510 140733906386752 140733906385320 5263026 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45318144 140733906387999 140733906388077 140733906388077 140733906390986 0
/proc/26865/statm: 556366 53762 997 410 0 551839 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2225464 KiB
Current children cumulated memory: 215048 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.08 2.22 3/199 27078
/proc/meminfo: memFree=30639828/32770624 swapFree=66996376/67108860
[pid=26865] ppid=26862 vsize=2225464 memory=215572 CPUtime=342.27 cores=1,3,5,7
/proc/26865/stat : 26865 (xcsp_picat) R 26862 26865 25640 0 -1 4202496 141451 0 0 0 34202 25 0 0 20 0 1 0 408782007 2278875136 53893 33554432000 4194304 5870510 140733906386752 140733906385320 5282621 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45318144 140733906387999 140733906388077 140733906388077 140733906390986 0
/proc/26865/statm: 556366 53893 997 410 0 551839 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 2225464 KiB
Current children cumulated memory: 215572 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.06 2.21 3/199 27083
/proc/meminfo: memFree=30607708/32770624 swapFree=66996376/67108860
[pid=26865] ppid=26862 vsize=2225464 memory=217344 CPUtime=402.27 cores=1,3,5,7
/proc/26865/stat : 26865 (xcsp_picat) R 26862 26865 25640 0 -1 4202496 141721 0 0 0 40202 25 0 0 20 0 1 0 408782007 2278875136 54336 33554432000 4194304 5870510 140733906386752 140733906385320 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45318144 140733906387999 140733906388077 140733906388077 140733906390986 0
/proc/26865/statm: 556366 54336 997 410 0 551839 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 2225464 KiB
Current children cumulated memory: 217344 KiB
[startup+462.3 s]
/proc/loadavg: 2.04 2.07 2.20 3/199 27096
/proc/meminfo: memFree=30628852/32770624 swapFree=66996384/67108860
[pid=26865] ppid=26862 vsize=2225468 memory=205228 CPUtime=462.26 cores=1,3,5,7
/proc/26865/stat : 26865 (xcsp_picat) R 26862 26865 25640 0 -1 4202496 146744 0 0 0 46196 30 0 0 20 0 1 0 408782007 2278879232 51307 33554432000 4194304 5870510 140733906386752 140733906385192 5278098 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45318144 140733906387999 140733906388077 140733906388077 140733906390986 0
/proc/26865/statm: 556367 51307 997 410 0 551840 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 2225468 KiB
Current children cumulated memory: 205228 KiB
################
# More data... #
################
Current children cumulated memory: 211392 KiB
[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.12 3/198 27155
/proc/meminfo: memFree=30610468/32770624 swapFree=66996408/67108860
[pid=26865] ppid=26862 vsize=2225468 memory=203372 CPUtime=942.25 cores=1,3,5,7
/proc/26865/stat : 26865 (xcsp_picat) R 26862 26865 25640 0 -1 4202496 179436 0 0 0 94168 57 0 0 20 0 1 0 408782007 2278879232 50843 33554432000 4194304 5870510 140733906386752 140733906385768 5282400 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45318144 140733906387999 140733906388077 140733906388077 140733906390986 0
/proc/26865/statm: 556367 50843 997 410 0 551840 0
Current children cumulated CPU time: 942.25 s
Current children cumulated vsize: 2225468 KiB
Current children cumulated memory: 203372 KiB
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.12 3/198 27161
/proc/meminfo: memFree=30622424/32770624 swapFree=66996408/67108860
[pid=26865] ppid=26862 vsize=2225468 memory=209348 CPUtime=1002.25 cores=1,3,5,7
/proc/26865/stat : 26865 (xcsp_picat) R 26862 26865 25640 0 -1 4202496 181260 0 0 0 100166 59 0 0 20 0 1 0 408782007 2278879232 52337 33554432000 4194304 5870510 140733906386752 140733906385768 5282509 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45318144 140733906387999 140733906388077 140733906388077 140733906390986 0
/proc/26865/statm: 556367 52337 997 410 0 551840 0
Current children cumulated CPU time: 1002.25 s
Current children cumulated vsize: 2225468 KiB
Current children cumulated memory: 209348 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.11 3/198 27172
/proc/meminfo: memFree=30591640/32770624 swapFree=66996408/67108860
[pid=26865] ppid=26862 vsize=2225468 memory=219588 CPUtime=1062.25 cores=1,3,5,7
/proc/26865/stat : 26865 (xcsp_picat) R 26862 26865 25640 0 -1 4202496 187306 0 0 0 106159 66 0 0 20 0 1 0 408782007 2278879232 54897 33554432000 4194304 5870510 140733906386752 140733906385768 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45318144 140733906387999 140733906388077 140733906388077 140733906390986 0
/proc/26865/statm: 556367 54897 997 410 0 551840 0
Current children cumulated CPU time: 1062.25 s
Current children cumulated vsize: 2225468 KiB
Current children cumulated memory: 219588 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.10 3/198 27176
/proc/meminfo: memFree=30601408/32770624 swapFree=66996408/67108860
[pid=26865] ppid=26862 vsize=2225468 memory=217540 CPUtime=1122.24 cores=1,3,5,7
/proc/26865/stat : 26865 (xcsp_picat) R 26862 26865 25640 0 -1 4202496 197504 0 0 0 112144 80 0 0 20 0 1 0 408782007 2278879232 54385 33554432000 4194304 5870510 140733906386752 140733906385768 5282680 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 45318144 140733906387999 140733906388077 140733906388077 140733906390986 0
/proc/26865/statm: 556367 54385 997 410 0 551840 0
Current children cumulated CPU time: 1122.24 s
Current children cumulated vsize: 2225468 KiB
Current children cumulated memory: 217540 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.10 3/198 27182
/proc/meminfo: memFree=30618388/32770624 swapFree=66996408/67108860
[pid=26865] ppid=26862 vsize=2225468 memory=213444 CPUtime=1182.23 cores=1,3,5,7
/proc/26865/stat : 26865 (xcsp_picat) R 26862 26865 25640 0 -1 4202496 202791 0 0 0 118139 84 0 0 20 0 1 0 408782007 2278879232 53361 33554432000 4194304 5870510 140733906386752 140733906385768 5283024 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 45318144 140733906387999 140733906388077 140733906388077 140733906390986 0
/proc/26865/statm: 556367 53361 997 410 0 551840 0
Current children cumulated CPU time: 1182.23 s
Current children cumulated vsize: 2225468 KiB
Current children cumulated memory: 213444 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.09 3/198 27186
/proc/meminfo: memFree=30646836/32770624 swapFree=66996408/67108860
[pid=26865] ppid=26862 vsize=2225468 memory=209348 CPUtime=1242.24 cores=1,3,5,7
/proc/26865/stat : 26865 (xcsp_picat) R 26862 26865 25640 0 -1 4202496 205692 0 0 0 124136 88 0 0 20 0 1 0 408782007 2278879232 52337 33554432000 4194304 5870510 140733906386752 140733906385768 5311583 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 45318144 140733906387999 140733906388077 140733906388077 140733906390986 0
/proc/26865/statm: 556367 52337 997 410 0 551840 0
Current children cumulated CPU time: 1242.24 s
Current children cumulated vsize: 2225468 KiB
Current children cumulated memory: 209348 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.09 3/198 27190
/proc/meminfo: memFree=30602812/32770624 swapFree=66996408/67108860
[pid=26865] ppid=26862 vsize=2225468 memory=209516 CPUtime=1302.23 cores=1,3,5,7
/proc/26865/stat : 26865 (xcsp_picat) R 26862 26865 25640 0 -1 4202496 210099 0 0 0 130133 90 0 0 20 0 1 0 408782007 2278879232 52379 33554432000 4194304 5870510 140733906386752 140733906385768 5262918 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 45318144 140733906387999 140733906388077 140733906388077 140733906390986 0
/proc/26865/statm: 556367 52379 997 410 0 551840 0
Current children cumulated CPU time: 1302.23 s
Current children cumulated vsize: 2225468 KiB
Current children cumulated memory: 209516 KiB
[startup+1339.83 s]
# the end of solver process 26865 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1338.85 s, system=0.921968 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1305.6 s]
/proc/loadavg: 2.00 2.01 2.09 3/198 27190
/proc/meminfo: memFree=30600764/32770624 swapFree=66996408/67108860
[pid=26865] ppid=26862 vsize=2225468 memory=211564 CPUtime=1305.53 cores=1,3,5,7
/proc/26865/stat : 26865 (xcsp_picat) R 26862 26865 25640 0 -1 4202496 210105 0 0 0 130463 90 0 0 20 0 1 0 408782007 2278879232 52891 33554432000 4194304 5870510 140733906386752 140733906385768 5282578 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 45318144 140733906387999 140733906388077 140733906388077 140733906390986 0
/proc/26865/statm: 556367 52891 997 410 0 551840 0
Current children cumulated CPU time: 1305.53 s
Current children cumulated vsize: 2225468 KiB
Current children cumulated memory: 211564 KiB
[startup+1318.4 s]
/proc/loadavg: 2.00 2.01 2.08 3/198 27192
/proc/meminfo: memFree=30598800/32770624 swapFree=66996408/67108860
[pid=26865] ppid=26862 vsize=2225468 memory=213612 CPUtime=1318.33 cores=1,3,5,7
/proc/26865/stat : 26865 (xcsp_picat) R 26862 26865 25640 0 -1 4202496 210151 0 0 0 131743 90 0 0 20 0 1 0 408782007 2278879232 53403 33554432000 4194304 5870510 140733906386752 140733906385768 140559954413540 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 45318144 140733906387999 140733906388077 140733906388077 140733906390986 0
/proc/26865/statm: 556367 53403 997 410 0 551840 0
Current children cumulated CPU time: 1318.33 s
Current children cumulated vsize: 2225468 KiB
Current children cumulated memory: 213612 KiB
[startup+1331.2 s]
/proc/loadavg: 2.00 2.01 2.08 3/198 27192
/proc/meminfo: memFree=30627348/32770624 swapFree=66996408/67108860
[pid=26865] ppid=26862 vsize=2225468 memory=211396 CPUtime=1331.14 cores=1,3,5,7
/proc/26865/stat : 26865 (xcsp_picat) R 26862 26865 25640 0 -1 4202496 210966 0 0 0 133023 91 0 0 20 0 1 0 408782007 2278879232 52849 33554432000 4194304 5870510 140733906386752 140733906385768 5283024 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 45318144 140733906387999 140733906388077 140733906388077 140733906390986 0
/proc/26865/statm: 556367 52849 997 410 0 551840 0
Current children cumulated CPU time: 1331.14 s
Current children cumulated vsize: 2225468 KiB
Current children cumulated memory: 211396 KiB
[startup+1334.4 s]
/proc/loadavg: 2.00 2.01 2.08 3/198 27192
/proc/meminfo: memFree=30620336/32770624 swapFree=66996408/67108860
[pid=26865] ppid=26862 vsize=2225468 memory=213444 CPUtime=1334.34 cores=1,3,5,7
/proc/26865/stat : 26865 (xcsp_picat) R 26862 26865 25640 0 -1 4202496 210968 0 0 0 133343 91 0 0 20 0 1 0 408782007 2278879232 53361 33554432000 4194304 5870510 140733906386752 140733906385768 140559960183264 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 45318144 140733906387999 140733906388077 140733906388077 140733906390986 0
/proc/26865/statm: 556367 53361 997 410 0 551840 0
Current children cumulated CPU time: 1334.34 s
Current children cumulated vsize: 2225468 KiB
Current children cumulated memory: 213444 KiB
[startup+1337.6 s]
/proc/loadavg: 2.00 2.01 2.08 3/198 27192
/proc/meminfo: memFree=30626232/32770624 swapFree=66996408/67108860
[pid=26865] ppid=26862 vsize=2225468 memory=207468 CPUtime=1337.53 cores=1,3,5,7
/proc/26865/stat : 26865 (xcsp_picat) R 26862 26865 25640 0 -1 4202496 211538 0 0 0 133662 91 0 0 20 0 1 0 408782007 2278879232 51867 33554432000 4194304 5870510 140733906386752 140733906385768 5282767 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 45318144 140733906387999 140733906388077 140733906388077 140733906390986 0
/proc/26865/statm: 556367 51867 997 410 0 551840 0
Current children cumulated CPU time: 1337.53 s
Current children cumulated vsize: 2225468 KiB
Current children cumulated memory: 207468 KiB
[startup+1339.2 s]
/proc/loadavg: 2.00 2.01 2.08 3/198 27192
/proc/meminfo: memFree=30624184/32770624 swapFree=66996408/67108860
[pid=26865] ppid=26862 vsize=2225468 memory=209516 CPUtime=1339.13 cores=1,3,5,7
/proc/26865/stat : 26865 (xcsp_picat) R 26862 26865 25640 0 -1 4202496 211541 0 0 0 133822 91 0 0 20 0 1 0 408782007 2278879232 52379 33554432000 4194304 5870510 140733906386752 140733906385768 5289467 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 45318144 140733906387999 140733906388077 140733906388077 140733906390986 0
/proc/26865/statm: 556367 52379 997 410 0 551840 0
Current children cumulated CPU time: 1339.13 s
Current children cumulated vsize: 2225468 KiB
Current children cumulated memory: 209516 KiB
[startup+1339.6 s]
/proc/loadavg: 2.00 2.01 2.08 3/198 27192
/proc/meminfo: memFree=30624184/32770624 swapFree=66996408/67108860
[pid=26865] ppid=26862 vsize=2225468 memory=209516 CPUtime=1339.53 cores=1,3,5,7
/proc/26865/stat : 26865 (xcsp_picat) R 26862 26865 25640 0 -1 4202496 211541 0 0 0 133862 91 0 0 20 0 1 0 408782007 2278879232 52379 33554432000 4194304 5870510 140733906386752 140733906385768 5262800 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 45318144 140733906387999 140733906388077 140733906388077 140733906390986 0
/proc/26865/statm: 556367 52379 997 410 0 551840 0
Current children cumulated CPU time: 1339.53 s
Current children cumulated vsize: 2225468 KiB
Current children cumulated memory: 209516 KiB
[startup+1339.8 s]
/proc/loadavg: 2.00 2.01 2.08 3/198 27192
/proc/meminfo: memFree=30624184/32770624 swapFree=66996408/67108860
[pid=26865] ppid=26862 vsize=2225468 memory=209516 CPUtime=1339.73 cores=1,3,5,7
/proc/26865/stat : 26865 (xcsp_picat) R 26862 26865 25640 0 -1 4202496 211549 0 0 0 133882 91 0 0 20 0 1 0 408782007 2278879232 52379 33554432000 4194304 5870510 140733906386752 140733906385768 5281827 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 45318144 140733906387999 140733906388077 140733906388077 140733906390986 0
/proc/26865/statm: 556367 52379 997 410 0 551840 0
Current children cumulated CPU time: 1339.73 s
Current children cumulated vsize: 2225468 KiB
Current children cumulated memory: 209516 KiB
Child status: 0
Real time (s): 1339.83
CPU time (s): 1339.77
CPU user time (s): 1338.85
CPU system time (s): 0.921968
CPU usage (%): 99.9959
Max. virtual memory (cumulated for all children) (KiB): 2336428
Max. memory (cumulated for all children) (KiB): 293932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1338.85
system time used= 0.921968
maximum resident set size= 309980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 211596
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= 24
involuntary context switches= 612
# summary of solver processes directly reported to runsolver:
# pid: 26865
# total CPU time (s): 1339.77
# total CPU user time (s): 1338.85
# total CPU system time (s): 0.921968
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.1411 second user time and 9.96564 second system time
The end