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 (15225 MiB free)
memory of node 1: 16384 MiB (15075 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395704-1568329005/watcher-4395704-1568329005 -o /tmp/evaluation-result-4395704-1568329005/solver-4395704-1568329005 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1568323825-31467 --watchdog 2560 xcsp_picat HOME/instance-4395704-1568329005.xml
running on 4 cores: 0,2,4,6
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=1354, runsolver pid=1351
[startup+0.100198 s]*
/proc/loadavg: 2.05 2.04 2.05 3/203 1355
/proc/meminfo: memFree=31003836/32770624 swapFree=66966176/67108860
[pid=1354] ppid=1351 vsize=2036952 memory=27824 CPUtime=0.09 cores=0,2,4,6
/proc/1354/stat : 1354 (xcsp_picat) R 1351 1354 31436 0 -1 4202496 2017 0 0 0 8 1 0 0 20 0 1 0 409150048 2085838848 6956 33554432000 4194304 5870510 140730316859824 140730316856968 140094621351815 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 27623424 140730316866591 140730316866669 140730316866669 140730316869578 0
/proc/1354/statm: 509238 6956 931 410 0 504711 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2036952 KiB
Current children cumulated memory: 27824 KiB
[startup+0.210065 s]*
/proc/loadavg: 2.05 2.04 2.05 3/203 1355
/proc/meminfo: memFree=30999868/32770624 swapFree=66966176/67108860
[pid=1354] ppid=1351 vsize=2040324 memory=31280 CPUtime=0.21 cores=0,2,4,6
/proc/1354/stat : 1354 (xcsp_picat) R 1351 1354 31436 0 -1 4202496 2911 0 0 0 19 2 0 0 20 0 1 0 409150048 2089291776 7820 33554432000 4194304 5870510 140730316859824 140730316858920 5476960 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 27623424 140730316866591 140730316866669 140730316866669 140730316869578 0
/proc/1354/statm: 510081 7820 948 410 0 505554 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2040324 KiB
Current children cumulated memory: 31280 KiB
[startup+0.309858 s]*
/proc/loadavg: 2.05 2.04 2.05 3/203 1355
/proc/meminfo: memFree=30999764/32770624 swapFree=66966176/67108860
[pid=1354] ppid=1351 vsize=2040324 memory=31280 CPUtime=0.31 cores=0,2,4,6
/proc/1354/stat : 1354 (xcsp_picat) R 1351 1354 31436 0 -1 4202496 2915 0 0 0 29 2 0 0 20 0 1 0 409150048 2089291776 7820 33554432000 4194304 5870510 140730316859824 140730316858920 5476966 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 27623424 140730316866591 140730316866669 140730316866669 140730316869578 0
/proc/1354/statm: 510081 7820 948 410 0 505554 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2040324 KiB
Current children cumulated memory: 31280 KiB
[startup+0.700334 s]
/proc/loadavg: 2.05 2.04 2.05 3/203 1355
/proc/meminfo: memFree=30999764/32770624 swapFree=66966176/67108860
[pid=1354] ppid=1351 vsize=2040324 memory=31280 CPUtime=0.69 cores=0,2,4,6
/proc/1354/stat : 1354 (xcsp_picat) R 1351 1354 31436 0 -1 4202496 2934 0 0 0 67 2 0 0 20 0 1 0 409150048 2089291776 7820 33554432000 4194304 5870510 140730316859824 140730316858920 5562066 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 27623424 140730316866591 140730316866669 140730316866669 140730316869578 0
/proc/1354/statm: 510081 7820 948 410 0 505554 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2040324 KiB
Current children cumulated memory: 31280 KiB
[startup+1.50033 s]
/proc/loadavg: 2.05 2.04 2.05 3/203 1355
/proc/meminfo: memFree=30999392/32770624 swapFree=66966176/67108860
[pid=1354] ppid=1351 vsize=2040496 memory=31688 CPUtime=1.49 cores=0,2,4,6
/proc/1354/stat : 1354 (xcsp_picat) R 1351 1354 31436 0 -1 4202496 3004 0 0 0 147 2 0 0 20 0 1 0 409150048 2089467904 7922 33554432000 4194304 5870510 140730316859824 140730316858920 140094621351815 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 27623424 140730316866591 140730316866669 140730316866669 140730316869578 0
/proc/1354/statm: 510124 7922 951 410 0 505597 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2040496 KiB
Current children cumulated memory: 31688 KiB
[startup+3.10951 s]
/proc/loadavg: 2.04 2.04 2.05 3/203 1355
/proc/meminfo: memFree=30994012/32770624 swapFree=66966176/67108860
[pid=1354] ppid=1351 vsize=2041056 memory=32372 CPUtime=3.1 cores=0,2,4,6
/proc/1354/stat : 1354 (xcsp_picat) R 1351 1354 31436 0 -1 4202496 3504 0 0 0 308 2 0 0 20 0 1 0 409150048 2090041344 8093 33554432000 4194304 5870510 140730316859824 140730316858920 5478371 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 27623424 140730316866591 140730316866669 140730316866669 140730316869578 0
/proc/1354/statm: 510264 8093 951 410 0 505737 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2041056 KiB
Current children cumulated memory: 32372 KiB
[startup+6.30033 s]
/proc/loadavg: 2.04 2.04 2.05 3/203 1355
/proc/meminfo: memFree=30993068/32770624 swapFree=66966176/67108860
[pid=1354] ppid=1351 vsize=2042012 memory=33932 CPUtime=6.29 cores=0,2,4,6
/proc/1354/stat : 1354 (xcsp_picat) R 1351 1354 31436 0 -1 4202496 4459 0 0 0 627 2 0 0 20 0 1 0 409150048 2091020288 8483 33554432000 4194304 5870510 140730316859824 140730316858920 140094621351815 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 27623424 140730316866591 140730316866669 140730316866669 140730316869578 0
/proc/1354/statm: 510503 8483 951 410 0 505976 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2042012 KiB
Current children cumulated memory: 33932 KiB
[startup+12.7004 s]
/proc/loadavg: 2.04 2.04 2.05 3/203 1357
/proc/meminfo: memFree=30991252/32770624 swapFree=66966176/67108860
[pid=1354] ppid=1351 vsize=2048196 memory=41416 CPUtime=12.69 cores=0,2,4,6
/proc/1354/stat : 1354 (xcsp_picat) R 1351 1354 31436 0 -1 4202496 8248 0 0 0 1265 4 0 0 20 0 1 0 409150048 2097352704 10354 33554432000 4194304 5870510 140730316859824 140730316858920 5305062 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 27623424 140730316866591 140730316866669 140730316866669 140730316869578 0
/proc/1354/statm: 512049 10354 960 410 0 507522 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2048196 KiB
Current children cumulated memory: 41416 KiB
[startup+25.5003 s]
/proc/loadavg: 2.03 2.04 2.05 3/204 1421
/proc/meminfo: memFree=30973404/32770624 swapFree=66966176/67108860
[pid=1354] ppid=1351 vsize=2071744 memory=53076 CPUtime=25.49 cores=0,2,4,6
/proc/1354/stat : 1354 (xcsp_picat) R 1351 1354 31436 0 -1 4202496 19548 0 0 0 2542 7 0 0 20 0 1 0 409150048 2121465856 13269 33554432000 4194304 5870510 140730316859824 140730316858920 140094621351815 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 27623424 140730316866591 140730316866669 140730316866669 140730316869578 0
/proc/1354/statm: 517936 13269 990 410 0 513409 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2071744 KiB
Current children cumulated memory: 53076 KiB
[startup+51.1094 s]
/proc/loadavg: 2.02 2.04 2.05 3/203 1421
/proc/meminfo: memFree=30967824/32770624 swapFree=66966176/67108860
[pid=1354] ppid=1351 vsize=2045632 memory=41260 CPUtime=51.09 cores=0,2,4,6
/proc/1354/stat : 1354 (xcsp_picat) R 1351 1354 31436 0 -1 4202496 21734 0 0 0 5098 11 0 0 20 0 1 0 409150048 2094727168 10315 33554432000 4194304 5870510 140730316859824 140730316859000 5562032 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 27623424 140730316866591 140730316866669 140730316866669 140730316869578 0
/proc/1354/statm: 511408 10315 990 410 0 506881 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2045632 KiB
Current children cumulated memory: 41260 KiB
[startup+102.3 s]
/proc/loadavg: 1.96 2.01 2.04 3/203 1621
/proc/meminfo: memFree=30922380/32770624 swapFree=66966176/67108860
[pid=1354] ppid=1351 vsize=2102316 memory=101656 CPUtime=102.28 cores=0,2,4,6
/proc/1354/stat : 1354 (xcsp_picat) R 1351 1354 31436 0 -1 4202496 31845 0 0 0 10215 13 0 0 20 0 1 0 409150048 2152771584 25414 33554432000 4194304 5870510 140730316859824 140730316858264 5282464 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 27623424 140730316866591 140730316866669 140730316866669 140730316869578 0
/proc/1354/statm: 525579 25414 990 410 0 521052 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2102316 KiB
Current children cumulated memory: 101656 KiB
[startup+162.3 s]
/proc/loadavg: 1.98 2.01 2.04 3/203 1688
/proc/meminfo: memFree=30894416/32770624 swapFree=66966180/67108860
[pid=1354] ppid=1351 vsize=2121180 memory=110360 CPUtime=162.27 cores=0,2,4,6
/proc/1354/stat : 1354 (xcsp_picat) R 1351 1354 31436 0 -1 4202496 38325 0 0 0 16213 14 0 0 20 0 1 0 409150048 2172088320 27590 33554432000 4194304 5870510 140730316859824 140730316858264 5282464 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 27623424 140730316866591 140730316866669 140730316866669 140730316869578 0
/proc/1354/statm: 530295 27590 990 410 0 525768 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 2121180 KiB
Current children cumulated memory: 110360 KiB
[startup+222.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/204 1693
/proc/meminfo: memFree=30883048/32770624 swapFree=66966180/67108860
[pid=1354] ppid=1351 vsize=2121180 memory=110360 CPUtime=222.28 cores=0,2,4,6
/proc/1354/stat : 1354 (xcsp_picat) R 1351 1354 31436 0 -1 4202496 38855 0 0 0 22213 15 0 0 20 0 1 0 409150048 2172088320 27590 33554432000 4194304 5870510 140730316859824 140730316858264 5282767 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 27623424 140730316866591 140730316866669 140730316866669 140730316869578 0
/proc/1354/statm: 530295 27590 990 410 0 525768 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2121180 KiB
Current children cumulated memory: 110360 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/206 1706
/proc/meminfo: memFree=30885592/32770624 swapFree=66966192/67108860
[pid=1354] ppid=1351 vsize=2121180 memory=112408 CPUtime=282.27 cores=0,2,4,6
/proc/1354/stat : 1354 (xcsp_picat) R 1351 1354 31436 0 -1 4202496 44769 0 0 0 28212 15 0 0 20 0 1 0 409150048 2172088320 28102 33554432000 4194304 5870510 140730316859824 140730316858264 5282509 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 27623424 140730316866591 140730316866669 140730316866669 140730316869578 0
/proc/1354/statm: 530295 28102 990 410 0 525768 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 2121180 KiB
Current children cumulated memory: 112408 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/205 1737
/proc/meminfo: memFree=30872544/32770624 swapFree=66966216/67108860
[pid=1354] ppid=1351 vsize=2128548 memory=126508 CPUtime=342.26 cores=0,2,4,6
/proc/1354/stat : 1354 (xcsp_picat) R 1351 1354 31436 0 -1 4202496 45357 0 0 0 34211 15 0 0 20 0 1 0 409150048 2179633152 31627 33554432000 4194304 5870510 140730316859824 140730316858392 5277467 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 27623424 140730316866591 140730316866669 140730316866669 140730316869578 0
/proc/1354/statm: 532137 31627 990 410 0 527610 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 2128548 KiB
Current children cumulated memory: 126508 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/205 1741
/proc/meminfo: memFree=30878368/32770624 swapFree=66966216/67108860
[pid=1354] ppid=1351 vsize=2128548 memory=126748 CPUtime=402.26 cores=0,2,4,6
/proc/1354/stat : 1354 (xcsp_picat) R 1351 1354 31436 0 -1 4202496 50185 0 0 0 40210 16 0 0 20 0 1 0 409150048 2179633152 31687 33554432000 4194304 5870510 140730316859824 140730316858392 5282505 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 27623424 140730316866591 140730316866669 140730316866669 140730316869578 0
/proc/1354/statm: 532137 31687 990 410 0 527610 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 2128548 KiB
Current children cumulated memory: 126748 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/205 1745
/proc/meminfo: memFree=30855352/32770624 swapFree=66966216/67108860
[pid=1354] ppid=1351 vsize=2128548 memory=126748 CPUtime=462.25 cores=0,2,4,6
/proc/1354/stat : 1354 (xcsp_picat) R 1351 1354 31436 0 -1 4202496 50505 0 0 0 46209 16 0 0 20 0 1 0 409150048 2179633152 31687 33554432000 4194304 5870510 140730316859824 140730316858392 5304205 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 27623424 140730316866591 140730316866669 140730316866669 140730316869578 0
/proc/1354/statm: 532137 31687 990 410 0 527610 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 2128548 KiB
Current children cumulated memory: 126748 KiB
################
# More data... #
################
Current children cumulated memory: 146164 KiB
[startup+942.3 s]
/proc/loadavg: 2.00 2.06 2.05 3/204 1793
/proc/meminfo: memFree=30821928/32770624 swapFree=66966216/67108860
[pid=1354] ppid=1351 vsize=2159136 memory=158476 CPUtime=942.22 cores=0,2,4,6
/proc/1354/stat : 1354 (xcsp_picat) R 1351 1354 31436 0 -1 4202496 79584 0 0 0 94199 23 0 0 20 0 1 0 409150048 2210955264 39619 33554432000 4194304 5870510 140730316859824 140730316858392 5283116 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 27623424 140730316866591 140730316866669 140730316866669 140730316869578 0
/proc/1354/statm: 539784 39619 990 410 0 535257 0
Current children cumulated CPU time: 942.22 s
Current children cumulated vsize: 2159136 KiB
Current children cumulated memory: 158476 KiB
[startup+1002.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/204 1797
/proc/meminfo: memFree=30826424/32770624 swapFree=66966216/67108860
[pid=1354] ppid=1351 vsize=2159136 memory=158476 CPUtime=1002.22 cores=0,2,4,6
/proc/1354/stat : 1354 (xcsp_picat) R 1351 1354 31436 0 -1 4202496 86060 0 0 0 100198 24 0 0 20 0 1 0 409150048 2210955264 39619 33554432000 4194304 5870510 140730316859824 140730316858392 5282578 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 27623424 140730316866591 140730316866669 140730316866669 140730316869578 0
/proc/1354/statm: 539784 39619 990 410 0 535257 0
Current children cumulated CPU time: 1002.22 s
Current children cumulated vsize: 2159136 KiB
Current children cumulated memory: 158476 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/203 1803
/proc/meminfo: memFree=30838644/32770624 swapFree=66966216/67108860
[pid=1354] ppid=1351 vsize=2159136 memory=158476 CPUtime=1062.22 cores=0,2,4,6
/proc/1354/stat : 1354 (xcsp_picat) R 1351 1354 31436 0 -1 4202496 86705 0 0 0 106198 24 0 0 20 0 1 0 409150048 2210955264 39619 33554432000 4194304 5870510 140730316859824 140730316858392 5283116 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 27623424 140730316866591 140730316866669 140730316866669 140730316869578 0
/proc/1354/statm: 539784 39619 990 410 0 535257 0
Current children cumulated CPU time: 1062.22 s
Current children cumulated vsize: 2159136 KiB
Current children cumulated memory: 158476 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/203 1807
/proc/meminfo: memFree=30866768/32770624 swapFree=66966216/67108860
[pid=1354] ppid=1351 vsize=2159136 memory=158476 CPUtime=1122.21 cores=0,2,4,6
/proc/1354/stat : 1354 (xcsp_picat) R 1351 1354 31436 0 -1 4202496 92490 0 0 0 112197 24 0 0 20 0 1 0 409150048 2210955264 39619 33554432000 4194304 5870510 140730316859824 140730316858392 5282759 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 27623424 140730316866591 140730316866669 140730316866669 140730316869578 0
/proc/1354/statm: 539784 39619 990 410 0 535257 0
Current children cumulated CPU time: 1122.21 s
Current children cumulated vsize: 2159136 KiB
Current children cumulated memory: 158476 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/202 1811
/proc/meminfo: memFree=30829584/32770624 swapFree=66966216/67108860
[pid=1354] ppid=1351 vsize=2159128 memory=152324 CPUtime=1182.21 cores=0,2,4,6
/proc/1354/stat : 1354 (xcsp_picat) R 1351 1354 31436 0 -1 4202496 93960 0 0 0 118196 25 0 0 20 0 1 0 409150048 2210947072 38081 33554432000 4194304 5870510 140730316859824 140730316858264 5262786 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 27623424 140730316866591 140730316866669 140730316866669 140730316869578 0
/proc/1354/statm: 539782 38081 990 410 0 535255 0
Current children cumulated CPU time: 1182.21 s
Current children cumulated vsize: 2159128 KiB
Current children cumulated memory: 152324 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/202 1817
/proc/meminfo: memFree=30843192/32770624 swapFree=66966216/67108860
[pid=1354] ppid=1351 vsize=2159128 memory=152324 CPUtime=1242.21 cores=0,2,4,6
/proc/1354/stat : 1354 (xcsp_picat) R 1351 1354 31436 0 -1 4202496 99148 0 0 0 124195 26 0 0 20 0 1 0 409150048 2210947072 38081 33554432000 4194304 5870510 140730316859824 140730316858264 5277477 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 27623424 140730316866591 140730316866669 140730316866669 140730316869578 0
/proc/1354/statm: 539782 38081 990 410 0 535255 0
Current children cumulated CPU time: 1242.21 s
Current children cumulated vsize: 2159128 KiB
Current children cumulated memory: 152324 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 1822
/proc/meminfo: memFree=30845156/32770624 swapFree=66966216/67108860
[pid=1354] ppid=1351 vsize=2159128 memory=154372 CPUtime=1302.2 cores=0,2,4,6
/proc/1354/stat : 1354 (xcsp_picat) R 1351 1354 31436 0 -1 4202496 99326 0 0 0 130194 26 0 0 20 0 1 0 409150048 2210947072 38593 33554432000 4194304 5870510 140730316859824 140730316858264 5282505 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 27623424 140730316866591 140730316866669 140730316866669 140730316869578 0
/proc/1354/statm: 539782 38593 990 410 0 535255 0
Current children cumulated CPU time: 1302.2 s
Current children cumulated vsize: 2159128 KiB
Current children cumulated memory: 154372 KiB
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 1826
/proc/meminfo: memFree=30820048/32770624 swapFree=66966216/67108860
[pid=1354] ppid=1351 vsize=2159128 memory=156420 CPUtime=1362.2 cores=0,2,4,6
/proc/1354/stat : 1354 (xcsp_picat) R 1351 1354 31436 0 -1 4202496 104557 0 0 0 136194 26 0 0 20 0 1 0 409150048 2210947072 39105 33554432000 4194304 5870510 140730316859824 140730316858264 5262779 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 27623424 140730316866591 140730316866669 140730316866669 140730316869578 0
/proc/1354/statm: 539782 39105 990 410 0 535255 0
Current children cumulated CPU time: 1362.2 s
Current children cumulated vsize: 2159128 KiB
Current children cumulated memory: 156420 KiB
[startup+1381.71 s]
# the end of solver process 1354 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1381.35 s, system=0.267981 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1369.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 1826
/proc/meminfo: memFree=30817628/32770624 swapFree=66966216/67108860
[pid=1354] ppid=1351 vsize=2159128 memory=156420 CPUtime=1369.5 cores=0,2,4,6
/proc/1354/stat : 1354 (xcsp_picat) R 1351 1354 31436 0 -1 4202496 104592 0 0 0 136924 26 0 0 20 0 1 0 409150048 2210947072 39105 33554432000 4194304 5870510 140730316859824 140730316858264 5282505 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 27623424 140730316866591 140730316866669 140730316866669 140730316869578 0
/proc/1354/statm: 539782 39105 990 410 0 535255 0
Current children cumulated CPU time: 1369.5 s
Current children cumulated vsize: 2159128 KiB
Current children cumulated memory: 156420 KiB
[startup+1376 s]*
/proc/loadavg: 2.00 2.01 2.05 3/204 1828
/proc/meminfo: memFree=30839452/32770624 swapFree=66966216/67108860
[pid=1354] ppid=1351 vsize=2159128 memory=156420 CPUtime=1375.9 cores=0,2,4,6
/proc/1354/stat : 1354 (xcsp_picat) R 1351 1354 31436 0 -1 4202496 104624 0 0 0 137564 26 0 0 20 0 1 0 409150048 2210947072 39105 33554432000 4194304 5870510 140730316859824 140730316858264 5278092 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 27623424 140730316866591 140730316866669 140730316866669 140730316869578 0
/proc/1354/statm: 539782 39105 990 410 0 535255 0
Current children cumulated CPU time: 1375.9 s
Current children cumulated vsize: 2159128 KiB
Current children cumulated memory: 156420 KiB
[startup+1379.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 1828
/proc/meminfo: memFree=30839568/32770624 swapFree=66966216/67108860
[pid=1354] ppid=1351 vsize=2159128 memory=156420 CPUtime=1379.09 cores=0,2,4,6
/proc/1354/stat : 1354 (xcsp_picat) R 1351 1354 31436 0 -1 4202496 104629 0 0 0 137883 26 0 0 20 0 1 0 409150048 2210947072 39105 33554432000 4194304 5870510 140730316859824 140730316858264 5262964 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 27623424 140730316866591 140730316866669 140730316866669 140730316869578 0
/proc/1354/statm: 539782 39105 990 410 0 535255 0
Current children cumulated CPU time: 1379.09 s
Current children cumulated vsize: 2159128 KiB
Current children cumulated memory: 156420 KiB
[startup+1380.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 1828
/proc/meminfo: memFree=30839568/32770624 swapFree=66966216/67108860
[pid=1354] ppid=1351 vsize=2159128 memory=156420 CPUtime=1380.69 cores=0,2,4,6
/proc/1354/stat : 1354 (xcsp_picat) R 1351 1354 31436 0 -1 4202496 104631 0 0 0 138043 26 0 0 20 0 1 0 409150048 2210947072 39105 33554432000 4194304 5870510 140730316859824 140730316858264 140094626571058 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 27623424 140730316866591 140730316866669 140730316866669 140730316869578 0
/proc/1354/statm: 539782 39105 990 410 0 535255 0
Current children cumulated CPU time: 1380.69 s
Current children cumulated vsize: 2159128 KiB
Current children cumulated memory: 156420 KiB
[startup+1381.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 1828
/proc/meminfo: memFree=30839648/32770624 swapFree=66966216/67108860
[pid=1354] ppid=1351 vsize=2159128 memory=156420 CPUtime=1381.09 cores=0,2,4,6
/proc/1354/stat : 1354 (xcsp_picat) R 1351 1354 31436 0 -1 4202496 104632 0 0 0 138083 26 0 0 20 0 1 0 409150048 2210947072 39105 33554432000 4194304 5870510 140730316859824 140730316858264 5282721 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 27623424 140730316866591 140730316866669 140730316866669 140730316869578 0
/proc/1354/statm: 539782 39105 990 410 0 535255 0
Current children cumulated CPU time: 1381.09 s
Current children cumulated vsize: 2159128 KiB
Current children cumulated memory: 156420 KiB
[startup+1381.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 1828
/proc/meminfo: memFree=30839648/32770624 swapFree=66966216/67108860
[pid=1354] ppid=1351 vsize=2159128 memory=156420 CPUtime=1381.49 cores=0,2,4,6
/proc/1354/stat : 1354 (xcsp_picat) R 1351 1354 31436 0 -1 4202496 104632 0 0 0 138123 26 0 0 20 0 1 0 409150048 2210947072 39105 33554432000 4194304 5870510 140730316859824 140730316858264 5262802 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 27623424 140730316866591 140730316866669 140730316866669 140730316869578 0
/proc/1354/statm: 539782 39105 990 410 0 535255 0
Current children cumulated CPU time: 1381.49 s
Current children cumulated vsize: 2159128 KiB
Current children cumulated memory: 156420 KiB
[startup+1381.7 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 1828
/proc/meminfo: memFree=30839648/32770624 swapFree=66966216/67108860
[pid=1354] ppid=1351 vsize=2159128 memory=156420 CPUtime=1381.59 cores=0,2,4,6
/proc/1354/stat : 1354 (xcsp_picat) R 1351 1354 31436 0 -1 4202496 104632 0 0 0 138133 26 0 0 20 0 1 0 409150048 2210947072 39105 33554432000 4194304 5870510 140730316859824 140730316858264 5262756 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 27623424 140730316866591 140730316866669 140730316866669 140730316869578 0
/proc/1354/statm: 539782 39105 990 410 0 535255 0
Current children cumulated CPU time: 1381.59 s
Current children cumulated vsize: 2159128 KiB
Current children cumulated memory: 156420 KiB
Child status: 0
Real time (s): 1381.71
CPU time (s): 1381.62
CPU user time (s): 1381.35
CPU system time (s): 0.267981
CPU usage (%): 99.993
Max. virtual memory (cumulated for all children) (KiB): 2159136
Max. memory (cumulated for all children) (KiB): 158476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1381.35
system time used= 0.267981
maximum resident set size= 177816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104838
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= 5
involuntary context switches= 1731
# summary of solver processes directly reported to runsolver:
# pid: 1354
# total CPU time (s): 1381.62
# total CPU user time (s): 1381.35
# total CPU system time (s): 0.267981
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.3128 second user time and 10.5151 second system time
The end