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 (13757 MiB free)
memory of node 1: 16384 MiB (926 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407839-1569513358/watcher-4407839-1569513358 -o /tmp/evaluation-result-4407839-1569513358/solver-4407839-1569513358 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1569505417-1357 --watchdog 2560 xcsp_picat HOME/instance-4407839-1569513358.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=2090, runsolver pid=2087
[startup+0.100202 s]*
/proc/loadavg: 2.22 2.06 1.97 3/198 2091
/proc/meminfo: memFree=15021520/32770624 swapFree=66986436/67108860
[pid=2090] ppid=2087 vsize=2031716 memory=18092 CPUtime=0.1 cores=0,2,4,6
/proc/2090/stat : 2090 (xcsp_picat) R 2087 2090 1326 0 -1 4202496 1641 0 0 0 10 0 0 0 20 0 1 0 527592304 2080477184 4523 33554432000 4194304 5870510 140730169482320 140730169479464 4460307 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 19611648 140730169484319 140730169484397 140730169484397 140730169487306 0
/proc/2090/statm: 507929 4523 841 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 18092 KiB
[startup+0.209954 s]*
/proc/loadavg: 2.22 2.06 1.97 3/198 2091
/proc/meminfo: memFree=15013328/32770624 swapFree=66986436/67108860
[pid=2090] ppid=2087 vsize=2031716 memory=24236 CPUtime=0.21 cores=0,2,4,6
/proc/2090/stat : 2090 (xcsp_picat) R 2087 2090 1326 0 -1 4202496 1646 0 0 0 21 0 0 0 20 0 1 0 527592304 2080477184 6059 33554432000 4194304 5870510 140730169482320 140730169479464 4848104 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 19611648 140730169484319 140730169484397 140730169484397 140730169487306 0
/proc/2090/statm: 507929 6059 841 410 0 503402 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 24236 KiB
[startup+0.309794 s]*
/proc/loadavg: 2.22 2.06 1.97 3/198 2091
/proc/meminfo: memFree=15003088/32770624 swapFree=66986436/67108860
[pid=2090] ppid=2087 vsize=2031716 memory=34476 CPUtime=0.31 cores=0,2,4,6
/proc/2090/stat : 2090 (xcsp_picat) R 2087 2090 1326 0 -1 4202496 1651 0 0 0 31 0 0 0 20 0 1 0 527592304 2080477184 8619 33554432000 4194304 5870510 140730169482320 140730169479464 4461858 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 19611648 140730169484319 140730169484397 140730169484397 140730169487306 0
/proc/2090/statm: 507929 8619 841 410 0 503402 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 34476 KiB
[startup+0.700429 s]
/proc/loadavg: 2.22 2.06 1.97 3/198 2091
/proc/meminfo: memFree=14986704/32770624 swapFree=66986436/67108860
[pid=2090] ppid=2087 vsize=2031716 memory=65196 CPUtime=0.69 cores=0,2,4,6
/proc/2090/stat : 2090 (xcsp_picat) R 2087 2090 1326 0 -1 4202496 1666 0 0 0 69 0 0 0 20 0 1 0 527592304 2080477184 16299 33554432000 4194304 5870510 140730169482320 140730169481624 4525400 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 19611648 140730169484319 140730169484397 140730169484397 140730169487306 0
/proc/2090/statm: 507929 16299 841 410 0 503402 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 65196 KiB
[startup+1.50043 s]
/proc/loadavg: 2.22 2.06 1.97 3/198 2091
/proc/meminfo: memFree=14933384/32770624 swapFree=66986436/67108860
[pid=2090] ppid=2087 vsize=2031716 memory=208772 CPUtime=1.49 cores=0,2,4,6
/proc/2090/stat : 2090 (xcsp_picat) R 2087 2090 1326 0 -1 4202496 1757 0 0 0 146 3 0 0 20 0 1 0 527592304 2080477184 52193 33554432000 4194304 5870510 140730169482320 140730169481688 4460207 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 19611648 140730169484319 140730169484397 140730169484397 140730169487306 0
/proc/2090/statm: 507929 52193 863 410 0 503402 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 208772 KiB
[startup+3.10986 s]
/proc/loadavg: 2.13 2.05 1.97 3/198 2091
/proc/meminfo: memFree=14552676/32770624 swapFree=66986436/67108860
[pid=2090] ppid=2087 vsize=2281220 memory=492912 CPUtime=3.1 cores=0,2,4,6
/proc/2090/stat : 2090 (xcsp_picat) R 2087 2090 1326 0 -1 4202496 5827 0 0 0 301 9 0 0 20 0 1 0 527592304 2335969280 123228 33554432000 4194304 5870510 140730169482320 140730169481288 4459570 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 19611648 140730169484319 140730169484397 140730169484397 140730169487306 0
/proc/2090/statm: 570305 123228 868 410 0 565778 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2281220 KiB
Current children cumulated memory: 492912 KiB
[startup+6.30042 s]
/proc/loadavg: 2.13 2.05 1.97 3/198 2091
/proc/meminfo: memFree=14308068/32770624 swapFree=66986436/67108860
[pid=2090] ppid=2087 vsize=2402796 memory=759804 CPUtime=6.29 cores=0,2,4,6
/proc/2090/stat : 2090 (xcsp_picat) R 2087 2090 1326 0 -1 4202496 9617 0 0 0 606 23 0 0 20 0 1 0 527592304 2460463104 189951 33554432000 4194304 5870510 140730169482320 140730169481288 4520559 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 19611648 140730169484319 140730169484397 140730169484397 140730169487306 0
/proc/2090/statm: 600699 189951 868 410 0 596172 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2402796 KiB
Current children cumulated memory: 759804 KiB
[startup+12.7004 s]
/proc/loadavg: 2.11 2.04 1.97 3/198 2091
/proc/meminfo: memFree=13868356/32770624 swapFree=66986436/67108860
[pid=2090] ppid=2087 vsize=2810108 memory=1221188 CPUtime=12.69 cores=0,2,4,6
/proc/2090/stat : 2090 (xcsp_picat) R 2087 2090 1326 0 -1 4202496 29778 0 0 0 1220 49 0 0 20 0 1 0 527592304 2877550592 305297 33554432000 4194304 5870510 140730169482320 140730169480872 5257517 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 19611648 140730169484319 140730169484397 140730169484397 140730169487306 0
/proc/2090/statm: 702527 305297 878 410 0 698000 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2810108 KiB
Current children cumulated memory: 1221188 KiB
[startup+25.5004 s]
/proc/loadavg: 2.09 2.04 1.97 3/198 2092
/proc/meminfo: memFree=13677236/32770624 swapFree=66986436/67108860
[pid=2090] ppid=2087 vsize=2925052 memory=1320812 CPUtime=25.48 cores=0,2,4,6
/proc/2090/stat : 2090 (xcsp_picat) R 2087 2090 1326 0 -1 4202496 44026 0 0 0 2496 52 0 0 20 0 1 0 527592304 2995253248 330203 33554432000 4194304 5870510 140730169482320 140730169480888 5261200 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 19611648 140730169484319 140730169484397 140730169484397 140730169487306 0
/proc/2090/statm: 731263 330203 922 410 0 726736 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2925052 KiB
Current children cumulated memory: 1320812 KiB
[startup+51.1098 s]
/proc/loadavg: 2.06 2.04 1.97 3/198 2094
/proc/meminfo: memFree=13766944/32770624 swapFree=66986436/67108860
[pid=2090] ppid=2087 vsize=2925052 memory=1321792 CPUtime=51.09 cores=0,2,4,6
/proc/2090/stat : 2090 (xcsp_picat) R 2087 2090 1326 0 -1 4202496 49552 0 0 0 5056 53 0 0 20 0 1 0 527592304 2995253248 330448 33554432000 4194304 5870510 140730169482320 140730169480888 5321694 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 19611648 140730169484319 140730169484397 140730169484397 140730169487306 0
/proc/2090/statm: 731263 330448 922 410 0 726736 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2925052 KiB
Current children cumulated memory: 1321792 KiB
[startup+102.3 s]
/proc/loadavg: 2.02 2.04 1.97 3/198 2098
/proc/meminfo: memFree=13780140/32770624 swapFree=66986436/67108860
[pid=2090] ppid=2087 vsize=2945816 memory=1346240 CPUtime=102.27 cores=0,2,4,6
/proc/2090/stat : 2090 (xcsp_picat) R 2087 2090 1326 0 -1 4202496 61444 0 0 0 10173 54 0 0 20 0 1 0 527592304 3016515584 336560 33554432000 4194304 5870510 140730169482320 140730169480888 5261019 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 19611648 140730169484319 140730169484397 140730169484397 140730169487306 0
/proc/2090/statm: 736454 336560 922 410 0 731927 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 2945816 KiB
Current children cumulated memory: 1346240 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 1.97 3/198 2102
/proc/meminfo: memFree=13738592/32770624 swapFree=66986436/67108860
[pid=2090] ppid=2087 vsize=2976960 memory=1379292 CPUtime=162.27 cores=0,2,4,6
/proc/2090/stat : 2090 (xcsp_picat) R 2087 2090 1326 0 -1 4202496 63676 0 0 0 16172 55 0 0 20 0 1 0 527592304 3048407040 344823 33554432000 4194304 5870510 140730169482320 140730169480888 5261019 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 19611648 140730169484319 140730169484397 140730169484397 140730169487306 0
/proc/2090/statm: 744240 344823 922 410 0 739713 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 2976960 KiB
Current children cumulated memory: 1379292 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 1.97 3/198 2108
/proc/meminfo: memFree=13718808/32770624 swapFree=66986436/67108860
[pid=2090] ppid=2087 vsize=2976960 memory=1379292 CPUtime=222.26 cores=0,2,4,6
/proc/2090/stat : 2090 (xcsp_picat) R 2087 2090 1326 0 -1 4202496 65020 0 0 0 22171 55 0 0 20 0 1 0 527592304 3048407040 344823 33554432000 4194304 5870510 140730169482320 140730169480888 5261210 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 19611648 140730169484319 140730169484397 140730169484397 140730169487306 0
/proc/2090/statm: 744240 344823 922 410 0 739713 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 2976960 KiB
Current children cumulated memory: 1379292 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 1.97 3/198 2119
/proc/meminfo: memFree=13757468/32770624 swapFree=66986436/67108860
[pid=2090] ppid=2087 vsize=2976960 memory=1379292 CPUtime=282.26 cores=0,2,4,6
/proc/2090/stat : 2090 (xcsp_picat) R 2087 2090 1326 0 -1 4202496 65228 0 0 0 28171 55 0 0 20 0 1 0 527592304 3048407040 344823 33554432000 4194304 5870510 140730169482320 140730169480888 5337357 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 19611648 140730169484319 140730169484397 140730169484397 140730169487306 0
/proc/2090/statm: 744240 344823 922 410 0 739713 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 2976960 KiB
Current children cumulated memory: 1379292 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/198 2123
/proc/meminfo: memFree=13673136/32770624 swapFree=66986436/67108860
[pid=2090] ppid=2087 vsize=2895728 memory=1312096 CPUtime=342.25 cores=0,2,4,6
/proc/2090/stat : 2090 (xcsp_picat) R 2087 2090 1326 0 -1 4202496 67661 0 0 0 34166 59 0 0 20 0 1 0 527592304 2965225472 328024 33554432000 4194304 5870510 140730169482320 140730169481336 5283028 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 19611648 140730169484319 140730169484397 140730169484397 140730169487306 0
/proc/2090/statm: 723932 328024 948 410 0 719405 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 2895728 KiB
Current children cumulated memory: 1312096 KiB
[startup+363.34 s]
# the end of solver process 2090 was just reported to runsolver
# cumulated CPU time of all completed processes: user=362.688 s, system=0.609944 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+345.6 s]
/proc/loadavg: 2.00 2.01 1.97 3/198 2123
/proc/meminfo: memFree=13664636/32770624 swapFree=66986436/67108860
[pid=2090] ppid=2087 vsize=2945816 memory=1314428 CPUtime=345.55 cores=0,2,4,6
/proc/2090/stat : 2090 (xcsp_picat) R 2087 2090 1326 0 -1 4202496 68292 0 0 0 34496 59 0 0 20 0 1 0 527592304 3016515584 328607 33554432000 4194304 5870510 140730169482320 140730169481272 5272433 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 19611648 140730169484319 140730169484397 140730169484397 140730169487306 0
/proc/2090/statm: 736454 328607 948 410 0 731927 0
Current children cumulated CPU time: 345.55 s
Current children cumulated vsize: 2945816 KiB
Current children cumulated memory: 1314428 KiB
[startup+352 s]*
/proc/loadavg: 2.00 2.01 1.97 3/199 2125
/proc/meminfo: memFree=13803616/32770624 swapFree=66986436/67108860
[pid=2090] ppid=2087 vsize=2945816 memory=1320820 CPUtime=351.96 cores=0,2,4,6
/proc/2090/stat : 2090 (xcsp_picat) R 2087 2090 1326 0 -1 4202496 68361 0 0 0 35137 59 0 0 20 0 1 0 527592304 3016515584 330205 33554432000 4194304 5870510 140730169482320 140730169481272 5272544 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 19611648 140730169484319 140730169484397 140730169484397 140730169487306 0
/proc/2090/statm: 736454 330205 948 410 0 731927 0
Current children cumulated CPU time: 351.96 s
Current children cumulated vsize: 2945816 KiB
Current children cumulated memory: 1320820 KiB
[startup+358.4 s]
/proc/loadavg: 2.08 2.03 1.97 3/198 2125
/proc/meminfo: memFree=13789316/32770624 swapFree=66986436/67108860
[pid=2090] ppid=2087 vsize=2945816 memory=1325080 CPUtime=358.35 cores=0,2,4,6
/proc/2090/stat : 2090 (xcsp_picat) R 2087 2090 1326 0 -1 4202496 76141 0 0 0 35776 59 0 0 20 0 1 0 527592304 3016515584 331270 33554432000 4194304 5870510 140730169482320 140730169481272 5282467 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 19611648 140730169484319 140730169484397 140730169484397 140730169487306 0
/proc/2090/statm: 736454 331270 948 410 0 731927 0
Current children cumulated CPU time: 358.35 s
Current children cumulated vsize: 2945816 KiB
Current children cumulated memory: 1325080 KiB
[startup+361.6 s]
/proc/loadavg: 2.08 2.03 1.97 3/198 2126
/proc/meminfo: memFree=13783296/32770624 swapFree=66986436/67108860
[pid=2090] ppid=2087 vsize=2945816 memory=1327128 CPUtime=361.54 cores=0,2,4,6
/proc/2090/stat : 2090 (xcsp_picat) R 2087 2090 1326 0 -1 4202496 76701 0 0 0 36095 59 0 0 20 0 1 0 527592304 3016515584 331782 33554432000 4194304 5870510 140730169482320 140730169481272 5289471 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 19611648 140730169484319 140730169484397 140730169484397 140730169487306 0
/proc/2090/statm: 736454 331782 948 410 0 731927 0
Current children cumulated CPU time: 361.54 s
Current children cumulated vsize: 2945816 KiB
Current children cumulated memory: 1327128 KiB
[startup+362.4 s]
/proc/loadavg: 2.08 2.03 1.97 3/198 2126
/proc/meminfo: memFree=13779200/32770624 swapFree=66986436/67108860
[pid=2090] ppid=2087 vsize=2945816 memory=1327128 CPUtime=362.34 cores=0,2,4,6
/proc/2090/stat : 2090 (xcsp_picat) R 2087 2090 1326 0 -1 4202496 80571 0 0 0 36175 59 0 0 20 0 1 0 527592304 3016515584 331782 33554432000 4194304 5870510 140730169482320 140730169481272 5283024 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 19611648 140730169484319 140730169484397 140730169484397 140730169487306 0
/proc/2090/statm: 736454 331782 948 410 0 731927 0
Current children cumulated CPU time: 362.34 s
Current children cumulated vsize: 2945816 KiB
Current children cumulated memory: 1327128 KiB
[startup+362.8 s]
/proc/loadavg: 2.08 2.03 1.97 3/198 2126
/proc/meminfo: memFree=13779200/32770624 swapFree=66986436/67108860
[pid=2090] ppid=2087 vsize=2945816 memory=1327128 CPUtime=362.75 cores=0,2,4,6
/proc/2090/stat : 2090 (xcsp_picat) R 2087 2090 1326 0 -1 4202496 80813 0 0 0 36215 60 0 0 20 0 1 0 527592304 3016515584 331782 33554432000 4194304 5870510 140730169482320 140730169481272 5282505 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 19611648 140730169484319 140730169484397 140730169484397 140730169487306 0
/proc/2090/statm: 736454 331782 948 410 0 731927 0
Current children cumulated CPU time: 362.75 s
Current children cumulated vsize: 2945816 KiB
Current children cumulated memory: 1327128 KiB
[startup+363.2 s]
/proc/loadavg: 2.16 2.05 1.98 3/198 2126
/proc/meminfo: memFree=13775104/32770624 swapFree=66986436/67108860
[pid=2090] ppid=2087 vsize=2945816 memory=1327128 CPUtime=363.15 cores=0,2,4,6
/proc/2090/stat : 2090 (xcsp_picat) R 2087 2090 1326 0 -1 4202496 80816 0 0 0 36255 60 0 0 20 0 1 0 527592304 3016515584 331782 33554432000 4194304 5870510 140730169482320 140730169481272 139721749719608 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 19611648 140730169484319 140730169484397 140730169484397 140730169487306 0
/proc/2090/statm: 736454 331782 948 410 0 731927 0
Current children cumulated CPU time: 363.15 s
Current children cumulated vsize: 2945816 KiB
Current children cumulated memory: 1327128 KiB
[startup+363.3 s]
/proc/loadavg: 2.16 2.05 1.98 3/198 2126
/proc/meminfo: memFree=13775104/32770624 swapFree=66986436/67108860
[pid=2090] ppid=2087 vsize=2945816 memory=1327128 CPUtime=363.25 cores=0,2,4,6
/proc/2090/stat : 2090 (xcsp_picat) R 2087 2090 1326 0 -1 4202496 80816 0 0 0 36265 60 0 0 20 0 1 0 527592304 3016515584 331782 33554432000 4194304 5870510 140730169482320 140730169481272 5283024 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 19611648 140730169484319 140730169484397 140730169484397 140730169487306 0
/proc/2090/statm: 736454 331782 948 410 0 731927 0
Current children cumulated CPU time: 363.25 s
Current children cumulated vsize: 2945816 KiB
Current children cumulated memory: 1327128 KiB
Child status: 0
Real time (s): 363.34
CPU time (s): 363.298
CPU user time (s): 362.688
CPU system time (s): 0.609944
CPU usage (%): 99.9884
Max. virtual memory (cumulated for all children) (KiB): 3076044
Max. memory (cumulated for all children) (KiB): 1379300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 362.688
system time used= 0.609944
maximum resident set size= 1425668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80876
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= 12
involuntary context switches= 624
# summary of solver processes directly reported to runsolver:
# pid: 2090
# total CPU time (s): 363.298
# total CPU user time (s): 362.688
# total CPU system time (s): 0.609944
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.52861 second user time and 2.67414 second system time
The end