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 (2099 MiB free)
memory of node 1: 16384 MiB (13284 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295149-1532461979/watcher-4295149-1532461979 -o /tmp/evaluation-result-4295149-1532461979/solver-4295149-1532461979 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532432947-16184 --watchdog 2580 xcsp_picat HOME/instance-4295149-1532461979.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=21419, runsolver pid=21416
Current StackSize limit: 8192 KiB
[startup+0.100173 s]*
/proc/loadavg: 2.00 2.04 2.05 3/188 21420
/proc/meminfo: memFree=15721416/32770624 swapFree=67108860/67108860
[pid=21419] ppid=21416 vsize=128492 memory=36236 CPUtime=0.1 cores=1,3,5,7
/proc/21419/stat : 21419 (xcsp_picat) R 21416 21419 16152 0 -1 4202496 2245 0 0 0 10 0 0 0 20 0 1 0 63761065 131575808 9059 33554432000 4194304 5849740 140722004269104 140722004269104 4828687 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 36831232 140722004276406 140722004276484 140722004276484 140722004279242 0
/proc/21419/statm: 32123 9059 666 405 0 29067 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 128492 KiB
Current children cumulated memory: 36236 KiB
[startup+0.209791 s]*
/proc/loadavg: 2.00 2.04 2.05 3/188 21420
/proc/meminfo: memFree=15716452/32770624 swapFree=67108860/67108860
[pid=21419] ppid=21416 vsize=130216 memory=39584 CPUtime=0.21 cores=1,3,5,7
/proc/21419/stat : 21419 (xcsp_picat) R 21416 21419 16152 0 -1 4202496 3193 0 0 0 20 1 0 0 20 0 1 0 63761065 133341184 9896 33554432000 4194304 5849740 140722004269104 140722004269104 139814564122503 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 36831232 140722004276406 140722004276484 140722004276484 140722004279242 0
/proc/21419/statm: 32554 9896 710 405 0 29498 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 130216 KiB
Current children cumulated memory: 39584 KiB
[startup+0.309544 s]*
/proc/loadavg: 2.00 2.04 2.05 3/188 21420
/proc/meminfo: memFree=15716100/32770624 swapFree=67108860/67108860
[pid=21419] ppid=21416 vsize=130360 memory=39844 CPUtime=0.31 cores=1,3,5,7
/proc/21419/stat : 21419 (xcsp_picat) R 21416 21419 16152 0 -1 4202496 3237 0 0 0 30 1 0 0 20 0 1 0 63761065 133488640 9961 33554432000 4194304 5849740 140722004269104 140722004269104 139814564122503 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 36831232 140722004276406 140722004276484 140722004276484 140722004279242 0
/proc/21419/statm: 32590 9961 727 405 0 29534 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 130360 KiB
Current children cumulated memory: 39844 KiB
[startup+0.700275 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 21420
/proc/meminfo: memFree=15715356/32770624 swapFree=67108860/67108860
[pid=21419] ppid=21416 vsize=131128 memory=40636 CPUtime=0.69 cores=1,3,5,7
/proc/21419/stat : 21419 (xcsp_picat) R 21416 21419 16152 0 -1 4202496 3431 0 0 0 68 1 0 0 20 0 1 0 63761065 134275072 10159 33554432000 4194304 5849740 140722004269104 140722004269104 5472423 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 36831232 140722004276406 140722004276484 140722004276484 140722004279242 0
/proc/21419/statm: 32782 10159 729 405 0 29726 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 131128 KiB
Current children cumulated memory: 40636 KiB
[startup+1.50042 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 21420
/proc/meminfo: memFree=15680196/32770624 swapFree=67108860/67108860
[pid=21419] ppid=21416 vsize=165520 memory=74928 CPUtime=1.49 cores=1,3,5,7
/proc/21419/stat : 21419 (xcsp_picat) R 21416 21419 16152 0 -1 4202496 7747 0 0 0 146 3 0 0 20 0 1 0 63761065 169492480 18732 33554432000 4194304 5849740 140722004269104 140722004267752 5303756 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 36831232 140722004276406 140722004276484 140722004276484 140722004279242 0
/proc/21419/statm: 41380 18732 730 405 0 38324 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 165520 KiB
Current children cumulated memory: 74928 KiB
[startup+3.10959 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 21420
/proc/meminfo: memFree=15664012/32770624 swapFree=67108860/67108860
[pid=21419] ppid=21416 vsize=184276 memory=92052 CPUtime=3.1 cores=1,3,5,7
/proc/21419/stat : 21419 (xcsp_picat) R 21416 21419 16152 0 -1 4202496 14740 0 0 0 307 3 0 0 20 0 1 0 63761065 188698624 23013 33554432000 4194304 5849740 140722004269104 140722004267752 5309623 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 36831232 140722004276406 140722004276484 140722004276484 140722004279242 0
/proc/21419/statm: 46069 23013 753 405 0 43013 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 184276 KiB
Current children cumulated memory: 92052 KiB
[startup+6.30028 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 21420
/proc/meminfo: memFree=15659788/32770624 swapFree=67108860/67108860
[pid=21419] ppid=21416 vsize=188724 memory=96520 CPUtime=6.29 cores=1,3,5,7
/proc/21419/stat : 21419 (xcsp_picat) R 21416 21419 16152 0 -1 4202496 20813 0 0 0 625 4 0 0 20 0 1 0 63761065 193253376 24130 33554432000 4194304 5849740 140722004269104 140722004267352 5309385 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 36831232 140722004276406 140722004276484 140722004276484 140722004279242 0
/proc/21419/statm: 47181 24130 757 405 0 44125 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 188724 KiB
Current children cumulated memory: 96520 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 21420
/proc/meminfo: memFree=15660036/32770624 swapFree=67108860/67108860
[pid=21419] ppid=21416 vsize=188724 memory=96520 CPUtime=12.69 cores=1,3,5,7
/proc/21419/stat : 21419 (xcsp_picat) R 21416 21419 16152 0 -1 4202496 27046 0 0 0 1265 4 0 0 20 0 1 0 63761065 193253376 24130 33554432000 4194304 5849740 140722004269104 140722004267352 5327714 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 36831232 140722004276406 140722004276484 140722004276484 140722004279242 0
/proc/21419/statm: 47181 24130 757 405 0 44125 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 188724 KiB
Current children cumulated memory: 96520 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 21420
/proc/meminfo: memFree=15660104/32770624 swapFree=67108860/67108860
[pid=21419] ppid=21416 vsize=188724 memory=96520 CPUtime=25.49 cores=1,3,5,7
/proc/21419/stat : 21419 (xcsp_picat) R 21416 21419 16152 0 -1 4202496 38019 0 0 0 2544 5 0 0 20 0 1 0 63761065 193253376 24130 33554432000 4194304 5849740 140722004269104 140722004267352 4211600 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 36831232 140722004276406 140722004276484 140722004276484 140722004279242 0
/proc/21419/statm: 47181 24130 757 405 0 44125 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 188724 KiB
Current children cumulated memory: 96520 KiB
[startup+51.1093 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 21420
/proc/meminfo: memFree=15660788/32770624 swapFree=67108860/67108860
[pid=21419] ppid=21416 vsize=186304 memory=95988 CPUtime=51.1 cores=1,3,5,7
/proc/21419/stat : 21419 (xcsp_picat) R 21416 21419 16152 0 -1 4202496 52378 0 0 0 5102 8 0 0 20 0 1 0 63761065 190775296 23997 33554432000 4194304 5849740 140722004269104 140722004267592 4207918 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 36831232 140722004276406 140722004276484 140722004276484 140722004279242 0
/proc/21419/statm: 46576 23997 768 405 0 43520 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 186304 KiB
Current children cumulated memory: 95988 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 21421
/proc/meminfo: memFree=15677208/32770624 swapFree=67108860/67108860
[pid=21419] ppid=21416 vsize=169916 memory=79368 CPUtime=102.3 cores=1,3,5,7
/proc/21419/stat : 21419 (xcsp_picat) R 21416 21419 16152 0 -1 4202496 66295 0 0 0 10218 12 0 0 20 0 1 0 63761065 173993984 19842 33554432000 4194304 5849740 140722004269104 140722004267592 5308421 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 36831232 140722004276406 140722004276484 140722004276484 140722004279242 0
/proc/21419/statm: 42479 19842 771 405 0 39423 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 169916 KiB
Current children cumulated memory: 79368 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 21484
/proc/meminfo: memFree=22243408/32770624 swapFree=67108860/67108860
[pid=21419] ppid=21416 vsize=174972 memory=83652 CPUtime=162.29 cores=1,3,5,7
/proc/21419/stat : 21419 (xcsp_picat) R 21416 21419 16152 0 -1 4202496 75610 0 0 0 16210 19 0 0 20 0 1 0 63761065 179171328 20913 33554432000 4194304 5849740 140722004269104 140722004267592 5308429 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 36831232 140722004276406 140722004276484 140722004276484 140722004279242 0
/proc/21419/statm: 43743 20913 771 405 0 40687 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 174972 KiB
Current children cumulated memory: 83652 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 21485
/proc/meminfo: memFree=22238276/32770624 swapFree=67108860/67108860
[pid=21419] ppid=21416 vsize=175656 memory=89640 CPUtime=222.28 cores=1,3,5,7
/proc/21419/stat : 21419 (xcsp_picat) R 21416 21419 16152 0 -1 4202496 78802 0 0 0 22199 29 0 0 20 0 1 0 63761065 179871744 22410 33554432000 4194304 5849740 140722004269104 140722004267592 4211688 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 36831232 140722004276406 140722004276484 140722004276484 140722004279242 0
/proc/21419/statm: 43914 22410 771 405 0 40858 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 175656 KiB
Current children cumulated memory: 89640 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 21486
/proc/meminfo: memFree=22215560/32770624 swapFree=67108860/67108860
[pid=21419] ppid=21416 vsize=175460 memory=89600 CPUtime=282.29 cores=1,3,5,7
/proc/21419/stat : 21419 (xcsp_picat) R 21416 21419 16152 0 -1 4202496 82161 0 0 0 28183 46 0 0 20 0 1 0 63761065 179671040 22400 33554432000 4194304 5849740 140722004269104 140722004267592 5311421 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 36831232 140722004276406 140722004276484 140722004276484 140722004279242 0
/proc/21419/statm: 43865 22400 771 405 0 40809 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 175460 KiB
Current children cumulated memory: 89600 KiB
[startup+336.365 s]
# the end of solver process 21419 was just reported to runsolver
# cumulated CPU time of all completed processes: user=335.74 s, system=0.625014 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+307.2 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 21488
/proc/meminfo: memFree=22210288/32770624 swapFree=67108860/67108860
[pid=21419] ppid=21416 vsize=175680 memory=89836 CPUtime=307.19 cores=1,3,5,7
/proc/21419/stat : 21419 (xcsp_picat) R 21416 21419 16152 0 -1 4202496 87287 0 0 0 30668 51 0 0 20 0 1 0 63761065 179896320 22459 33554432000 4194304 5849740 140722004269104 140722004266840 4212035 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 36831232 140722004276406 140722004276484 140722004276484 140722004279242 0
/proc/21419/statm: 43920 22459 771 405 0 40864 0
Current children cumulated CPU time: 307.19 s
Current children cumulated vsize: 175680 KiB
Current children cumulated memory: 89836 KiB
[startup+320 s]*
/proc/loadavg: 2.07 2.03 2.05 3/187 21488
/proc/meminfo: memFree=22226008/32770624 swapFree=67108860/67108860
[pid=21419] ppid=21416 vsize=175680 memory=89836 CPUtime=320 cores=1,3,5,7
/proc/21419/stat : 21419 (xcsp_picat) R 21416 21419 16152 0 -1 4202496 88037 0 0 0 31947 53 0 0 20 0 1 0 63761065 179896320 22459 33554432000 4194304 5849740 140722004269104 140722004268104 4211600 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 36831232 140722004276406 140722004276484 140722004276484 140722004279242 0
/proc/21419/statm: 43920 22459 771 405 0 40864 0
Current children cumulated CPU time: 320 s
Current children cumulated vsize: 175680 KiB
Current children cumulated memory: 89836 KiB
[startup+326.4 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 21488
/proc/meminfo: memFree=22226008/32770624 swapFree=67108860/67108860
[pid=21419] ppid=21416 vsize=175680 memory=89836 CPUtime=326.39 cores=1,3,5,7
/proc/21419/stat : 21419 (xcsp_picat) R 21416 21419 16152 0 -1 4202496 88402 0 0 0 32583 56 0 0 20 0 1 0 63761065 179896320 22459 33554432000 4194304 5849740 140722004269104 140722004268104 5336482 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 36831232 140722004276406 140722004276484 140722004276484 140722004279242 0
/proc/21419/statm: 43920 22459 771 405 0 40864 0
Current children cumulated CPU time: 326.39 s
Current children cumulated vsize: 175680 KiB
Current children cumulated memory: 89836 KiB
[startup+332.8 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 21488
/proc/meminfo: memFree=22226132/32770624 swapFree=67108860/67108860
[pid=21419] ppid=21416 vsize=175680 memory=89836 CPUtime=332.79 cores=1,3,5,7
/proc/21419/stat : 21419 (xcsp_picat) R 21416 21419 16152 0 -1 4202496 88402 0 0 0 33220 59 0 0 20 0 1 0 63761065 179896320 22459 33554432000 4194304 5849740 140722004269104 140722004268104 4211607 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 36831232 140722004276406 140722004276484 140722004276484 140722004279242 0
/proc/21419/statm: 43920 22459 771 405 0 40864 0
Current children cumulated CPU time: 332.79 s
Current children cumulated vsize: 175680 KiB
Current children cumulated memory: 89836 KiB
[startup+334.4 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 21488
/proc/meminfo: memFree=22226132/32770624 swapFree=67108860/67108860
[pid=21419] ppid=21416 vsize=175680 memory=89836 CPUtime=334.39 cores=1,3,5,7
/proc/21419/stat : 21419 (xcsp_picat) R 21416 21419 16152 0 -1 4202496 88402 0 0 0 33379 60 0 0 20 0 1 0 63761065 179896320 22459 33554432000 4194304 5849740 140722004269104 140722004268104 5437648 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 36831232 140722004276406 140722004276484 140722004276484 140722004279242 0
/proc/21419/statm: 43920 22459 771 405 0 40864 0
Current children cumulated CPU time: 334.39 s
Current children cumulated vsize: 175680 KiB
Current children cumulated memory: 89836 KiB
[startup+335.2 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 21488
/proc/meminfo: memFree=22226132/32770624 swapFree=67108860/67108860
[pid=21419] ppid=21416 vsize=175680 memory=89836 CPUtime=335.19 cores=1,3,5,7
/proc/21419/stat : 21419 (xcsp_picat) R 21416 21419 16152 0 -1 4202496 88402 0 0 0 33458 61 0 0 20 0 1 0 63761065 179896320 22459 33554432000 4194304 5849740 140722004269104 140722004268104 5437607 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 36831232 140722004276406 140722004276484 140722004276484 140722004279242 0
/proc/21419/statm: 43920 22459 771 405 0 40864 0
Current children cumulated CPU time: 335.19 s
Current children cumulated vsize: 175680 KiB
Current children cumulated memory: 89836 KiB
[startup+336 s]*
/proc/loadavg: 2.05 2.03 2.05 3/187 21488
/proc/meminfo: memFree=22226132/32770624 swapFree=67108860/67108860
[pid=21419] ppid=21416 vsize=175680 memory=89836 CPUtime=336 cores=1,3,5,7
/proc/21419/stat : 21419 (xcsp_picat) R 21416 21419 16152 0 -1 4202496 88402 0 0 0 33538 62 0 0 20 0 1 0 63761065 179896320 22459 33554432000 4194304 5849740 140722004269104 140722004268104 139814564122503 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 36831232 140722004276406 140722004276484 140722004276484 140722004279242 0
/proc/21419/statm: 43920 22459 771 405 0 40864 0
Current children cumulated CPU time: 336 s
Current children cumulated vsize: 175680 KiB
Current children cumulated memory: 89836 KiB
[startup+336.2 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 21488
/proc/meminfo: memFree=22226132/32770624 swapFree=67108860/67108860
[pid=21419] ppid=21416 vsize=175680 memory=89836 CPUtime=336.19 cores=1,3,5,7
/proc/21419/stat : 21419 (xcsp_picat) R 21416 21419 16152 0 -1 4202496 88402 0 0 0 33557 62 0 0 20 0 1 0 63761065 179896320 22459 33554432000 4194304 5849740 140722004269104 140722004268104 139814564122503 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 36831232 140722004276406 140722004276484 140722004276484 140722004279242 0
/proc/21419/statm: 43920 22459 771 405 0 40864 0
Current children cumulated CPU time: 336.19 s
Current children cumulated vsize: 175680 KiB
Current children cumulated memory: 89836 KiB
[startup+336.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 21488
/proc/meminfo: memFree=22226132/32770624 swapFree=67108860/67108860
[pid=21419] ppid=21416 vsize=175680 memory=89836 CPUtime=336.29 cores=1,3,5,7
/proc/21419/stat : 21419 (xcsp_picat) R 21416 21419 16152 0 -1 4202496 88402 0 0 0 33567 62 0 0 20 0 1 0 63761065 179896320 22459 33554432000 4194304 5849740 140722004269104 140722004268104 5437467 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 36831232 140722004276406 140722004276484 140722004276484 140722004279242 0
/proc/21419/statm: 43920 22459 771 405 0 40864 0
Current children cumulated CPU time: 336.29 s
Current children cumulated vsize: 175680 KiB
Current children cumulated memory: 89836 KiB
Child status: 0
Real time (s): 336.365
CPU time (s): 336.365
CPU user time (s): 335.74
CPU system time (s): 0.625014
CPU usage (%): 99.9999
Max. virtual memory (cumulated for all children) (KiB): 188724
Max. memory (cumulated for all children) (KiB): 96524
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 335.74
system time used= 0.625014
maximum resident set size= 96532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88455
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= 110
# summary of solver processes directly reported to runsolver:
# pid: 21419
# total CPU time (s): 336.365
# total CPU user time (s): 335.74
# total CPU system time (s): 0.625014
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.15288 second user time and 2.43634 second system time
The end