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 (14798 MiB free)
memory of node 1: 16384 MiB (15297 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395421-1568340117/watcher-4395421-1568340117 -o /tmp/evaluation-result-4395421-1568340117/solver-4395421-1568340117 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568318666-25671 --watchdog 2580 xcsp_picat HOME/instance-4395421-1568340117.xml
running on 4 cores: 0,2,4,6
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=31060, runsolver pid=31057
Current StackSize limit: 8192 KiB
[startup+0.100398 s]*
/proc/loadavg: 1.98 2.01 2.04 3/199 31061
/proc/meminfo: memFree=30795420/32770624 swapFree=66996636/67108860
[pid=31060] ppid=31057 vsize=2039100 memory=27448 CPUtime=0.1 cores=0,2,4,6
/proc/31060/stat : 31060 (xcsp_picat) R 31057 31060 25640 0 -1 4202496 2546 0 0 0 10 0 0 0 20 0 1 0 410266420 2088038400 6862 33554432000 4194304 5870510 140727728887184 140727728886360 5336072 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 46022656 140727728890911 140727728890989 140727728890989 140727728893898 0
/proc/31060/statm: 509775 6862 943 410 0 505248 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2039100 KiB
Current children cumulated memory: 27448 KiB
[startup+0.20946 s]*
/proc/loadavg: 1.98 2.01 2.04 3/199 31061
/proc/meminfo: memFree=30794972/32770624 swapFree=66996636/67108860
[pid=31060] ppid=31057 vsize=2035776 memory=27368 CPUtime=0.2 cores=0,2,4,6
/proc/31060/stat : 31060 (xcsp_picat) R 31057 31060 25640 0 -1 4202496 3035 0 0 0 20 0 0 0 20 0 1 0 410266420 2084634624 6842 33554432000 4194304 5870510 140727728887184 140727728886360 5298780 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 46022656 140727728890911 140727728890989 140727728890989 140727728893898 0
/proc/31060/statm: 508944 6842 973 410 0 504417 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2035776 KiB
Current children cumulated memory: 27368 KiB
[startup+0.30919 s]*
/proc/loadavg: 1.98 2.01 2.04 3/199 31061
/proc/meminfo: memFree=30794972/32770624 swapFree=66996636/67108860
[pid=31060] ppid=31057 vsize=2036936 memory=27896 CPUtime=0.3 cores=0,2,4,6
/proc/31060/stat : 31060 (xcsp_picat) R 31057 31060 25640 0 -1 4202496 3184 0 0 0 30 0 0 0 20 0 1 0 410266420 2085822464 6974 33554432000 4194304 5870510 140727728887184 140727728885416 5298780 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 46022656 140727728890911 140727728890989 140727728890989 140727728893898 0
/proc/31060/statm: 509234 6974 973 410 0 504707 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2036936 KiB
Current children cumulated memory: 27896 KiB
[startup+0.700246 s]
/proc/loadavg: 1.98 2.01 2.04 3/199 31061
/proc/meminfo: memFree=30793244/32770624 swapFree=66996636/67108860
[pid=31060] ppid=31057 vsize=2042256 memory=33320 CPUtime=0.69 cores=0,2,4,6
/proc/31060/stat : 31060 (xcsp_picat) R 31057 31060 25640 0 -1 4202496 4039 0 0 0 68 1 0 0 20 0 1 0 410266420 2091270144 8330 33554432000 4194304 5870510 140727728887184 140727728885544 5278096 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 46022656 140727728890911 140727728890989 140727728890989 140727728893898 0
/proc/31060/statm: 510564 8330 974 410 0 506037 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2042256 KiB
Current children cumulated memory: 33320 KiB
[startup+1.50028 s]
/proc/loadavg: 1.98 2.01 2.04 3/199 31061
/proc/meminfo: memFree=30788592/32770624 swapFree=66996636/67108860
[pid=31060] ppid=31057 vsize=2047212 memory=36968 CPUtime=1.49 cores=0,2,4,6
/proc/31060/stat : 31060 (xcsp_picat) R 31057 31060 25640 0 -1 4202496 5366 0 0 0 148 1 0 0 20 0 1 0 410266420 2096345088 9242 33554432000 4194304 5870510 140727728887184 140727728885544 5282519 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 46022656 140727728890911 140727728890989 140727728890989 140727728893898 0
/proc/31060/statm: 511803 9242 974 410 0 507276 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2047212 KiB
Current children cumulated memory: 36968 KiB
[startup+3.10951 s]
/proc/loadavg: 1.98 2.01 2.04 3/199 31061
/proc/meminfo: memFree=30769400/32770624 swapFree=66996636/67108860
[pid=31060] ppid=31057 vsize=2066624 memory=55876 CPUtime=3.09 cores=0,2,4,6
/proc/31060/stat : 31060 (xcsp_picat) R 31057 31060 25640 0 -1 4202496 9676 0 0 0 307 2 0 0 20 0 1 0 410266420 2116222976 13969 33554432000 4194304 5870510 140727728887184 140727728886136 5282684 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 46022656 140727728890911 140727728890989 140727728890989 140727728893898 0
/proc/31060/statm: 516656 13969 974 410 0 512129 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2066624 KiB
Current children cumulated memory: 55876 KiB
[startup+6.30032 s]
/proc/loadavg: 1.98 2.01 2.04 3/199 31061
/proc/meminfo: memFree=30746984/32770624 swapFree=66996636/67108860
[pid=31060] ppid=31057 vsize=2096972 memory=78620 CPUtime=6.28 cores=0,2,4,6
/proc/31060/stat : 31060 (xcsp_picat) R 31057 31060 25640 0 -1 4202496 11499 0 0 0 625 3 0 0 20 0 1 0 410266420 2147299328 19655 33554432000 4194304 5870510 140727728887184 140727728885624 5282595 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 46022656 140727728890911 140727728890989 140727728890989 140727728893898 0
/proc/31060/statm: 524243 19655 974 410 0 519716 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2096972 KiB
Current children cumulated memory: 78620 KiB
[startup+12.7003 s]
/proc/loadavg: 1.91 1.99 2.03 3/199 31061
/proc/meminfo: memFree=30736420/32770624 swapFree=66996636/67108860
[pid=31060] ppid=31057 vsize=2087532 memory=78700 CPUtime=12.69 cores=0,2,4,6
/proc/31060/stat : 31060 (xcsp_picat) R 31057 31060 25640 0 -1 4202496 17594 0 0 0 1264 5 0 0 20 0 1 0 410266420 2137632768 19675 33554432000 4194304 5870510 140727728887184 140727728885624 5277469 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 46022656 140727728890911 140727728890989 140727728890989 140727728893898 0
/proc/31060/statm: 521883 19675 984 410 0 517356 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2087532 KiB
Current children cumulated memory: 78700 KiB
[startup+25.5003 s]
/proc/loadavg: 1.92 1.99 2.03 3/200 31149
/proc/meminfo: memFree=30743532/32770624 swapFree=66996656/67108860
[pid=31060] ppid=31057 vsize=2087532 memory=78992 CPUtime=25.48 cores=0,2,4,6
/proc/31060/stat : 31060 (xcsp_picat) R 31057 31060 25640 0 -1 4202496 21004 0 0 0 2543 5 0 0 20 0 1 0 410266420 2137632768 19748 33554432000 4194304 5870510 140727728887184 140727728885624 5262751 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 46022656 140727728890911 140727728890989 140727728890989 140727728893898 0
/proc/31060/statm: 521883 19748 984 410 0 517356 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2087532 KiB
Current children cumulated memory: 78992 KiB
[startup+51.1097 s]
/proc/loadavg: 1.89 1.98 2.03 4/200 31150
/proc/meminfo: memFree=30717008/32770624 swapFree=66996656/67108860
[pid=31060] ppid=31057 vsize=2087532 memory=78992 CPUtime=51.09 cores=0,2,4,6
/proc/31060/stat : 31060 (xcsp_picat) R 31057 31060 25640 0 -1 4202496 21567 0 0 0 5104 5 0 0 20 0 1 0 410266420 2137632768 19748 33554432000 4194304 5870510 140727728887184 140727728886296 5283135 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 46022656 140727728890911 140727728890989 140727728890989 140727728893898 0
/proc/31060/statm: 521883 19748 984 410 0 517356 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2087532 KiB
Current children cumulated memory: 78992 KiB
[startup+102.3 s]
/proc/loadavg: 1.96 1.98 2.03 4/200 31153
/proc/meminfo: memFree=30662216/32770624 swapFree=66996656/67108860
[pid=31060] ppid=31057 vsize=2106500 memory=103764 CPUtime=102.28 cores=0,2,4,6
/proc/31060/stat : 31060 (xcsp_picat) R 31057 31060 25640 0 -1 4202496 25925 0 0 0 10221 7 0 0 20 0 1 0 410266420 2157056000 25941 33554432000 4194304 5870510 140727728887184 140727728885752 140574815365710 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 46022656 140727728890911 140727728890989 140727728890989 140727728893898 0
/proc/31060/statm: 526625 25941 984 410 0 522098 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2106500 KiB
Current children cumulated memory: 103764 KiB
[startup+162.3 s]
/proc/loadavg: 1.98 1.99 2.03 4/200 31159
/proc/meminfo: memFree=30660968/32770624 swapFree=66996656/67108860
[pid=31060] ppid=31057 vsize=2094604 memory=91868 CPUtime=162.28 cores=0,2,4,6
/proc/31060/stat : 31060 (xcsp_picat) R 31057 31060 25640 0 -1 4202496 31486 0 0 0 16219 9 0 0 20 0 1 0 410266420 2144874496 22967 33554432000 4194304 5870510 140727728887184 140727728885624 5274709 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 46022656 140727728890911 140727728890989 140727728890989 140727728893898 0
/proc/31060/statm: 523651 22967 984 410 0 519124 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2094604 KiB
Current children cumulated memory: 91868 KiB
[startup+222.3 s]
/proc/loadavg: 1.99 1.99 2.03 4/200 31163
/proc/meminfo: memFree=30652424/32770624 swapFree=66996656/67108860
[pid=31060] ppid=31057 vsize=2103944 memory=100472 CPUtime=222.28 cores=0,2,4,6
/proc/31060/stat : 31060 (xcsp_picat) R 31057 31060 25640 0 -1 4202496 31635 0 0 0 22219 9 0 0 20 0 1 0 410266420 2154438656 25118 33554432000 4194304 5870510 140727728887184 140727728885752 5282606 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 46022656 140727728890911 140727728890989 140727728890989 140727728893898 0
/proc/31060/statm: 525986 25118 984 410 0 521459 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2103944 KiB
Current children cumulated memory: 100472 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 2.03 4/199 31167
/proc/meminfo: memFree=30671560/32770624 swapFree=66996656/67108860
[pid=31060] ppid=31057 vsize=2087532 memory=81952 CPUtime=282.27 cores=0,2,4,6
/proc/31060/stat : 31060 (xcsp_picat) R 31057 31060 25640 0 -1 4202496 36258 0 0 0 28218 9 0 0 20 0 1 0 410266420 2137632768 20488 33554432000 4194304 5870510 140727728887184 140727728885624 5272987 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 46022656 140727728890911 140727728890989 140727728890989 140727728893898 0
/proc/31060/statm: 521883 20488 984 410 0 517356 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 2087532 KiB
Current children cumulated memory: 81952 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 2.03 5/199 31173
/proc/meminfo: memFree=30662920/32770624 swapFree=66996656/67108860
[pid=31060] ppid=31057 vsize=2114672 memory=104656 CPUtime=342.27 cores=0,2,4,6
/proc/31060/stat : 31060 (xcsp_picat) R 31057 31060 25640 0 -1 4202496 40162 0 0 0 34217 10 0 0 20 0 1 0 410266420 2165424128 26164 33554432000 4194304 5870510 140727728887184 140727728885624 5288964 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 46022656 140727728890911 140727728890989 140727728890989 140727728893898 0
/proc/31060/statm: 528668 26164 984 410 0 524141 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 2114672 KiB
Current children cumulated memory: 104656 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 31177
/proc/meminfo: memFree=30700036/32770624 swapFree=66996656/67108860
[pid=31060] ppid=31057 vsize=2114672 memory=104656 CPUtime=402.27 cores=0,2,4,6
/proc/31060/stat : 31060 (xcsp_picat) R 31057 31060 25640 0 -1 4202496 40181 0 0 0 40217 10 0 0 20 0 1 0 410266420 2165424128 26164 33554432000 4194304 5870510 140727728887184 140727728885624 5282574 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 46022656 140727728890911 140727728890989 140727728890989 140727728893898 0
/proc/31060/statm: 528668 26164 984 410 0 524141 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 2114672 KiB
Current children cumulated memory: 104656 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 31181
/proc/meminfo: memFree=30652932/32770624 swapFree=66996656/67108860
[pid=31060] ppid=31057 vsize=2133764 memory=114528 CPUtime=462.27 cores=0,2,4,6
/proc/31060/stat : 31060 (xcsp_picat) R 31057 31060 25640 0 -1 4202496 43611 0 0 0 46217 10 0 0 20 0 1 0 410266420 2184974336 28632 33554432000 4194304 5870510 140727728887184 140727728885624 5277931 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 46022656 140727728890911 140727728890989 140727728890989 140727728893898 0
/proc/31060/statm: 533441 28632 984 410 0 528914 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 2133764 KiB
Current children cumulated memory: 114528 KiB
################
# More data... #
################
Current children cumulated memory: 110756 KiB
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/198 31317
/proc/meminfo: memFree=30619900/32770624 swapFree=66996664/67108860
[pid=31060] ppid=31057 vsize=2113588 memory=110816 CPUtime=1482.22 cores=0,2,4,6
/proc/31060/stat : 31060 (xcsp_picat) R 31057 31060 25640 0 -1 4202496 117468 0 0 0 148196 26 0 0 20 0 1 0 410266420 2164314112 27704 33554432000 4194304 5870510 140727728887184 140727728885752 5304146 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 46022656 140727728890911 140727728890989 140727728890989 140727728893898 0
/proc/31060/statm: 528397 27704 984 410 0 523870 0
Current children cumulated CPU time: 1482.22 s
Current children cumulated vsize: 2113588 KiB
Current children cumulated memory: 110816 KiB
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/198 31321
/proc/meminfo: memFree=30597100/32770624 swapFree=66996664/67108860
[pid=31060] ppid=31057 vsize=2113588 memory=110848 CPUtime=1542.22 cores=0,2,4,6
/proc/31060/stat : 31060 (xcsp_picat) R 31057 31060 25640 0 -1 4202496 122360 0 0 0 154195 27 0 0 20 0 1 0 410266420 2164314112 27712 33554432000 4194304 5870510 140727728887184 140727728885752 5277475 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 46022656 140727728890911 140727728890989 140727728890989 140727728893898 0
/proc/31060/statm: 528397 27712 984 410 0 523870 0
Current children cumulated CPU time: 1542.22 s
Current children cumulated vsize: 2113588 KiB
Current children cumulated memory: 110848 KiB
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/198 31327
/proc/meminfo: memFree=30597312/32770624 swapFree=66996664/67108860
[pid=31060] ppid=31057 vsize=2113588 memory=110848 CPUtime=1602.21 cores=0,2,4,6
/proc/31060/stat : 31060 (xcsp_picat) R 31057 31060 25640 0 -1 4202496 127264 0 0 0 160194 27 0 0 20 0 1 0 410266420 2164314112 27712 33554432000 4194304 5870510 140727728887184 140727728885752 5274422 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 46022656 140727728890911 140727728890989 140727728890989 140727728893898 0
/proc/31060/statm: 528397 27712 984 410 0 523870 0
Current children cumulated CPU time: 1602.21 s
Current children cumulated vsize: 2113588 KiB
Current children cumulated memory: 110848 KiB
[startup+1662.3 s]
/proc/loadavg: 2.07 2.03 2.05 4/198 31332
/proc/meminfo: memFree=30597332/32770624 swapFree=66996672/67108860
[pid=31060] ppid=31057 vsize=2113588 memory=110848 CPUtime=1662.21 cores=0,2,4,6
/proc/31060/stat : 31060 (xcsp_picat) R 31057 31060 25640 0 -1 4202496 132085 0 0 0 166194 27 0 0 20 0 1 0 410266420 2164314112 27712 33554432000 4194304 5870510 140727728887184 140727728885752 5282606 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 46022656 140727728890911 140727728890989 140727728890989 140727728893898 0
/proc/31060/statm: 528397 27712 984 410 0 523870 0
Current children cumulated CPU time: 1662.21 s
Current children cumulated vsize: 2113588 KiB
Current children cumulated memory: 110848 KiB
[startup+1722.3 s]
/proc/loadavg: 2.03 2.02 2.05 4/198 31336
/proc/meminfo: memFree=30597288/32770624 swapFree=66996672/67108860
[pid=31060] ppid=31057 vsize=2113588 memory=110848 CPUtime=1722.21 cores=0,2,4,6
/proc/31060/stat : 31060 (xcsp_picat) R 31057 31060 25640 0 -1 4202496 137288 0 0 0 172193 28 0 0 20 0 1 0 410266420 2164314112 27712 33554432000 4194304 5870510 140727728887184 140727728885752 5283024 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 46022656 140727728890911 140727728890989 140727728890989 140727728893898 0
/proc/31060/statm: 528397 27712 984 410 0 523870 0
Current children cumulated CPU time: 1722.21 s
Current children cumulated vsize: 2113588 KiB
Current children cumulated memory: 110848 KiB
[startup+1782.3 s]
/proc/loadavg: 2.06 2.04 2.05 4/198 31349
/proc/meminfo: memFree=30596632/32770624 swapFree=66996672/67108860
[pid=31060] ppid=31057 vsize=2113588 memory=110848 CPUtime=1782.21 cores=0,2,4,6
/proc/31060/stat : 31060 (xcsp_picat) R 31057 31060 25640 0 -1 4202496 141586 0 0 0 178193 28 0 0 20 0 1 0 410266420 2164314112 27712 33554432000 4194304 5870510 140727728887184 140727728885752 140574810534260 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 46022656 140727728890911 140727728890989 140727728890989 140727728893898 0
/proc/31060/statm: 528397 27712 984 410 0 523870 0
Current children cumulated CPU time: 1782.21 s
Current children cumulated vsize: 2113588 KiB
Current children cumulated memory: 110848 KiB
[startup+1842.3 s]
/proc/loadavg: 2.02 2.03 2.05 4/198 31353
/proc/meminfo: memFree=30591116/32770624 swapFree=66996672/67108860
[pid=31060] ppid=31057 vsize=2120768 memory=116940 CPUtime=1842.21 cores=0,2,4,6
/proc/31060/stat : 31060 (xcsp_picat) R 31057 31060 25640 0 -1 4202496 147069 0 0 0 184192 29 0 0 20 0 1 0 410266420 2171666432 29235 33554432000 4194304 5870510 140727728887184 140727728885752 5272433 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 46022656 140727728890911 140727728890989 140727728890989 140727728893898 0
/proc/31060/statm: 530192 29235 984 410 0 525665 0
Current children cumulated CPU time: 1842.21 s
Current children cumulated vsize: 2120768 KiB
Current children cumulated memory: 116940 KiB
[startup+1885.4 s]
# the end of solver process 31060 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1885.02 s, system=0.300987 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1843.2 s]
/proc/loadavg: 2.02 2.03 2.05 4/198 31353
/proc/meminfo: memFree=30591116/32770624 swapFree=66996672/67108860
[pid=31060] ppid=31057 vsize=2120768 memory=116940 CPUtime=1843.11 cores=0,2,4,6
/proc/31060/stat : 31060 (xcsp_picat) R 31057 31060 25640 0 -1 4202496 147069 0 0 0 184282 29 0 0 20 0 1 0 410266420 2171666432 29235 33554432000 4194304 5870510 140727728887184 140727728885752 5272505 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 46022656 140727728890911 140727728890989 140727728890989 140727728893898 0
/proc/31060/statm: 530192 29235 984 410 0 525665 0
Current children cumulated CPU time: 1843.11 s
Current children cumulated vsize: 2120768 KiB
Current children cumulated memory: 116940 KiB
[startup+1868.8 s]
/proc/loadavg: 2.02 2.03 2.05 4/198 31356
/proc/meminfo: memFree=30585820/32770624 swapFree=66996672/67108860
[pid=31060] ppid=31057 vsize=2125088 memory=122180 CPUtime=1868.7 cores=0,2,4,6
/proc/31060/stat : 31060 (xcsp_picat) R 31057 31060 25640 0 -1 4202496 154122 0 0 0 186841 29 0 0 20 0 1 0 410266420 2176090112 30545 33554432000 4194304 5870510 140727728887184 140727728885752 5282606 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 46022656 140727728890911 140727728890989 140727728890989 140727728893898 0
/proc/31060/statm: 531272 30545 984 410 0 526745 0
Current children cumulated CPU time: 1868.7 s
Current children cumulated vsize: 2125088 KiB
Current children cumulated memory: 122180 KiB
[startup+1875.2 s]
/proc/loadavg: 2.01 2.03 2.05 4/198 31356
/proc/meminfo: memFree=30586168/32770624 swapFree=66996672/67108860
[pid=31060] ppid=31057 vsize=2125088 memory=122348 CPUtime=1875.1 cores=0,2,4,6
/proc/31060/stat : 31060 (xcsp_picat) R 31057 31060 25640 0 -1 4202496 154146 0 0 0 187481 29 0 0 20 0 1 0 410266420 2176090112 30587 33554432000 4194304 5870510 140727728887184 140727728885752 5282211 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 46022656 140727728890911 140727728890989 140727728890989 140727728893898 0
/proc/31060/statm: 531272 30587 984 410 0 526745 0
Current children cumulated CPU time: 1875.1 s
Current children cumulated vsize: 2125088 KiB
Current children cumulated memory: 122348 KiB
[startup+1881.6 s]
/proc/loadavg: 2.01 2.03 2.05 4/198 31356
/proc/meminfo: memFree=30586316/32770624 swapFree=66996672/67108860
[pid=31060] ppid=31057 vsize=2125088 memory=122348 CPUtime=1881.5 cores=0,2,4,6
/proc/31060/stat : 31060 (xcsp_picat) R 31057 31060 25640 0 -1 4202496 154223 0 0 0 188121 29 0 0 20 0 1 0 410266420 2176090112 30587 33554432000 4194304 5870510 140727728887184 140727728885752 5277491 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 46022656 140727728890911 140727728890989 140727728890989 140727728893898 0
/proc/31060/statm: 531272 30587 984 410 0 526745 0
Current children cumulated CPU time: 1881.5 s
Current children cumulated vsize: 2125088 KiB
Current children cumulated memory: 122348 KiB
[startup+1883.2 s]
/proc/loadavg: 2.01 2.03 2.05 4/198 31356
/proc/meminfo: memFree=30586344/32770624 swapFree=66996672/67108860
[pid=31060] ppid=31057 vsize=2125088 memory=122348 CPUtime=1883.1 cores=0,2,4,6
/proc/31060/stat : 31060 (xcsp_picat) R 31057 31060 25640 0 -1 4202496 154228 0 0 0 188281 29 0 0 20 0 1 0 410266420 2176090112 30587 33554432000 4194304 5870510 140727728887184 140727728885752 5282464 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 46022656 140727728890911 140727728890989 140727728890989 140727728893898 0
/proc/31060/statm: 531272 30587 984 410 0 526745 0
Current children cumulated CPU time: 1883.1 s
Current children cumulated vsize: 2125088 KiB
Current children cumulated memory: 122348 KiB
[startup+1884.8 s]
/proc/loadavg: 2.01 2.03 2.05 4/198 31356
/proc/meminfo: memFree=30586344/32770624 swapFree=66996672/67108860
[pid=31060] ppid=31057 vsize=2125088 memory=122348 CPUtime=1884.7 cores=0,2,4,6
/proc/31060/stat : 31060 (xcsp_picat) R 31057 31060 25640 0 -1 4202496 154229 0 0 0 188441 29 0 0 20 0 1 0 410266420 2176090112 30587 33554432000 4194304 5870510 140727728887184 140727728885752 5282505 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 46022656 140727728890911 140727728890989 140727728890989 140727728893898 0
/proc/31060/statm: 531272 30587 984 410 0 526745 0
Current children cumulated CPU time: 1884.7 s
Current children cumulated vsize: 2125088 KiB
Current children cumulated memory: 122348 KiB
[startup+1885.2 s]
/proc/loadavg: 2.01 2.03 2.05 4/198 31356
/proc/meminfo: memFree=30586344/32770624 swapFree=66996672/67108860
[pid=31060] ppid=31057 vsize=2125088 memory=122348 CPUtime=1885.1 cores=0,2,4,6
/proc/31060/stat : 31060 (xcsp_picat) R 31057 31060 25640 0 -1 4202496 154231 0 0 0 188481 29 0 0 20 0 1 0 410266420 2176090112 30587 33554432000 4194304 5870510 140727728887184 140727728885752 5307152 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 46022656 140727728890911 140727728890989 140727728890989 140727728893898 0
/proc/31060/statm: 531272 30587 984 410 0 526745 0
Current children cumulated CPU time: 1885.1 s
Current children cumulated vsize: 2125088 KiB
Current children cumulated memory: 122348 KiB
[startup+1885.4 s]
/proc/loadavg: 2.01 2.03 2.05 4/198 31356
/proc/meminfo: memFree=30586344/32770624 swapFree=66996672/67108860
[pid=31060] ppid=31057 vsize=2125088 memory=122348 CPUtime=1885.3 cores=0,2,4,6
/proc/31060/stat : 31060 (xcsp_picat) R 31057 31060 25640 0 -1 4202496 154231 0 0 0 188501 29 0 0 20 0 1 0 410266420 2176090112 30587 33554432000 4194304 5870510 140727728887184 140727728885752 5282467 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 46022656 140727728890911 140727728890989 140727728890989 140727728893898 0
/proc/31060/statm: 531272 30587 984 410 0 526745 0
Current children cumulated CPU time: 1885.3 s
Current children cumulated vsize: 2125088 KiB
Current children cumulated memory: 122348 KiB
Child status: 0
Real time (s): 1885.4
CPU time (s): 1885.32
CPU user time (s): 1885.02
CPU system time (s): 0.300987
CPU usage (%): 99.9954
Max. virtual memory (cumulated for all children) (KiB): 2133764
Max. memory (cumulated for all children) (KiB): 122348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1885.02
system time used= 0.300987
maximum resident set size= 122376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154269
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= 9
involuntary context switches= 1243
# summary of solver processes directly reported to runsolver:
# pid: 31060
# total CPU time (s): 1885.32
# total CPU user time (s): 1885.02
# total CPU system time (s): 0.300987
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.86082 second user time and 13.3129 second system time
The end