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 (8597 MiB free)
memory of node 1: 16384 MiB (13181 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294379-1532447374/watcher-4294379-1532447374 -o /tmp/evaluation-result-4294379-1532447374/solver-4294379-1532447374 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532432947-16183 --watchdog 2580 xcsp_picat HOME/instance-4294379-1532447374.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
Current StackSize limit: 8192 KiB
solver pid=18206, runsolver pid=18203
[startup+0.100108 s]*
/proc/loadavg: 1.93 2.06 2.07 3/187 18207
/proc/meminfo: memFree=22288524/32770624 swapFree=67108860/67108860
[pid=18206] ppid=18203 vsize=113188 memory=15284 CPUtime=0.1 cores=0,2,4,6
/proc/18206/stat : 18206 (xcsp_picat) R 18203 18206 16152 0 -1 4202496 1984 0 0 0 10 0 0 0 20 0 1 0 62300532 115904512 3821 33554432000 4194304 5849740 140736202389824 140736202389064 5302780 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 36163584 140736202396854 140736202396932 140736202396932 140736202399690 0
/proc/18206/statm: 28297 3821 691 405 0 25241 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 113188 KiB
Current children cumulated memory: 15284 KiB
[startup+0.209728 s]*
/proc/loadavg: 1.93 2.06 2.07 3/187 18207
/proc/meminfo: memFree=22288524/32770624 swapFree=67108860/67108860
[pid=18206] ppid=18203 vsize=113320 memory=15352 CPUtime=0.21 cores=0,2,4,6
/proc/18206/stat : 18206 (xcsp_picat) R 18203 18206 16152 0 -1 4202496 2084 0 0 0 21 0 0 0 20 0 1 0 62300532 116039680 3838 33554432000 4194304 5849740 140736202389824 140736202389064 5375270 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 36163584 140736202396854 140736202396932 140736202396932 140736202399690 0
/proc/18206/statm: 28330 3838 691 405 0 25274 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 113320 KiB
Current children cumulated memory: 15352 KiB
[startup+0.308932 s]*
/proc/loadavg: 1.93 2.06 2.07 3/187 18207
/proc/meminfo: memFree=22287904/32770624 swapFree=67108860/67108860
[pid=18206] ppid=18203 vsize=114256 memory=16128 CPUtime=0.31 cores=0,2,4,6
/proc/18206/stat : 18206 (xcsp_picat) R 18203 18206 16152 0 -1 4202496 2346 0 0 0 31 0 0 0 20 0 1 0 62300532 116998144 4032 33554432000 4194304 5849740 140736202389824 140736202389064 5360789 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 36163584 140736202396854 140736202396932 140736202396932 140736202399690 0
/proc/18206/statm: 28564 4032 694 405 0 25508 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 114256 KiB
Current children cumulated memory: 16128 KiB
[startup+0.700237 s]
/proc/loadavg: 1.93 2.06 2.07 3/187 18207
/proc/meminfo: memFree=22283704/32770624 swapFree=67108860/67108860
[pid=18206] ppid=18203 vsize=120316 memory=21868 CPUtime=0.69 cores=0,2,4,6
/proc/18206/stat : 18206 (xcsp_picat) R 18203 18206 16152 0 -1 4202496 3902 0 0 0 69 0 0 0 20 0 1 0 62300532 123203584 5467 33554432000 4194304 5849740 140736202389824 140736202388696 4211602 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 36163584 140736202396854 140736202396932 140736202396932 140736202399690 0
/proc/18206/statm: 30079 5467 703 405 0 27023 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 120316 KiB
Current children cumulated memory: 21868 KiB
[startup+1.50023 s]
/proc/loadavg: 1.93 2.06 2.07 3/187 18207
/proc/meminfo: memFree=22282216/32770624 swapFree=67108860/67108860
[pid=18206] ppid=18203 vsize=120316 memory=21868 CPUtime=1.49 cores=0,2,4,6
/proc/18206/stat : 18206 (xcsp_picat) R 18203 18206 16152 0 -1 4202496 3902 0 0 0 149 0 0 0 20 0 1 0 62300532 123203584 5467 33554432000 4194304 5849740 140736202389824 140736202388696 4211675 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 36163584 140736202396854 140736202396932 140736202396932 140736202399690 0
/proc/18206/statm: 30079 5467 703 405 0 27023 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 120316 KiB
Current children cumulated memory: 21868 KiB
[startup+3.10917 s]
/proc/loadavg: 1.93 2.06 2.07 3/187 18207
/proc/meminfo: memFree=22282180/32770624 swapFree=67108860/67108860
[pid=18206] ppid=18203 vsize=120316 memory=22084 CPUtime=3.1 cores=0,2,4,6
/proc/18206/stat : 18206 (xcsp_picat) R 18203 18206 16152 0 -1 4202496 4961 0 0 0 310 0 0 0 20 0 1 0 62300532 123203584 5521 33554432000 4194304 5849740 140736202389824 140736202388072 4211621 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 36163584 140736202396854 140736202396932 140736202396932 140736202399690 0
/proc/18206/statm: 30079 5521 703 405 0 27023 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 120316 KiB
Current children cumulated memory: 22084 KiB
[startup+6.30022 s]
/proc/loadavg: 1.85 2.04 2.07 3/187 18207
/proc/meminfo: memFree=22282308/32770624 swapFree=67108860/67108860
[pid=18206] ppid=18203 vsize=120316 memory=22084 CPUtime=6.29 cores=0,2,4,6
/proc/18206/stat : 18206 (xcsp_picat) R 18203 18206 16152 0 -1 4202496 6080 0 0 0 628 1 0 0 20 0 1 0 62300532 123203584 5521 33554432000 4194304 5849740 140736202389824 140736202388072 4211681 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 36163584 140736202396854 140736202396932 140736202396932 140736202399690 0
/proc/18206/statm: 30079 5521 703 405 0 27023 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 120316 KiB
Current children cumulated memory: 22084 KiB
[startup+12.7002 s]
/proc/loadavg: 1.86 2.04 2.07 3/187 18207
/proc/meminfo: memFree=22297640/32770624 swapFree=67108860/67108860
[pid=18206] ppid=18203 vsize=120316 memory=22296 CPUtime=12.69 cores=0,2,4,6
/proc/18206/stat : 18206 (xcsp_picat) R 18203 18206 16152 0 -1 4202496 7346 0 0 0 1268 1 0 0 20 0 1 0 62300532 123203584 5574 33554432000 4194304 5849740 140736202389824 140736202388072 4211602 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 36163584 140736202396854 140736202396932 140736202396932 140736202399690 0
/proc/18206/statm: 30079 5574 703 405 0 27023 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 120316 KiB
Current children cumulated memory: 22296 KiB
[startup+25.5002 s]
/proc/loadavg: 1.89 2.04 2.06 3/187 18207
/proc/meminfo: memFree=22282012/32770624 swapFree=67108860/67108860
[pid=18206] ppid=18203 vsize=120316 memory=22324 CPUtime=25.49 cores=0,2,4,6
/proc/18206/stat : 18206 (xcsp_picat) R 18203 18206 16152 0 -1 4202496 9634 0 0 0 2548 1 0 0 20 0 1 0 62300532 123203584 5581 33554432000 4194304 5849740 140736202389824 140736202388072 4212046 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 36163584 140736202396854 140736202396932 140736202396932 140736202399690 0
/proc/18206/statm: 30079 5581 703 405 0 27023 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 120316 KiB
Current children cumulated memory: 22324 KiB
[startup+51.1092 s]
/proc/loadavg: 1.93 2.04 2.06 3/188 18215
/proc/meminfo: memFree=22280088/32770624 swapFree=67108860/67108860
[pid=18206] ppid=18203 vsize=120316 memory=22324 CPUtime=51.09 cores=0,2,4,6
/proc/18206/stat : 18206 (xcsp_picat) R 18203 18206 16152 0 -1 4202496 10818 0 0 0 5108 1 0 0 20 0 1 0 62300532 123203584 5581 33554432000 4194304 5849740 140736202389824 140736202388072 4211654 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 36163584 140736202396854 140736202396932 140736202396932 140736202399690 0
/proc/18206/statm: 30079 5581 703 405 0 27023 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 120316 KiB
Current children cumulated memory: 22324 KiB
[startup+102.3 s]
/proc/loadavg: 1.97 2.03 2.06 3/188 18216
/proc/meminfo: memFree=22232436/32770624 swapFree=67108860/67108860
[pid=18206] ppid=18203 vsize=119996 memory=22208 CPUtime=102.27 cores=0,2,4,6
/proc/18206/stat : 18206 (xcsp_picat) R 18203 18206 16152 0 -1 4202496 17395 0 0 0 10223 4 0 0 20 0 1 0 62300532 122875904 5552 33554432000 4194304 5849740 140736202389824 140736202387736 4211654 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 36163584 140736202396854 140736202396932 140736202396932 140736202399690 0
/proc/18206/statm: 29999 5552 720 405 0 26943 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 119996 KiB
Current children cumulated memory: 22208 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.03 2.05 3/188 18217
/proc/meminfo: memFree=22215444/32770624 swapFree=67108860/67108860
[pid=18206] ppid=18203 vsize=119996 memory=26676 CPUtime=162.27 cores=0,2,4,6
/proc/18206/stat : 18206 (xcsp_picat) R 18203 18206 16152 0 -1 4202496 18071 0 0 0 16222 5 0 0 20 0 1 0 62300532 122875904 6669 33554432000 4194304 5849740 140736202389824 140736202387736 4212035 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 36163584 140736202396854 140736202396932 140736202396932 140736202399690 0
/proc/18206/statm: 29999 6669 720 405 0 26943 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 119996 KiB
Current children cumulated memory: 26676 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 18218
/proc/meminfo: memFree=22195876/32770624 swapFree=67108860/67108860
[pid=18206] ppid=18203 vsize=120048 memory=26728 CPUtime=222.26 cores=0,2,4,6
/proc/18206/stat : 18206 (xcsp_picat) R 18203 18206 16152 0 -1 4202496 21595 0 0 0 22218 8 0 0 20 0 1 0 62300532 122929152 6682 33554432000 4194304 5849740 140736202389824 140736202387736 4211581 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 36163584 140736202396854 140736202396932 140736202396932 140736202399690 0
/proc/18206/statm: 30012 6682 720 405 0 26956 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 120048 KiB
Current children cumulated memory: 26728 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 18219
/proc/meminfo: memFree=22265100/32770624 swapFree=67108860/67108860
[pid=18206] ppid=18203 vsize=119872 memory=26356 CPUtime=282.25 cores=0,2,4,6
/proc/18206/stat : 18206 (xcsp_picat) R 18203 18206 16152 0 -1 4202496 26929 0 0 0 28209 16 0 0 20 0 1 0 62300532 122748928 6589 33554432000 4194304 5849740 140736202389824 140736202387736 4212035 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 36163584 140736202396854 140736202396932 140736202396932 140736202399690 0
/proc/18206/statm: 29968 6589 720 405 0 26912 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 119872 KiB
Current children cumulated memory: 26356 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18221
/proc/meminfo: memFree=22227252/32770624 swapFree=67108860/67108860
[pid=18206] ppid=18203 vsize=121416 memory=27688 CPUtime=342.25 cores=0,2,4,6
/proc/18206/stat : 18206 (xcsp_picat) R 18203 18206 16152 0 -1 4202496 29391 0 0 0 34199 26 0 0 20 0 1 0 62300532 124329984 6922 33554432000 4194304 5849740 140736202389824 140736202388312 4211581 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 36163584 140736202396854 140736202396932 140736202396932 140736202399690 0
/proc/18206/statm: 30354 6922 720 405 0 27298 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 121416 KiB
Current children cumulated memory: 27688 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18222
/proc/meminfo: memFree=22246676/32770624 swapFree=67108860/67108860
[pid=18206] ppid=18203 vsize=122736 memory=29248 CPUtime=402.25 cores=0,2,4,6
/proc/18206/stat : 18206 (xcsp_picat) R 18203 18206 16152 0 -1 4202496 34003 0 0 0 40192 33 0 0 20 0 1 0 62300532 125681664 7312 33554432000 4194304 5849740 140736202389824 140736202387560 4211646 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 36163584 140736202396854 140736202396932 140736202396932 140736202399690 0
/proc/18206/statm: 30684 7312 720 405 0 27628 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 122736 KiB
Current children cumulated memory: 29248 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18223
/proc/meminfo: memFree=22230408/32770624 swapFree=67108860/67108860
[pid=18206] ppid=18203 vsize=122448 memory=28784 CPUtime=462.25 cores=0,2,4,6
/proc/18206/stat : 18206 (xcsp_picat) R 18203 18206 16152 0 -1 4202496 36543 0 0 0 46187 38 0 0 20 0 1 0 62300532 125386752 7196 33554432000 4194304 5849740 140736202389824 140736202388232 4211654 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 36163584 140736202396854 140736202396932 140736202396932 140736202399690 0
/proc/18206/statm: 30612 7196 720 405 0 27556 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 122448 KiB
Current children cumulated memory: 28784 KiB
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18225
/proc/meminfo: memFree=22197364/32770624 swapFree=67108860/67108860
[pid=18206] ppid=18203 vsize=122912 memory=29364 CPUtime=522.24 cores=0,2,4,6
/proc/18206/stat : 18206 (xcsp_picat) R 18203 18206 16152 0 -1 4202496 41320 0 0 0 52177 47 0 0 20 0 1 0 62300532 125861888 7341 33554432000 4194304 5849740 140736202389824 140736202387560 4209235 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 36163584 140736202396854 140736202396932 140736202396932 140736202399690 0
/proc/18206/statm: 30728 7341 720 405 0 27672 0
Current children cumulated CPU time: 522.24 s
Current children cumulated vsize: 122912 KiB
Current children cumulated memory: 29364 KiB
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18226
/proc/meminfo: memFree=22198704/32770624 swapFree=67108860/67108860
[pid=18206] ppid=18203 vsize=121380 memory=27932 CPUtime=582.24 cores=0,2,4,6
/proc/18206/stat : 18206 (xcsp_picat) R 18203 18206 16152 0 -1 4202496 43650 0 0 0 58167 57 0 0 20 0 1 0 62300532 124293120 6983 33554432000 4194304 5849740 140736202389824 140736202388312 4212035 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 36163584 140736202396854 140736202396932 140736202396932 140736202399690 0
/proc/18206/statm: 30345 6983 720 405 0 27289 0
Current children cumulated CPU time: 582.24 s
Current children cumulated vsize: 121380 KiB
Current children cumulated memory: 27932 KiB
[startup+598.704 s]
# the end of solver process 18206 was just reported to runsolver
# cumulated CPU time of all completed processes: user=598.017 s, system=0.638949 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+588.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18226
/proc/meminfo: memFree=22198704/32770624 swapFree=67108860/67108860
[pid=18206] ppid=18203 vsize=121380 memory=27932 CPUtime=588.74 cores=0,2,4,6
/proc/18206/stat : 18206 (xcsp_picat) R 18203 18206 16152 0 -1 4202496 43650 0 0 0 58817 57 0 0 20 0 1 0 62300532 124293120 6983 33554432000 4194304 5849740 140736202389824 140736202388312 4212035 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 36163584 140736202396854 140736202396932 140736202396932 140736202399690 0
/proc/18206/statm: 30345 6983 720 405 0 27289 0
Current children cumulated CPU time: 588.74 s
Current children cumulated vsize: 121380 KiB
Current children cumulated memory: 27932 KiB
[startup+595.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18226
/proc/meminfo: memFree=22200192/32770624 swapFree=67108860/67108860
[pid=18206] ppid=18203 vsize=119332 memory=25884 CPUtime=595.14 cores=0,2,4,6
/proc/18206/stat : 18206 (xcsp_picat) R 18203 18206 16152 0 -1 4202496 43650 0 0 0 59456 58 0 0 20 0 1 0 62300532 122195968 6471 33554432000 4194304 5849740 140736202389824 140736202388824 139931488206727 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 36163584 140736202396854 140736202396932 140736202396932 140736202399690 0
/proc/18206/statm: 29833 6471 720 405 0 26777 0
Current children cumulated CPU time: 595.14 s
Current children cumulated vsize: 119332 KiB
Current children cumulated memory: 25884 KiB
[startup+596.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18226
/proc/meminfo: memFree=22200192/32770624 swapFree=67108860/67108860
[pid=18206] ppid=18203 vsize=120872 memory=27404 CPUtime=596.74 cores=0,2,4,6
/proc/18206/stat : 18206 (xcsp_picat) R 18203 18206 16152 0 -1 4202496 45927 0 0 0 59614 60 0 0 20 0 1 0 62300532 123772928 6851 33554432000 4194304 5849740 140736202389824 140736202388824 139931488206727 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 36163584 140736202396854 140736202396932 140736202396932 140736202399690 0
/proc/18206/statm: 30218 6851 720 405 0 27162 0
Current children cumulated CPU time: 596.74 s
Current children cumulated vsize: 120872 KiB
Current children cumulated memory: 27404 KiB
[startup+597.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18226
/proc/meminfo: memFree=22198816/32770624 swapFree=67108860/67108860
[pid=18206] ppid=18203 vsize=120872 memory=27424 CPUtime=597.55 cores=0,2,4,6
/proc/18206/stat : 18206 (xcsp_picat) R 18203 18206 16152 0 -1 4202496 46034 0 0 0 59693 62 0 0 20 0 1 0 62300532 123772928 6856 33554432000 4194304 5849740 140736202389824 140736202388984 139931488206727 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 36163584 140736202396854 140736202396932 140736202396932 140736202399690 0
/proc/18206/statm: 30218 6856 720 405 0 27162 0
Current children cumulated CPU time: 597.55 s
Current children cumulated vsize: 120872 KiB
Current children cumulated memory: 27424 KiB
[startup+598.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18226
/proc/meminfo: memFree=22197712/32770624 swapFree=67108860/67108860
[pid=18206] ppid=18203 vsize=123000 memory=29492 CPUtime=598.35 cores=0,2,4,6
/proc/18206/stat : 18206 (xcsp_picat) R 18203 18206 16152 0 -1 4202496 46977 0 0 0 59772 63 0 0 20 0 1 0 62300532 125952000 7373 33554432000 4194304 5849740 140736202389824 140736202388984 139931488206727 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 36163584 140736202396854 140736202396932 140736202396932 140736202399690 0
/proc/18206/statm: 30750 7373 720 405 0 27694 0
Current children cumulated CPU time: 598.35 s
Current children cumulated vsize: 123000 KiB
Current children cumulated memory: 29492 KiB
[startup+598.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18226
/proc/meminfo: memFree=22197712/32770624 swapFree=67108860/67108860
[pid=18206] ppid=18203 vsize=120952 memory=27504 CPUtime=598.54 cores=0,2,4,6
/proc/18206/stat : 18206 (xcsp_picat) R 18203 18206 16152 0 -1 4202496 46977 0 0 0 59791 63 0 0 20 0 1 0 62300532 123854848 6876 33554432000 4194304 5849740 140736202389824 140736202388984 139931488206727 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 36163584 140736202396854 140736202396932 140736202396932 140736202399690 0
/proc/18206/statm: 30238 6876 720 405 0 27182 0
Current children cumulated CPU time: 598.54 s
Current children cumulated vsize: 120952 KiB
Current children cumulated memory: 27504 KiB
[startup+598.7 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18226
/proc/meminfo: memFree=22197712/32770624 swapFree=67108860/67108860
[pid=18206] ppid=18203 vsize=120952 memory=27504 CPUtime=598.64 cores=0,2,4,6
/proc/18206/stat : 18206 (xcsp_picat) R 18203 18206 16152 0 -1 4202496 46977 0 0 0 59801 63 0 0 20 0 1 0 62300532 123854848 6876 33554432000 4194304 5849740 140736202389824 140736202388984 139931488206727 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 36163584 140736202396854 140736202396932 140736202396932 140736202399690 0
/proc/18206/statm: 30238 6876 720 405 0 27182 0
Current children cumulated CPU time: 598.64 s
Current children cumulated vsize: 120952 KiB
Current children cumulated memory: 27504 KiB
Child status: 0
Real time (s): 598.704
CPU time (s): 598.656
CPU user time (s): 598.017
CPU system time (s): 0.638949
CPU usage (%): 99.992
Max. virtual memory (cumulated for all children) (KiB): 124008
Max. memory (cumulated for all children) (KiB): 30560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 598.017
system time used= 0.638949
maximum resident set size= 30560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47015
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= 3
involuntary context switches= 734
# summary of solver processes directly reported to runsolver:
# pid: 18206
# total CPU time (s): 598.656
# total CPU user time (s): 598.017
# total CPU system time (s): 0.638949
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.20502 second user time and 3.93249 second system time
The end