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 (15431 MiB free)
memory of node 1: 16384 MiB (13354 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407853-1569513876/watcher-4407853-1569513876 -o /var/tmp/evaluation-result-4407853-1569513876/solver-4407853-1569513876 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node149-1569509603-12793 --watchdog 2560 xcsp_picat HOME/instance-4407853-1569513876.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=14004, runsolver pid=14001
[startup+0.100988 s]*
/proc/loadavg: 1.97 2.02 2.03 3/201 14005
/proc/meminfo: memFree=29456520/32770624 swapFree=66951988/67108860
[pid=14004] ppid=14001 vsize=2031716 memory=18356 CPUtime=0.1 cores=0,2,4,6
/proc/14004/stat : 14004 (xcsp_picat) R 14001 14004 12762 0 -1 4202496 1686 0 0 0 10 0 0 0 20 0 1 0 527626215 2080477184 4589 33554432000 4194304 5870510 140735592818288 140735592817592 4429469 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 40906752 140735592825863 140735592825945 140735592825945 140735592828870 0
/proc/14004/statm: 507929 4589 834 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 18356 KiB
[startup+0.209793 s]*
/proc/loadavg: 1.97 2.02 2.03 3/201 14005
/proc/meminfo: memFree=29445980/32770624 swapFree=66951988/67108860
[pid=14004] ppid=14001 vsize=2031716 memory=28596 CPUtime=0.2 cores=0,2,4,6
/proc/14004/stat : 14004 (xcsp_picat) R 14001 14004 12762 0 -1 4202496 1691 0 0 0 20 0 0 0 20 0 1 0 527626215 2080477184 7149 33554432000 4194304 5870510 140735592818288 140735592817592 4467367 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 40906752 140735592825863 140735592825945 140735592825945 140735592828870 0
/proc/14004/statm: 507929 7149 834 410 0 503402 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 28596 KiB
[startup+0.309693 s]*
/proc/loadavg: 1.97 2.02 2.03 3/201 14005
/proc/meminfo: memFree=29437044/32770624 swapFree=66951988/67108860
[pid=14004] ppid=14001 vsize=2031716 memory=36788 CPUtime=0.3 cores=0,2,4,6
/proc/14004/stat : 14004 (xcsp_picat) R 14001 14004 12762 0 -1 4202496 1697 0 0 0 30 0 0 0 20 0 1 0 527626215 2080477184 9197 33554432000 4194304 5870510 140735592818288 140735592817592 4456161 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 40906752 140735592825863 140735592825945 140735592825945 140735592828870 0
/proc/14004/statm: 507929 9197 834 410 0 503402 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 36788 KiB
[startup+0.700319 s]
/proc/loadavg: 1.97 2.02 2.03 3/201 14005
/proc/meminfo: memFree=29397512/32770624 swapFree=66951988/67108860
[pid=14004] ppid=14001 vsize=2031716 memory=116784 CPUtime=0.68 cores=0,2,4,6
/proc/14004/stat : 14004 (xcsp_picat) R 14001 14004 12762 0 -1 4202496 1757 0 0 0 67 1 0 0 20 0 1 0 527626215 2080477184 29196 33554432000 4194304 5870510 140735592818288 140735592817656 4462409 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 40906752 140735592825863 140735592825945 140735592825945 140735592828870 0
/proc/14004/statm: 507929 29196 862 410 0 503402 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 116784 KiB
[startup+1.50031 s]
/proc/loadavg: 1.97 2.02 2.03 3/201 14005
/proc/meminfo: memFree=29288844/32770624 swapFree=66951988/67108860
[pid=14004] ppid=14001 vsize=2031716 memory=280628 CPUtime=1.48 cores=0,2,4,6
/proc/14004/stat : 14004 (xcsp_picat) R 14001 14004 12762 0 -1 4202496 1837 0 0 0 145 3 0 0 20 0 1 0 527626215 2080477184 70157 33554432000 4194304 5870510 140735592818288 140735592817656 4462656 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 40906752 140735592825863 140735592825945 140735592825945 140735592828870 0
/proc/14004/statm: 507929 70157 863 410 0 503402 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 280628 KiB
[startup+3.10962 s]
/proc/loadavg: 1.97 2.02 2.03 3/201 14005
/proc/meminfo: memFree=28933884/32770624 swapFree=66951988/67108860
[pid=14004] ppid=14001 vsize=2031716 memory=530484 CPUtime=3.09 cores=0,2,4,6
/proc/14004/stat : 14004 (xcsp_picat) R 14001 14004 12762 0 -1 4202496 2129 0 0 0 303 6 0 0 20 0 1 0 527626215 2080477184 132621 33554432000 4194304 5870510 140735592818288 140735592817656 4804553 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 40906752 140735592825863 140735592825945 140735592825945 140735592828870 0
/proc/14004/statm: 507929 132621 863 410 0 503402 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 530484 KiB
[startup+6.30031 s]
/proc/loadavg: 1.97 2.02 2.03 3/201 14007
/proc/meminfo: memFree=28474700/32770624 swapFree=66951988/67108860
[pid=14004] ppid=14001 vsize=2818644 memory=998612 CPUtime=6.28 cores=0,2,4,6
/proc/14004/stat : 14004 (xcsp_picat) R 14001 14004 12762 0 -1 4202496 28969 0 0 0 614 14 0 0 20 0 1 0 527626215 2886291456 249653 33554432000 4194304 5870510 140735592818288 140735592817016 5261008 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 40906752 140735592825863 140735592825945 140735592825945 140735592828870 0
/proc/14004/statm: 704661 249653 878 410 0 700134 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2818644 KiB
Current children cumulated memory: 998612 KiB
[startup+12.7003 s]
/proc/loadavg: 1.97 2.02 2.03 3/201 14007
/proc/meminfo: memFree=28439264/32770624 swapFree=66951988/67108860
[pid=14004] ppid=14001 vsize=2827872 memory=1007944 CPUtime=12.68 cores=0,2,4,6
/proc/14004/stat : 14004 (xcsp_picat) R 14001 14004 12762 0 -1 4202496 38771 0 0 0 1253 15 0 0 20 0 1 0 527626215 2895740928 251986 33554432000 4194304 5870510 140735592818288 140735592816856 5261008 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 40906752 140735592825863 140735592825945 140735592825945 140735592828870 0
/proc/14004/statm: 706968 251986 884 410 0 702441 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2827872 KiB
Current children cumulated memory: 1007944 KiB
[startup+25.5003 s]
/proc/loadavg: 1.98 2.01 2.03 3/201 14007
/proc/meminfo: memFree=28418280/32770624 swapFree=66951988/67108860
[pid=14004] ppid=14001 vsize=2832488 memory=1012560 CPUtime=25.48 cores=0,2,4,6
/proc/14004/stat : 14004 (xcsp_picat) R 14001 14004 12762 0 -1 4202496 54376 0 0 0 2532 16 0 0 20 0 1 0 527626215 2900467712 253140 33554432000 4194304 5870510 140735592818288 140735592817304 5337393 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 40906752 140735592825863 140735592825945 140735592825945 140735592828870 0
/proc/14004/statm: 708122 253140 884 410 0 703595 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2832488 KiB
Current children cumulated memory: 1012560 KiB
[startup+51.1098 s]
/proc/loadavg: 1.99 2.01 2.03 3/202 14010
/proc/meminfo: memFree=28443340/32770624 swapFree=66951988/67108860
[pid=14004] ppid=14001 vsize=2839408 memory=1019484 CPUtime=51.09 cores=0,2,4,6
/proc/14004/stat : 14004 (xcsp_picat) R 14001 14004 12762 0 -1 4202496 80722 0 0 0 5091 18 0 0 20 0 1 0 527626215 2907553792 254871 33554432000 4194304 5870510 140735592818288 140735592817304 5321697 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 40906752 140735592825863 140735592825945 140735592825945 140735592828870 0
/proc/14004/statm: 709852 254871 884 410 0 705325 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2839408 KiB
Current children cumulated memory: 1019484 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 2.01 2.03 3/201 14013
/proc/meminfo: memFree=28415340/32770624 swapFree=66951988/67108860
[pid=14004] ppid=14001 vsize=2850076 memory=1030160 CPUtime=102.27 cores=0,2,4,6
/proc/14004/stat : 14004 (xcsp_picat) R 14001 14004 12762 0 -1 4202496 125702 0 0 0 10207 20 0 0 20 0 1 0 527626215 2918477824 257540 33554432000 4194304 5870510 140735592818288 140735592816616 5337529 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 40906752 140735592825863 140735592825945 140735592825945 140735592828870 0
/proc/14004/statm: 712519 257540 884 410 0 707992 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 2850076 KiB
Current children cumulated memory: 1030160 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/199 14017
/proc/meminfo: memFree=28422476/32770624 swapFree=66951988/67108860
[pid=14004] ppid=14001 vsize=2768844 memory=973992 CPUtime=162.26 cores=0,2,4,6
/proc/14004/stat : 14004 (xcsp_picat) R 14001 14004 12762 0 -1 4202496 171018 0 0 0 16200 26 0 0 20 0 1 0 527626215 2835296256 243498 33554432000 4194304 5870510 140735592818288 140735592817304 5272433 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 40906752 140735592825863 140735592825945 140735592825945 140735592828870 0
/proc/14004/statm: 692211 243498 911 410 0 687684 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 2768844 KiB
Current children cumulated memory: 973992 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/199 14021
/proc/meminfo: memFree=28453572/32770624 swapFree=66951988/67108860
[pid=14004] ppid=14001 vsize=2771940 memory=993164 CPUtime=222.26 cores=0,2,4,6
/proc/14004/stat : 14004 (xcsp_picat) R 14001 14004 12762 0 -1 4202496 192704 0 0 0 22194 32 0 0 20 0 1 0 527626215 2838466560 248291 33554432000 4194304 5870510 140735592818288 140735592817400 5272638 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 40906752 140735592825863 140735592825945 140735592825945 140735592828870 0
/proc/14004/statm: 692985 248291 911 410 0 688458 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 2771940 KiB
Current children cumulated memory: 993164 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/199 14027
/proc/meminfo: memFree=28413596/32770624 swapFree=66951988/67108860
[pid=14004] ppid=14001 vsize=2771940 memory=987400 CPUtime=282.24 cores=0,2,4,6
/proc/14004/stat : 14004 (xcsp_picat) R 14001 14004 12762 0 -1 4202496 212627 0 0 0 28189 35 0 0 20 0 1 0 527626215 2838466560 246850 33554432000 4194304 5870510 140735592818288 140735592817304 5283135 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 40906752 140735592825863 140735592825945 140735592825945 140735592828870 0
/proc/14004/statm: 692985 246850 911 410 0 688458 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 2771940 KiB
Current children cumulated memory: 987400 KiB
[startup+342.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/199 14031
/proc/meminfo: memFree=28426092/32770624 swapFree=66951988/67108860
[pid=14004] ppid=14001 vsize=2771940 memory=990420 CPUtime=342.24 cores=0,2,4,6
/proc/14004/stat : 14004 (xcsp_picat) R 14001 14004 12762 0 -1 4202496 247358 0 0 0 34185 39 0 0 20 0 1 0 527626215 2838466560 247605 33554432000 4194304 5870510 140735592818288 140735592817304 5272923 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 40906752 140735592825863 140735592825945 140735592825945 140735592828870 0
/proc/14004/statm: 692985 247605 911 410 0 688458 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 2771940 KiB
Current children cumulated memory: 990420 KiB
[startup+402.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/200 14043
/proc/meminfo: memFree=28356320/32770624 swapFree=66951988/67108860
[pid=14004] ppid=14001 vsize=2771940 memory=990696 CPUtime=402.22 cores=0,2,4,6
/proc/14004/stat : 14004 (xcsp_picat) R 14001 14004 12762 0 -1 4202496 268271 0 0 0 40180 42 0 0 20 0 1 0 527626215 2838466560 247674 33554432000 4194304 5870510 140735592818288 140735592817272 5282680 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 40906752 140735592825863 140735592825945 140735592825945 140735592828870 0
/proc/14004/statm: 692985 247674 911 410 0 688458 0
Current children cumulated CPU time: 402.22 s
Current children cumulated vsize: 2771940 KiB
Current children cumulated memory: 990696 KiB
[startup+427.06 s]
# the end of solver process 14004 was just reported to runsolver
# cumulated CPU time of all completed processes: user=426.522 s, system=0.472932 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+409.6 s]
/proc/loadavg: 2.03 2.04 2.05 3/201 14046
/proc/meminfo: memFree=28411440/32770624 swapFree=66951988/67108860
[pid=14004] ppid=14001 vsize=2771940 memory=994940 CPUtime=409.53 cores=0,2,4,6
/proc/14004/stat : 14004 (xcsp_picat) R 14001 14004 12762 0 -1 4202496 268813 0 0 0 40910 43 0 0 20 0 1 0 527626215 2838466560 248735 33554432000 4194304 5870510 140735592818288 140735592817272 5282251 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 40906752 140735592825863 140735592825945 140735592825945 140735592828870 0
/proc/14004/statm: 692985 248735 911 410 0 688458 0
Current children cumulated CPU time: 409.53 s
Current children cumulated vsize: 2771940 KiB
Current children cumulated memory: 994940 KiB
[startup+416 s]*
/proc/loadavg: 2.02 2.03 2.05 3/200 14046
/proc/meminfo: memFree=28415388/32770624 swapFree=66951988/67108860
[pid=14004] ppid=14001 vsize=2777248 memory=986444 CPUtime=415.93 cores=0,2,4,6
/proc/14004/stat : 14004 (xcsp_picat) R 14001 14004 12762 0 -1 4202496 271624 0 0 0 41549 44 0 0 20 0 1 0 527626215 2843901952 246611 33554432000 4194304 5870510 140735592818288 140735592817272 5283028 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 40906752 140735592825863 140735592825945 140735592825945 140735592828870 0
/proc/14004/statm: 694312 246611 911 410 0 689785 0
Current children cumulated CPU time: 415.93 s
Current children cumulated vsize: 2777248 KiB
Current children cumulated memory: 986444 KiB
[startup+422.4 s]
/proc/loadavg: 2.02 2.03 2.05 3/200 14047
/proc/meminfo: memFree=28416256/32770624 swapFree=66951988/67108860
[pid=14004] ppid=14001 vsize=2777248 memory=988492 CPUtime=422.32 cores=0,2,4,6
/proc/14004/stat : 14004 (xcsp_picat) R 14001 14004 12762 0 -1 4202496 271688 0 0 0 42188 44 0 0 20 0 1 0 527626215 2843901952 247123 33554432000 4194304 5870510 140735592818288 140735592817272 5282680 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 40906752 140735592825863 140735592825945 140735592825945 140735592828870 0
/proc/14004/statm: 694312 247123 911 410 0 689785 0
Current children cumulated CPU time: 422.32 s
Current children cumulated vsize: 2777248 KiB
Current children cumulated memory: 988492 KiB
[startup+425.6 s]
/proc/loadavg: 2.02 2.03 2.05 3/200 14047
/proc/meminfo: memFree=28432980/32770624 swapFree=66951988/67108860
[pid=14004] ppid=14001 vsize=2777248 memory=990540 CPUtime=425.53 cores=0,2,4,6
/proc/14004/stat : 14004 (xcsp_picat) R 14001 14004 12762 0 -1 4202496 285922 0 0 0 42507 46 0 0 20 0 1 0 527626215 2843901952 247635 33554432000 4194304 5870510 140735592818288 140735592817272 5263106 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 40906752 140735592825863 140735592825945 140735592825945 140735592828870 0
/proc/14004/statm: 694312 247635 911 410 0 689785 0
Current children cumulated CPU time: 425.53 s
Current children cumulated vsize: 2777248 KiB
Current children cumulated memory: 990540 KiB
[startup+426.4 s]
/proc/loadavg: 2.02 2.03 2.05 3/200 14047
/proc/meminfo: memFree=28428760/32770624 swapFree=66951988/67108860
[pid=14004] ppid=14001 vsize=2777248 memory=990540 CPUtime=426.33 cores=0,2,4,6
/proc/14004/stat : 14004 (xcsp_picat) R 14001 14004 12762 0 -1 4202496 286189 0 0 0 42587 46 0 0 20 0 1 0 527626215 2843901952 247635 33554432000 4194304 5870510 140735592818288 140735592817272 5282505 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 40906752 140735592825863 140735592825945 140735592825945 140735592828870 0
/proc/14004/statm: 694312 247635 911 410 0 689785 0
Current children cumulated CPU time: 426.33 s
Current children cumulated vsize: 2777248 KiB
Current children cumulated memory: 990540 KiB
[startup+426.8 s]
/proc/loadavg: 2.02 2.03 2.05 3/200 14047
/proc/meminfo: memFree=28428760/32770624 swapFree=66951988/67108860
[pid=14004] ppid=14001 vsize=2777248 memory=990540 CPUtime=426.73 cores=0,2,4,6
/proc/14004/stat : 14004 (xcsp_picat) R 14001 14004 12762 0 -1 4202496 286301 0 0 0 42627 46 0 0 20 0 1 0 527626215 2843901952 247635 33554432000 4194304 5870510 140735592818288 140735592817272 5282621 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 40906752 140735592825863 140735592825945 140735592825945 140735592828870 0
/proc/14004/statm: 694312 247635 911 410 0 689785 0
Current children cumulated CPU time: 426.73 s
Current children cumulated vsize: 2777248 KiB
Current children cumulated memory: 990540 KiB
[startup+427 s]*
/proc/loadavg: 2.02 2.03 2.05 3/200 14047
/proc/meminfo: memFree=28419328/32770624 swapFree=66951988/67108860
[pid=14004] ppid=14001 vsize=2777248 memory=990540 CPUtime=426.94 cores=0,2,4,6
/proc/14004/stat : 14004 (xcsp_picat) R 14001 14004 12762 0 -1 4202496 286343 0 0 0 42648 46 0 0 20 0 1 0 527626215 2843901952 247635 33554432000 4194304 5870510 140735592818288 140735592817272 5288842 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 40906752 140735592825863 140735592825945 140735592825945 140735592828870 0
/proc/14004/statm: 694312 247635 911 410 0 689785 0
Current children cumulated CPU time: 426.94 s
Current children cumulated vsize: 2777248 KiB
Current children cumulated memory: 990540 KiB
Child status: 0
Real time (s): 427.06
CPU time (s): 426.994
CPU user time (s): 426.522
CPU system time (s): 0.472932
CPU usage (%): 99.9847
Max. virtual memory (cumulated for all children) (KiB): 2949160
Max. memory (cumulated for all children) (KiB): 1052860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 426.522
system time used= 0.472932
maximum resident set size= 1059004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 286414
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= 4
involuntary context switches= 406
# summary of solver processes directly reported to runsolver:
# pid: 14004
# total CPU time (s): 426.994
# total CPU user time (s): 426.522
# total CPU system time (s): 0.472932
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.65038 second user time and 3.20761 second system time
The end