Trace number 4502881

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat+pbsuma-opt-log 63f22adSAT (TO)389 3600.45 3611.65

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_9_shg.opb
MD5SUM6ff458260e5cc7a1e00e7b04a599a648
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark42
Best CPU time to get the best result obtained on this benchmark613.12
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7840
Total number of constraints65280
Number of constraints which are clauses65280
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint34
Maximum length of a constraint64
Number of terms in the objective function 7840
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 7840
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 7840
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.01	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.01	c │      (c) 2025 Markus Anders                                    │
0.00/0.01	c └────────────────────────────────────────────────────────────────┘
0.00/0.01	c parse 'HOME/instance-4502881-1751425131.opb'
0.28/0.36	c 	read 31.67MB  (352.82ms)
0.28/0.36	c	 [cnf: #variables 7840 #clauses 65281 #duplicates 0 #arr 3579552]
0.34/0.80	c output proof to 'PROOFDIR/proof-4502881-1751425131'
0.34/0.80	c 
0.34/0.80	c make graph and approximate orbits
0.44/0.97	c	 [group: #orbits ~= 218] (170.21ms)
0.44/0.97	c 
0.44/0.97	c detect special group actions
0.44/0.97	c 	probe for Johnson action (limit=64)
0.64/1.14	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.74/1.28	c 	probe for row symmetry (limit=64, splits=16.78M)
3.13/3.65	c 	 (2686.79ms)
3.13/3.65	c 
3.13/3.65	c detect symmetries on remainder
3.13/3.65	c 	[graph: #vertices 88801 #edges 7190464]
3.13/3.66	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
3.93/4.48	c 	 [group: #symmetries 2.56*10^2 #generators 8] (827.73ms)
3.93/4.48	c 
3.93/4.48	c optimize generators (opt_passes=64, conjugate_limit=256)
3.93/4.48	c 	(0.02ms)
3.93/4.48	c 
3.93/4.48	c finalize break order and special generators
3.93/4.48	c 
3.93/4.48	c add generic predicates (break_depth=20)
3.93/4.48	c 	added predicates for 8 generators (0.38ms)
4.83/5.30	c 
4.83/5.30	c generation finished
4.83/5.30	c 	[sbp: #constraints 464 #add_vars 152]
4.83/5.30	c 
4.83/5.30	c write result to 'HOME/instance-4502881-1751425131.opb.pre'
4.83/5.37	c 	wrote 31.75MB (65.61ms)
4.83/5.37	c ------------------------------------------------------------------
4.83/5.37	c                2686.79ms 50.14% detect_special
4.83/5.37	c                1253.78ms 23.40% other
4.83/5.37	c                 827.73ms 15.45% detect_generic
4.83/5.37	c                 352.82ms  6.58% parse
4.83/5.37	c                 170.21ms  3.18% approx_orbits
4.83/5.37	c                  65.61ms  1.22% output
4.83/5.37	c                   0.73ms  0.01% finalize_order
4.83/5.37	c                   0.38ms  0.01% break_generic
4.83/5.37	c                   0.02ms  0.00% optimize_gens
4.83/5.37	c         ───────────────────────────────────────────────
4.83/5.37	c                5358.08ms   100% total
4.83/5.37	c ------------------------------------------------------------------
4.93/5.58	c RoundingSat 2
4.93/5.58	c branch pb25
4.93/5.58	c commit 63f22ad
6.57/7.27	c #variables 7992 #constraints 65744
6.57/7.27	c objective is ce32 
6.57/7.27	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
6.57/7.27	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
6.57/7.27	c bounds - >= 0 @ 1.55918
17.53/18.25	c bounds 1152 >= 0 @ 12.3624
17.53/18.25	c bounds 1152 >= 1 @ 12.3663
17.53/18.26	c bounds 1152 >= 2 @ 12.3697
17.53/18.27	c bounds 1152 >= 3 @ 12.3753
17.53/18.27	c bounds 1152 >= 4 @ 12.3799
17.53/18.28	c bounds 1152 >= 5 @ 12.3837
17.53/18.29	c bounds 1152 >= 6 @ 12.3872
17.53/18.29	c bounds 1152 >= 7 @ 12.3898
17.64/18.30	c bounds 1152 >= 8 @ 12.3964
17.64/18.31	c bounds 1152 >= 9 @ 12.399
17.64/18.32	c bounds 1152 >= 10 @ 12.4031
17.64/18.32	c bounds 1152 >= 11 @ 12.4079
17.64/18.33	c bounds 1152 >= 12 @ 12.4133
17.64/18.34	c bounds 1152 >= 13 @ 12.4162
17.64/18.35	c bounds 1152 >= 14 @ 12.4202
17.64/18.35	c bounds 1152 >= 15 @ 12.4227
17.64/18.36	c bounds 1152 >= 16 @ 12.4266
17.64/18.37	c bounds 1152 >= 17 @ 12.4378
17.64/18.38	c bounds 1152 >= 18 @ 12.4438
17.64/18.39	c bounds 1152 >= 19 @ 12.4474
17.64/18.40	c bounds 1152 >= 20 @ 12.4493
17.74/18.41	c bounds 1152 >= 21 @ 12.4569
17.74/18.42	c bounds 1152 >= 22 @ 12.4626
17.74/18.42	c bounds 1152 >= 23 @ 12.4678
17.74/18.43	c bounds 1152 >= 24 @ 12.4724
17.74/18.44	c bounds 1152 >= 25 @ 12.478
17.74/18.46	c bounds 1152 >= 26 @ 12.4897
17.83/18.51	c bounds 1152 >= 27 @ 12.5416
17.93/18.64	c bounds 1152 >= 28 @ 12.6539
18.63/19.38	c bounds 1152 >= 29 @ 13.3661
18.73/19.42	c bounds 1131 >= 29 @ 13.4051
18.73/19.44	c bounds 1130 >= 29 @ 13.4156
18.73/19.45	c bounds 1129 >= 29 @ 13.4221
18.73/19.46	c bounds 1128 >= 29 @ 13.4312
18.73/19.47	c bounds 1127 >= 29 @ 13.4362
18.73/19.48	c bounds 1126 >= 29 @ 13.4412
18.73/19.49	c bounds 1125 >= 29 @ 13.4482
18.83/19.51	c bounds 1124 >= 29 @ 13.458
18.83/19.52	c bounds 1123 >= 29 @ 13.4736
18.83/19.54	c bounds 1122 >= 29 @ 13.488
18.83/19.56	c bounds 1121 >= 29 @ 13.5033
18.83/19.58	c bounds 1120 >= 29 @ 13.5145
18.83/19.59	c bounds 1119 >= 29 @ 13.5229
18.93/19.61	c bounds 1118 >= 29 @ 13.5339
18.93/19.62	c bounds 1117 >= 29 @ 13.5413
18.93/19.63	c bounds 1116 >= 29 @ 13.5484
18.93/19.64	c bounds 1115 >= 29 @ 13.5533
18.93/19.66	c bounds 1114 >= 29 @ 13.5611
18.93/19.67	c bounds 1113 >= 29 @ 13.5672
18.93/19.68	c bounds 1112 >= 29 @ 13.5714
18.93/19.70	c bounds 1111 >= 29 @ 13.5819
19.03/19.71	c bounds 1110 >= 29 @ 13.5949
19.03/19.72	c bounds 1109 >= 29 @ 13.6022
19.03/19.73	c bounds 1108 >= 29 @ 13.6111
19.03/19.75	c bounds 1107 >= 29 @ 13.62
19.03/19.76	c bounds 1106 >= 29 @ 13.6279
19.03/19.77	c bounds 1105 >= 29 @ 13.6368
19.03/19.78	c bounds 1104 >= 29 @ 13.6438
19.03/19.79	c bounds 1103 >= 29 @ 13.6482
19.13/19.81	c bounds 1102 >= 29 @ 13.658
19.13/19.83	c bounds 1101 >= 29 @ 13.6736
19.13/19.86	c bounds 1100 >= 29 @ 13.6978
19.13/19.89	c bounds 1099 >= 29 @ 13.7206
19.23/19.91	c bounds 1098 >= 29 @ 13.7294
19.23/19.93	c #Conflicts:       1000 | #Constraints:      67010
19.23/19.93	c bounds 1097 >= 29 @ 13.7509
19.23/19.96	c bounds 1096 >= 29 @ 13.7728
19.23/19.97	c bounds 1095 >= 29 @ 13.7832
19.23/19.99	c bounds 1094 >= 29 @ 13.7946
19.34/20.00	c bounds 1093 >= 29 @ 13.8042
19.34/20.02	c bounds 1092 >= 29 @ 13.8141
19.34/20.03	c bounds 1091 >= 29 @ 13.8239
19.34/20.05	c bounds 1090 >= 29 @ 13.8374
19.34/20.06	c bounds 1089 >= 29 @ 13.8521
19.34/20.08	c bounds 1088 >= 29 @ 13.8636
19.34/20.10	c bounds 1087 >= 29 @ 13.8759
19.43/20.12	c bounds 1086 >= 29 @ 13.8838
19.43/20.13	c bounds 1085 >= 29 @ 13.8933
19.43/20.14	c bounds 1084 >= 29 @ 13.9016
19.43/20.16	c bounds 1083 >= 29 @ 13.9099
19.43/20.17	c bounds 1082 >= 29 @ 13.9207
19.43/20.18	c bounds 1081 >= 29 @ 13.9272
19.43/20.19	c bounds 1080 >= 29 @ 13.9356
19.53/20.20	c bounds 1079 >= 29 @ 13.9455
19.53/20.22	c bounds 1078 >= 29 @ 13.9544
19.53/20.23	c bounds 1077 >= 29 @ 13.9621
19.53/20.24	c bounds 1076 >= 29 @ 13.9706
19.53/20.25	c bounds 1075 >= 29 @ 13.9781
19.53/20.26	c bounds 1074 >= 29 @ 13.9856
19.53/20.28	c bounds 1073 >= 29 @ 13.9934
19.53/20.29	c bounds 1072 >= 29 @ 13.9999
19.63/20.30	c bounds 1071 >= 29 @ 14.0064
19.63/20.31	c bounds 1070 >= 29 @ 14.0152
19.63/20.32	c bounds 1069 >= 29 @ 14.024
19.63/20.34	c bounds 1068 >= 29 @ 14.0329
19.63/20.35	c bounds 1067 >= 29 @ 14.0375
19.63/20.36	c bounds 1066 >= 29 @ 14.043
19.63/20.37	c bounds 1065 >= 29 @ 14.0525
19.63/20.38	c bounds 1064 >= 29 @ 14.057
19.63/20.39	c bounds 1063 >= 29 @ 14.0655
19.72/20.41	c bounds 1062 >= 29 @ 14.0753
19.72/20.42	c bounds 1061 >= 29 @ 14.0882
19.72/20.44	c bounds 1060 >= 29 @ 14.0972
19.72/20.45	c bounds 1059 >= 29 @ 14.1068
2138.31/2145.29	c #Conflicts:       2000 | #Constraints:      68049
2138.31/2145.29	c INPROCESSING
2138.31/2145.29	c GARBAGE COLLECT
2138.31/2145.29	c bounds 1058 >= 29 @ 2131.95
2138.41/2145.30	c bounds 1057 >= 29 @ 2131.96
2138.41/2145.32	c bounds 1056 >= 29 @ 2131.97
2138.41/2145.34	c bounds 1055 >= 29 @ 2131.99
2138.41/2145.36	c bounds 1054 >= 29 @ 2132.01
2138.41/2145.37	c bounds 1053 >= 29 @ 2132.02
2138.41/2145.39	c bounds 1052 >= 29 @ 2132.03
2138.51/2145.41	c bounds 1051 >= 29 @ 2132.04
2138.51/2145.42	c bounds 1050 >= 29 @ 2132.05
2138.51/2145.44	c bounds 1049 >= 29 @ 2132.06
2138.51/2145.45	c bounds 1048 >= 29 @ 2132.07
2138.51/2145.47	c bounds 1047 >= 29 @ 2132.08
2138.51/2145.48	c bounds 1046 >= 29 @ 2132.08
2138.51/2145.50	c bounds 1045 >= 29 @ 2132.09
2138.61/2145.51	c bounds 1044 >= 29 @ 2132.1
2138.61/2145.52	c bounds 1043 >= 29 @ 2132.11
2138.61/2145.53	c bounds 1042 >= 29 @ 2132.12
2138.61/2145.55	c bounds 1041 >= 29 @ 2132.13
2138.61/2145.56	c bounds 1040 >= 29 @ 2132.14
2138.61/2145.57	c bounds 1039 >= 29 @ 2132.14
2138.61/2145.58	c bounds 1038 >= 29 @ 2132.15
2138.71/2145.60	c bounds 1037 >= 29 @ 2132.16
2138.71/2145.61	c bounds 1036 >= 29 @ 2132.16
2138.71/2145.62	c bounds 1035 >= 29 @ 2132.17
2138.71/2145.64	c bounds 1034 >= 29 @ 2132.18
2138.71/2145.65	c bounds 1033 >= 29 @ 2132.19
2138.71/2145.66	c bounds 1032 >= 29 @ 2132.19
2138.71/2145.67	c bounds 1031 >= 29 @ 2132.2
2138.71/2145.69	c bounds 1030 >= 29 @ 2132.21
2138.81/2145.70	c bounds 1029 >= 29 @ 2132.22
2138.81/2145.71	c bounds 1028 >= 29 @ 2132.23
2138.81/2145.72	c bounds 1027 >= 29 @ 2132.24
2138.81/2145.74	c bounds 1026 >= 29 @ 2132.24
2138.81/2145.75	c bounds 1025 >= 29 @ 2132.25
2138.81/2145.76	c bounds 1024 >= 29 @ 2132.26
2138.81/2145.77	c bounds 1023 >= 29 @ 2132.27
2138.81/2145.79	c bounds 1022 >= 29 @ 2132.28
2138.91/2145.80	c bounds 1021 >= 29 @ 2132.29
2138.91/2145.82	c bounds 1020 >= 29 @ 2132.31
2138.91/2145.83	c bounds 1019 >= 29 @ 2132.32
2138.91/2145.85	c bounds 1018 >= 29 @ 2132.33
2138.91/2145.86	c bounds 1017 >= 29 @ 2132.34
2138.91/2145.88	c bounds 1016 >= 29 @ 2132.35
2138.91/2145.89	c bounds 1015 >= 29 @ 2132.36
2139.01/2145.90	c bounds 1014 >= 29 @ 2132.37
2139.01/2145.92	c bounds 1013 >= 29 @ 2132.38
2139.01/2145.93	c bounds 1012 >= 29 @ 2132.38
2139.01/2145.94	c bounds 1011 >= 29 @ 2132.39
2139.01/2145.96	c bounds 1010 >= 29 @ 2132.4
2139.01/2145.97	c bounds 1009 >= 29 @ 2132.41
2139.01/2145.98	c bounds 1008 >= 29 @ 2132.42
2139.01/2146.00	c bounds 1007 >= 29 @ 2132.42
2139.11/2146.01	c bounds 1006 >= 29 @ 2132.43
2139.11/2146.02	c bounds 1005 >= 29 @ 2132.44
2139.11/2146.04	c bounds 1004 >= 29 @ 2132.45
2139.11/2146.05	c bounds 1003 >= 29 @ 2132.45
2139.11/2146.06	c bounds 1002 >= 29 @ 2132.46
2139.11/2146.07	c bounds 1001 >= 29 @ 2132.47
2139.11/2146.09	c bounds 1000 >= 29 @ 2132.48
2139.11/2146.10	c bounds 999 >= 29 @ 2132.49
2139.21/2146.11	c bounds 998 >= 29 @ 2132.5
2139.21/2146.13	c bounds 997 >= 29 @ 2132.5
2139.21/2146.14	c bounds 996 >= 29 @ 2132.51
2139.21/2146.15	c bounds 995 >= 29 @ 2132.52
2139.21/2146.17	c bounds 994 >= 29 @ 2132.53
2139.21/2146.18	c bounds 993 >= 29 @ 2132.54
2139.21/2146.19	c bounds 992 >= 29 @ 2132.54
2139.31/2146.20	c bounds 991 >= 29 @ 2132.55
2139.31/2146.22	c bounds 990 >= 29 @ 2132.56
2139.31/2146.23	c bounds 989 >= 29 @ 2132.57
2139.31/2146.24	c bounds 988 >= 29 @ 2132.58
2139.31/2146.26	c bounds 987 >= 29 @ 2132.58
2139.31/2146.27	c bounds 986 >= 29 @ 2132.59
2139.31/2146.28	c bounds 985 >= 29 @ 2132.6
2139.31/2146.29	c bounds 984 >= 29 @ 2132.61
2139.41/2146.31	c bounds 983 >= 29 @ 2132.62
2139.41/2146.32	c bounds 982 >= 29 @ 2132.63
2139.41/2146.34	c bounds 981 >= 29 @ 2132.64
2139.41/2146.35	c bounds 980 >= 29 @ 2132.65
2139.41/2146.36	c bounds 979 >= 29 @ 2132.65
2139.41/2146.37	c bounds 978 >= 29 @ 2132.66
2139.41/2146.39	c bounds 977 >= 29 @ 2132.67
2139.51/2146.40	c bounds 976 >= 29 @ 2132.68
2139.51/2146.41	c bounds 975 >= 29 @ 2132.68
2139.51/2146.43	c bounds 974 >= 29 @ 2132.69
2139.51/2146.44	c bounds 973 >= 29 @ 2132.71
2139.51/2146.46	c bounds 972 >= 29 @ 2132.72
2139.51/2146.48	c bounds 971 >= 29 @ 2132.73
2139.51/2146.49	c bounds 970 >= 29 @ 2132.74
2139.61/2146.51	c bounds 969 >= 29 @ 2132.75
2139.61/2146.52	c bounds 968 >= 29 @ 2132.76
2139.61/2146.53	c bounds 967 >= 29 @ 2132.77
2139.61/2146.54	c bounds 966 >= 29 @ 2132.77
2139.61/2146.56	c bounds 965 >= 29 @ 2132.78
2139.61/2146.57	c bounds 964 >= 29 @ 2132.79
2139.61/2146.58	c bounds 963 >= 29 @ 2132.8
2139.61/2146.60	c bounds 962 >= 29 @ 2132.81
2139.70/2146.61	c bounds 961 >= 29 @ 2132.81
2139.70/2146.62	c bounds 960 >= 29 @ 2132.82
2139.70/2146.63	c bounds 959 >= 29 @ 2132.83
2139.70/2146.65	c bounds 958 >= 29 @ 2132.83
2139.70/2146.66	c bounds 957 >= 29 @ 2132.84
2139.70/2146.67	c bounds 956 >= 29 @ 2132.85
2139.70/2146.68	c bounds 955 >= 29 @ 2132.86
2139.81/2146.70	c bounds 954 >= 29 @ 2132.86
2139.81/2146.71	c bounds 953 >= 29 @ 2132.87
2139.81/2146.72	c bounds 952 >= 29 @ 2132.88
2139.81/2146.74	c bounds 951 >= 29 @ 2132.89
2139.81/2146.75	c bounds 950 >= 29 @ 2132.9
2139.81/2146.76	c bounds 949 >= 29 @ 2132.91
2139.81/2146.78	c bounds 948 >= 29 @ 2132.91
2139.81/2146.79	c bounds 947 >= 29 @ 2132.92
2139.91/2146.80	c bounds 946 >= 29 @ 2132.93
2139.91/2146.81	c bounds 945 >= 29 @ 2132.94
2139.91/2146.83	c bounds 944 >= 29 @ 2132.95
2139.91/2146.84	c bounds 943 >= 29 @ 2132.95
2139.91/2146.85	c bounds 942 >= 29 @ 2132.96
2139.91/2146.86	c bounds 941 >= 29 @ 2132.97
2139.91/2146.88	c bounds 940 >= 29 @ 2132.98
2139.91/2146.89	c bounds 939 >= 29 @ 2132.99
2140.01/2146.90	c bounds 938 >= 29 @ 2133
2140.01/2146.92	c bounds 937 >= 29 @ 2133
2140.01/2146.93	c bounds 936 >= 29 @ 2133.01
2140.01/2146.94	c bounds 935 >= 29 @ 2133.02
2140.01/2146.96	c bounds 934 >= 29 @ 2133.03
2140.01/2146.97	c bounds 933 >= 29 @ 2133.03
2140.01/2146.98	c bounds 932 >= 29 @ 2133.04
2140.01/2146.99	c bounds 931 >= 29 @ 2133.05
2140.11/2147.01	c bounds 930 >= 29 @ 2133.06
2140.11/2147.02	c bounds 929 >= 29 @ 2133.07
2140.11/2147.03	c bounds 928 >= 29 @ 2133.08
2140.11/2147.05	c bounds 927 >= 29 @ 2133.08
2140.11/2147.06	c bounds 926 >= 29 @ 2133.09
2140.11/2147.07	c bounds 925 >= 29 @ 2133.1
2140.11/2147.08	c bounds 924 >= 29 @ 2133.1
2140.11/2147.10	c bounds 923 >= 29 @ 2133.11
2140.21/2147.11	c bounds 922 >= 29 @ 2133.13
2140.21/2147.12	c bounds 921 >= 29 @ 2133.13
2140.21/2147.14	c bounds 920 >= 29 @ 2133.14
2140.21/2147.15	c bounds 919 >= 29 @ 2133.14
2140.21/2147.17	c bounds 918 >= 29 @ 2133.15
2140.21/2147.18	c bounds 917 >= 29 @ 2133.17
2140.31/2147.20	c bounds 916 >= 29 @ 2133.18
2140.31/2147.22	c bounds 915 >= 29 @ 2133.19
2140.31/2147.24	c bounds 914 >= 29 @ 2133.2
2140.31/2147.26	c bounds 913 >= 29 @ 2133.22
2140.31/2147.28	c bounds 912 >= 29 @ 2133.24
2140.40/2147.30	c bounds 911 >= 29 @ 2133.25
2140.40/2147.33	c bounds 910 >= 29 @ 2133.28
2140.40/2147.35	c bounds 909 >= 29 @ 2133.3
2140.40/2147.38	c bounds 908 >= 29 @ 2133.31
2140.51/2147.40	c bounds 907 >= 29 @ 2133.33
2140.51/2147.43	c bounds 906 >= 29 @ 2133.36
2140.51/2147.45	c bounds 905 >= 29 @ 2133.38
2140.51/2147.47	c bounds 904 >= 29 @ 2133.39
2140.51/2147.49	c bounds 903 >= 29 @ 2133.42
2140.60/2147.51	c bounds 902 >= 29 @ 2133.43
2140.60/2147.53	c bounds 901 >= 29 @ 2133.44
2140.60/2147.54	c bounds 900 >= 29 @ 2133.45
2140.60/2147.55	c bounds 899 >= 29 @ 2133.46
2140.60/2147.57	c bounds 898 >= 29 @ 2133.47
2140.60/2147.59	c bounds 897 >= 29 @ 2133.48
2140.70/2147.60	c bounds 896 >= 29 @ 2133.49
2140.70/2147.62	c bounds 895 >= 29 @ 2133.5
2140.70/2147.64	c bounds 894 >= 29 @ 2133.51
2140.70/2147.65	c bounds 893 >= 29 @ 2133.53
2140.70/2147.67	c bounds 892 >= 29 @ 2133.53
2140.70/2147.68	c bounds 891 >= 29 @ 2133.54
2140.70/2147.69	c bounds 890 >= 29 @ 2133.55
2140.81/2147.71	c bounds 889 >= 29 @ 2133.56
2140.81/2147.72	c bounds 888 >= 29 @ 2133.57
2140.81/2147.74	c bounds 887 >= 29 @ 2133.57
2140.81/2147.75	c bounds 886 >= 29 @ 2133.58
2140.81/2147.76	c bounds 885 >= 29 @ 2133.59
2140.81/2147.78	c bounds 884 >= 29 @ 2133.6
2140.81/2147.79	c bounds 883 >= 29 @ 2133.61
2140.91/2147.80	c bounds 882 >= 29 @ 2133.61
2140.91/2147.82	c bounds 881 >= 29 @ 2133.62
2140.91/2147.83	c bounds 880 >= 29 @ 2133.63
2140.91/2147.84	c bounds 879 >= 29 @ 2133.64
2140.91/2147.85	c bounds 878 >= 29 @ 2133.65
2140.91/2147.87	c bounds 877 >= 29 @ 2133.65
2140.91/2147.88	c bounds 876 >= 29 @ 2133.66
2140.91/2147.89	c bounds 875 >= 29 @ 2133.67
2141.01/2147.91	c bounds 874 >= 29 @ 2133.68
2141.01/2147.92	c bounds 873 >= 29 @ 2133.69
2141.01/2147.93	c bounds 872 >= 29 @ 2133.69
2141.01/2147.95	c bounds 871 >= 29 @ 2133.7
2141.01/2147.96	c bounds 870 >= 29 @ 2133.71
2141.01/2147.97	c bounds 869 >= 29 @ 2133.72
2141.01/2147.99	c bounds 868 >= 29 @ 2133.73
2141.01/2148.00	c bounds 867 >= 29 @ 2133.74
2141.11/2148.02	c bounds 866 >= 29 @ 2133.75
2141.11/2148.03	c bounds 865 >= 29 @ 2133.76
2141.11/2148.05	c bounds 864 >= 29 @ 2133.77
2141.11/2148.07	c bounds 863 >= 29 @ 2133.78
2141.11/2148.08	c bounds 862 >= 29 @ 2133.79
2141.11/2148.10	c bounds 861 >= 29 @ 2133.8
2141.21/2148.11	c bounds 860 >= 29 @ 2133.81
2141.21/2148.13	c bounds 859 >= 29 @ 2133.82
2141.21/2148.14	c bounds 858 >= 29 @ 2133.83
2141.21/2148.15	c bounds 857 >= 29 @ 2133.84
2141.21/2148.17	c bounds 856 >= 29 @ 2133.85
2141.21/2148.19	c bounds 855 >= 29 @ 2133.87
2141.31/2148.21	c bounds 854 >= 29 @ 2133.88
2141.31/2148.23	c bounds 853 >= 29 @ 2133.9
2141.31/2148.25	c bounds 852 >= 29 @ 2133.91
2141.31/2148.27	c bounds 851 >= 29 @ 2133.92
2141.31/2148.29	c bounds 850 >= 29 @ 2133.94
2141.40/2148.30	c bounds 849 >= 29 @ 2133.95
2141.40/2148.32	c bounds 848 >= 29 @ 2133.96
2141.40/2148.34	c bounds 847 >= 29 @ 2133.97
2141.40/2148.36	c bounds 846 >= 29 @ 2133.99
2141.40/2148.38	c bounds 845 >= 29 @ 2134
2141.50/2148.40	c bounds 844 >= 29 @ 2134.02
2141.50/2148.42	c bounds 843 >= 29 @ 2134.04
2141.50/2148.44	c bounds 842 >= 29 @ 2134.05
2141.50/2148.45	c bounds 841 >= 29 @ 2134.06
2141.50/2148.47	c bounds 840 >= 29 @ 2134.06
2141.50/2148.48	c bounds 839 >= 29 @ 2134.07
2141.60/2148.50	c bounds 838 >= 29 @ 2134.08
2141.60/2148.51	c bounds 837 >= 29 @ 2134.09
2141.60/2148.52	c bounds 836 >= 29 @ 2134.1
2141.60/2148.54	c bounds 835 >= 29 @ 2134.11
2141.60/2148.55	c bounds 834 >= 29 @ 2134.12
2141.60/2148.56	c bounds 833 >= 29 @ 2134.12
2141.60/2148.57	c bounds 832 >= 29 @ 2134.13
2141.60/2148.59	c bounds 831 >= 29 @ 2134.14
2141.70/2148.60	c bounds 830 >= 29 @ 2134.15
2141.70/2148.61	c bounds 829 >= 29 @ 2134.16
2141.70/2148.62	c bounds 828 >= 29 @ 2134.16
2141.70/2148.64	c bounds 827 >= 29 @ 2134.17
2141.70/2148.65	c bounds 826 >= 29 @ 2134.18
2141.70/2148.67	c bounds 825 >= 29 @ 2134.19
2141.70/2148.68	c bounds 824 >= 29 @ 2134.2
2141.70/2148.69	c bounds 823 >= 29 @ 2134.21
2141.81/2148.71	c bounds 822 >= 29 @ 2134.23
2141.81/2148.73	c bounds 821 >= 29 @ 2134.24
2141.81/2148.74	c bounds 820 >= 29 @ 2134.25
2141.81/2148.76	c bounds 819 >= 29 @ 2134.26
2141.81/2148.78	c bounds 818 >= 29 @ 2134.27
2141.81/2148.79	c bounds 817 >= 29 @ 2134.28
2141.90/2148.80	c bounds 816 >= 29 @ 2134.29
2141.90/2148.82	c bounds 815 >= 29 @ 2134.3
2141.90/2148.83	c bounds 814 >= 29 @ 2134.31
2141.90/2148.84	c bounds 813 >= 29 @ 2134.32
2141.90/2148.86	c bounds 812 >= 29 @ 2134.32
2141.90/2148.87	c bounds 811 >= 29 @ 2134.34
2141.90/2148.89	c bounds 810 >= 29 @ 2134.35
2142.01/2148.90	c bounds 809 >= 29 @ 2134.35
2142.01/2148.91	c bounds 808 >= 29 @ 2134.36
2142.01/2148.93	c bounds 807 >= 29 @ 2134.37
2142.01/2148.94	c bounds 806 >= 29 @ 2134.38
2142.01/2148.96	c bounds 805 >= 29 @ 2134.39
2142.01/2148.97	c bounds 804 >= 29 @ 2134.4
2142.01/2148.98	c bounds 803 >= 29 @ 2134.41
2142.01/2148.99	c bounds 802 >= 29 @ 2134.42
2142.11/2149.01	c bounds 801 >= 29 @ 2134.43
2142.11/2149.02	c bounds 800 >= 29 @ 2134.44
2142.11/2149.04	c bounds 799 >= 29 @ 2134.45
2142.11/2149.05	c bounds 798 >= 29 @ 2134.46
2142.11/2149.06	c bounds 797 >= 29 @ 2134.47
2142.11/2149.07	c bounds 796 >= 29 @ 2134.47
2142.11/2149.08	c bounds 795 >= 29 @ 2134.48
2142.11/2149.10	c bounds 794 >= 29 @ 2134.49
2142.21/2149.11	c bounds 793 >= 29 @ 2134.5
2142.21/2149.12	c bounds 792 >= 29 @ 2134.51
2142.21/2149.13	c bounds 791 >= 29 @ 2134.52
2142.21/2149.14	c bounds 790 >= 29 @ 2134.53
2142.21/2149.16	c bounds 789 >= 29 @ 2134.54
2142.21/2149.17	c bounds 788 >= 29 @ 2134.55
2142.21/2149.18	c bounds 787 >= 29 @ 2134.56
2142.21/2149.20	c bounds 786 >= 29 @ 2134.57
2142.30/2149.21	c bounds 785 >= 29 @ 2134.58
2142.30/2149.22	c bounds 784 >= 29 @ 2134.58
2142.30/2149.23	c bounds 783 >= 29 @ 2134.59
2142.30/2149.25	c bounds 782 >= 29 @ 2134.6
2142.30/2149.26	c bounds 781 >= 29 @ 2134.6
2142.30/2149.27	c bounds 780 >= 29 @ 2134.61
2142.30/2149.28	c bounds 779 >= 29 @ 2134.63
2142.40/2149.30	c bounds 778 >= 29 @ 2134.64
2142.40/2149.31	c bounds 777 >= 29 @ 2134.64
2142.40/2149.32	c bounds 776 >= 29 @ 2134.65
2142.40/2149.34	c bounds 775 >= 29 @ 2134.66
2142.40/2149.35	c bounds 774 >= 29 @ 2134.67
2142.40/2149.36	c bounds 773 >= 29 @ 2134.68
2142.40/2149.37	c bounds 772 >= 29 @ 2134.69
2142.40/2149.38	c bounds 771 >= 29 @ 2134.7
2142.50/2149.40	c bounds 770 >= 29 @ 2134.7
2142.50/2149.41	c bounds 769 >= 29 @ 2134.71
2142.50/2149.42	c bounds 768 >= 29 @ 2134.72
2142.50/2149.44	c bounds 767 >= 29 @ 2134.73
2142.50/2149.45	c bounds 766 >= 29 @ 2134.74
2142.50/2149.46	c bounds 765 >= 29 @ 2134.75
2142.50/2149.47	c bounds 764 >= 29 @ 2134.75
2142.50/2149.49	c bounds 763 >= 29 @ 2134.76
2142.60/2149.51	c bounds 762 >= 29 @ 2134.78
2142.60/2149.52	c bounds 761 >= 29 @ 2134.79
2142.60/2149.53	c bounds 760 >= 29 @ 2134.79
2142.60/2149.55	c bounds 759 >= 29 @ 2134.8
2142.60/2149.56	c bounds 758 >= 29 @ 2134.81
2142.60/2149.57	c bounds 757 >= 29 @ 2134.82
2142.60/2149.58	c bounds 756 >= 29 @ 2134.82
2142.60/2149.59	c bounds 755 >= 29 @ 2134.83
2142.70/2149.61	c bounds 754 >= 29 @ 2134.83
2142.70/2149.62	c bounds 753 >= 29 @ 2134.84
2142.70/2149.63	c bounds 752 >= 29 @ 2134.85
2142.70/2149.64	c bounds 751 >= 29 @ 2134.86
2142.70/2149.65	c bounds 750 >= 29 @ 2134.87
2142.70/2149.67	c bounds 749 >= 29 @ 2134.88
2142.70/2149.68	c bounds 748 >= 29 @ 2134.88
2142.80/2149.70	c bounds 747 >= 29 @ 2134.89
2142.80/2149.71	c bounds 746 >= 29 @ 2134.9
2142.80/2149.72	c bounds 745 >= 29 @ 2134.91
2142.80/2149.74	c bounds 744 >= 29 @ 2134.92
2142.80/2149.76	c bounds 743 >= 29 @ 2134.94
2142.80/2149.78	c bounds 742 >= 29 @ 2134.95
2142.89/2149.80	c bounds 741 >= 29 @ 2134.96
2142.89/2149.82	c bounds 740 >= 29 @ 2134.98
2142.89/2149.84	c bounds 739 >= 29 @ 2134.99
2142.89/2149.85	c bounds 738 >= 29 @ 2135
2142.89/2149.87	c bounds 737 >= 29 @ 2135.01
2142.89/2149.88	c bounds 736 >= 29 @ 2135.02
2143.00/2149.90	c bounds 735 >= 29 @ 2135.03
2143.00/2149.91	c bounds 734 >= 29 @ 2135.04
2143.00/2149.92	c bounds 733 >= 29 @ 2135.05
2143.00/2149.93	c bounds 732 >= 29 @ 2135.06
2143.00/2149.95	c bounds 731 >= 29 @ 2135.07
2143.00/2149.96	c bounds 730 >= 29 @ 2135.08
2143.00/2149.97	c bounds 729 >= 29 @ 2135.08
2143.00/2149.98	c bounds 728 >= 29 @ 2135.09
2143.00/2150.00	c bounds 727 >= 29 @ 2135.1
2143.10/2150.01	c bounds 726 >= 29 @ 2135.11
2143.10/2150.02	c bounds 725 >= 29 @ 2135.12
2143.10/2150.03	c bounds 724 >= 29 @ 2135.13
2143.10/2150.05	c bounds 723 >= 29 @ 2135.13
2143.10/2150.06	c bounds 722 >= 29 @ 2135.14
2143.10/2150.07	c bounds 721 >= 29 @ 2135.15
2143.10/2150.08	c bounds 720 >= 29 @ 2135.16
2143.10/2150.09	c bounds 719 >= 29 @ 2135.17
2143.21/2150.11	c bounds 718 >= 29 @ 2135.17
2143.21/2150.12	c bounds 717 >= 29 @ 2135.18
2143.21/2150.13	c bounds 716 >= 29 @ 2135.19
2143.21/2150.14	c bounds 715 >= 29 @ 2135.2
2143.21/2150.16	c bounds 714 >= 29 @ 2135.2
2143.21/2150.17	c bounds 713 >= 29 @ 2135.21
2143.21/2150.18	c bounds 712 >= 29 @ 2135.22
2143.21/2150.19	c bounds 711 >= 29 @ 2135.23
2143.29/2150.21	c bounds 710 >= 29 @ 2135.24
2143.29/2150.22	c bounds 709 >= 29 @ 2135.25
2143.29/2150.24	c bounds 708 >= 29 @ 2135.26
2143.29/2150.25	c bounds 707 >= 29 @ 2135.27
2143.29/2150.27	c bounds 706 >= 29 @ 2135.28
2143.29/2150.28	c bounds 705 >= 29 @ 2135.29
2143.29/2150.29	c bounds 704 >= 29 @ 2135.3
2143.40/2150.30	c bounds 703 >= 29 @ 2135.3
2143.40/2150.31	c bounds 702 >= 29 @ 2135.31
2143.40/2150.32	c bounds 701 >= 29 @ 2135.32
2143.40/2150.33	c bounds 700 >= 29 @ 2135.32
2143.40/2150.35	c bounds 699 >= 29 @ 2135.33
2143.40/2150.36	c bounds 698 >= 29 @ 2135.34
2143.40/2150.37	c bounds 697 >= 29 @ 2135.35
2143.40/2150.38	c bounds 696 >= 29 @ 2135.35
2143.40/2150.39	c bounds 695 >= 29 @ 2135.36
2143.49/2150.40	c bounds 694 >= 29 @ 2135.36
2143.49/2150.42	c bounds 693 >= 29 @ 2135.37
2143.49/2150.44	c bounds 692 >= 29 @ 2135.39
2143.49/2150.46	c bounds 691 >= 29 @ 2135.41
2143.49/2150.48	c bounds 690 >= 29 @ 2135.42
2143.49/2150.49	c bounds 689 >= 29 @ 2135.44
2143.60/2150.52	c bounds 688 >= 29 @ 2135.45
2143.60/2150.53	c bounds 687 >= 29 @ 2135.47
2143.60/2150.55	c bounds 686 >= 29 @ 2135.48
2143.60/2150.56	c bounds 685 >= 29 @ 2135.49
2143.60/2150.58	c bounds 684 >= 29 @ 2135.49
2143.69/2150.60	c bounds 683 >= 29 @ 2135.51
2143.69/2150.61	c bounds 682 >= 29 @ 2135.52
2143.69/2150.63	c bounds 681 >= 29 @ 2135.53
2143.69/2150.64	c bounds 680 >= 29 @ 2135.54
2143.69/2150.66	c bounds 679 >= 29 @ 2135.55
2143.69/2150.67	c bounds 678 >= 29 @ 2135.57
2143.69/2150.69	c bounds 677 >= 29 @ 2135.58
2143.80/2150.71	c bounds 676 >= 29 @ 2135.59
2143.80/2150.72	c bounds 675 >= 29 @ 2135.6
2143.80/2150.73	c bounds 674 >= 29 @ 2135.61
2143.80/2150.75	c bounds 673 >= 29 @ 2135.62
2143.80/2150.76	c bounds 672 >= 29 @ 2135.63
2143.80/2150.78	c bounds 671 >= 29 @ 2135.64
2143.80/2150.79	c bounds 670 >= 29 @ 2135.66
2143.89/2150.80	c bounds 669 >= 29 @ 2135.66
2143.89/2150.82	c bounds 668 >= 29 @ 2135.68
2143.89/2150.83	c bounds 667 >= 29 @ 2135.69
2143.89/2150.85	c bounds 666 >= 29 @ 2135.7
2143.89/2150.86	c bounds 665 >= 29 @ 2135.71
2143.89/2150.87	c bounds 664 >= 29 @ 2135.72
2143.89/2150.89	c bounds 663 >= 29 @ 2135.73
2144.00/2150.90	c bounds 662 >= 29 @ 2135.74
2144.00/2150.91	c bounds 661 >= 29 @ 2135.75
2144.00/2150.93	c bounds 660 >= 29 @ 2135.76
2144.00/2150.95	c bounds 659 >= 29 @ 2135.78
2144.00/2150.98	c bounds 658 >= 29 @ 2135.8
2144.10/2151.00	c bounds 657 >= 29 @ 2135.82
2144.10/2151.02	c bounds 656 >= 29 @ 2135.83
2144.10/2151.04	c bounds 655 >= 29 @ 2135.84
2144.10/2151.06	c bounds 654 >= 29 @ 2135.85
2144.10/2151.07	c bounds 653 >= 29 @ 2135.86
2144.10/2151.08	c bounds 652 >= 29 @ 2135.87
2144.10/2151.10	c bounds 651 >= 29 @ 2135.89
2144.69/2151.64	c bounds 651 >= 30 @ 2136.41
2144.69/2151.66	c bounds 650 >= 30 @ 2136.43
2144.69/2151.68	c bounds 649 >= 30 @ 2136.44
2144.69/2151.69	c bounds 648 >= 30 @ 2136.45
2144.80/2151.71	c bounds 647 >= 30 @ 2136.46
2144.80/2151.72	c bounds 646 >= 30 @ 2136.46
2144.80/2151.73	c bounds 645 >= 30 @ 2136.47
2144.80/2151.75	c bounds 644 >= 30 @ 2136.48
2144.80/2151.79	c bounds 643 >= 30 @ 2136.49
2144.87/2151.80	c bounds 642 >= 30 @ 2136.51
2144.87/2151.81	c bounds 641 >= 30 @ 2136.51
2144.87/2151.83	c bounds 640 >= 30 @ 2136.52
2144.87/2151.84	c bounds 639 >= 30 @ 2136.53
2144.87/2151.86	c bounds 638 >= 30 @ 2136.55
2144.87/2151.88	c bounds 637 >= 30 @ 2136.56
2144.97/2151.90	c bounds 636 >= 30 @ 2136.58
2144.97/2151.92	c bounds 635 >= 30 @ 2136.59
2144.97/2151.93	c bounds 634 >= 30 @ 2136.6
2144.97/2151.95	c bounds 633 >= 30 @ 2136.61
2144.97/2151.97	c bounds 632 >= 30 @ 2136.62
2144.97/2151.99	c bounds 631 >= 30 @ 2136.64
2145.08/2152.01	c bounds 630 >= 30 @ 2136.66
2145.08/2152.03	c bounds 629 >= 30 @ 2136.67
2145.08/2152.04	c bounds 628 >= 30 @ 2136.68
2145.08/2152.06	c bounds 627 >= 30 @ 2136.7
2145.08/2152.08	c bounds 626 >= 30 @ 2136.7
2145.08/2152.10	c bounds 625 >= 30 @ 2136.72
2145.18/2152.12	c bounds 624 >= 30 @ 2136.74
2145.18/2152.14	c bounds 623 >= 30 @ 2136.75
2145.18/2152.15	c bounds 622 >= 30 @ 2136.76
2145.18/2152.18	c bounds 621 >= 30 @ 2136.78
2145.27/2152.20	c bounds 620 >= 30 @ 2136.79
2145.27/2152.22	c bounds 619 >= 30 @ 2136.81
2145.27/2152.23	c bounds 618 >= 30 @ 2136.82
2145.27/2152.25	c bounds 617 >= 30 @ 2136.83
2145.27/2152.27	c bounds 616 >= 30 @ 2136.85
2145.27/2152.28	c bounds 615 >= 30 @ 2136.86
2145.36/2152.31	c bounds 614 >= 30 @ 2136.88
2145.36/2152.32	c bounds 613 >= 30 @ 2136.89
2145.36/2152.34	c bounds 612 >= 30 @ 2136.91
2145.36/2152.36	c bounds 611 >= 30 @ 2136.92
2145.36/2152.38	c bounds 610 >= 30 @ 2136.93
2145.46/2152.40	c bounds 609 >= 30 @ 2136.95
2145.46/2152.42	c bounds 608 >= 30 @ 2136.96
2145.46/2152.43	c bounds 607 >= 30 @ 2136.97
2145.46/2152.46	c bounds 606 >= 30 @ 2136.99
2145.46/2152.48	c bounds 605 >= 30 @ 2137.01
2145.56/2152.50	c bounds 604 >= 30 @ 2137.03
2145.56/2152.52	c bounds 603 >= 30 @ 2137.04
2145.56/2152.54	c bounds 602 >= 30 @ 2137.05
2145.56/2152.56	c bounds 601 >= 30 @ 2137.07
2145.56/2152.59	c bounds 600 >= 30 @ 2137.09
2145.67/2152.61	c bounds 599 >= 30 @ 2137.1
2145.67/2152.65	c bounds 598 >= 30 @ 2137.13
2145.67/2152.67	c bounds 597 >= 30 @ 2137.15
2145.67/2152.69	c bounds 596 >= 30 @ 2137.17
2145.76/2152.71	c bounds 595 >= 30 @ 2137.18
2145.76/2152.73	c bounds 594 >= 30 @ 2137.19
2145.76/2152.75	c bounds 593 >= 30 @ 2137.21
2145.76/2152.77	c bounds 592 >= 30 @ 2137.23
2145.86/2152.80	c bounds 591 >= 30 @ 2137.26
2147.76/2154.78	c #Conflicts:       3000 | #Constraints:      68463
2147.76/2154.78	c bounds 591 >= 31 @ 2139.18
2147.86/2154.81	c bounds 590 >= 31 @ 2139.21
2147.86/2154.83	c bounds 589 >= 31 @ 2139.22
2147.86/2154.86	c bounds 588 >= 31 @ 2139.24
2147.86/2154.88	c bounds 587 >= 31 @ 2139.26
2147.96/2154.91	c bounds 586 >= 31 @ 2139.28
2147.96/2154.94	c bounds 585 >= 31 @ 2139.3
2147.96/2154.96	c bounds 584 >= 31 @ 2139.32
2147.96/2154.99	c bounds 583 >= 31 @ 2139.35
2148.06/2155.02	c bounds 582 >= 31 @ 2139.36
2148.06/2155.04	c bounds 581 >= 31 @ 2139.38
2148.17/2155.11	c bounds 580 >= 31 @ 2139.44
2148.17/2155.14	c bounds 579 >= 31 @ 2139.46
2148.17/2155.19	c bounds 578 >= 31 @ 2139.5
2148.26/2155.24	c bounds 577 >= 31 @ 2139.55
2148.36/2155.30	c bounds 576 >= 31 @ 2139.61
2148.36/2155.34	c bounds 575 >= 31 @ 2139.63
2148.36/2155.36	c bounds 574 >= 31 @ 2139.65
2148.36/2155.38	c bounds 573 >= 31 @ 2139.67
2148.46/2155.41	c bounds 572 >= 31 @ 2139.69
2148.46/2155.43	c #Conflicts:       4000 | #Constraints:      69497
2148.46/2155.43	c bounds 571 >= 31 @ 2139.71
2148.46/2155.46	c bounds 570 >= 31 @ 2139.73
2148.46/2155.48	c bounds 569 >= 31 @ 2139.75
2148.56/2155.51	c bounds 568 >= 31 @ 2139.77
2148.56/2155.53	c bounds 567 >= 31 @ 2139.8
2148.56/2155.56	c bounds 566 >= 31 @ 2139.81
2148.56/2155.59	c bounds 565 >= 31 @ 2139.84
2148.66/2155.68	c bounds 564 >= 31 @ 2139.92
2149.16/2156.12	c INPROCESSING
2149.16/2156.12	c GARBAGE COLLECT
2149.16/2156.12	c bounds 563 >= 31 @ 2140.35
2149.16/2156.19	c bounds 562 >= 31 @ 2140.42
2149.26/2156.23	c bounds 561 >= 31 @ 2140.45
2149.26/2156.25	c bounds 560 >= 31 @ 2140.47
2149.35/2156.39	c bounds 559 >= 31 @ 2140.59
2149.45/2156.41	c bounds 558 >= 31 @ 2140.61
2149.45/2156.44	c bounds 557 >= 31 @ 2140.64
2149.45/2156.46	c bounds 556 >= 31 @ 2140.66
2149.45/2156.48	c bounds 555 >= 31 @ 2140.68
2149.55/2156.50	c bounds 554 >= 31 @ 2140.69
2149.55/2156.54	c bounds 553 >= 31 @ 2140.72
2149.55/2156.56	c bounds 552 >= 31 @ 2140.74
2149.55/2156.58	c bounds 551 >= 31 @ 2140.76
2149.65/2156.60	c bounds 550 >= 31 @ 2140.78
2149.65/2156.63	c bounds 549 >= 31 @ 2140.8
2149.65/2156.65	c bounds 548 >= 31 @ 2140.82
2149.65/2156.67	c bounds 547 >= 31 @ 2140.84
2149.65/2156.69	c bounds 546 >= 31 @ 2140.86
2149.76/2156.71	c bounds 545 >= 31 @ 2140.88
2149.76/2156.73	c bounds 544 >= 31 @ 2140.89
2149.76/2156.75	c bounds 543 >= 31 @ 2140.91
2149.76/2156.77	c bounds 542 >= 31 @ 2140.92
2149.76/2156.79	c bounds 541 >= 31 @ 2140.94
2149.86/2156.81	c bounds 540 >= 31 @ 2140.95
2149.86/2156.83	c bounds 539 >= 31 @ 2140.96
2149.86/2156.85	c bounds 538 >= 31 @ 2140.98
2149.86/2156.86	c bounds 537 >= 31 @ 2140.99
2149.86/2156.88	c bounds 536 >= 31 @ 2141
2149.96/2156.90	c bounds 535 >= 31 @ 2141.02
2149.96/2156.92	c bounds 534 >= 31 @ 2141.03
2149.96/2156.93	c bounds 533 >= 31 @ 2141.04
2149.96/2156.95	c bounds 532 >= 31 @ 2141.06
2149.96/2156.96	c bounds 531 >= 31 @ 2141.07
2149.96/2156.98	c bounds 530 >= 31 @ 2141.08
2149.96/2156.99	c bounds 529 >= 31 @ 2141.1
2150.06/2157.01	c bounds 528 >= 31 @ 2141.11
2150.06/2157.02	c bounds 527 >= 31 @ 2141.12
2150.06/2157.04	c bounds 526 >= 31 @ 2141.13
2150.06/2157.06	c bounds 525 >= 31 @ 2141.15
2150.06/2157.07	c bounds 524 >= 31 @ 2141.16
2150.06/2157.09	c bounds 523 >= 31 @ 2141.17
2150.06/2157.10	c bounds 522 >= 31 @ 2141.18
2150.16/2157.11	c bounds 521 >= 31 @ 2141.2
2150.16/2157.13	c bounds 520 >= 31 @ 2141.21
2150.16/2157.14	c bounds 519 >= 31 @ 2141.22
2150.16/2157.16	c bounds 518 >= 31 @ 2141.23
2150.16/2157.17	c bounds 517 >= 31 @ 2141.24
2150.16/2157.18	c bounds 516 >= 31 @ 2141.25
2150.16/2157.19	c bounds 515 >= 31 @ 2141.26
2150.25/2157.20	c bounds 514 >= 31 @ 2141.27
2150.25/2157.21	c bounds 513 >= 31 @ 2141.27
2150.25/2157.23	c bounds 512 >= 31 @ 2141.28
2150.25/2157.24	c bounds 511 >= 31 @ 2141.3
2150.25/2157.25	c bounds 510 >= 31 @ 2141.3
2150.25/2157.26	c bounds 509 >= 31 @ 2141.31
2150.25/2157.27	c bounds 508 >= 31 @ 2141.32
2150.25/2157.28	c bounds 507 >= 31 @ 2141.33
2150.25/2157.29	c bounds 506 >= 31 @ 2141.34
2150.36/2157.30	c bounds 505 >= 31 @ 2141.35
2150.36/2157.32	c bounds 504 >= 31 @ 2141.35
2150.36/2157.33	c bounds 503 >= 31 @ 2141.36
2150.36/2157.34	c bounds 502 >= 31 @ 2141.37
2150.36/2157.35	c bounds 501 >= 31 @ 2141.38
2150.36/2157.36	c bounds 500 >= 31 @ 2141.39
2150.36/2157.37	c bounds 499 >= 31 @ 2141.39
2150.36/2157.39	c bounds 498 >= 31 @ 2141.4
2150.46/2157.40	c bounds 497 >= 31 @ 2141.41
2150.46/2157.41	c bounds 496 >= 31 @ 2141.42
2150.46/2157.42	c bounds 495 >= 31 @ 2141.43
2150.46/2157.43	c bounds 494 >= 31 @ 2141.44
2150.46/2157.44	c bounds 493 >= 31 @ 2141.45
2150.46/2157.45	c bounds 492 >= 31 @ 2141.45
2150.46/2157.46	c bounds 491 >= 31 @ 2141.46
2150.46/2157.48	c bounds 490 >= 31 @ 2141.47
2150.46/2157.49	c bounds 489 >= 31 @ 2141.48
2150.55/2157.50	c bounds 488 >= 31 @ 2141.49
2150.55/2157.52	c bounds 487 >= 31 @ 2141.5
2150.55/2157.53	c bounds 486 >= 31 @ 2141.51
2150.55/2157.54	c bounds 485 >= 31 @ 2141.52
2150.55/2157.55	c bounds 484 >= 31 @ 2141.53
2150.55/2157.56	c bounds 483 >= 31 @ 2141.53
2150.55/2157.57	c bounds 482 >= 31 @ 2141.54
2150.55/2157.58	c bounds 481 >= 31 @ 2141.55
2150.55/2157.59	c bounds 480 >= 31 @ 2141.56
2150.65/2157.61	c bounds 479 >= 31 @ 2141.57
2150.65/2157.62	c bounds 478 >= 31 @ 2141.58
2150.65/2157.63	c bounds 477 >= 31 @ 2141.58
2150.65/2157.64	c bounds 476 >= 31 @ 2141.59
2150.65/2157.65	c bounds 475 >= 31 @ 2141.6
2150.65/2157.67	c bounds 474 >= 31 @ 2141.61
2150.65/2157.68	c bounds 473 >= 31 @ 2141.62
2150.65/2157.69	c bounds 472 >= 31 @ 2141.63
2150.75/2157.70	c bounds 471 >= 31 @ 2141.64
2150.75/2157.71	c bounds 470 >= 31 @ 2141.65
2150.75/2157.72	c bounds 469 >= 31 @ 2141.66
2150.75/2157.73	c bounds 468 >= 31 @ 2141.67
2150.75/2157.74	c bounds 467 >= 31 @ 2141.67
2150.75/2157.75	c bounds 466 >= 31 @ 2141.68
2150.75/2157.77	c bounds 465 >= 31 @ 2141.69
2150.75/2157.78	c bounds 464 >= 31 @ 2141.7
2150.75/2157.79	c bounds 463 >= 31 @ 2141.71
2150.86/2157.80	c bounds 462 >= 31 @ 2141.71
2150.86/2157.81	c bounds 461 >= 31 @ 2141.72
2150.86/2157.82	c bounds 460 >= 31 @ 2141.73
2150.86/2157.84	c bounds 459 >= 31 @ 2141.74
2150.86/2157.85	c bounds 458 >= 31 @ 2141.75
2150.86/2157.86	c bounds 457 >= 31 @ 2141.76
2150.86/2157.87	c bounds 456 >= 31 @ 2141.76
2150.86/2157.88	c bounds 455 >= 31 @ 2141.77
2150.86/2157.89	c bounds 454 >= 31 @ 2141.78
2150.95/2157.91	c bounds 453 >= 31 @ 2141.79
2150.95/2157.92	c bounds 452 >= 31 @ 2141.8
2150.95/2157.93	c bounds 451 >= 31 @ 2141.81
2150.95/2157.94	c bounds 450 >= 31 @ 2141.81
2150.95/2157.95	c bounds 449 >= 31 @ 2141.82
2150.95/2157.97	c bounds 448 >= 31 @ 2141.83
2150.95/2157.98	c bounds 447 >= 31 @ 2141.84
2150.95/2157.99	c bounds 446 >= 31 @ 2141.85
2151.06/2158.01	c bounds 445 >= 31 @ 2141.87
2151.06/2158.02	c bounds 444 >= 31 @ 2141.88
2151.06/2158.04	c bounds 443 >= 31 @ 2141.89
2151.06/2158.05	c bounds 442 >= 31 @ 2141.89
2151.06/2158.06	c bounds 441 >= 31 @ 2141.9
2151.06/2158.07	c bounds 440 >= 31 @ 2141.91
2151.06/2158.08	c bounds 439 >= 31 @ 2141.92
2151.06/2158.09	c bounds 438 >= 31 @ 2141.93
2151.15/2158.10	c bounds 437 >= 31 @ 2141.93
2151.15/2158.12	c bounds 436 >= 31 @ 2141.94
2151.15/2158.13	c bounds 435 >= 31 @ 2141.95
2151.15/2158.14	c bounds 434 >= 31 @ 2141.96
2151.15/2158.15	c bounds 433 >= 31 @ 2141.97
2151.15/2158.16	c bounds 432 >= 31 @ 2141.98
2151.15/2158.18	c bounds 431 >= 31 @ 2142
2151.25/2158.20	c bounds 430 >= 31 @ 2142.01
2151.25/2158.22	c bounds 429 >= 31 @ 2142.02
2151.25/2158.23	c bounds 428 >= 31 @ 2142.03
2151.25/2158.24	c bounds 427 >= 31 @ 2142.04
2151.25/2158.26	c bounds 426 >= 31 @ 2142.05
2151.25/2158.27	c bounds 425 >= 31 @ 2142.06
2151.25/2158.29	c bounds 424 >= 31 @ 2142.07
2151.36/2158.30	c bounds 423 >= 31 @ 2142.08
2151.36/2158.31	c bounds 422 >= 31 @ 2142.09
2151.36/2158.32	c bounds 421 >= 31 @ 2142.1
2151.36/2158.34	c bounds 420 >= 31 @ 2142.11
2151.36/2158.35	c bounds 419 >= 31 @ 2142.12
2151.36/2158.36	c bounds 418 >= 31 @ 2142.13
2151.36/2158.37	c bounds 417 >= 31 @ 2142.14
2151.36/2158.38	c bounds 416 >= 31 @ 2142.14
2151.36/2158.39	c bounds 415 >= 31 @ 2142.15
2151.45/2158.41	c bounds 414 >= 31 @ 2142.16
2151.45/2158.42	c bounds 413 >= 31 @ 2142.17
2151.45/2158.43	c bounds 412 >= 31 @ 2142.18
2151.45/2158.44	c bounds 411 >= 31 @ 2142.18
2151.45/2158.45	c bounds 410 >= 31 @ 2142.19
2151.45/2158.46	c bounds 409 >= 31 @ 2142.2
2151.45/2158.47	c bounds 408 >= 31 @ 2142.21
2151.45/2158.48	c bounds 407 >= 31 @ 2142.22
2151.45/2158.49	c bounds 406 >= 31 @ 2142.23
2151.56/2158.51	c bounds 405 >= 31 @ 2142.23
2151.56/2158.52	c bounds 404 >= 31 @ 2142.24
2151.56/2158.53	c bounds 403 >= 31 @ 2142.25
2151.56/2158.54	c bounds 402 >= 31 @ 2142.26
2151.56/2158.56	c bounds 401 >= 31 @ 2142.27
2151.56/2158.57	c bounds 400 >= 31 @ 2142.28
2151.56/2158.58	c bounds 399 >= 31 @ 2142.29
2151.66/2158.60	c bounds 398 >= 31 @ 2142.3
2151.66/2158.61	c bounds 397 >= 31 @ 2142.31
2151.66/2158.62	c bounds 396 >= 31 @ 2142.32
2151.66/2158.63	c bounds 395 >= 31 @ 2142.33
2151.66/2158.64	c bounds 394 >= 31 @ 2142.34
2151.66/2158.66	c bounds 393 >= 31 @ 2142.35
2151.66/2158.67	c bounds 392 >= 31 @ 2142.35
2151.66/2158.68	c bounds 391 >= 31 @ 2142.36
2151.66/2158.69	c bounds 390 >= 31 @ 2142.37
2151.75/2158.70	c bounds 389 >= 31 @ 2142.38
3600.39/3611.64	c #Conflicts:       5000 | #Constraints:      68546
3600.39/3611.64	c #Conflicts:       6000 | #Constraints:      69546
3600.39/3611.64	c Disabling crashed LP
3600.39/3611.64	c cpu time 3590.81 s
3600.39/3611.64	c deterministic time 597197928 5.97e+08
3600.39/3611.64	c optimization time 1449.65 s
3600.39/3611.64	c total solve time 2139.6 s
3600.39/3611.64	c core-guided solve time 2121.2 s
3600.39/3611.64	c propagation time 1507.41 s
3600.39/3611.64	c conflict analysis time 3.72217 s
3600.39/3611.64	c propagations 8883211
3600.39/3611.64	c resolve steps 32115
3600.39/3611.64	c decisions 5294718
3600.39/3611.64	c conflicts 6001
3600.39/3611.64	c restarts 29
3600.39/3611.64	c inprocessing phases 2
3600.39/3611.64	c garbage collections 2 ,( 100.00 )
3600.39/3611.64	c input clauses 65806 ,( 98.57 )
3600.39/3611.64	c input cardinalities 866 ,( 1.30 )
3600.39/3611.64	c input general constraints 92 ,( 0.14 )
3600.39/3611.64	c input average constraint length 145.06
3600.39/3611.64	c input average constraint degree 80.16
3600.39/3611.64	c learned clauses 1941 ,( 32.32 )
3600.39/3611.64	c learned cardinalities 1214 ,( 20.22 )
3600.39/3611.64	c learned general constraints 2850 ,( 47.46 )
3600.39/3611.64	c learned average constraint length 2232.42
3600.39/3611.64	c learned average constraint degree 14247847.57
3600.39/3611.64	c watched  CF 32, 64, 128, Arb: 136 , 0 , 0 , 0
3600.39/3611.64	c counting CF 32, 64, 128, Arb: 2807 , 0 , 0 , 0
3600.39/3611.64	c watched   constraints 136 ,( 4.62 ) 
3600.39/3611.64	c counting  constraints 2806 ,( 95.38 ) 
3600.39/3611.64	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 9721038 , 1566803 , 108383679 ,( 1422066 , 106961613 )
3600.39/3611.64	c gcd simplifications 54
3600.39/3611.64	c detected cardinalities 20
3600.39/3611.64	c weakened non-implied lits 5653349
3600.39/3611.64	c weakened non-implying lits 3778
3600.39/3611.64	c original variables 7992
3600.39/3611.64	c clausal propagations 180557
3600.39/3611.64	c cardinality propagations 1182519
3600.39/3611.64	c watched propagations 34896
3600.39/3611.64	c counting propagations 5467234
3600.39/3611.64	c watch lookups 330775725
3600.39/3611.64	c watch backjump lookups 0
3600.39/3611.64	c watch checks 77852956
3600.39/3611.64	c propagation checks 129109294
3600.39/3611.64	c constraint additions 31085747
3600.39/3611.64	c trail pops 14181276
3600.39/3611.64	c formula constraints 65744
3600.39/3611.64	c learned constraints 6005
3600.39/3611.64	c bound constraints 775
3600.39/3611.64	c core-guided constraints 245
3600.39/3611.64	c encountered formula constraints 4926
3600.39/3611.64	c encountered learned constraints 23100
3600.39/3611.64	c encountered bound constraints 435
3600.39/3611.64	c encountered core-guided constraints 9655
3600.39/3611.64	c LP total time 2126.44 s
3600.39/3611.64	c LP solve time 2126.13 s
3600.39/3611.64	c LP constraints added 65744
3600.39/3611.64	c LP constraints removed 0
3600.39/3611.64	c LP pivots internal 6000
3600.39/3611.64	c LP pivots root 9000
3600.39/3611.64	c LP calls 4
3600.39/3611.64	c LP optimalities 0
3600.39/3611.64	c LP no pivot count 0
3600.39/3611.64	c LP infeasibilities 0
3600.39/3611.64	c LP valid Farkas constraints 0
3600.39/3611.64	c LP learned Farkas constraints 0
3600.39/3611.64	c LP basis resets 0
3600.39/3611.64	c LP cycling count 0
3600.39/3611.64	c LP singular count 0
3600.39/3611.64	c LP no primal count 0
3600.39/3611.64	c LP no farkas count 0
3600.39/3611.64	c LP other issue count 0
3600.39/3611.64	c LP Gomory cuts 0
3600.39/3611.64	c LP learned cuts 0
3600.39/3611.64	c LP deleted cuts 0
3600.39/3611.64	c LP encountered Gomory constraints 0
3600.39/3611.64	c LP encountered Farkas constraints 0
3600.39/3611.64	c LP encountered learned Farkas constraints 0
3600.39/3611.64	c CG auxiliary variables introduced 92
3600.39/3611.64	c CG solutions found 744
3600.39/3611.64	c CG cores constructed 31
3600.39/3611.64	c CG core cardinality constraints returned 0
3600.39/3611.64	c CG unit cores 0
3600.39/3611.64	c CG single cores 31
3600.39/3611.64	c CG blocks removed during cardinality reduction 0
3600.39/3611.64	c CG first core best 0
3600.39/3611.64	c CG decision core best 0
3600.39/3611.64	c CG core reduction tie 0
3600.39/3611.64	c CG core degree average 1.00
3600.39/3611.64	c CG core slack average 183.03
3600.39/3611.64	c CG core upper bound improvements 4
3600.39/3611.64	c STR number of successful calls 0
3600.39/3611.64	c STR number of unsuccessful calls 0
3600.39/3611.64	c STR number of inconclusive calls 0
3600.39/3611.64	c STR number of successful attempts 0
3600.39/3611.64	c STR number of unsuccessful attempts 0
3600.39/3611.64	c STR number of inconclusive attempts 0
3600.39/3611.64	c STR average degree increase per successful call inf
3600.39/3611.64	c STR average degree increase per successful attempt inf
3600.39/3611.64	c STR total number of conflicts for successful attempts 0
3600.39/3611.64	c STR total number of conflicts for unsuccessful attempts 0
3600.39/3611.64	c STR total number of conflicts for inconclusive attempts 0
3600.39/3611.64	c STR average number of conflicts per successful attempt inf
3600.39/3611.64	c STR average number of conflicts per unsuccessful attempt inf
3600.39/3611.64	c STR average number of conflicts per inconclusive attempt inf
3600.39/3611.64	c AVG.sumWPerc 85.10 
3600.39/3611.64	c bigint constraints 0 
3600.39/3611.64	o 389
3600.39/3611.64	s SATISFIABLE
3600.39/3611.64	v x1 -x2 -x3 -x4 x5 x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 x1152 -x1153 -x1154 -x1155 -x1156 x1157 -x1158 x1159 -x1160 x1161 -x1162 x1163 -x1164 x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 x1886 x1887 x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 x2595 x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 x2698 -x2699 -x2700 -x2701 x2702 x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 x3466 -x3467 -x3468 -x3469 -x3470 -x3471 x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 x4113 -x4114 -x4115 -x4116 -x4117 -x4118 x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 x4229 x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 x4440 -x4441 -x4442 -x4443 -x4444 -x4445 x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 x4624 -x4625 -x4626 -x4627 -x4628 x4629 x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 x4978 -x4979 -x4980 -x4981 x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 x5086 -x5087 -x5088 -x5089 -x5090 x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 x5336 -x5337 -x5338 -x5339 -x5340 x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 x5397 x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 x5410 -x5411 x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 x5479 x5480 -x5481 x5482 -x5483 -x5484 x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 x5517 -x5518 -x5519 x5520 -x5521 -x5522 -x5523 -x5524 -x5525 x5526 x5527 x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 x5545 x5546 -x5547 -x5548 -x5549 -x5550 x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 x5571 -x5572 -x5573 x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 x5585 x5586 -x5587 -x5588 x5589 x5590 -x5591 -x5592 x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 x5603 x5604 -x5605 x5606 x5607 -x5608 -x5609 -x5610 x5611 -x5612 -x5613 x5614 -x5615 -x5616 -x5617 x5618 -x5619 -x5620 -x5621 x5622 -x5623 x5624 -x5625 -x5626 -x5627 x5628 -x5629 x5630 -x5631 x5632 x5633 -x5634 x5635 x5636 -x5637 -x5638 x5639 x5640 -x5641 -x5642 -x5643 x5644 x5645 x5646 x5647 -x5648 x5649 -x5650 x5651 -x5652 x5653 -x5654 -x5655 -x5656 x5657 x5658 -x5659 x5660 -x5661 x5662 -x5663 -x5664 -x5665 -x5666 -x5667 x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 x5675 -x5676 -x5677 -x5678 -x5679 -x5680 x5681 -x5682 -x5683 -x5684 -x5685 x5686 -x5687 -x5688 -x5689 -x5690 x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 x5711 -x5712 x5713 -x5714 -x5715 x5716 -x5717 -x5718 x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 x5726 -x5727 -x5728 -x5729 -x5730 -x5731 x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 x5787 -x5788 x5789 -x5790 -x5791 -x5792 -x5793 -x5794 x5795 x5796 -x5797 x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 x5805 -x5806 x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 x5822 -x5823 -x5824 -x5825 -x5826 x5827 -x5828 -x5829 -x5830 -x5831 -x5832 x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 x5846 x5847 -x5848 -x5849 -x5850 -x5851 x5852 -x5853 -x5854 x5855 -x5856 x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 x5873 -x5874 -x5875 x5876 -x5877 -x5878 x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 x5908 x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 x5917 -x5918 -x5919 -x5920 x5921 -x5922 -x5923 -x5924 x5925 -x5926 -x5927 -x5928 -x5929 -x5930 x5931 -x5932 -x5933 x5934 x5935 -x5936 -x5937 -x5938 -x5939 -x5940 x5941 x5942 -x5943 -x5944 -x5945 -x5946 -x5947 x5948 x5949 -x5950 -x5951 x5952 x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 x5961 x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 x5969 -x5970 x5971 x5972 -x5973 -x5974 x5975 -x5976 x5977 -x5978 x5979 -x5980 -x5981 x5982 x5983 -x5984 -x5985 -x5986 x5987 -x5988 -x5989 x5990 -x5991 -x5992 -x5993 -x5994 x5995 x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 x6003 -x6004 -x6005 -x6006 -x6007 x6008 -x6009 -x6010 -x6011 x6012 -x6013 -x6014 x6015 -x6016 -x6017 -x6018 x6019 -x6020 x6021 -x6022 x6023 -x6024 -x6025 x6026 x6027 x6028 -x6029 x6030 -x6031 -x6032 -x6033 x6034 x6035 x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 x6430 -x6431 -x6432 -x6433 -x6434 -x6435 x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 x6705 -x6706 x6707 x6708 -x6709 -x6710 -x6711 x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 x6726 x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 x6764 -x6765 -x6766 -x6767 x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 x6834 x6835 -x6836 -x6837 -x6838 x6839 x6840 x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 x6853 -x6854 x6855 x6856 -x6857 -x6858 -x6859 -x6860 -x6861 x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 x6890 -x6891 x6892 -x6893 -x6894 x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 x6917 x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 x7031 x7032 -x7033 -x7034 -x7035 -x7036 -x7037 x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 x7139 -x7140 x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 x7160 -x7161 -x7162 -x7163 -x7164 x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 x7277 -x7278 -x7279 -x7280 -x7281 x7282 -x7283 x7284 x7285 -x7286 x7287 x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 x7324 -x7325 -x7326 -x7327 x7328 -x7329 -x7330 -x7331 x7332 -x7333 x7334 x7335 -x7336 -x7337 x7338 -x7339 -x7340 -x7341 -x7342 -x7343 x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 x7371 -x7372 x7373 -x7374 x7375 -x7376 -x7377 -x7378 x7379 x7380 -x7381 -x7382 x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 x7403 x7404 -x7405 -x7406 -x7407 -x7408 x7409 x7410 x7411 -x7412 -x7413 -x7414 -x7415 -x7416 x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 x7424 -x7425 -x7426 -x7427 -x7428 -x7429 x7430 x7431 -x7432 -x7433 -x7434 -x7435 x7436 x7437 x7438 x7439 -x7440 -x7441 x7442 x7443 -x7444 -x7445 -x7446 x7447 -x7448 x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 x7456 x7457 -x7458 -x7459 x7460 x7461 x7462 x7463 -x7464 -x7465 -x7466 -x7467 -x7468 x7469 x7470 -x7471 -x7472 -x7473 x7474 -x7475 x7476 x7477 x7478 -x7479 -x7480 -x7481 x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 x7490 -x7491 x7492 -x7493 x7494 x7495 x7496 -x7497 -x7498 x7499 x7500 x7501 -x7502 x7503 -x7504 x7505 -x7506 x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 x7521 -x7522 -x7523 -x7524 x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 x7586 -x7587 -x7588 -x7589 -x7590 -x7591 x7592 -x7593 -x7594 -x7595 x7596 -x7597 x7598 x7599 -x7600 x7601 -x7602 -x7603 x7604 x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 x7612 x7613 -x7614 x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 x7639 x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 x7652 -x7653 x7654 -x7655 -x7656 -x7657 x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 x7679 -x7680 -x7681 -x7682 -x7683 x7684 -x7685 -x7686 -x7687 x7688 x7689 x7690 -x7691 -x7692 x7693 x7694 -x7695 -x7696 x7697 x7698 x7699 -x7700 x7701 x7702 x7703 -x7704 -x7705 -x7706 x7707 -x7708 -x7709 -x7710 x7711 -x7712 -x7713 x7714 -x7715 x7716 x7717 x7718 x7719 x7720 -x7721 x7722 -x7723 x7724 x7725 x7726 -x7727 x7728 -x7729 -x7730 x7731 -x7732 -x7733 -x7734 -x7735 x7736 -x7737 -x7738 x7739 x7740 -x7741 x7742 x7743 -x7744 x7745 x7746 x7747 x7748 x7749 -x7750 -x7751 -x7752 x7753 x7754 x7755 -x7756 -x7757 x7758 -x7759 x7760 x7761 -x7762 -x7763 -x7764 -x7765 x7766 x7767 -x7768 x7769 -x7770 -x7771 x7772 x7773 x7774 x7775 -x7776 -x7777 -x7778 x7779 -x7780 x7781 x7782 -x7783 -x7784 x7785 -x7786 x7787 -x7788 -x7789 x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 x7797 -x7798 x7799 x7800 -x7801 x7802 -x7803 x7804 -x7805 -x7806 x7807 x7808 -x7809 -x7810 x7811 -x7812 -x7813 -x7814 -x7815 -x7816 x7817 -x7818 -x7819 -x7820 x7821 -x7822 -x7823 x7824 x7825 -x7826 -x7827 -x7828 x7829 x7830 x7831 -x7832 -x7833 x7834 -x7835 x7836 x7837 -x7838 -x7839 x7840
3600.39/3611.64	c Program interrupted by user.

Verifier Data 

OK	389

Watcher Data 

runsolver version 3.4.2 (svn: 4680) 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: 63665 MiB (62347 MiB free)
  memory of node 1: 64507 MiB (63873 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502881-1751425131/watcher-4502881-1751425131 -o /tmp/evaluation-result-4502881-1751425131/solver-4502881-1751425131 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751421462-58345 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4502881-1751425131.opb PROOFDIR/proof-4502881-1751425131 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=58925, runsolver pid=58922

[startup+0.100065 s]*
/proc/loadavg: 3.07 3.10 3.09 4/266 58927
/proc/meminfo: memFree=129236044/131250000 swapFree=33010416/33010684
[pid=58925] ppid=58922 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/58925/stat : 58925 (run-opt-break-l) S 58922 58925 58306 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 58192969 4292608 768 18446744073709551615 94503953960960 94503954855493 140721879315616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94503955094544 94503955142288 94503982092288 140721879324949 140721879325150 140721879325150 140721879330752 0
/proc/58925/statm: 1048 768 704 219 0 110 0
[pid=58927] ppid=58925 vsize=45380 memory=35784 CPUtime=0.08 cores=1,3
/proc/58927/stat : 58927 (pbsuma) R 58925 58925 58306 0 -1 4194304 6838 0 0 0 7 1 0 0 20 0 1 0 58192970 46469120 8946 18446744073709551615 4210688 4653049 140726401160688 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 13111296 140726401165539 140726401165874 140726401165874 140726401171439 0
/proc/58927/statm: 11345 8946 928 108 0 8753 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 49572 KiB
Current children cumulated memory: 38856 KiB

[startup+0.205595 s]*
/proc/loadavg: 3.07 3.10 3.09 4/266 58927
/proc/meminfo: memFree=129198916/131250000 swapFree=33010416/33010684
[pid=58925] ppid=58922 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/58925/stat : 58925 (run-opt-break-l) S 58922 58925 58306 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 58192969 4292608 768 18446744073709551615 94503953960960 94503954855493 140721879315616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94503955094544 94503955142288 94503982092288 140721879324949 140721879325150 140721879325150 140721879330752 0
/proc/58925/statm: 1048 768 704 219 0 110 0
[pid=58927] ppid=58925 vsize=87288 memory=65504 CPUtime=0.19 cores=1,3
/proc/58927/stat : 58927 (pbsuma) R 58925 58925 58306 0 -1 4194304 12685 0 0 0 16 3 0 0 20 0 1 0 58192970 89382912 16376 18446744073709551615 4210688 4653049 140726401160688 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 13111296 140726401165539 140726401165874 140726401165874 140726401171439 0
/proc/58927/statm: 21822 16376 928 108 0 19230 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 91480 KiB
Current children cumulated memory: 68576 KiB

[startup+0.305516 s]*
/proc/loadavg: 3.07 3.10 3.09 4/266 58927
/proc/meminfo: memFree=129178816/131250000 swapFree=33010416/33010684
[pid=58925] ppid=58922 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/58925/stat : 58925 (run-opt-break-l) S 58922 58925 58306 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 58192969 4292608 768 18446744073709551615 94503953960960 94503954855493 140721879315616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94503955094544 94503955142288 94503982092288 140721879324949 140721879325150 140721879325150 140721879330752 0
/proc/58925/statm: 1048 768 704 219 0 110 0
[pid=58927] ppid=58925 vsize=89032 memory=79648 CPUtime=0.28 cores=1,3
/proc/58927/stat : 58927 (pbsuma) R 58925 58925 58306 0 -1 4194304 15627 0 0 0 25 3 0 0 20 0 1 0 58192970 91168768 19912 18446744073709551615 4210688 4653049 140726401160688 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 13111296 140726401165539 140726401165874 140726401165874 140726401171439 0
/proc/58927/statm: 22258 19912 928 108 0 19666 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 93224 KiB
Current children cumulated memory: 82720 KiB

[startup+0.700127 s]
/proc/loadavg: 3.07 3.10 3.09 3/266 58927
/proc/meminfo: memFree=129124632/131250000 swapFree=33010416/33010684
[pid=58925] ppid=58922 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/58925/stat : 58925 (run-opt-break-l) S 58922 58925 58306 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 58192969 4292608 768 18446744073709551615 94503953960960 94503954855493 140721879315616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94503955094544 94503955142288 94503982092288 140721879324949 140721879325150 140721879325150 140721879330752 0
/proc/58925/statm: 1048 768 704 219 0 110 0
[pid=58927] ppid=58925 vsize=120120 memory=100636 CPUtime=0.34 cores=1,3
/proc/58927/stat : 58927 (pbsuma) D 58925 58925 58306 0 -1 4456448 20494 0 0 0 30 4 0 0 20 0 1 0 58192970 123002880 25159 18446744073709551615 4210688 4653049 140726401160688 0 0 0 0 0 0 1 0 0 17 1 0 0 0 0 0 4700520 4703148 13111296 140726401165539 140726401165874 140726401165874 140726401171439 0
/proc/58927/statm: 30030 25159 992 108 0 27438 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 124312 KiB
Current children cumulated memory: 103708 KiB

[startup+1.5002 s]
/proc/loadavg: 3.07 3.10 3.09 4/266 58927
/proc/meminfo: memFree=129055636/131250000 swapFree=33010416/33010684
[pid=58925] ppid=58922 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/58925/stat : 58925 (run-opt-break-l) S 58922 58925 58306 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 58192969 4292608 768 18446744073709551615 94503953960960 94503954855493 140721879315616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94503955094544 94503955142288 94503982092288 140721879324949 140721879325150 140721879325150 140721879330752 0
/proc/58925/statm: 1048 768 704 219 0 110 0
[pid=58927] ppid=58925 vsize=165676 memory=141448 CPUtime=1.04 cores=1,3
/proc/58927/stat : 58927 (pbsuma) R 58925 58925 58306 0 -1 4194304 24928 0 0 0 98 6 0 0 20 0 1 0 58192970 169652224 35362 18446744073709551615 4210688 4653049 140726401160688 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 13111296 140726401165539 140726401165874 140726401165874 140726401171439 0
/proc/58927/statm: 41419 35362 1024 108 0 38827 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 169868 KiB
Current children cumulated memory: 144520 KiB

[startup+3.10541 s]
/proc/loadavg: 3.07 3.09 3.09 4/266 58927
/proc/meminfo: memFree=128951108/131250000 swapFree=33010416/33010684
[pid=58925] ppid=58922 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/58925/stat : 58925 (run-opt-break-l) S 58922 58925 58306 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 58192969 4292608 768 18446744073709551615 94503953960960 94503954855493 140721879315616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94503955094544 94503955142288 94503982092288 140721879324949 140721879325150 140721879325150 140721879330752 0
/proc/58925/statm: 1048 768 704 219 0 110 0
[pid=58927] ppid=58925 vsize=165676 memory=141448 CPUtime=2.64 cores=1,3
/proc/58927/stat : 58927 (pbsuma) R 58925 58925 58306 0 -1 4194304 24941 0 0 0 258 6 0 0 20 0 1 0 58192970 169652224 35362 18446744073709551615 4210688 4653049 140726401160688 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 13111296 140726401165539 140726401165874 140726401165874 140726401171439 0
/proc/58927/statm: 41419 35362 1024 108 0 38827 0
Current children cumulated CPU time: 2.64 s
Current children cumulated vsize: 169868 KiB
Current children cumulated memory: 144520 KiB

[startup+6.30014 s]
/proc/loadavg: 3.07 3.09 3.09 4/266 58928
/proc/meminfo: memFree=128644016/131250000 swapFree=33010416/33010684
[pid=58925] ppid=58922 vsize=4192 memory=3072 CPUtime=4.96 cores=1,3
/proc/58925/stat : 58925 (run-opt-break-l) S 58922 58925 58306 0 -1 4194304 244 33856 0 0 0 0 473 23 20 0 1 0 58192969 4292608 768 18446744073709551615 94503953960960 94503954855493 140721879315616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94503955094544 94503955142288 94503982092288 140721879324949 140721879325150 140721879325150 140721879330752 0
/proc/58925/statm: 1048 768 704 219 0 110 0
[pid=58928] ppid=58925 vsize=66976 memory=20824 CPUtime=0.71 cores=1,3
/proc/58928/stat : 58928 (roundingsat) R 58925 58925 58306 0 -1 4194304 2703 0 0 0 68 3 0 0 20 0 1 0 58193526 68583424 5206 18446744073709551615 4227072 8923433 140734055778640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31608832 140734055786772 140734055787048 140734055787048 140734055792618 0
/proc/58928/statm: 16744 5206 1920 1147 0 4171 0
Current children cumulated CPU time: 5.67 s
Current children cumulated vsize: 71168 KiB
Current children cumulated memory: 23896 KiB

[startup+12.7002 s]
/proc/loadavg: 3.13 3.11 3.09 4/267 58929
/proc/meminfo: memFree=128350644/131250000 swapFree=33010416/33010684
[pid=58925] ppid=58922 vsize=4192 memory=3072 CPUtime=4.96 cores=1,3
/proc/58925/stat : 58925 (run-opt-break-l) S 58922 58925 58306 0 -1 4194304 244 33856 0 0 0 0 473 23 20 0 1 0 58192969 4292608 768 18446744073709551615 94503953960960 94503954855493 140721879315616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94503955094544 94503955142288 94503982092288 140721879324949 140721879325150 140721879325150 140721879330752 0
/proc/58925/statm: 1048 768 704 219 0 110 0
[pid=58928] ppid=58925 vsize=378956 memory=302848 CPUtime=7.09 cores=1,3
/proc/58928/stat : 58928 (roundingsat) R 58925 58925 58306 0 -1 4194304 47046 0 0 0 684 25 0 0 20 0 1 0 58193526 388050944 75712 18446744073709551615 4227072 8923433 140734055778640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31608832 140734055786772 140734055787048 140734055787048 140734055792618 0
/proc/58928/statm: 94739 75712 2304 1147 0 82166 0
Current children cumulated CPU time: 12.05 s
Current children cumulated vsize: 383148 KiB
Current children cumulated memory: 305920 KiB

[startup+25.5002 s]
/proc/loadavg: 3.11 3.10 3.09 4/267 58929
/proc/meminfo: memFree=128247180/131250000 swapFree=33010416/33010684
[pid=58925] ppid=58922 vsize=4192 memory=3072 CPUtime=4.96 cores=1,3
/proc/58925/stat : 58925 (run-opt-break-l) S 58922 58925 58306 0 -1 4194304 244 33856 0 0 0 0 473 23 20 0 1 0 58192969 4292608 768 18446744073709551615 94503953960960 94503954855493 140721879315616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94503955094544 94503955142288 94503982092288 140721879324949 140721879325150 140721879325150 140721879330752 0
/proc/58925/statm: 1048 768 704 219 0 110 0
[pid=58928] ppid=58925 vsize=440648 memory=348016 CPUtime=19.85 cores=1,3
/proc/58928/stat : 58928 (roundingsat) R 58925 58925 58306 0 -1 4194304 50582 0 0 0 1905 80 0 0 20 0 1 0 58193526 451223552 87004 18446744073709551615 4227072 8923433 140734055778640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31608832 140734055786772 140734055787048 140734055787048 140734055792618 0
/proc/58928/statm: 110162 87004 2368 1147 0 97589 0
Current children cumulated CPU time: 24.81 s
Current children cumulated vsize: 444840 KiB
Current children cumulated memory: 351088 KiB

[startup+51.1057 s]
/proc/loadavg: 3.07 3.09 3.09 4/267 58929
/proc/meminfo: memFree=128106644/131250000 swapFree=33010416/33010684
[pid=58925] ppid=58922 vsize=4192 memory=3072 CPUtime=4.96 cores=1,3
/proc/58925/stat : 58925 (run-opt-break-l) S 58922 58925 58306 0 -1 4194304 244 33856 0 0 0 0 473 23 20 0 1 0 58192969 4292608 768 18446744073709551615 94503953960960 94503954855493 140721879315616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94503955094544 94503955142288 94503982092288 140721879324949 140721879325150 140721879325150 140721879330752 0
/proc/58925/statm: 1048 768 704 219 0 110 0
[pid=58928] ppid=58925 vsize=559860 memory=457088 CPUtime=45.38 cores=1,3
/proc/58928/stat : 58928 (roundingsat) R 58925 58925 58306 0 -1 4194304 55408 0 0 0 4453 85 0 0 20 0 1 0 58193526 573296640 114272 18446744073709551615 4227072 8923433 140734055778640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31608832 140734055786772 140734055787048 140734055787048 140734055792618 0
/proc/58928/statm: 139965 114272 2368 1147 0 127392 0
Current children cumulated CPU time: 50.34 s
Current children cumulated vsize: 564052 KiB
Current children cumulated memory: 460160 KiB

[startup+102.3 s]
/proc/loadavg: 3.06 3.09 3.09 4/267 58931
/proc/meminfo: memFree=127785172/131250000 swapFree=33010416/33010684
[pid=58925] ppid=58922 vsize=4192 memory=3072 CPUtime=4.96 cores=1,3
/proc/58925/stat : 58925 (run-opt-break-l) S 58922 58925 58306 0 -1 4194304 244 33856 0 0 0 0 473 23 20 0 1 0 58192969 4292608 768 18446744073709551615 94503953960960 94503954855493 140721879315616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94503955094544 94503955142288 94503982092288 140721879324949 140721879325150 140721879325150 140721879330752 0
/proc/58925/statm: 1048 768 704 219 0 110 0
[pid=58928] ppid=58925 vsize=648788 memory=554048 CPUtime=96.43 cores=1,3
/proc/58928/stat : 58928 (roundingsat) R 58925 58925 58306 0 -1 4194304 59595 0 0 0 9553 90 0 0 20 0 1 0 58193526 664358912 138512 18446744073709551615 4227072 8923433 140734055778640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31608832 140734055786772 140734055787048 140734055787048 140734055792618 0
/proc/58928/statm: 162197 138512 2368 1147 0 149624 0
Current children cumulated CPU time: 101.39 s
Current children cumulated vsize: 652980 KiB
Current children cumulated memory: 557120 KiB

[startup+162.3 s]
/proc/loadavg: 3.07 3.09 3.09 4/267 58944
/proc/meminfo: memFree=127463204/131250000 swapFree=33010416/33010684
[pid=58925] ppid=58922 vsize=4192 memory=3072 CPUtime=4.96 cores=1,3
/proc/58925/stat : 58925 (run-opt-break-l) S 58922 58925 58306 0 -1 4194304 244 33856 0 0 0 0 473 23 20 0 1 0 58192969 4292608 768 18446744073709551615 94503953960960 94503954855493 140721879315616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94503955094544 94503955142288 94503982092288 140721879324949 140721879325150 140721879325150 140721879330752 0
/proc/58925/statm: 1048 768 704 219 0 110 0
[pid=58928] ppid=58925 vsize=717124 memory=588036 CPUtime=156.25 cores=1,3
/proc/58928/stat : 58928 (roundingsat) R 58925 58925 58306 0 -1 4194304 63599 0 0 0 15529 96 0 0 20 0 1 0 58193526 734334976 147009 18446744073709551615 4227072 8923433 140734055778640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31608832 140734055786772 140734055787048 140734055787048 140734055792618 0
/proc/58928/statm: 179281 147009 2368 1147 0 166708 0
Current children cumulated CPU time: 161.21 s
Current children cumulated vsize: 721316 KiB
Current children cumulated memory: 591108 KiB

[startup+222.3 s]
/proc/loadavg: 3.14 3.10 3.09 4/265 58946
/proc/meminfo: memFree=127158496/131250000 swapFree=33010416/33010684
[pid=58925] ppid=58922 vsize=4192 memory=3072 CPUtime=4.96 cores=1,3
/proc/58925/stat : 58925 (run-opt-break-l) S 58922 58925 58306 0 -1 4194304 244 33856 0 0 0 0 473 23 20 0 1 0 58192969 4292608 768 18446744073709551615 94503953960960 94503954855493 140721879315616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94503955094544 94503955142288 94503982092288 140721879324949 140721879325150 140721879325150 140721879330752 0
/proc/58925/statm: 1048 768 704 219 0 110 0
[pid=58928] ppid=58925 vsize=917448 memory=787884 CPUtime=216.08 cores=1,3
/proc/58928/stat : 58928 (roundingsat) R 58925 58925 58306 0 -1 4194304 67278 0 0 0 21505 103 0 0 20 0 1 0 58193526 939466752 196971 18446744073709551615 4227072 8923433 140734055778640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31608832 140734055786772 140734055787048 140734055787048 140734055792618 0

################
# More data... #
################

[pid=58928] ppid=58925 vsize=1760408 memory=1399516 CPUtime=3087.66 cores=1,3
/proc/58928/stat : 58928 (roundingsat) R 58925 58925 58306 0 -1 4194304 139544 0 0 0 308303 463 0 0 20 0 1 0 58193526 1802657792 349879 18446744073709551615 4227072 8923433 140734055778640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31608832 140734055786772 140734055787048 140734055787048 140734055792618 0
/proc/58928/statm: 440102 349879 2368 1147 0 427529 0
Current children cumulated CPU time: 3092.62 s
Current children cumulated vsize: 1764600 KiB
Current children cumulated memory: 1402588 KiB

[startup+3162.3 s]
/proc/loadavg: 3.14 3.11 3.09 4/260 59095
/proc/meminfo: memFree=123239268/131250000 swapFree=33010416/33010684
[pid=58925] ppid=58922 vsize=4192 memory=3072 CPUtime=4.96 cores=1,3
/proc/58925/stat : 58925 (run-opt-break-l) S 58922 58925 58306 0 -1 4194304 244 33856 0 0 0 0 473 23 20 0 1 0 58192969 4292608 768 18446744073709551615 94503953960960 94503954855493 140721879315616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94503955094544 94503955142288 94503982092288 140721879324949 140721879325150 140721879325150 140721879330752 0
/proc/58925/statm: 1048 768 704 219 0 110 0
[pid=58928] ppid=58925 vsize=1760892 memory=1399516 CPUtime=3147.47 cores=1,3
/proc/58928/stat : 58928 (roundingsat) R 58925 58925 58306 0 -1 4194304 139545 0 0 0 314284 463 0 0 20 0 1 0 58193526 1803153408 349879 18446744073709551615 4227072 8923433 140734055778640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31608832 140734055786772 140734055787048 140734055787048 140734055792618 0
/proc/58928/statm: 440223 349879 2368 1147 0 427650 0
Current children cumulated CPU time: 3152.43 s
Current children cumulated vsize: 1765084 KiB
Current children cumulated memory: 1402588 KiB

[startup+3222.3 s]
/proc/loadavg: 3.10 3.10 3.09 4/260 59097
/proc/meminfo: memFree=123187108/131250000 swapFree=33010416/33010684
[pid=58925] ppid=58922 vsize=4192 memory=3072 CPUtime=4.96 cores=1,3
/proc/58925/stat : 58925 (run-opt-break-l) S 58922 58925 58306 0 -1 4194304 244 33856 0 0 0 0 473 23 20 0 1 0 58192969 4292608 768 18446744073709551615 94503953960960 94503954855493 140721879315616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94503955094544 94503955142288 94503982092288 140721879324949 140721879325150 140721879325150 140721879330752 0
/proc/58925/statm: 1048 768 704 219 0 110 0
[pid=58928] ppid=58925 vsize=1760892 memory=1400028 CPUtime=3207.3 cores=1,3
/proc/58928/stat : 58928 (roundingsat) R 58925 58925 58306 0 -1 4194304 139732 0 0 0 320266 464 0 0 20 0 1 0 58193526 1803153408 350007 18446744073709551615 4227072 8923433 140734055778640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31608832 140734055786772 140734055787048 140734055787048 140734055792618 0
/proc/58928/statm: 440223 350007 2368 1147 0 427650 0
Current children cumulated CPU time: 3212.26 s
Current children cumulated vsize: 1765084 KiB
Current children cumulated memory: 1403100 KiB

[startup+3282.3 s]
/proc/loadavg: 3.15 3.11 3.09 4/260 59099
/proc/meminfo: memFree=123064652/131250000 swapFree=33010416/33010684
[pid=58925] ppid=58922 vsize=4192 memory=3072 CPUtime=4.96 cores=1,3
/proc/58925/stat : 58925 (run-opt-break-l) S 58922 58925 58306 0 -1 4194304 244 33856 0 0 0 0 473 23 20 0 1 0 58192969 4292608 768 18446744073709551615 94503953960960 94503954855493 140721879315616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94503955094544 94503955142288 94503982092288 140721879324949 140721879325150 140721879325150 140721879330752 0
/proc/58925/statm: 1048 768 704 219 0 110 0
[pid=58928] ppid=58925 vsize=1760892 memory=1401180 CPUtime=3267.12 cores=1,3
/proc/58928/stat : 58928 (roundingsat) R 58925 58925 58306 0 -1 4194304 139925 0 0 0 326248 464 0 0 20 0 1 0 58193526 1803153408 350295 18446744073709551615 4227072 8923433 140734055778640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31608832 140734055786772 140734055787048 140734055787048 140734055792618 0
/proc/58928/statm: 440223 350295 2368 1147 0 427650 0
Current children cumulated CPU time: 3272.08 s
Current children cumulated vsize: 1765084 KiB
Current children cumulated memory: 1404252 KiB

[startup+3342.3 s]
/proc/loadavg: 3.18 3.12 3.10 4/262 59105
/proc/meminfo: memFree=123024608/131250000 swapFree=33010416/33010684
[pid=58925] ppid=58922 vsize=4192 memory=3072 CPUtime=4.96 cores=1,3
/proc/58925/stat : 58925 (run-opt-break-l) S 58922 58925 58306 0 -1 4194304 244 33856 0 0 0 0 473 23 20 0 1 0 58192969 4292608 768 18446744073709551615 94503953960960 94503954855493 140721879315616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94503955094544 94503955142288 94503982092288 140721879324949 140721879325150 140721879325150 140721879330752 0
/proc/58925/statm: 1048 768 704 219 0 110 0
[pid=58928] ppid=58925 vsize=1760892 memory=1413084 CPUtime=3326.93 cores=1,3
/proc/58928/stat : 58928 (roundingsat) R 58925 58925 58306 0 -1 4194304 139926 0 0 0 332229 464 0 0 20 0 1 0 58193526 1803153408 353271 18446744073709551615 4227072 8923433 140734055778640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31608832 140734055786772 140734055787048 140734055787048 140734055792618 0
/proc/58928/statm: 440223 353271 2368 1147 0 427650 0
Current children cumulated CPU time: 3331.89 s
Current children cumulated vsize: 1765084 KiB
Current children cumulated memory: 1416156 KiB

[startup+3402.3 s]
/proc/loadavg: 3.07 3.10 3.09 4/262 59107
/proc/meminfo: memFree=123019344/131250000 swapFree=33010416/33010684
[pid=58925] ppid=58922 vsize=4192 memory=3072 CPUtime=4.96 cores=1,3
/proc/58925/stat : 58925 (run-opt-break-l) S 58922 58925 58306 0 -1 4194304 244 33856 0 0 0 0 473 23 20 0 1 0 58192969 4292608 768 18446744073709551615 94503953960960 94503954855493 140721879315616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94503955094544 94503955142288 94503982092288 140721879324949 140721879325150 140721879325150 140721879330752 0
/proc/58925/statm: 1048 768 704 219 0 110 0
[pid=58928] ppid=58925 vsize=1760892 memory=1413084 CPUtime=3386.74 cores=1,3
/proc/58928/stat : 58928 (roundingsat) R 58925 58925 58306 0 -1 4194304 139927 0 0 0 338210 464 0 0 20 0 1 0 58193526 1803153408 353271 18446744073709551615 4227072 8923433 140734055778640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31608832 140734055786772 140734055787048 140734055787048 140734055792618 0
/proc/58928/statm: 440223 353271 2368 1147 0 427650 0
Current children cumulated CPU time: 3391.7 s
Current children cumulated vsize: 1765084 KiB
Current children cumulated memory: 1416156 KiB

[startup+3462.3 s]
/proc/loadavg: 3.12 3.11 3.09 4/263 59114
/proc/meminfo: memFree=122967672/131250000 swapFree=33010416/33010684
[pid=58925] ppid=58922 vsize=4192 memory=3072 CPUtime=4.96 cores=1,3
/proc/58925/stat : 58925 (run-opt-break-l) S 58922 58925 58306 0 -1 4194304 244 33856 0 0 0 0 473 23 20 0 1 0 58192969 4292608 768 18446744073709551615 94503953960960 94503954855493 140721879315616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94503955094544 94503955142288 94503982092288 140721879324949 140721879325150 140721879325150 140721879330752 0
/proc/58925/statm: 1048 768 704 219 0 110 0
[pid=58928] ppid=58925 vsize=1760892 memory=1413084 CPUtime=3446.57 cores=1,3
/proc/58928/stat : 58928 (roundingsat) R 58925 58925 58306 0 -1 4194304 139927 0 0 0 344192 465 0 0 20 0 1 0 58193526 1803153408 353271 18446744073709551615 4227072 8923433 140734055778640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31608832 140734055786772 140734055787048 140734055787048 140734055792618 0
/proc/58928/statm: 440223 353271 2368 1147 0 427650 0
Current children cumulated CPU time: 3451.53 s
Current children cumulated vsize: 1765084 KiB
Current children cumulated memory: 1416156 KiB

[startup+3522.3 s]
/proc/loadavg: 3.10 3.10 3.09 4/263 59116
/proc/meminfo: memFree=122924240/131250000 swapFree=33010416/33010684
[pid=58925] ppid=58922 vsize=4192 memory=3072 CPUtime=4.96 cores=1,3
/proc/58925/stat : 58925 (run-opt-break-l) S 58922 58925 58306 0 -1 4194304 244 33856 0 0 0 0 473 23 20 0 1 0 58192969 4292608 768 18446744073709551615 94503953960960 94503954855493 140721879315616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94503955094544 94503955142288 94503982092288 140721879324949 140721879325150 140721879325150 140721879330752 0
/proc/58925/statm: 1048 768 704 219 0 110 0
[pid=58928] ppid=58925 vsize=1760892 memory=1413084 CPUtime=3506.39 cores=1,3
/proc/58928/stat : 58928 (roundingsat) R 58925 58925 58306 0 -1 4194304 140005 0 0 0 350174 465 0 0 20 0 1 0 58193526 1803153408 353271 18446744073709551615 4227072 8923433 140734055778640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31608832 140734055786772 140734055787048 140734055787048 140734055792618 0
/proc/58928/statm: 440223 353271 2368 1147 0 427650 0
Current children cumulated CPU time: 3511.35 s
Current children cumulated vsize: 1765084 KiB
Current children cumulated memory: 1416156 KiB

[startup+3582.3 s]
/proc/loadavg: 3.07 3.10 3.09 4/263 59118
/proc/meminfo: memFree=122860600/131250000 swapFree=33010416/33010684
[pid=58925] ppid=58922 vsize=4192 memory=3072 CPUtime=4.96 cores=1,3
/proc/58925/stat : 58925 (run-opt-break-l) S 58922 58925 58306 0 -1 4194304 244 33856 0 0 0 0 473 23 20 0 1 0 58192969 4292608 768 18446744073709551615 94503953960960 94503954855493 140721879315616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94503955094544 94503955142288 94503982092288 140721879324949 140721879325150 140721879325150 140721879330752 0
/proc/58925/statm: 1048 768 704 219 0 110 0
[pid=58928] ppid=58925 vsize=1760892 memory=1413084 CPUtime=3566.2 cores=1,3
/proc/58928/stat : 58928 (roundingsat) R 58925 58925 58306 0 -1 4194304 140187 0 0 0 356155 465 0 0 20 0 1 0 58193526 1803153408 353271 18446744073709551615 4227072 8923433 140734055778640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31608832 140734055786772 140734055787048 140734055787048 140734055792618 0
/proc/58928/statm: 440223 353271 2368 1147 0 427650 0
Current children cumulated CPU time: 3571.16 s
Current children cumulated vsize: 1765084 KiB
Current children cumulated memory: 1416156 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.3 s]
/proc/loadavg: 3.12 3.10 3.09 4/262 59164
/proc/meminfo: memFree=122111792/131250000 swapFree=33010416/33010684
[pid=58925] ppid=58922 vsize=4192 memory=3072 CPUtime=4.96 cores=1,3
/proc/58925/stat : 58925 (run-opt-break-l) S 58922 58925 58306 0 -1 4194304 244 33856 0 0 0 0 473 23 20 0 1 0 58192969 4292608 768 18446744073709551615 94503953960960 94503954855493 140721879315616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94503955094544 94503955142288 94503982092288 140721879324949 140721879325150 140721879325150 140721879330752 0
/proc/58925/statm: 1048 768 704 219 0 110 0
[pid=58928] ppid=58925 vsize=1760892 memory=1413084 CPUtime=3595.11 cores=1,3
/proc/58928/stat : 58928 (roundingsat) R 58925 58925 58306 0 -1 4194304 140187 0 0 0 359046 465 0 0 20 0 1 0 58193526 1803153408 353271 18446744073709551615 4227072 8923433 140734055778640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31608832 140734055786772 140734055787048 140734055787048 140734055792618 0
/proc/58928/statm: 440223 353271 2368 1147 0 427650 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1765084 KiB
Current children cumulated memory: 1416156 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3611.3 s]
# the end of solver process 58925 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=4.74018 s, system=0.235445 s
Sleeping 2 seconds

[startup+3611.65 s]
# the end of solver process 58928 was just reported to runsolver
# Child status: 2

# cumulated CPU time of all completed processes:  user=3595.55 s, system=4.90225 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3611.6 s]
/proc/loadavg: 3.12 3.10 3.09 4/261 59164
/proc/meminfo: memFree=122087092/131250000 swapFree=33010416/33010684
[pid=58928] ppid=58922 vsize=1760892 memory=1413084 CPUtime=3595.41 cores=1,3
/proc/58928/stat : 58928 (roundingsat) R 58922 58925 58306 0 -1 4194304 140187 0 0 0 359076 465 0 0 20 0 1 0 58193526 1803153408 353271 18446744073709551615 4227072 8923433 140734055778640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31608832 140734055786772 140734055787048 140734055787048 140734055792618 0
/proc/58928/statm: 440223 353271 2368 1147 0 427650 0
Current cumulated CPU time of completed processes: 4.97562 s
Current children cumulated CPU time: 3595.41 s
Current children cumulated vsize: 1760892 KiB
Current children cumulated memory: 1413084 KiB

Child status: 2

Real time (s): 3611.65
CPU time (s): 3600.45
CPU user time (s): 3595.55
CPU system time (s): 4.90225
CPU usage (%): 99.6899
Max. virtual memory (cumulated for all children) (KiB): 1765084
Max. memory (cumulated for all children) (KiB): 1416156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.55
system time used= 4.90225
maximum resident set size= 1413468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 174311
page faults= 0
swaps= 0
block input operations= 0
block output operations= 729416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4753
involuntary context switches= 1492


# summary of solver processes directly reported to runsolver:
#   pid: 58925,58928
#   total CPU time (s): 3600.45
#   total CPU user time (s): 3595.55
#   total CPU system time (s): 4.90225

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.69125 second user time and 18.2202 second system time

The end

Launcher Data 

Begin job on nodeC027 at 2025-07-02 04:58:51
IDJOB=4502881
IDBENCH=155400
IDSOLVER=3360
FILE ID=nodeC027/4502881-1751425131
RUNJOBID= nodeC027-1751421462-58345
SLURM_JOB_ID= 9598350
Free space on /tmp= 431148 MiB

SOLVER NAME= roundingsat+pbsuma-opt-log 63f22ad
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_9_shg.opb
COMMAND LINE= run-opt-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502881-1751425131/watcher-4502881-1751425131 -o /tmp/evaluation-result-4502881-1751425131/solver-4502881-1751425131 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751421462-58345 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4502881-1751425131.opb PROOFDIR/proof-4502881-1751425131

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 6ff458260e5cc7a1e00e7b04a599a648
RANDOM SEED=971516839

nodeC027 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.640
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3598.258
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.630
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.655
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.132
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.684
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.505
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.907
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129250676 kB
MemAvailable:   129353684 kB
Buffers:            2488 kB
Cached:           904500 kB
SwapCached:           12 kB
Active:          1000312 kB
Inactive:         364768 kB
Active(anon):     473396 kB
Inactive(anon):     2792 kB
Active(file):     526916 kB
Inactive(file):   361976 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            255040 kB
Writeback:           272 kB
AnonPages:        461516 kB
Mapped:           113432 kB
Shmem:             18056 kB
KReclaimable:     106308 kB
Slab:             199080 kB
SReclaimable:     106308 kB
SUnreclaim:        92772 kB
KernelStack:        4272 kB
PageTables:         3924 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     781148 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150536 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    245760 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      203476 kB
DirectMap2M:     9005056 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 430632 MiB
End job on nodeC027 at 2025-07-02 05:59:03