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-4519610-1751553920.opb'
0.00/0.01 c read 0.13MB (1.82ms)
0.00/0.01 c [cnf: #variables 4500 #clauses 1980 #duplicates 0 #arr 12570]
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.01 c [group: #orbits ~= 14] (3.03ms)
0.00/0.01 c
0.00/0.01 c detect special group actions
0.00/0.01 c probe for Johnson action (limit=64)
0.00/0.02 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.03 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.03 c recursing 180 blocks of candidate 30x182r
0.00/0.03 c found row 30x2, generating row predicate
0.00/0.03 c (20.91ms)
0.00/0.03 c
0.00/0.03 c detect symmetries on remainder
0.00/0.03 c [graph: #vertices 19080 #edges 50340]
0.00/0.04 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.07 c [group: #symmetries 4.01*10^1034 #generators 877] (35.62ms)
0.00/0.07 c
0.00/0.07 c optimize generators (opt_passes=64, conjugate_limit=2215)
0.00/0.08 c ran it=0, +gens=44
1.27/1.30 c con best_support=4, best_gens=841, +gens=2213
1.27/1.30 c (1227.49ms)
1.27/1.30 c
1.27/1.30 c finalize break order and special generators
1.27/1.30 c
1.27/1.30 c add generic predicates (break_depth=20)
1.27/1.31 c added predicates for 3134 generators (8.27ms)
1.27/1.31 c
1.27/1.31 c generation finished
1.27/1.31 c [sbp: #constraints 6604 #add_vars 1147]
1.27/1.31 c
1.27/1.31 c write result to 'HOME/instance-4519610-1751553920.opb.pre'
1.27/1.31 c wrote 0.33MB (1.23ms)
1.27/1.31 c ------------------------------------------------------------------
1.27/1.31 c 1227.49ms 94.38% optimize_gens
1.27/1.31 c 35.62ms 2.74% detect_generic
1.27/1.31 c 20.91ms 1.61% detect_special
1.27/1.31 c 8.27ms 0.64% break_generic
1.27/1.31 c 3.03ms 0.23% approx_orbits
1.27/1.31 c 1.82ms 0.14% parse
1.27/1.31 c 1.49ms 0.11% finalize_order
1.27/1.31 c 1.23ms 0.09% output
1.27/1.31 c 0.69ms 0.05% other
1.27/1.31 c ───────────────────────────────────────────────
1.27/1.31 c 1300.56ms 100% total
1.27/1.31 c ------------------------------------------------------------------
1.27/1.32 c RoundingSat 2
1.27/1.32 c branch pb25
1.27/1.32 c commit 63f22ad
1.27/1.38 c #variables 5647 #constraints 8583
1.27/1.38 c objective is ce32
1.27/1.38 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
1.27/1.38 c initial counting CF 32, 64, 128, Arb: 61 , 0 , 0 , 0
1.27/1.38 c bounds - >= -900 @ 0.038406
1.29/1.43 c bounds 0 >= -900 @ 0.082938
1.29/1.48 c rational objective -30
1.29/1.54 c bounds 0 >= -872 @ 0.176507
1.29/1.54 c bounds 0 >= -844 @ 0.176687
1.29/1.54 c bounds 0 >= -816 @ 0.176687
1.29/1.54 c bounds 0 >= -788 @ 0.176687
1.29/1.54 c bounds 0 >= -760 @ 0.176687
1.29/1.54 c bounds 0 >= -731 @ 0.176687
1.29/1.54 c bounds 0 >= -703 @ 0.176687
1.29/1.54 c bounds 0 >= -675 @ 0.176687
1.29/1.54 c bounds 0 >= -647 @ 0.176687
1.29/1.54 c bounds 0 >= -619 @ 0.176687
1.29/1.54 c bounds 0 >= -590 @ 0.176799
1.29/1.54 c bounds 0 >= -561 @ 0.176921
1.29/1.54 c bounds 0 >= -533 @ 0.177038
1.29/1.54 c bounds 0 >= -505 @ 0.177154
1.29/1.54 c bounds 0 >= -477 @ 0.177268
1.29/1.54 c bounds 0 >= -449 @ 0.17738
1.29/1.54 c bounds 0 >= -420 @ 0.177501
1.29/1.54 c bounds 0 >= -392 @ 0.177612
1.29/1.54 c bounds 0 >= -364 @ 0.177724
1.29/1.54 c bounds 0 >= -336 @ 0.177849
1.29/1.54 c bounds 0 >= -307 @ 0.177963
1.29/1.54 c bounds 0 >= -278 @ 0.178076
1.29/1.54 c bounds 0 >= -250 @ 0.178185
1.29/1.54 c bounds 0 >= -222 @ 0.178291
1.29/1.54 c bounds 0 >= -194 @ 0.178399
1.29/1.54 c bounds 0 >= -166 @ 0.178509
1.29/1.54 c bounds 0 >= -138 @ 0.178612
1.29/1.54 c bounds 0 >= -110 @ 0.17872
1.29/1.54 c bounds 0 >= -81 @ 0.178835
1.29/1.54 c bounds 0 >= -53 @ 0.178941
1.29/1.54 c bounds 0 >= -52 @ 0.179037
1.29/1.54 c bounds 0 >= -51 @ 0.179129
1.29/1.54 c bounds 0 >= -50 @ 0.179219
1.29/1.54 c bounds 0 >= -49 @ 0.179318
1.29/1.54 c bounds 0 >= -48 @ 0.179407
1.29/1.54 c bounds 0 >= -47 @ 0.17951
1.29/1.54 c bounds 0 >= -46 @ 0.179598
1.29/1.54 c bounds 0 >= -45 @ 0.179694
1.29/1.54 c bounds 0 >= -44 @ 0.179787
1.29/1.54 c bounds 0 >= -43 @ 0.179873
1.29/1.54 c bounds 0 >= -42 @ 0.179965
1.29/1.54 c bounds 0 >= -41 @ 0.180056
1.29/1.54 c bounds 0 >= -40 @ 0.180146
1.29/1.54 c bounds 0 >= -39 @ 0.180234
1.29/1.54 c bounds 0 >= -38 @ 0.18032
1.29/1.54 c bounds 0 >= -37 @ 0.180405
1.29/1.54 c bounds 0 >= -36 @ 0.180489
1.29/1.54 c bounds 0 >= -35 @ 0.180578
1.29/1.54 c bounds 0 >= -34 @ 0.180664
1.29/1.54 c bounds 0 >= -33 @ 0.18075
1.29/1.54 c bounds 0 >= -32 @ 0.180834
1.29/1.54 c bounds 0 >= -31 @ 0.180918
1.29/1.54 c bounds 0 >= -30 @ 0.180999
2.07/2.15 c #Conflicts: 1000 | #Constraints: 9733
2.07/2.15 c #Conflicts: 2000 | #Constraints: 10734
2.07/2.15 c INPROCESSING
2.07/2.15 c GARBAGE COLLECT
2.07/2.15 c bounds -1 >= -30 @ 0.71632
2.07/2.16 c bounds -2 >= -30 @ 0.72128
2.07/2.17 c bounds -3 >= -30 @ 0.726051
2.07/2.17 c bounds -4 >= -30 @ 0.732667
2.07/2.18 c bounds -5 >= -30 @ 0.735477
2.07/2.19 c bounds -6 >= -30 @ 0.738252
2.07/2.19 c bounds -7 >= -30 @ 0.742041
2.15/2.20 c bounds -8 >= -30 @ 0.746701
2.15/2.20 c bounds -9 >= -30 @ 0.749503
2.15/2.21 c bounds -10 >= -30 @ 0.752112
2.15/2.22 c bounds -11 >= -30 @ 0.755517
2.15/2.22 c bounds -12 >= -30 @ 0.759136
2.15/2.23 c bounds -13 >= -30 @ 0.764679
2.15/2.23 c bounds -14 >= -30 @ 0.77025
2.15/2.24 c bounds -15 >= -30 @ 0.772815
2.15/2.24 c bounds -16 >= -30 @ 0.776389
2.15/2.25 c bounds -17 >= -30 @ 0.778052
2.15/2.26 c bounds -18 >= -30 @ 0.782906
2.15/2.26 c bounds -19 >= -30 @ 0.788547
2.15/2.27 c bounds -20 >= -30 @ 0.792536
2.15/2.27 c bounds -21 >= -30 @ 0.795173
2.15/2.28 c bounds -22 >= -30 @ 0.797619
2.15/2.29 c bounds -23 >= -30 @ 0.800594
2.15/2.29 c bounds -24 >= -30 @ 0.803127
2.25/2.30 c bounds -25 >= -30 @ 0.806842
2.25/2.30 c bounds -26 >= -30 @ 0.810656
2.25/2.31 c bounds -27 >= -30 @ 0.816253
2.25/2.31 c bounds -28 >= -30 @ 0.819844
2.25/2.39 c bounds -29 >= -30 @ 0.886829
2.35/2.43 c rational objective -30
3.16/3.28 c #Conflicts: 3000 | #Constraints: 8563
3.16/3.28 c #Conflicts: 4000 | #Constraints: 9563
3.16/3.28 c INPROCESSING
3.16/3.28 c GARBAGE COLLECT
3.16/3.28 c rational objective -30
4.06/4.18 c #Conflicts: 5000 | #Constraints: 8691
4.06/4.18 c #Conflicts: 6000 | #Constraints: 9691
4.06/4.18 c INPROCESSING
4.06/4.18 c GARBAGE COLLECT
4.06/4.18 c rational objective -30
4.24/4.31 c rational objective -30
5.84/5.93 c #Conflicts: 7000 | #Constraints: 8760
5.84/5.93 c #Conflicts: 8000 | #Constraints: 9760
5.84/5.93 c #Conflicts: 9000 | #Constraints: 10760
5.84/5.93 c INPROCESSING
5.84/5.93 c GARBAGE COLLECT
5.84/5.93 c rational objective -30
5.95/6.08 c rational objective -30
7.44/7.59 c #Conflicts: 10000 | #Constraints: 9404
7.44/7.59 c #Conflicts: 11000 | #Constraints: 10404
7.44/7.59 c #Conflicts: 12000 | #Constraints: 11404
7.44/7.59 c INPROCESSING
7.44/7.59 c GARBAGE COLLECT
7.44/7.59 c rational objective -30
7.64/7.76 c rational objective -30
9.33/9.47 c #Conflicts: 13000 | #Constraints: 9869
9.33/9.47 c #Conflicts: 14000 | #Constraints: 10869
9.33/9.47 c #Conflicts: 15000 | #Constraints: 11869
9.33/9.47 c INPROCESSING
9.33/9.47 c GARBAGE COLLECT
9.33/9.47 c rational objective -30
9.54/9.62 c rational objective -30
11.43/11.58 c #Conflicts: 16000 | #Constraints: 10122
11.43/11.58 c #Conflicts: 17000 | #Constraints: 11122
11.43/11.58 c #Conflicts: 18000 | #Constraints: 12122
11.43/11.58 c INPROCESSING
11.43/11.58 c GARBAGE COLLECT
11.43/11.58 c rational objective -30
11.63/11.79 c rational objective -30
13.72/13.85 c #Conflicts: 19000 | #Constraints: 10029
13.72/13.85 c #Conflicts: 20000 | #Constraints: 11029
13.72/13.85 c #Conflicts: 21000 | #Constraints: 12029
13.72/13.85 c INPROCESSING
13.72/13.85 c GARBAGE COLLECT
13.72/13.85 c rational objective -30
13.93/14.06 c rational objective -30
15.81/15.95 c #Conflicts: 22000 | #Constraints: 9850
15.81/15.95 c #Conflicts: 23000 | #Constraints: 10850
15.81/15.95 c #Conflicts: 24000 | #Constraints: 11852
15.81/15.95 c #Conflicts: 25000 | #Constraints: 12854
15.81/15.95 c INPROCESSING
15.81/15.95 c GARBAGE COLLECT
15.81/15.95 c rational objective -30
16.11/16.26 c rational objective -30
18.21/18.37 c #Conflicts: 26000 | #Constraints: 10442
18.21/18.37 c #Conflicts: 27000 | #Constraints: 11442
18.21/18.37 c #Conflicts: 28000 | #Constraints: 12445
18.21/18.37 c #Conflicts: 29000 | #Constraints: 13447
18.21/18.37 c INPROCESSING
18.21/18.37 c GARBAGE COLLECT
18.21/18.37 c rational objective -30
18.61/18.75 c rational objective -30
20.60/20.73 c #Conflicts: 30000 | #Constraints: 10851
20.60/20.73 c #Conflicts: 31000 | #Constraints: 11851
20.60/20.73 c #Conflicts: 32000 | #Constraints: 12851
20.60/20.73 c #Conflicts: 33000 | #Constraints: 13853
20.60/20.73 c INPROCESSING
20.60/20.73 c GARBAGE COLLECT
20.60/20.73 c rational objective -30
23.01/23.17 c #Conflicts: 34000 | #Constraints: 11065
23.01/23.17 c #Conflicts: 35000 | #Constraints: 12065
23.01/23.17 c #Conflicts: 36000 | #Constraints: 13069
23.01/23.17 c #Conflicts: 37000 | #Constraints: 14077
23.01/23.17 c INPROCESSING
23.01/23.17 c GARBAGE COLLECT
23.01/23.17 c rational objective -30
23.60/23.79 c rational objective -30
26.19/26.34 c #Conflicts: 38000 | #Constraints: 11078
26.19/26.34 c #Conflicts: 39000 | #Constraints: 12079
26.19/26.34 c #Conflicts: 40000 | #Constraints: 13079
26.19/26.34 c #Conflicts: 41000 | #Constraints: 14079
26.19/26.34 c INPROCESSING
26.19/26.34 c GARBAGE COLLECT
26.19/26.34 c rational objective -30
26.49/26.69 c rational objective -30
29.29/29.49 c #Conflicts: 42000 | #Constraints: 10874
29.29/29.49 c #Conflicts: 43000 | #Constraints: 11874
29.29/29.49 c #Conflicts: 44000 | #Constraints: 12874
29.29/29.49 c #Conflicts: 45000 | #Constraints: 13875
29.29/29.49 c #Conflicts: 46000 | #Constraints: 14877
29.29/29.49 c INPROCESSING
29.29/29.49 c GARBAGE COLLECT
29.29/29.49 c rational objective -30
29.68/29.88 c rational objective -30
32.67/32.83 c #Conflicts: 47000 | #Constraints: 11473
32.67/32.83 c #Conflicts: 48000 | #Constraints: 12473
32.67/32.83 c #Conflicts: 49000 | #Constraints: 13474
32.67/32.83 c #Conflicts: 50000 | #Constraints: 14476
32.67/32.83 c #Conflicts: 51000 | #Constraints: 15478
32.67/32.83 c INPROCESSING
32.67/32.83 c GARBAGE COLLECT
32.67/32.83 c rational objective -30
32.99/33.19 c rational objective -30
36.06/36.28 c #Conflicts: 52000 | #Constraints: 11859
36.06/36.28 c #Conflicts: 53000 | #Constraints: 12859
36.06/36.28 c #Conflicts: 54000 | #Constraints: 13859
36.06/36.28 c #Conflicts: 55000 | #Constraints: 14860
36.06/36.28 c #Conflicts: 56000 | #Constraints: 15863
36.06/36.28 c INPROCESSING
36.06/36.28 c GARBAGE COLLECT
36.06/36.28 c rational objective -30
36.56/36.74 c rational objective -30
39.55/39.76 c #Conflicts: 57000 | #Constraints: 12072
39.55/39.76 c #Conflicts: 58000 | #Constraints: 13072
39.55/39.76 c #Conflicts: 59000 | #Constraints: 14074
39.55/39.76 c #Conflicts: 60000 | #Constraints: 15076
39.55/39.76 c #Conflicts: 61000 | #Constraints: 16079
39.55/39.76 c INPROCESSING
39.55/39.76 c GARBAGE COLLECT
39.55/39.76 c rational objective -30
39.87/40.10 c rational objective -30
43.14/43.33 c #Conflicts: 62000 | #Constraints: 12071
43.14/43.33 c #Conflicts: 63000 | #Constraints: 13071
43.14/43.33 c #Conflicts: 64000 | #Constraints: 14072
43.14/43.33 c #Conflicts: 65000 | #Constraints: 15072
43.14/43.33 c #Conflicts: 66000 | #Constraints: 16074
43.14/43.33 c INPROCESSING
43.14/43.33 c GARBAGE COLLECT
43.14/43.33 c rational objective -30
43.44/43.68 c rational objective -30
46.63/46.87 c #Conflicts: 67000 | #Constraints: 11875
46.63/46.87 c #Conflicts: 68000 | #Constraints: 12875
46.63/46.87 c #Conflicts: 69000 | #Constraints: 13876
46.63/46.87 c #Conflicts: 70000 | #Constraints: 14878
46.63/46.87 c #Conflicts: 71000 | #Constraints: 15880
46.63/46.87 c #Conflicts: 72000 | #Constraints: 16880
46.63/46.87 c INPROCESSING
46.63/46.87 c GARBAGE COLLECT
46.63/46.87 c rational objective -30
47.03/47.25 c rational objective -30
50.22/50.48 c #Conflicts: 73000 | #Constraints: 12464
50.22/50.48 c #Conflicts: 74000 | #Constraints: 13464
50.22/50.48 c #Conflicts: 75000 | #Constraints: 14464
50.22/50.48 c #Conflicts: 76000 | #Constraints: 15465
50.22/50.48 c #Conflicts: 77000 | #Constraints: 16466
50.22/50.48 c #Conflicts: 78000 | #Constraints: 17467
50.22/50.48 c INPROCESSING
50.22/50.48 c GARBAGE COLLECT
50.22/50.48 c rational objective -30
50.62/50.88 c rational objective -30
54.92/55.18 c #Conflicts: 79000 | #Constraints: 12870
54.92/55.18 c #Conflicts: 80000 | #Constraints: 13870
54.92/55.18 c #Conflicts: 81000 | #Constraints: 14870
54.92/55.18 c #Conflicts: 82000 | #Constraints: 15873
54.92/55.18 c #Conflicts: 83000 | #Constraints: 16874
54.92/55.18 c #Conflicts: 84000 | #Constraints: 17878
54.92/55.18 c INPROCESSING
54.92/55.18 c GARBAGE COLLECT
54.92/55.18 c rational objective -30
55.40/55.62 c rational objective -30
60.29/60.54 c #Conflicts: 85000 | #Constraints: 13075
60.29/60.54 c #Conflicts: 86000 | #Constraints: 14075
60.29/60.54 c #Conflicts: 87000 | #Constraints: 15075
60.29/60.54 c #Conflicts: 88000 | #Constraints: 16076
60.29/60.54 c #Conflicts: 89000 | #Constraints: 17079
60.29/60.54 c #Conflicts: 90000 | #Constraints: 18083
60.29/60.54 c INPROCESSING
60.29/60.54 c GARBAGE COLLECT
60.29/60.54 c rational objective -30
60.69/60.93 c rational objective -30
64.80/65.01 c #Conflicts: 91000 | #Constraints: 13084
64.80/65.01 c #Conflicts: 92000 | #Constraints: 14084
64.80/65.01 c #Conflicts: 93000 | #Constraints: 15086
64.80/65.01 c #Conflicts: 94000 | #Constraints: 16090
64.80/65.01 c #Conflicts: 95000 | #Constraints: 17090
64.80/65.01 c #Conflicts: 96000 | #Constraints: 18092
64.80/65.01 c INPROCESSING
64.80/65.01 c GARBAGE COLLECT
64.80/65.01 c rational objective -30
65.28/65.51 c rational objective -30
69.17/69.41 c #Conflicts: 97000 | #Constraints: 12892
69.17/69.41 c #Conflicts: 98000 | #Constraints: 13892
69.17/69.41 c #Conflicts: 99000 | #Constraints: 14892
69.17/69.41 c #Conflicts: 100000 | #Constraints: 15892
69.17/69.41 c #Conflicts: 101000 | #Constraints: 16895
69.17/69.41 c #Conflicts: 102000 | #Constraints: 17896
69.17/69.41 c #Conflicts: 103000 | #Constraints: 18896
69.17/69.41 c INPROCESSING
69.17/69.41 c GARBAGE COLLECT
69.17/69.41 c rational objective -30
69.46/69.78 c rational objective -30
74.46/74.72 c #Conflicts: 104000 | #Constraints: 13480
74.46/74.72 c #Conflicts: 105000 | #Constraints: 14481
74.46/74.72 c #Conflicts: 106000 | #Constraints: 15481
74.46/74.72 c #Conflicts: 107000 | #Constraints: 16482
74.46/74.72 c #Conflicts: 108000 | #Constraints: 17482
74.46/74.72 c #Conflicts: 109000 | #Constraints: 18482
74.46/74.72 c #Conflicts: 110000 | #Constraints: 19484
74.46/74.72 c INPROCESSING
74.46/74.72 c GARBAGE COLLECT
74.46/74.72 c rational objective -30
74.76/75.10 c rational objective -30
79.75/80.03 c #Conflicts: 111000 | #Constraints: 13873
79.75/80.03 c #Conflicts: 112000 | #Constraints: 14873
79.75/80.03 c #Conflicts: 113000 | #Constraints: 15873
79.75/80.03 c #Conflicts: 114000 | #Constraints: 16875
79.75/80.03 c #Conflicts: 115000 | #Constraints: 17877
79.75/80.03 c #Conflicts: 116000 | #Constraints: 18879
79.75/80.03 c #Conflicts: 117000 | #Constraints: 19881
79.75/80.03 c INPROCESSING
79.75/80.03 c GARBAGE COLLECT
79.75/80.03 c rational objective -30
80.04/80.34 c rational objective -30
85.73/86.04 c #Conflicts: 118000 | #Constraints: 14083
85.73/86.04 c #Conflicts: 119000 | #Constraints: 15083
85.73/86.04 c #Conflicts: 120000 | #Constraints: 16083
85.73/86.04 c #Conflicts: 121000 | #Constraints: 17084
85.73/86.04 c #Conflicts: 122000 | #Constraints: 18086
85.73/86.04 c #Conflicts: 123000 | #Constraints: 19090
85.73/86.04 c #Conflicts: 124000 | #Constraints: 20096
85.73/86.04 c INPROCESSING
85.73/86.04 c GARBAGE COLLECT
85.73/86.04 c rational objective -30
86.12/86.48 c rational objective -30
90.51/90.82 c #Conflicts: 125000 | #Constraints: 14081
90.51/90.82 c #Conflicts: 126000 | #Constraints: 15081
90.51/90.82 c #Conflicts: 127000 | #Constraints: 16081
90.51/90.82 c #Conflicts: 128000 | #Constraints: 17084
90.51/90.82 c #Conflicts: 129000 | #Constraints: 18088
90.51/90.82 c #Conflicts: 130000 | #Constraints: 19093
90.51/90.82 c #Conflicts: 131000 | #Constraints: 20096
90.51/90.82 c INPROCESSING
90.51/90.82 c GARBAGE COLLECT
90.51/90.82 c rational objective -30
90.90/91.22 c rational objective -30
96.09/96.47 c #Conflicts: 132000 | #Constraints: 13894
96.09/96.47 c #Conflicts: 133000 | #Constraints: 14894
96.09/96.47 c #Conflicts: 134000 | #Constraints: 15894
96.09/96.47 c #Conflicts: 135000 | #Constraints: 16894
96.09/96.47 c #Conflicts: 136000 | #Constraints: 17894
96.09/96.47 c #Conflicts: 137000 | #Constraints: 18895
96.09/96.47 c #Conflicts: 138000 | #Constraints: 19899
96.09/96.47 c #Conflicts: 139000 | #Constraints: 20900
96.09/96.47 c INPROCESSING
96.09/96.47 c GARBAGE COLLECT
96.09/96.47 c rational objective -30
96.49/96.86 c rational objective -30
101.08/101.41 c #Conflicts: 140000 | #Constraints: 14495
101.08/101.41 c #Conflicts: 141000 | #Constraints: 15495
101.08/101.41 c #Conflicts: 142000 | #Constraints: 16496
101.08/101.41 c #Conflicts: 143000 | #Constraints: 17501
101.08/101.41 c #Conflicts: 144000 | #Constraints: 18504
101.08/101.41 c #Conflicts: 145000 | #Constraints: 19504
101.08/101.41 c #Conflicts: 146000 | #Constraints: 20504
101.08/101.41 c #Conflicts: 147000 | #Constraints: 21506
101.08/101.41 c INPROCESSING
101.08/101.41 c GARBAGE COLLECT
101.08/101.41 c rational objective -30
101.48/101.81 c rational objective -30
106.96/107.33 c #Conflicts: 148000 | #Constraints: 14894
106.96/107.33 c #Conflicts: 149000 | #Constraints: 15894
106.96/107.33 c #Conflicts: 150000 | #Constraints: 16894
106.96/107.33 c #Conflicts: 151000 | #Constraints: 17897
106.96/107.33 c #Conflicts: 152000 | #Constraints: 18900
106.96/107.33 c #Conflicts: 153000 | #Constraints: 19902
106.96/107.33 c #Conflicts: 154000 | #Constraints: 20904
106.96/107.33 c #Conflicts: 155000 | #Constraints: 21906
106.96/107.33 c INPROCESSING
106.96/107.33 c GARBAGE COLLECT
106.96/107.33 c rational objective -30
107.37/107.73 c rational objective -30
113.14/113.53 c #Conflicts: 156000 | #Constraints: 15100
113.14/113.53 c #Conflicts: 157000 | #Constraints: 16100
113.14/113.53 c #Conflicts: 158000 | #Constraints: 17101
113.14/113.53 c #Conflicts: 159000 | #Constraints: 18103
113.14/113.53 c #Conflicts: 160000 | #Constraints: 19105
113.14/113.53 c #Conflicts: 161000 | #Constraints: 20107
113.14/113.53 c #Conflicts: 162000 | #Constraints: 21110
113.14/113.53 c #Conflicts: 163000 | #Constraints: 22112
113.14/113.53 c INPROCESSING
113.14/113.53 c GARBAGE COLLECT
113.14/113.53 c rational objective -30
113.54/113.91 c rational objective -30
119.43/119.86 c #Conflicts: 164000 | #Constraints: 15112
119.43/119.86 c #Conflicts: 165000 | #Constraints: 16112
119.43/119.86 c #Conflicts: 166000 | #Constraints: 17112
119.43/119.86 c #Conflicts: 167000 | #Constraints: 18113
119.43/119.86 c #Conflicts: 168000 | #Constraints: 19117
119.43/119.86 c #Conflicts: 169000 | #Constraints: 20119
119.43/119.86 c #Conflicts: 170000 | #Constraints: 21123
119.43/119.86 c #Conflicts: 171000 | #Constraints: 22124
119.43/119.86 c INPROCESSING
119.43/119.86 c GARBAGE COLLECT
119.43/119.86 c rational objective -30
119.92/120.33 c rational objective -30
126.81/127.25 c #Conflicts: 172000 | #Constraints: 14918
126.81/127.25 c #Conflicts: 173000 | #Constraints: 15918
126.81/127.25 c #Conflicts: 174000 | #Constraints: 16918
126.81/127.25 c #Conflicts: 175000 | #Constraints: 17918
126.81/127.25 c #Conflicts: 176000 | #Constraints: 18921
126.81/127.25 c #Conflicts: 177000 | #Constraints: 19922
126.81/127.25 c #Conflicts: 178000 | #Constraints: 20927
126.81/127.25 c #Conflicts: 179000 | #Constraints: 21927
126.81/127.25 c #Conflicts: 180000 | #Constraints: 22928
126.81/127.25 c INPROCESSING
126.81/127.25 c GARBAGE COLLECT
126.81/127.25 c rational objective -30
127.21/127.67 c rational objective -30
133.79/134.24 c #Conflicts: 181000 | #Constraints: 15510
133.79/134.24 c #Conflicts: 182000 | #Constraints: 16510
133.79/134.24 c #Conflicts: 183000 | #Constraints: 17510
133.79/134.24 c #Conflicts: 184000 | #Constraints: 18512
133.79/134.24 c #Conflicts: 185000 | #Constraints: 19514
133.79/134.24 c #Conflicts: 186000 | #Constraints: 20517
133.79/134.24 c #Conflicts: 187000 | #Constraints: 21520
133.79/134.24 c #Conflicts: 188000 | #Constraints: 22523
133.79/134.24 c #Conflicts: 189000 | #Constraints: 23527
133.79/134.24 c INPROCESSING
133.79/134.24 c GARBAGE COLLECT
133.79/134.24 c rational objective -30
134.19/134.62 c rational objective -30
140.17/140.69 c #Conflicts: 190000 | #Constraints: 15915
140.17/140.69 c #Conflicts: 191000 | #Constraints: 16915
140.17/140.69 c #Conflicts: 192000 | #Constraints: 17915
140.17/140.69 c #Conflicts: 193000 | #Constraints: 18916
140.17/140.69 c #Conflicts: 194000 | #Constraints: 19918
140.17/140.69 c #Conflicts: 195000 | #Constraints: 20920
140.17/140.69 c #Conflicts: 196000 | #Constraints: 21924
140.17/140.69 c #Conflicts: 197000 | #Constraints: 22927
140.17/140.69 c #Conflicts: 198000 | #Constraints: 23929
140.17/140.69 c INPROCESSING
140.17/140.69 c GARBAGE COLLECT
140.17/140.69 c rational objective -30
140.58/141.10 c rational objective -30
146.76/147.20 c #Conflicts: 199000 | #Constraints: 16122
146.76/147.20 c #Conflicts: 200000 | #Constraints: 17122
146.76/147.20 c #Conflicts: 201000 | #Constraints: 18123
146.76/147.20 c #Conflicts: 202000 | #Constraints: 19127
146.76/147.20 c #Conflicts: 203000 | #Constraints: 20129
146.76/147.20 c #Conflicts: 204000 | #Constraints: 21131
146.76/147.20 c #Conflicts: 205000 | #Constraints: 22133
146.76/147.20 c #Conflicts: 206000 | #Constraints: 23133
146.76/147.20 c #Conflicts: 207000 | #Constraints: 24134
146.76/147.20 c INPROCESSING
146.76/147.20 c GARBAGE COLLECT
146.76/147.20 c rational objective -30
147.15/147.60 c rational objective -30
155.54/156.05 c #Conflicts: 208000 | #Constraints: 16109
155.54/156.05 c #Conflicts: 209000 | #Constraints: 17109
155.54/156.05 c #Conflicts: 210000 | #Constraints: 18109
155.54/156.05 c #Conflicts: 211000 | #Constraints: 19109
155.54/156.05 c #Conflicts: 212000 | #Constraints: 20110
155.54/156.05 c #Conflicts: 213000 | #Constraints: 21115
155.54/156.05 c #Conflicts: 214000 | #Constraints: 22116
155.54/156.05 c #Conflicts: 215000 | #Constraints: 23119
155.54/156.05 c #Conflicts: 216000 | #Constraints: 24121
155.54/156.05 c INPROCESSING
155.54/156.05 c GARBAGE COLLECT
155.54/156.05 c rational objective -30
156.03/156.55 c rational objective -30
162.41/162.99 c #Conflicts: 217000 | #Constraints: 15904
162.41/162.99 c #Conflicts: 218000 | #Constraints: 16904
162.41/162.99 c #Conflicts: 219000 | #Constraints: 17905
162.41/162.99 c #Conflicts: 220000 | #Constraints: 18905
162.41/162.99 c #Conflicts: 221000 | #Constraints: 19908
162.41/162.99 c #Conflicts: 222000 | #Constraints: 20910
162.41/162.99 c #Conflicts: 223000 | #Constraints: 21910
162.41/162.99 c #Conflicts: 224000 | #Constraints: 22910
162.41/162.99 c #Conflicts: 225000 | #Constraints: 23910
162.41/162.99 c #Conflicts: 226000 | #Constraints: 24911
162.41/162.99 c INPROCESSING
162.41/162.99 c GARBAGE COLLECT
162.41/162.99 c rational objective -30
162.81/163.37 c rational objective -30
169.60/170.19 c #Conflicts: 227000 | #Constraints: 16498
169.60/170.19 c #Conflicts: 228000 | #Constraints: 17498
169.60/170.19 c #Conflicts: 229000 | #Constraints: 18499
169.60/170.19 c #Conflicts: 230000 | #Constraints: 19499
169.60/170.19 c #Conflicts: 231000 | #Constraints: 20499
169.60/170.19 c #Conflicts: 232000 | #Constraints: 21500
169.60/170.19 c #Conflicts: 233000 | #Constraints: 22502
169.60/170.19 c #Conflicts: 234000 | #Constraints: 23506
169.60/170.19 c #Conflicts: 235000 | #Constraints: 24509
169.60/170.19 c #Conflicts: 236000 | #Constraints: 25510
169.60/170.19 c INPROCESSING
169.60/170.19 c GARBAGE COLLECT
169.60/170.19 c rational objective -30
170.09/170.60 c rational objective -30
176.28/176.87 c #Conflicts: 237000 | #Constraints: 16899
176.28/176.87 c #Conflicts: 238000 | #Constraints: 17900
176.28/176.87 c #Conflicts: 239000 | #Constraints: 18902
176.28/176.87 c #Conflicts: 240000 | #Constraints: 19903
176.28/176.87 c #Conflicts: 241000 | #Constraints: 20906
176.28/176.87 c #Conflicts: 242000 | #Constraints: 21908
176.28/176.87 c #Conflicts: 243000 | #Constraints: 22912
176.28/176.87 c #Conflicts: 244000 | #Constraints: 23915
176.28/176.87 c #Conflicts: 245000 | #Constraints: 24918
176.28/176.87 c #Conflicts: 246000 | #Constraints: 25920
176.28/176.87 c INPROCESSING
176.28/176.87 c GARBAGE COLLECT
176.28/176.87 c rational objective -30
176.77/177.30 c rational objective -30
183.75/184.32 c #Conflicts: 247000 | #Constraints: 17106
183.75/184.32 c #Conflicts: 248000 | #Constraints: 18106
183.75/184.32 c #Conflicts: 249000 | #Constraints: 19108
183.75/184.32 c #Conflicts: 250000 | #Constraints: 20111
183.75/184.32 c #Conflicts: 251000 | #Constraints: 21111
183.75/184.32 c #Conflicts: 252000 | #Constraints: 22113
183.75/184.32 c #Conflicts: 253000 | #Constraints: 23119
183.75/184.32 c #Conflicts: 254000 | #Constraints: 24123
183.75/184.32 c #Conflicts: 255000 | #Constraints: 25128
183.75/184.32 c #Conflicts: 256000 | #Constraints: 26130
183.75/184.32 c INPROCESSING
183.75/184.32 c GARBAGE COLLECT
183.75/184.32 c rational objective -30
184.15/184.77 c rational objective -30
191.04/191.66 c #Conflicts: 257000 | #Constraints: 17122
191.04/191.66 c #Conflicts: 258000 | #Constraints: 18122
191.04/191.66 c #Conflicts: 259000 | #Constraints: 19122
191.04/191.66 c #Conflicts: 260000 | #Constraints: 20124
191.04/191.66 c #Conflicts: 261000 | #Constraints: 21125
191.04/191.66 c #Conflicts: 262000 | #Constraints: 22128
191.04/191.66 c #Conflicts: 263000 | #Constraints: 23130
191.04/191.66 c #Conflicts: 264000 | #Constraints: 24132
191.04/191.66 c #Conflicts: 265000 | #Constraints: 25135
191.04/191.66 c #Conflicts: 266000 | #Constraints: 26137
191.04/191.66 c INPROCESSING
191.04/191.66 c GARBAGE COLLECT
191.04/191.66 c rational objective -30
191.44/192.10 c rational objective -30
200.11/200.75 c #Conflicts: 267000 | #Constraints: 16922
200.11/200.75 c #Conflicts: 268000 | #Constraints: 17922
200.11/200.75 c #Conflicts: 269000 | #Constraints: 18922
200.11/200.75 c #Conflicts: 270000 | #Constraints: 19922
200.11/200.75 c #Conflicts: 271000 | #Constraints: 20923
200.11/200.75 c #Conflicts: 272000 | #Constraints: 21925
200.11/200.75 c #Conflicts: 273000 | #Constraints: 22927
200.11/200.75 c #Conflicts: 274000 | #Constraints: 23931
200.11/200.75 c #Conflicts: 275000 | #Constraints: 24932
200.11/200.75 c #Conflicts: 276000 | #Constraints: 25934
200.11/200.75 c #Conflicts: 277000 | #Constraints: 26935
200.11/200.75 c INPROCESSING
200.11/200.75 c GARBAGE COLLECT
200.11/200.75 c rational objective -30
200.60/201.21 c rational objective -30
208.87/209.51 c #Conflicts: 278000 | #Constraints: 17528
208.87/209.51 c #Conflicts: 279000 | #Constraints: 18528
208.87/209.51 c #Conflicts: 280000 | #Constraints: 19528
208.87/209.51 c #Conflicts: 281000 | #Constraints: 20529
208.87/209.51 c #Conflicts: 282000 | #Constraints: 21531
208.87/209.51 c #Conflicts: 283000 | #Constraints: 22537
208.87/209.51 c #Conflicts: 284000 | #Constraints: 23539
208.87/209.51 c #Conflicts: 285000 | #Constraints: 24539
208.87/209.51 c #Conflicts: 286000 | #Constraints: 25542
208.87/209.51 c #Conflicts: 287000 | #Constraints: 26542
208.87/209.51 c #Conflicts: 288000 | #Constraints: 27545
208.87/209.51 c INPROCESSING
208.87/209.51 c GARBAGE COLLECT
208.87/209.51 c rational objective -30
209.39/210.01 c rational objective -30
217.46/218.12 c #Conflicts: 289000 | #Constraints: 17920
217.46/218.12 c #Conflicts: 290000 | #Constraints: 18920
217.46/218.12 c #Conflicts: 291000 | #Constraints: 19922
217.46/218.12 c #Conflicts: 292000 | #Constraints: 20923
217.46/218.12 c #Conflicts: 293000 | #Constraints: 21927
217.46/218.12 c #Conflicts: 294000 | #Constraints: 22934
217.46/218.12 c #Conflicts: 295000 | #Constraints: 23935
217.46/218.12 c #Conflicts: 296000 | #Constraints: 24936
217.46/218.12 c #Conflicts: 297000 | #Constraints: 25939
217.46/218.12 c #Conflicts: 298000 | #Constraints: 26943
217.46/218.12 c #Conflicts: 299000 | #Constraints: 27947
217.46/218.12 c INPROCESSING
217.46/218.12 c GARBAGE COLLECT
217.46/218.12 c rational objective -30
217.85/218.58 c rational objective -30
226.11/226.80 c #Conflicts: 300000 | #Constraints: 18129
226.11/226.80 c #Conflicts: 301000 | #Constraints: 19129
226.11/226.80 c #Conflicts: 302000 | #Constraints: 20130
226.11/226.80 c #Conflicts: 303000 | #Constraints: 21130
226.11/226.80 c #Conflicts: 304000 | #Constraints: 22131
226.11/226.80 c #Conflicts: 305000 | #Constraints: 23134
226.11/226.80 c #Conflicts: 306000 | #Constraints: 24136
226.11/226.80 c #Conflicts: 307000 | #Constraints: 25137
226.11/226.80 c #Conflicts: 308000 | #Constraints: 26138
226.11/226.80 c #Conflicts: 309000 | #Constraints: 27140
226.11/226.80 c #Conflicts: 310000 | #Constraints: 28140
226.11/226.80 c INPROCESSING
226.11/226.80 c GARBAGE COLLECT
226.11/226.80 c rational objective -30
226.61/227.32 c rational objective -30
237.47/238.23 c #Conflicts: 311000 | #Constraints: 18120
237.47/238.23 c #Conflicts: 312000 | #Constraints: 19120
237.47/238.23 c #Conflicts: 313000 | #Constraints: 20122
237.47/238.23 c #Conflicts: 314000 | #Constraints: 21122
237.47/238.23 c #Conflicts: 315000 | #Constraints: 22126
237.47/238.23 c #Conflicts: 316000 | #Constraints: 23129
237.47/238.23 c #Conflicts: 317000 | #Constraints: 24134
237.47/238.23 c #Conflicts: 318000 | #Constraints: 25135
237.47/238.23 c #Conflicts: 319000 | #Constraints: 26136
237.47/238.23 c #Conflicts: 320000 | #Constraints: 27137
237.47/238.23 c #Conflicts: 321000 | #Constraints: 28139
237.47/238.23 c INPROCESSING
237.47/238.23 c GARBAGE COLLECT
237.47/238.23 c rational objective -30
237.87/238.67 c rational objective -30
246.74/247.58 c #Conflicts: 322000 | #Constraints: 17936
246.74/247.58 c #Conflicts: 323000 | #Constraints: 18936
246.74/247.58 c #Conflicts: 324000 | #Constraints: 19936
246.74/247.58 c #Conflicts: 325000 | #Constraints: 20937
246.74/247.58 c #Conflicts: 326000 | #Constraints: 21941
246.74/247.58 c #Conflicts: 327000 | #Constraints: 22942
246.74/247.58 c #Conflicts: 328000 | #Constraints: 23947
246.74/247.58 c #Conflicts: 329000 | #Constraints: 24950
246.74/247.58 c #Conflicts: 330000 | #Constraints: 25950
246.74/247.58 c #Conflicts: 331000 | #Constraints: 26951
246.74/247.58 c #Conflicts: 332000 | #Constraints: 27951
246.74/247.58 c #Conflicts: 333000 | #Constraints: 28951
246.74/247.58 c INPROCESSING
246.74/247.58 c GARBAGE COLLECT
246.74/247.58 c rational objective -30
247.24/248.01 c rational objective -30
255.60/256.41 c #Conflicts: 334000 | #Constraints: 18528
255.60/256.41 c #Conflicts: 335000 | #Constraints: 19528
255.60/256.41 c #Conflicts: 336000 | #Constraints: 20528
255.60/256.41 c #Conflicts: 337000 | #Constraints: 21528
255.60/256.41 c #Conflicts: 338000 | #Constraints: 22529
255.60/256.41 c #Conflicts: 339000 | #Constraints: 23530
255.60/256.41 c #Conflicts: 340000 | #Constraints: 24531
255.60/256.41 c #Conflicts: 341000 | #Constraints: 25531
255.60/256.41 c #Conflicts: 342000 | #Constraints: 26531
255.60/256.41 c #Conflicts: 343000 | #Constraints: 27532
255.60/256.41 c #Conflicts: 344000 | #Constraints: 28532
255.60/256.41 c #Conflicts: 345000 | #Constraints: 29532
255.60/256.41 c INPROCESSING
255.60/256.41 c GARBAGE COLLECT
255.60/256.41 c rational objective -30
256.01/256.83 c rational objective -30
265.28/266.18 c #Conflicts: 346000 | #Constraints: 18910
265.28/266.18 c #Conflicts: 347000 | #Constraints: 19910
265.28/266.18 c #Conflicts: 348000 | #Constraints: 20910
265.28/266.18 c #Conflicts: 349000 | #Constraints: 21911
265.28/266.18 c #Conflicts: 350000 | #Constraints: 22914
265.28/266.18 c #Conflicts: 351000 | #Constraints: 23917
265.28/266.18 c #Conflicts: 352000 | #Constraints: 24917
265.28/266.18 c #Conflicts: 353000 | #Constraints: 25917
265.28/266.18 c #Conflicts: 354000 | #Constraints: 26918
265.28/266.18 c #Conflicts: 355000 | #Constraints: 27921
265.28/266.18 c #Conflicts: 356000 | #Constraints: 28923
265.28/266.18 c #Conflicts: 357000 | #Constraints: 29926
265.28/266.18 c INPROCESSING
265.28/266.18 c GARBAGE COLLECT
265.28/266.18 c rational objective -30
265.66/266.58 c rational objective -30
275.03/275.93 c #Conflicts: 358000 | #Constraints: 19128
275.03/275.93 c #Conflicts: 359000 | #Constraints: 20128
275.03/275.93 c #Conflicts: 360000 | #Constraints: 21128
275.03/275.93 c #Conflicts: 361000 | #Constraints: 22128
275.03/275.93 c #Conflicts: 362000 | #Constraints: 23130
275.03/275.93 c #Conflicts: 363000 | #Constraints: 24133
275.03/275.93 c #Conflicts: 364000 | #Constraints: 25133
275.03/275.93 c #Conflicts: 365000 | #Constraints: 26133
275.03/275.93 c #Conflicts: 366000 | #Constraints: 27133
275.03/275.93 c #Conflicts: 367000 | #Constraints: 28134
275.03/275.93 c #Conflicts: 368000 | #Constraints: 29134
275.03/275.93 c #Conflicts: 369000 | #Constraints: 30134
275.03/275.93 c INPROCESSING
275.03/275.93 c GARBAGE COLLECT
275.03/275.93 c rational objective -30
275.44/276.38 c rational objective -30
285.00/285.96 c #Conflicts: 370000 | #Constraints: 19125
285.00/285.96 c #Conflicts: 371000 | #Constraints: 20125
285.00/285.96 c #Conflicts: 372000 | #Constraints: 21125
285.00/285.96 c #Conflicts: 373000 | #Constraints: 22126
285.00/285.96 c #Conflicts: 374000 | #Constraints: 23126
285.00/285.96 c #Conflicts: 375000 | #Constraints: 24127
285.00/285.96 c #Conflicts: 376000 | #Constraints: 25130
285.00/285.96 c #Conflicts: 377000 | #Constraints: 26133
285.00/285.96 c #Conflicts: 378000 | #Constraints: 27135
285.00/285.96 c #Conflicts: 379000 | #Constraints: 28137
285.00/285.96 c #Conflicts: 380000 | #Constraints: 29138
285.00/285.96 c #Conflicts: 381000 | #Constraints: 30140
285.00/285.96 c INPROCESSING
285.00/285.96 c GARBAGE COLLECT
285.00/285.96 c rational objective -30
285.39/286.40 c rational objective -30
295.26/296.21 c #Conflicts: 382000 | #Constraints: 18932
295.26/296.21 c #Conflicts: 383000 | #Constraints: 19932
295.26/296.21 c #Conflicts: 384000 | #Constraints: 20932
295.26/296.21 c #Conflicts: 385000 | #Constraints: 21935
295.26/296.21 c #Conflicts: 386000 | #Constraints: 22937
295.26/296.21 c #Conflicts: 387000 | #Constraints: 23938
295.26/296.21 c #Conflicts: 388000 | #Constraints: 24938
295.26/296.21 c #Conflicts: 389000 | #Constraints: 25938
295.26/296.21 c #Conflicts: 390000 | #Constraints: 26938
295.26/296.21 c #Conflicts: 391000 | #Constraints: 27938
295.26/296.21 c #Conflicts: 392000 | #Constraints: 28941
295.26/296.21 c #Conflicts: 393000 | #Constraints: 29941
295.26/296.21 c #Conflicts: 394000 | #Constraints: 30942
295.26/296.21 c INPROCESSING
295.26/296.21 c GARBAGE COLLECT
295.26/296.21 c rational objective -30
295.67/296.66 c rational objective -30
304.43/305.48 c #Conflicts: 395000 | #Constraints: 19531
304.43/305.48 c #Conflicts: 396000 | #Constraints: 20531
304.43/305.48 c #Conflicts: 397000 | #Constraints: 21532
304.43/305.48 c #Conflicts: 398000 | #Constraints: 22533
304.43/305.48 c #Conflicts: 399000 | #Constraints: 23535
304.43/305.48 c #Conflicts: 400000 | #Constraints: 24547
304.43/305.48 c #Conflicts: 401000 | #Constraints: 25549
304.43/305.48 c #Conflicts: 402000 | #Constraints: 26554
304.43/305.48 c #Conflicts: 403000 | #Constraints: 27556
304.43/305.48 c #Conflicts: 404000 | #Constraints: 28558
304.43/305.48 c #Conflicts: 405000 | #Constraints: 29562
304.43/305.48 c #Conflicts: 406000 | #Constraints: 30564
304.43/305.48 c #Conflicts: 407000 | #Constraints: 31564
304.43/305.48 c INPROCESSING
304.43/305.48 c GARBAGE COLLECT
304.43/305.48 c rational objective -30
304.93/305.93 c rational objective -30
313.70/314.70 c #Conflicts: 408000 | #Constraints: 19939
313.70/314.70 c #Conflicts: 409000 | #Constraints: 20939
313.70/314.70 c #Conflicts: 410000 | #Constraints: 21939
313.70/314.70 c #Conflicts: 411000 | #Constraints: 22939
313.70/314.70 c #Conflicts: 412000 | #Constraints: 23940
313.70/314.70 c #Conflicts: 413000 | #Constraints: 24942
313.70/314.70 c #Conflicts: 414000 | #Constraints: 25942
313.70/314.70 c #Conflicts: 415000 | #Constraints: 26942
313.70/314.70 c #Conflicts: 416000 | #Constraints: 27943
313.70/314.70 c #Conflicts: 417000 | #Constraints: 28943
313.70/314.70 c #Conflicts: 418000 | #Constraints: 29943
313.70/314.70 c #Conflicts: 419000 | #Constraints: 30945
313.70/314.70 c #Conflicts: 420000 | #Constraints: 31946
313.70/314.70 c INPROCESSING
313.70/314.70 c GARBAGE COLLECT
313.70/314.70 c rational objective -30
314.20/315.26 c rational objective -30
322.77/323.83 c #Conflicts: 421000 | #Constraints: 20119
322.77/323.83 c #Conflicts: 422000 | #Constraints: 21119
322.77/323.83 c #Conflicts: 423000 | #Constraints: 22119
322.77/323.83 c #Conflicts: 424000 | #Constraints: 23120
322.77/323.83 c #Conflicts: 425000 | #Constraints: 24120
322.77/323.83 c #Conflicts: 426000 | #Constraints: 25123
322.77/323.83 c #Conflicts: 427000 | #Constraints: 26123
322.77/323.83 c #Conflicts: 428000 | #Constraints: 27123
322.77/323.83 c #Conflicts: 429000 | #Constraints: 28124
322.77/323.83 c #Conflicts: 430000 | #Constraints: 29124
322.77/323.83 c #Conflicts: 431000 | #Constraints: 30124
322.77/323.83 c #Conflicts: 432000 | #Constraints: 31124
322.77/323.83 c #Conflicts: 433000 | #Constraints: 32128
322.77/323.83 c INPROCESSING
322.77/323.83 c GARBAGE COLLECT
322.77/323.83 c rational objective -30
323.28/324.30 c rational objective -30
332.35/333.41 c #Conflicts: 434000 | #Constraints: 20122
332.35/333.41 c #Conflicts: 435000 | #Constraints: 21122
332.35/333.41 c #Conflicts: 436000 | #Constraints: 22122
332.35/333.41 c #Conflicts: 437000 | #Constraints: 23122
332.35/333.41 c #Conflicts: 438000 | #Constraints: 24122
332.35/333.41 c #Conflicts: 439000 | #Constraints: 25123
332.35/333.41 c #Conflicts: 440000 | #Constraints: 26123
332.35/333.41 c #Conflicts: 441000 | #Constraints: 27125
332.35/333.41 c #Conflicts: 442000 | #Constraints: 28125
332.35/333.41 c #Conflicts: 443000 | #Constraints: 29127
332.35/333.41 c #Conflicts: 444000 | #Constraints: 30128
332.35/333.41 c #Conflicts: 445000 | #Constraints: 31130
332.35/333.41 c #Conflicts: 446000 | #Constraints: 32131
332.35/333.41 c INPROCESSING
332.35/333.41 c GARBAGE COLLECT
332.35/333.41 c rational objective -30
332.75/333.85 c rational objective -30
340.63/341.74 c #Conflicts: 447000 | #Constraints: 19931
340.63/341.74 c #Conflicts: 448000 | #Constraints: 20931
340.63/341.74 c #Conflicts: 449000 | #Constraints: 21932
340.63/341.74 c #Conflicts: 450000 | #Constraints: 22932
340.63/341.74 c #Conflicts: 451000 | #Constraints: 23933
340.63/341.74 c #Conflicts: 452000 | #Constraints: 24934
340.63/341.74 c #Conflicts: 453000 | #Constraints: 25934
340.63/341.74 c #Conflicts: 454000 | #Constraints: 26935
340.63/341.74 c #Conflicts: 455000 | #Constraints: 27935
340.63/341.74 c #Conflicts: 456000 | #Constraints: 28937
340.63/341.74 c #Conflicts: 457000 | #Constraints: 29938
340.63/341.74 c #Conflicts: 458000 | #Constraints: 30938
340.63/341.74 c #Conflicts: 459000 | #Constraints: 31938
340.63/341.74 c #Conflicts: 460000 | #Constraints: 32938
340.63/341.74 c INPROCESSING
340.63/341.74 c GARBAGE COLLECT
340.63/341.74 c rational objective -30
341.13/342.27 c rational objective -30
349.61/350.75 c #Conflicts: 461000 | #Constraints: 20535
349.61/350.75 c #Conflicts: 462000 | #Constraints: 21535
349.61/350.75 c #Conflicts: 463000 | #Constraints: 22535
349.61/350.75 c #Conflicts: 464000 | #Constraints: 23536
349.61/350.75 c #Conflicts: 465000 | #Constraints: 24537
349.61/350.75 c #Conflicts: 466000 | #Constraints: 25537
349.61/350.75 c #Conflicts: 467000 | #Constraints: 26537
349.61/350.75 c #Conflicts: 468000 | #Constraints: 27537
349.61/350.75 c #Conflicts: 469000 | #Constraints: 28538
349.61/350.75 c #Conflicts: 470000 | #Constraints: 29540
349.61/350.75 c #Conflicts: 471000 | #Constraints: 30540
349.61/350.75 c #Conflicts: 472000 | #Constraints: 31543
349.61/350.75 c #Conflicts: 473000 | #Constraints: 32543
349.61/350.75 c #Conflicts: 474000 | #Constraints: 33543
349.61/350.75 c INPROCESSING
349.61/350.75 c GARBAGE COLLECT
349.61/350.75 c rational objective -30
350.10/351.24 c rational objective -30
359.18/360.34 c #Conflicts: 475000 | #Constraints: 20940
359.18/360.34 c #Conflicts: 476000 | #Constraints: 21940
359.18/360.34 c #Conflicts: 477000 | #Constraints: 22940
359.18/360.34 c #Conflicts: 478000 | #Constraints: 23940
359.18/360.34 c #Conflicts: 479000 | #Constraints: 24941
359.18/360.34 c #Conflicts: 480000 | #Constraints: 25941
359.18/360.34 c #Conflicts: 481000 | #Constraints: 26943
359.18/360.34 c #Conflicts: 482000 | #Constraints: 27944
359.18/360.34 c #Conflicts: 483000 | #Constraints: 28944
359.18/360.34 c #Conflicts: 484000 | #Constraints: 29944
359.18/360.34 c #Conflicts: 485000 | #Constraints: 30945
359.18/360.34 c #Conflicts: 486000 | #Constraints: 31945
359.18/360.34 c #Conflicts: 487000 | #Constraints: 32945
359.18/360.34 c #Conflicts: 488000 | #Constraints: 33945
359.18/360.34 c INPROCESSING
359.18/360.34 c GARBAGE COLLECT
359.18/360.34 c rational objective -30
359.68/360.81 c rational objective -30
367.15/368.36 c #Conflicts: 489000 | #Constraints: 21125
367.15/368.36 c #Conflicts: 490000 | #Constraints: 22125
367.15/368.36 c #Conflicts: 491000 | #Constraints: 23125
367.15/368.36 c #Conflicts: 492000 | #Constraints: 24126
367.15/368.36 c #Conflicts: 493000 | #Constraints: 25127
367.15/368.36 c #Conflicts: 494000 | #Constraints: 26127
367.15/368.36 c #Conflicts: 495000 | #Constraints: 27129
367.15/368.36 c #Conflicts: 496000 | #Constraints: 28131
367.15/368.36 c #Conflicts: 497000 | #Constraints: 29133
367.15/368.36 c #Conflicts: 498000 | #Constraints: 30134
367.15/368.36 c #Conflicts: 499000 | #Constraints: 31135
367.15/368.36 c #Conflicts: 500000 | #Constraints: 32136
367.15/368.36 c #Conflicts: 501000 | #Constraints: 33138
367.15/368.36 c #Conflicts: 502000 | #Constraints: 34139
367.15/368.36 c INPROCESSING
367.15/368.36 c GARBAGE COLLECT
367.15/368.36 c rational objective -30
367.87/369.06 c rational objective -30
376.23/377.40 c #Conflicts: 503000 | #Constraints: 21129
376.23/377.40 c #Conflicts: 504000 | #Constraints: 22129
376.23/377.40 c #Conflicts: 505000 | #Constraints: 23129
376.23/377.40 c #Conflicts: 506000 | #Constraints: 24129
376.23/377.40 c #Conflicts: 507000 | #Constraints: 25132
376.23/377.40 c #Conflicts: 508000 | #Constraints: 26133
376.23/377.40 c #Conflicts: 509000 | #Constraints: 27135
376.23/377.40 c #Conflicts: 510000 | #Constraints: 28135
376.23/377.40 c #Conflicts: 511000 | #Constraints: 29136
376.23/377.40 c #Conflicts: 512000 | #Constraints: 30137
376.23/377.40 c #Conflicts: 513000 | #Constraints: 31139
376.23/377.40 c #Conflicts: 514000 | #Constraints: 32139
376.23/377.40 c #Conflicts: 515000 | #Constraints: 33140
376.23/377.40 c #Conflicts: 516000 | #Constraints: 34141
376.23/377.40 c INPROCESSING
376.23/377.40 c GARBAGE COLLECT
376.23/377.40 c rational objective -30
376.63/377.82 c rational objective -30
383.82/385.05 c #Conflicts: 517000 | #Constraints: 20940
383.82/385.05 c #Conflicts: 518000 | #Constraints: 21940
383.82/385.05 c #Conflicts: 519000 | #Constraints: 22940
383.82/385.05 c #Conflicts: 520000 | #Constraints: 23941
383.82/385.05 c #Conflicts: 521000 | #Constraints: 24941
383.82/385.05 c #Conflicts: 522000 | #Constraints: 25941
383.82/385.05 c #Conflicts: 523000 | #Constraints: 26941
383.82/385.05 c #Conflicts: 524000 | #Constraints: 27945
383.82/385.05 c #Conflicts: 525000 | #Constraints: 28946
383.82/385.05 c #Conflicts: 526000 | #Constraints: 29946
383.82/385.05 c #Conflicts: 527000 | #Constraints: 30947
383.82/385.05 c #Conflicts: 528000 | #Constraints: 31948
383.82/385.05 c #Conflicts: 529000 | #Constraints: 32949
383.82/385.05 c #Conflicts: 530000 | #Constraints: 33952
383.82/385.05 c #Conflicts: 531000 | #Constraints: 34955
383.82/385.05 c INPROCESSING
383.82/385.05 c GARBAGE COLLECT
383.82/385.05 c rational objective -30
384.21/385.47 c rational objective -30
392.18/393.48 c #Conflicts: 532000 | #Constraints: 21544
392.18/393.48 c #Conflicts: 533000 | #Constraints: 22544
392.18/393.48 c #Conflicts: 534000 | #Constraints: 23544
392.18/393.48 c #Conflicts: 535000 | #Constraints: 24544
392.18/393.48 c #Conflicts: 536000 | #Constraints: 25544
392.18/393.48 c #Conflicts: 537000 | #Constraints: 26547
392.18/393.48 c #Conflicts: 538000 | #Constraints: 27548
392.18/393.48 c #Conflicts: 539000 | #Constraints: 28549
392.18/393.48 c #Conflicts: 540000 | #Constraints: 29551
392.18/393.48 c #Conflicts: 541000 | #Constraints: 30555
392.18/393.48 c #Conflicts: 542000 | #Constraints: 31555
392.18/393.48 c #Conflicts: 543000 | #Constraints: 32557
392.18/393.48 c #Conflicts: 544000 | #Constraints: 33558
392.18/393.48 c #Conflicts: 545000 | #Constraints: 34559
392.18/393.48 c #Conflicts: 546000 | #Constraints: 35559
392.18/393.48 c INPROCESSING
392.18/393.48 c GARBAGE COLLECT
392.18/393.48 c rational objective -30
392.79/394.04 c rational objective -30
399.57/400.86 c #Conflicts: 547000 | #Constraints: 21928
399.57/400.86 c #Conflicts: 548000 | #Constraints: 22928
399.57/400.86 c #Conflicts: 549000 | #Constraints: 23928
399.57/400.86 c #Conflicts: 550000 | #Constraints: 24928
399.57/400.86 c #Conflicts: 551000 | #Constraints: 25929
399.57/400.86 c #Conflicts: 552000 | #Constraints: 26930
399.57/400.86 c #Conflicts: 553000 | #Constraints: 27932
399.57/400.86 c #Conflicts: 554000 | #Constraints: 28932
399.57/400.86 c #Conflicts: 555000 | #Constraints: 29933
399.57/400.86 c #Conflicts: 556000 | #Constraints: 30937
399.57/400.86 c #Conflicts: 557000 | #Constraints: 31939
399.57/400.86 c #Conflicts: 558000 | #Constraints: 32939
399.57/400.86 c #Conflicts: 559000 | #Constraints: 33939
399.57/400.86 c #Conflicts: 560000 | #Constraints: 34939
399.57/400.86 c #Conflicts: 561000 | #Constraints: 35941
399.57/400.86 c INPROCESSING
399.57/400.86 c GARBAGE COLLECT
399.57/400.86 c rational objective -30
400.06/401.36 c rational objective -30
406.35/407.61 c #Conflicts: 562000 | #Constraints: 22127
406.35/407.61 c #Conflicts: 563000 | #Constraints: 23127
406.35/407.61 c #Conflicts: 564000 | #Constraints: 24127
406.35/407.61 c #Conflicts: 565000 | #Constraints: 25127
406.35/407.61 c #Conflicts: 566000 | #Constraints: 26127
406.35/407.61 c #Conflicts: 567000 | #Constraints: 27127
406.35/407.61 c #Conflicts: 568000 | #Constraints: 28127
406.35/407.61 c #Conflicts: 569000 | #Constraints: 29127
406.35/407.61 c #Conflicts: 570000 | #Constraints: 30127
406.35/407.61 c #Conflicts: 571000 | #Constraints: 31127
406.35/407.61 c #Conflicts: 572000 | #Constraints: 32127
406.35/407.61 c #Conflicts: 573000 | #Constraints: 33127
406.35/407.61 c #Conflicts: 574000 | #Constraints: 34127
406.35/407.61 c #Conflicts: 575000 | #Constraints: 35127
406.35/407.61 c #Conflicts: 576000 | #Constraints: 36127
406.35/407.61 c INPROCESSING
406.35/407.61 c GARBAGE COLLECT
406.35/407.61 c rational objective -30
406.65/407.99 c rational objective -30
414.33/415.67 c #Conflicts: 577000 | #Constraints: 22125
414.33/415.67 c #Conflicts: 578000 | #Constraints: 23125
414.33/415.67 c #Conflicts: 579000 | #Constraints: 24125
414.33/415.67 c #Conflicts: 580000 | #Constraints: 25126
414.33/415.67 c #Conflicts: 581000 | #Constraints: 26126
414.33/415.67 c #Conflicts: 582000 | #Constraints: 27127
414.33/415.67 c #Conflicts: 583000 | #Constraints: 28129
414.33/415.67 c #Conflicts: 584000 | #Constraints: 29130
414.33/415.67 c #Conflicts: 585000 | #Constraints: 30131
414.33/415.67 c #Conflicts: 586000 | #Constraints: 31131
414.33/415.67 c #Conflicts: 587000 | #Constraints: 32131
414.33/415.67 c #Conflicts: 588000 | #Constraints: 33131
414.33/415.67 c #Conflicts: 589000 | #Constraints: 34131
414.33/415.67 c #Conflicts: 590000 | #Constraints: 35132
414.33/415.67 c #Conflicts: 591000 | #Constraints: 36133
414.33/415.67 c INPROCESSING
414.33/415.67 c GARBAGE COLLECT
414.33/415.67 c rational objective -30
414.74/416.08 c rational objective -30
421.01/422.39 c #Conflicts: 592000 | #Constraints: 21941
421.01/422.39 c #Conflicts: 593000 | #Constraints: 22941
421.01/422.39 c #Conflicts: 594000 | #Constraints: 23941
421.01/422.39 c #Conflicts: 595000 | #Constraints: 24941
421.01/422.39 c #Conflicts: 596000 | #Constraints: 25942
421.01/422.39 c #Conflicts: 597000 | #Constraints: 26944
421.01/422.39 c #Conflicts: 598000 | #Constraints: 27944
421.01/422.39 c #Conflicts: 599000 | #Constraints: 28946
421.01/422.39 c #Conflicts: 600000 | #Constraints: 29947
421.01/422.39 c #Conflicts: 601000 | #Constraints: 30947
421.01/422.39 c #Conflicts: 602000 | #Constraints: 31948
421.01/422.39 c #Conflicts: 603000 | #Constraints: 32948
421.01/422.39 c #Conflicts: 604000 | #Constraints: 33948
421.01/422.39 c #Conflicts: 605000 | #Constraints: 34949
421.01/422.39 c #Conflicts: 606000 | #Constraints: 35949
421.01/422.39 c #Conflicts: 607000 | #Constraints: 36950
421.01/422.39 c INPROCESSING
421.01/422.39 c GARBAGE COLLECT
421.01/422.39 c rational objective -30
421.41/422.77 c rational objective -30
427.49/428.82 c #Conflicts: 608000 | #Constraints: 22534
427.49/428.82 c #Conflicts: 609000 | #Constraints: 23534
427.49/428.82 c #Conflicts: 610000 | #Constraints: 24534
427.49/428.82 c #Conflicts: 611000 | #Constraints: 25534
427.49/428.82 c #Conflicts: 612000 | #Constraints: 26534
427.49/428.82 c #Conflicts: 613000 | #Constraints: 27534
427.49/428.82 c #Conflicts: 614000 | #Constraints: 28534
427.49/428.82 c #Conflicts: 615000 | #Constraints: 29534
427.49/428.82 c #Conflicts: 616000 | #Constraints: 30534
427.49/428.82 c #Conflicts: 617000 | #Constraints: 31534
427.49/428.82 c #Conflicts: 618000 | #Constraints: 32534
427.49/428.82 c #Conflicts: 619000 | #Constraints: 33535
427.49/428.82 c #Conflicts: 620000 | #Constraints: 34539
427.49/428.82 c #Conflicts: 621000 | #Constraints: 35539
427.49/428.82 c #Conflicts: 622000 | #Constraints: 36541
427.49/428.82 c #Conflicts: 623000 | #Constraints: 37543
427.49/428.82 c INPROCESSING
427.49/428.82 c GARBAGE COLLECT
427.49/428.82 c rational objective -30
427.81/429.18 c rational objective -30
434.97/436.39 c #Conflicts: 624000 | #Constraints: 22927
434.97/436.39 c #Conflicts: 625000 | #Constraints: 23927
434.97/436.39 c #Conflicts: 626000 | #Constraints: 24927
434.97/436.39 c #Conflicts: 627000 | #Constraints: 25927
434.97/436.39 c #Conflicts: 628000 | #Constraints: 26927
434.97/436.39 c #Conflicts: 629000 | #Constraints: 27927
434.97/436.39 c #Conflicts: 630000 | #Constraints: 28929
434.97/436.39 c #Conflicts: 631000 | #Constraints: 29930
434.97/436.39 c #Conflicts: 632000 | #Constraints: 30932
434.97/436.39 c #Conflicts: 633000 | #Constraints: 31934
434.97/436.39 c #Conflicts: 634000 | #Constraints: 32934
434.97/436.39 c #Conflicts: 635000 | #Constraints: 33935
434.97/436.39 c #Conflicts: 636000 | #Constraints: 34935
434.97/436.39 c #Conflicts: 637000 | #Constraints: 35935
434.97/436.39 c #Conflicts: 638000 | #Constraints: 36935
434.97/436.39 c #Conflicts: 639000 | #Constraints: 37935
434.97/436.39 c INPROCESSING
434.97/436.39 c GARBAGE COLLECT
434.97/436.39 c rational objective -30
435.38/436.77 c rational objective -30
441.77/443.16 c #Conflicts: 640000 | #Constraints: 23145
441.77/443.16 c #Conflicts: 641000 | #Constraints: 24145
441.77/443.16 c #Conflicts: 642000 | #Constraints: 25145
441.77/443.16 c #Conflicts: 643000 | #Constraints: 26145
441.77/443.16 c #Conflicts: 644000 | #Constraints: 27145
441.77/443.16 c #Conflicts: 645000 | #Constraints: 28145
441.77/443.16 c #Conflicts: 646000 | #Constraints: 29147
441.77/443.16 c #Conflicts: 647000 | #Constraints: 30150
441.77/443.16 c #Conflicts: 648000 | #Constraints: 31151
441.77/443.16 c #Conflicts: 649000 | #Constraints: 32151
441.77/443.16 c #Conflicts: 650000 | #Constraints: 33151
441.77/443.16 c #Conflicts: 651000 | #Constraints: 34151
441.77/443.16 c #Conflicts: 652000 | #Constraints: 35151
441.77/443.16 c #Conflicts: 653000 | #Constraints: 36154
441.77/443.16 c #Conflicts: 654000 | #Constraints: 37155
441.77/443.16 c #Conflicts: 655000 | #Constraints: 38156
441.77/443.16 c INPROCESSING
441.77/443.16 c GARBAGE COLLECT
441.77/443.16 c rational objective -30
442.26/443.66 c rational objective -30
448.65/450.02 c #Conflicts: 656000 | #Constraints: 23141
448.65/450.02 c #Conflicts: 657000 | #Constraints: 24141
448.65/450.02 c #Conflicts: 658000 | #Constraints: 25141
448.65/450.02 c #Conflicts: 659000 | #Constraints: 26141
448.65/450.02 c #Conflicts: 660000 | #Constraints: 27141
448.65/450.02 c #Conflicts: 661000 | #Constraints: 28141
448.65/450.02 c #Conflicts: 662000 | #Constraints: 29142
448.65/450.02 c #Conflicts: 663000 | #Constraints: 30144
448.65/450.02 c #Conflicts: 664000 | #Constraints: 31144
448.65/450.02 c #Conflicts: 665000 | #Constraints: 32145
448.65/450.02 c #Conflicts: 666000 | #Constraints: 33145
448.65/450.02 c #Conflicts: 667000 | #Constraints: 34145
448.65/450.02 c #Conflicts: 668000 | #Constraints: 35145
448.65/450.02 c #Conflicts: 669000 | #Constraints: 36145
448.65/450.02 c #Conflicts: 670000 | #Constraints: 37145
448.65/450.02 c #Conflicts: 671000 | #Constraints: 38145
448.65/450.02 c INPROCESSING
448.65/450.02 c GARBAGE COLLECT
448.65/450.02 c rational objective -30
449.03/450.46 c rational objective -30
455.42/456.87 c #Conflicts: 672000 | #Constraints: 22932
455.42/456.87 c #Conflicts: 673000 | #Constraints: 23932
455.42/456.87 c #Conflicts: 674000 | #Constraints: 24932
455.42/456.87 c #Conflicts: 675000 | #Constraints: 25932
455.42/456.87 c #Conflicts: 676000 | #Constraints: 26932
455.42/456.87 c #Conflicts: 677000 | #Constraints: 27933
455.42/456.87 c #Conflicts: 678000 | #Constraints: 28933
455.42/456.87 c #Conflicts: 679000 | #Constraints: 29933
455.42/456.87 c #Conflicts: 680000 | #Constraints: 30933
455.42/456.87 c #Conflicts: 681000 | #Constraints: 31933
455.42/456.87 c #Conflicts: 682000 | #Constraints: 32933
455.42/456.87 c #Conflicts: 683000 | #Constraints: 33934
455.42/456.87 c #Conflicts: 684000 | #Constraints: 34934
455.42/456.87 c #Conflicts: 685000 | #Constraints: 35934
455.42/456.87 c #Conflicts: 686000 | #Constraints: 36934
455.42/456.87 c #Conflicts: 687000 | #Constraints: 37934
455.42/456.87 c #Conflicts: 688000 | #Constraints: 38934
455.42/456.87 c INPROCESSING
455.42/456.87 c GARBAGE COLLECT
455.42/456.87 c rational objective -30
455.81/457.21 c rational objective -30
461.90/463.34 c #Conflicts: 689000 | #Constraints: 23527
461.90/463.34 c #Conflicts: 690000 | #Constraints: 24527
461.90/463.34 c #Conflicts: 691000 | #Constraints: 25527
461.90/463.34 c #Conflicts: 692000 | #Constraints: 26527
461.90/463.34 c #Conflicts: 693000 | #Constraints: 27527
461.90/463.34 c #Conflicts: 694000 | #Constraints: 28527
461.90/463.34 c #Conflicts: 695000 | #Constraints: 29528
461.90/463.34 c #Conflicts: 696000 | #Constraints: 30528
461.90/463.34 c #Conflicts: 697000 | #Constraints: 31528
461.90/463.34 c #Conflicts: 698000 | #Constraints: 32528
461.90/463.34 c #Conflicts: 699000 | #Constraints: 33528
461.90/463.34 c #Conflicts: 700000 | #Constraints: 34528
461.90/463.34 c #Conflicts: 701000 | #Constraints: 35528
461.90/463.34 c #Conflicts: 702000 | #Constraints: 36529
461.90/463.34 c #Conflicts: 703000 | #Constraints: 37529
461.90/463.34 c #Conflicts: 704000 | #Constraints: 38530
461.90/463.34 c #Conflicts: 705000 | #Constraints: 39531
461.90/463.34 c INPROCESSING
461.90/463.34 c GARBAGE COLLECT
461.90/463.34 c rational objective -30
462.40/463.80 c rational objective -30
467.98/469.49 c #Conflicts: 706000 | #Constraints: 23933
467.98/469.49 c #Conflicts: 707000 | #Constraints: 24933
467.98/469.49 c #Conflicts: 708000 | #Constraints: 25933
467.98/469.49 c #Conflicts: 709000 | #Constraints: 26933
467.98/469.49 c #Conflicts: 710000 | #Constraints: 27933
467.98/469.49 c #Conflicts: 711000 | #Constraints: 28933
467.98/469.49 c #Conflicts: 712000 | #Constraints: 29934
467.98/469.49 c #Conflicts: 713000 | #Constraints: 30934
467.98/469.49 c #Conflicts: 714000 | #Constraints: 31934
467.98/469.49 c #Conflicts: 715000 | #Constraints: 32934
467.98/469.49 c #Conflicts: 716000 | #Constraints: 33934
467.98/469.49 c #Conflicts: 717000 | #Constraints: 34934
467.98/469.49 c #Conflicts: 718000 | #Constraints: 35934
467.98/469.49 c #Conflicts: 719000 | #Constraints: 36934
467.98/469.49 c #Conflicts: 720000 | #Constraints: 37934
467.98/469.49 c #Conflicts: 721000 | #Constraints: 38934
467.98/469.49 c #Conflicts: 722000 | #Constraints: 39934
467.98/469.49 c INPROCESSING
467.98/469.49 c GARBAGE COLLECT
467.98/469.49 c rational objective -30
468.39/469.81 c rational objective -30
474.17/475.69 c #Conflicts: 723000 | #Constraints: 24142
474.17/475.69 c #Conflicts: 724000 | #Constraints: 25142
474.17/475.69 c #Conflicts: 725000 | #Constraints: 26142
474.17/475.69 c #Conflicts: 726000 | #Constraints: 27142
474.17/475.69 c #Conflicts: 727000 | #Constraints: 28142
474.17/475.69 c #Conflicts: 728000 | #Constraints: 29142
474.17/475.69 c #Conflicts: 729000 | #Constraints: 30144
474.17/475.69 c #Conflicts: 730000 | #Constraints: 31145
474.17/475.69 c #Conflicts: 731000 | #Constraints: 32145
474.17/475.69 c #Conflicts: 732000 | #Constraints: 33145
474.17/475.69 c #Conflicts: 733000 | #Constraints: 34146
474.17/475.69 c #Conflicts: 734000 | #Constraints: 35146
474.17/475.69 c #Conflicts: 735000 | #Constraints: 36146
474.17/475.69 c #Conflicts: 736000 | #Constraints: 37147
474.17/475.69 c #Conflicts: 737000 | #Constraints: 38147
474.17/475.69 c #Conflicts: 738000 | #Constraints: 39148
474.17/475.69 c #Conflicts: 739000 | #Constraints: 40148
474.17/475.69 c INPROCESSING
474.17/475.69 c GARBAGE COLLECT
474.17/475.69 c rational objective -30
474.87/476.32 c rational objective -30
480.45/481.97 c #Conflicts: 740000 | #Constraints: 24122
480.45/481.97 c #Conflicts: 741000 | #Constraints: 25122
480.45/481.97 c #Conflicts: 742000 | #Constraints: 26122
480.45/481.97 c #Conflicts: 743000 | #Constraints: 27122
480.45/481.97 c #Conflicts: 744000 | #Constraints: 28122
480.45/481.97 c #Conflicts: 745000 | #Constraints: 29122
480.45/481.97 c #Conflicts: 746000 | #Constraints: 30122
480.45/481.97 c #Conflicts: 747000 | #Constraints: 31122
480.45/481.97 c #Conflicts: 748000 | #Constraints: 32122
480.45/481.97 c #Conflicts: 749000 | #Constraints: 33122
480.45/481.97 c #Conflicts: 750000 | #Constraints: 34122
480.45/481.97 c #Conflicts: 751000 | #Constraints: 35122
480.45/481.97 c #Conflicts: 752000 | #Constraints: 36122
480.45/481.97 c #Conflicts: 753000 | #Constraints: 37122
480.45/481.97 c #Conflicts: 754000 | #Constraints: 38122
480.45/481.97 c #Conflicts: 755000 | #Constraints: 39122
480.45/481.97 c #Conflicts: 756000 | #Constraints: 40123
480.45/481.97 c INPROCESSING
480.45/481.97 c GARBAGE COLLECT
480.45/481.97 c rational objective -30
480.85/482.37 c rational objective -30
486.24/487.79 c #Conflicts: 757000 | #Constraints: 23930
486.24/487.79 c #Conflicts: 758000 | #Constraints: 24930
486.24/487.79 c #Conflicts: 759000 | #Constraints: 25930
486.24/487.79 c #Conflicts: 760000 | #Constraints: 26930
486.24/487.79 c #Conflicts: 761000 | #Constraints: 27930
486.24/487.79 c #Conflicts: 762000 | #Constraints: 28930
486.24/487.79 c #Conflicts: 763000 | #Constraints: 29930
486.24/487.79 c #Conflicts: 764000 | #Constraints: 30930
486.24/487.79 c #Conflicts: 765000 | #Constraints: 31930
486.24/487.79 c #Conflicts: 766000 | #Constraints: 32930
486.24/487.79 c #Conflicts: 767000 | #Constraints: 33930
486.24/487.79 c #Conflicts: 768000 | #Constraints: 34930
486.24/487.79 c #Conflicts: 769000 | #Constraints: 35930
486.24/487.79 c #Conflicts: 770000 | #Constraints: 36930
486.24/487.79 c #Conflicts: 771000 | #Constraints: 37930
486.24/487.79 c #Conflicts: 772000 | #Constraints: 38931
486.24/487.79 c #Conflicts: 773000 | #Constraints: 39931
486.24/487.79 c #Conflicts: 774000 | #Constraints: 40931
486.24/487.79 c INPROCESSING
486.24/487.79 c GARBAGE COLLECT
486.24/487.79 c rational objective -30
486.54/488.10 c rational objective -30
492.12/493.64 c #Conflicts: 775000 | #Constraints: 24527
492.12/493.64 c #Conflicts: 776000 | #Constraints: 25527
492.12/493.64 c #Conflicts: 777000 | #Constraints: 26527
492.12/493.64 c #Conflicts: 778000 | #Constraints: 27527
492.12/493.64 c #Conflicts: 779000 | #Constraints: 28527
492.12/493.64 c #Conflicts: 780000 | #Constraints: 29527
492.12/493.64 c #Conflicts: 781000 | #Constraints: 30527
492.12/493.64 c #Conflicts: 782000 | #Constraints: 31527
492.12/493.64 c #Conflicts: 783000 | #Constraints: 32527
492.12/493.64 c #Conflicts: 784000 | #Constraints: 33527
492.12/493.64 c #Conflicts: 785000 | #Constraints: 34527
492.12/493.64 c #Conflicts: 786000 | #Constraints: 35527
492.12/493.64 c #Conflicts: 787000 | #Constraints: 36527
492.12/493.64 c #Conflicts: 788000 | #Constraints: 37527
492.12/493.64 c #Conflicts: 789000 | #Constraints: 38527
492.12/493.64 c #Conflicts: 790000 | #Constraints: 39527
492.12/493.64 c #Conflicts: 791000 | #Constraints: 40527
492.12/493.64 c #Conflicts: 792000 | #Constraints: 41527
492.12/493.64 c INPROCESSING
492.12/493.64 c GARBAGE COLLECT
492.12/493.64 c rational objective -30
492.42/494.00 c rational objective -30
497.81/499.31 c #Conflicts: 793000 | #Constraints: 24922
497.81/499.31 c #Conflicts: 794000 | #Constraints: 25922
497.81/499.31 c #Conflicts: 795000 | #Constraints: 26922
497.81/499.31 c #Conflicts: 796000 | #Constraints: 27922
497.81/499.31 c #Conflicts: 797000 | #Constraints: 28922
497.81/499.31 c #Conflicts: 798000 | #Constraints: 29922
497.81/499.31 c #Conflicts: 799000 | #Constraints: 30922
497.81/499.31 c #Conflicts: 800000 | #Constraints: 31923
497.81/499.31 c #Conflicts: 801000 | #Constraints: 32923
497.81/499.31 c #Conflicts: 802000 | #Constraints: 33923
497.81/499.31 c #Conflicts: 803000 | #Constraints: 34923
497.81/499.31 c #Conflicts: 804000 | #Constraints: 35923
497.81/499.31 c #Conflicts: 805000 | #Constraints: 36923
497.81/499.31 c #Conflicts: 806000 | #Constraints: 37923
497.81/499.31 c #Conflicts: 807000 | #Constraints: 38923
497.81/499.31 c #Conflicts: 808000 | #Constraints: 39923
497.81/499.31 c #Conflicts: 809000 | #Constraints: 40923
497.81/499.31 c #Conflicts: 810000 | #Constraints: 41923
497.81/499.31 c INPROCESSING
497.81/499.31 c GARBAGE COLLECT
497.81/499.31 c rational objective -30
498.10/499.66 c rational objective -30
503.28/504.85 c #Conflicts: 811000 | #Constraints: 25128
503.28/504.85 c #Conflicts: 812000 | #Constraints: 26128
503.28/504.85 c #Conflicts: 813000 | #Constraints: 27128
503.28/504.85 c #Conflicts: 814000 | #Constraints: 28128
503.28/504.85 c #Conflicts: 815000 | #Constraints: 29128
503.28/504.85 c #Conflicts: 816000 | #Constraints: 30128
503.28/504.85 c #Conflicts: 817000 | #Constraints: 31128
503.28/504.85 c #Conflicts: 818000 | #Constraints: 32128
503.28/504.85 c #Conflicts: 819000 | #Constraints: 33128
503.28/504.85 c #Conflicts: 820000 | #Constraints: 34128
503.28/504.85 c #Conflicts: 821000 | #Constraints: 35128
503.28/504.85 c #Conflicts: 822000 | #Constraints: 36128
503.28/504.85 c #Conflicts: 823000 | #Constraints: 37128
503.28/504.85 c #Conflicts: 824000 | #Constraints: 38128
503.28/504.85 c #Conflicts: 825000 | #Constraints: 39128
503.28/504.85 c #Conflicts: 826000 | #Constraints: 40128
503.28/504.85 c #Conflicts: 827000 | #Constraints: 41128
503.28/504.85 c #Conflicts: 828000 | #Constraints: 42128
503.28/504.85 c INPROCESSING
503.28/504.85 c GARBAGE COLLECT
503.28/504.85 c rational objective -30
503.69/505.27 c rational objective -30
508.97/510.50 c #Conflicts: 829000 | #Constraints: 25124
508.97/510.50 c #Conflicts: 830000 | #Constraints: 26124
508.97/510.50 c #Conflicts: 831000 | #Constraints: 27124
508.97/510.50 c #Conflicts: 832000 | #Constraints: 28124
508.97/510.50 c #Conflicts: 833000 | #Constraints: 29124
508.97/510.50 c #Conflicts: 834000 | #Constraints: 30124
508.97/510.50 c #Conflicts: 835000 | #Constraints: 31124
508.97/510.50 c #Conflicts: 836000 | #Constraints: 32124
508.97/510.50 c #Conflicts: 837000 | #Constraints: 33124
508.97/510.50 c #Conflicts: 838000 | #Constraints: 34124
508.97/510.50 c #Conflicts: 839000 | #Constraints: 35124
508.97/510.50 c #Conflicts: 840000 | #Constraints: 36124
508.97/510.50 c #Conflicts: 841000 | #Constraints: 37124
508.97/510.50 c #Conflicts: 842000 | #Constraints: 38124
508.97/510.50 c #Conflicts: 843000 | #Constraints: 39124
508.97/510.50 c #Conflicts: 844000 | #Constraints: 40124
508.97/510.50 c #Conflicts: 845000 | #Constraints: 41124
508.97/510.50 c #Conflicts: 846000 | #Constraints: 42124
508.97/510.50 c INPROCESSING
508.97/510.50 c GARBAGE COLLECT
508.97/510.50 c rational objective -30
509.37/510.94 c rational objective -30
515.06/516.61 c #Conflicts: 847000 | #Constraints: 24926
515.06/516.61 c #Conflicts: 848000 | #Constraints: 25926
515.06/516.61 c #Conflicts: 849000 | #Constraints: 26926
515.06/516.61 c #Conflicts: 850000 | #Constraints: 27926
515.06/516.61 c #Conflicts: 851000 | #Constraints: 28926
515.06/516.61 c #Conflicts: 852000 | #Constraints: 29926
515.06/516.61 c #Conflicts: 853000 | #Constraints: 30926
515.06/516.61 c #Conflicts: 854000 | #Constraints: 31926
515.06/516.61 c #Conflicts: 855000 | #Constraints: 32926
515.06/516.61 c #Conflicts: 856000 | #Constraints: 33926
515.06/516.61 c #Conflicts: 857000 | #Constraints: 34926
515.06/516.61 c #Conflicts: 858000 | #Constraints: 35926
515.06/516.61 c #Conflicts: 859000 | #Constraints: 36926
515.06/516.61 c #Conflicts: 860000 | #Constraints: 37927
515.06/516.61 c #Conflicts: 861000 | #Constraints: 38927
515.06/516.61 c #Conflicts: 862000 | #Constraints: 39928
515.06/516.61 c #Conflicts: 863000 | #Constraints: 40928
515.06/516.61 c #Conflicts: 864000 | #Constraints: 41928
515.06/516.61 c #Conflicts: 865000 | #Constraints: 42928
515.06/516.61 c INPROCESSING
515.06/516.61 c GARBAGE COLLECT
515.06/516.61 c rational objective -30
515.46/517.03 c rational objective -30
520.45/522.07 c #Conflicts: 866000 | #Constraints: 25525
520.45/522.07 c #Conflicts: 867000 | #Constraints: 26525
520.45/522.07 c #Conflicts: 868000 | #Constraints: 27525
520.45/522.07 c #Conflicts: 869000 | #Constraints: 28525
520.45/522.07 c #Conflicts: 870000 | #Constraints: 29525
520.45/522.07 c #Conflicts: 871000 | #Constraints: 30525
520.45/522.07 c #Conflicts: 872000 | #Constraints: 31525
520.45/522.07 c #Conflicts: 873000 | #Constraints: 32525
520.45/522.07 c #Conflicts: 874000 | #Constraints: 33525
520.45/522.07 c #Conflicts: 875000 | #Constraints: 34525
520.45/522.07 c #Conflicts: 876000 | #Constraints: 35525
520.45/522.07 c #Conflicts: 877000 | #Constraints: 36525
520.45/522.07 c #Conflicts: 878000 | #Constraints: 37525
520.45/522.07 c #Conflicts: 879000 | #Constraints: 38525
520.45/522.07 c #Conflicts: 880000 | #Constraints: 39525
520.45/522.07 c #Conflicts: 881000 | #Constraints: 40525
520.45/522.07 c #Conflicts: 882000 | #Constraints: 41525
520.45/522.07 c #Conflicts: 883000 | #Constraints: 42525
520.45/522.07 c #Conflicts: 884000 | #Constraints: 43525
520.45/522.07 c INPROCESSING
520.45/522.07 c GARBAGE COLLECT
520.45/522.07 c rational objective -30
520.84/522.40 c rational objective -30
526.12/527.74 c #Conflicts: 885000 | #Constraints: 25934
526.12/527.74 c #Conflicts: 886000 | #Constraints: 26934
526.12/527.74 c #Conflicts: 887000 | #Constraints: 27934
526.12/527.74 c #Conflicts: 888000 | #Constraints: 28934
526.12/527.74 c #Conflicts: 889000 | #Constraints: 29934
526.12/527.74 c #Conflicts: 890000 | #Constraints: 30934
526.12/527.74 c #Conflicts: 891000 | #Constraints: 31934
526.12/527.74 c #Conflicts: 892000 | #Constraints: 32934
526.12/527.74 c #Conflicts: 893000 | #Constraints: 33934
526.12/527.74 c #Conflicts: 894000 | #Constraints: 34934
526.12/527.74 c #Conflicts: 895000 | #Constraints: 35934
526.12/527.74 c #Conflicts: 896000 | #Constraints: 36934
526.12/527.74 c #Conflicts: 897000 | #Constraints: 37934
526.12/527.74 c #Conflicts: 898000 | #Constraints: 38934
526.12/527.74 c #Conflicts: 899000 | #Constraints: 39934
526.12/527.74 c #Conflicts: 900000 | #Constraints: 40934
526.12/527.74 c #Conflicts: 901000 | #Constraints: 41934
526.12/527.74 c #Conflicts: 902000 | #Constraints: 42934
526.12/527.74 c #Conflicts: 903000 | #Constraints: 43935
526.12/527.74 c INPROCESSING
526.12/527.74 c GARBAGE COLLECT
526.12/527.74 c rational objective -30
526.54/528.12 c rational objective -30
531.71/533.35 c #Conflicts: 904000 | #Constraints: 26131
531.71/533.35 c #Conflicts: 905000 | #Constraints: 27131
531.71/533.35 c #Conflicts: 906000 | #Constraints: 28131
531.71/533.35 c #Conflicts: 907000 | #Constraints: 29131
531.71/533.35 c #Conflicts: 908000 | #Constraints: 30131
531.71/533.35 c #Conflicts: 909000 | #Constraints: 31131
531.71/533.35 c #Conflicts: 910000 | #Constraints: 32131
531.71/533.35 c #Conflicts: 911000 | #Constraints: 33131
531.71/533.35 c #Conflicts: 912000 | #Constraints: 34131
531.71/533.35 c #Conflicts: 913000 | #Constraints: 35131
531.71/533.35 c #Conflicts: 914000 | #Constraints: 36131
531.71/533.35 c #Conflicts: 915000 | #Constraints: 37131
531.71/533.35 c #Conflicts: 916000 | #Constraints: 38131
531.71/533.35 c #Conflicts: 917000 | #Constraints: 39131
531.71/533.35 c #Conflicts: 918000 | #Constraints: 40131
531.71/533.35 c #Conflicts: 919000 | #Constraints: 41131
531.71/533.35 c #Conflicts: 920000 | #Constraints: 42131
531.71/533.35 c #Conflicts: 921000 | #Constraints: 43131
531.71/533.35 c #Conflicts: 922000 | #Constraints: 44131
531.71/533.35 c INPROCESSING
531.71/533.35 c GARBAGE COLLECT
531.71/533.35 c rational objective -30
532.11/533.77 c rational objective -30
537.69/539.33 c #Conflicts: 923000 | #Constraints: 26131
537.69/539.33 c #Conflicts: 924000 | #Constraints: 27131
537.69/539.33 c #Conflicts: 925000 | #Constraints: 28131
537.69/539.33 c #Conflicts: 926000 | #Constraints: 29131
537.69/539.33 c #Conflicts: 927000 | #Constraints: 30131
537.69/539.33 c #Conflicts: 928000 | #Constraints: 31131
537.69/539.33 c #Conflicts: 929000 | #Constraints: 32131
537.69/539.33 c #Conflicts: 930000 | #Constraints: 33131
537.69/539.33 c #Conflicts: 931000 | #Constraints: 34131
537.69/539.33 c #Conflicts: 932000 | #Constraints: 35131
537.69/539.33 c #Conflicts: 933000 | #Constraints: 36131
537.69/539.33 c #Conflicts: 934000 | #Constraints: 37131
537.69/539.33 c #Conflicts: 935000 | #Constraints: 38131
537.69/539.33 c #Conflicts: 936000 | #Constraints: 39131
537.69/539.33 c #Conflicts: 937000 | #Constraints: 40131
537.69/539.33 c #Conflicts: 938000 | #Constraints: 41131
537.69/539.33 c #Conflicts: 939000 | #Constraints: 42131
537.69/539.33 c #Conflicts: 940000 | #Constraints: 43131
537.69/539.33 c #Conflicts: 941000 | #Constraints: 44131
537.69/539.33 c INPROCESSING
537.69/539.33 c GARBAGE COLLECT
537.69/539.33 c rational objective -30
538.09/539.79 c rational objective -30
543.49/545.14 c #Conflicts: 942000 | #Constraints: 25926
543.49/545.14 c #Conflicts: 943000 | #Constraints: 26926
543.49/545.14 c #Conflicts: 944000 | #Constraints: 27926
543.49/545.14 c #Conflicts: 945000 | #Constraints: 28926
543.49/545.14 c #Conflicts: 946000 | #Constraints: 29926
543.49/545.14 c #Conflicts: 947000 | #Constraints: 30926
543.49/545.14 c #Conflicts: 948000 | #Constraints: 31926
543.49/545.14 c #Conflicts: 949000 | #Constraints: 32926
543.49/545.14 c #Conflicts: 950000 | #Constraints: 33926
543.49/545.14 c #Conflicts: 951000 | #Constraints: 34926
543.49/545.14 c #Conflicts: 952000 | #Constraints: 35926
543.49/545.14 c #Conflicts: 953000 | #Constraints: 36926
543.49/545.14 c #Conflicts: 954000 | #Constraints: 37926
543.49/545.14 c #Conflicts: 955000 | #Constraints: 38926
543.49/545.14 c #Conflicts: 956000 | #Constraints: 39926
543.49/545.14 c #Conflicts: 957000 | #Constraints: 40926
543.49/545.14 c #Conflicts: 958000 | #Constraints: 41926
543.49/545.14 c #Conflicts: 959000 | #Constraints: 42926
543.49/545.14 c #Conflicts: 960000 | #Constraints: 43926
543.49/545.14 c #Conflicts: 961000 | #Constraints: 44926
543.49/545.14 c INPROCESSING
543.49/545.14 c GARBAGE COLLECT
543.49/545.14 c rational objective -30
543.88/545.54 c rational objective -30
549.47/551.15 c #Conflicts: 962000 | #Constraints: 26521
549.47/551.15 c #Conflicts: 963000 | #Constraints: 27521
549.47/551.15 c #Conflicts: 964000 | #Constraints: 28521
549.47/551.15 c #Conflicts: 965000 | #Constraints: 29521
549.47/551.15 c #Conflicts: 966000 | #Constraints: 30521
549.47/551.15 c #Conflicts: 967000 | #Constraints: 31521
549.47/551.15 c #Conflicts: 968000 | #Constraints: 32521
549.47/551.15 c #Conflicts: 969000 | #Constraints: 33521
549.47/551.15 c #Conflicts: 970000 | #Constraints: 34521
549.47/551.15 c #Conflicts: 971000 | #Constraints: 35522
549.47/551.15 c #Conflicts: 972000 | #Constraints: 36523
549.47/551.15 c #Conflicts: 973000 | #Constraints: 37523
549.47/551.15 c #Conflicts: 974000 | #Constraints: 38523
549.47/551.15 c #Conflicts: 975000 | #Constraints: 39523
549.47/551.15 c #Conflicts: 976000 | #Constraints: 40523
549.47/551.15 c #Conflicts: 977000 | #Constraints: 41523
549.47/551.15 c #Conflicts: 978000 | #Constraints: 42523
549.47/551.15 c #Conflicts: 979000 | #Constraints: 43523
549.47/551.15 c #Conflicts: 980000 | #Constraints: 44523
549.47/551.15 c #Conflicts: 981000 | #Constraints: 45523
549.47/551.15 c INPROCESSING
549.47/551.15 c GARBAGE COLLECT
549.47/551.15 c rational objective -30
549.86/551.51 c rational objective -30
554.94/556.62 c #Conflicts: 982000 | #Constraints: 26919
554.94/556.62 c #Conflicts: 983000 | #Constraints: 27919
554.94/556.62 c #Conflicts: 984000 | #Constraints: 28919
554.94/556.62 c #Conflicts: 985000 | #Constraints: 29919
554.94/556.62 c #Conflicts: 986000 | #Constraints: 30919
554.94/556.62 c #Conflicts: 987000 | #Constraints: 31919
554.94/556.62 c #Conflicts: 988000 | #Constraints: 32919
554.94/556.62 c #Conflicts: 989000 | #Constraints: 33919
554.94/556.62 c #Conflicts: 990000 | #Constraints: 34919
554.94/556.62 c #Conflicts: 991000 | #Constraints: 35919
554.94/556.62 c #Conflicts: 992000 | #Constraints: 36919
554.94/556.62 c #Conflicts: 993000 | #Constraints: 37919
554.94/556.62 c #Conflicts: 994000 | #Constraints: 38919
554.94/556.62 c #Conflicts: 995000 | #Constraints: 39919
554.94/556.62 c #Conflicts: 996000 | #Constraints: 40919
554.94/556.62 c #Conflicts: 997000 | #Constraints: 41919
554.94/556.62 c #Conflicts: 998000 | #Constraints: 42919
554.94/556.62 c #Conflicts: 999000 | #Constraints: 43919
554.94/556.62 c #Conflicts: 1000000 | #Constraints: 44919
554.94/556.62 c #Conflicts: 1001000 | #Constraints: 45919
554.94/556.62 c INPROCESSING
554.94/556.62 c GARBAGE COLLECT
554.94/556.62 c rational objective -30
555.36/557.06 c rational objective -30
560.53/562.26 c #Conflicts: 1002000 | #Constraints: 27121
560.53/562.26 c #Conflicts: 1003000 | #Constraints: 28121
560.53/562.26 c #Conflicts: 1004000 | #Constraints: 29121
560.53/562.26 c #Conflicts: 1005000 | #Constraints: 30121
560.53/562.26 c #Conflicts: 1006000 | #Constraints: 31121
560.53/562.26 c #Conflicts: 1007000 | #Constraints: 32121
560.53/562.26 c #Conflicts: 1008000 | #Constraints: 33121
560.53/562.26 c #Conflicts: 1009000 | #Constraints: 34121
560.53/562.26 c #Conflicts: 1010000 | #Constraints: 35121
560.53/562.26 c #Conflicts: 1011000 | #Constraints: 36121
560.53/562.26 c #Conflicts: 1012000 | #Constraints: 37121
560.53/562.26 c #Conflicts: 1013000 | #Constraints: 38122
560.53/562.26 c #Conflicts: 1014000 | #Constraints: 39122
560.53/562.26 c #Conflicts: 1015000 | #Constraints: 40122
560.53/562.26 c #Conflicts: 1016000 | #Constraints: 41122
560.53/562.26 c #Conflicts: 1017000 | #Constraints: 42122
560.53/562.26 c #Conflicts: 1018000 | #Constraints: 43122
560.53/562.26 c #Conflicts: 1019000 | #Constraints: 44122
560.53/562.26 c #Conflicts: 1020000 | #Constraints: 45122
560.53/562.26 c #Conflicts: 1021000 | #Constraints: 46122
560.53/562.26 c INPROCESSING
560.53/562.26 c GARBAGE COLLECT
560.53/562.26 c rational objective -30
560.93/562.61 c rational objective -30
566.22/567.97 c #Conflicts: 1022000 | #Constraints: 27122
566.22/567.97 c #Conflicts: 1023000 | #Constraints: 28122
566.22/567.97 c #Conflicts: 1024000 | #Constraints: 29122
566.22/567.97 c #Conflicts: 1025000 | #Constraints: 30122
566.22/567.97 c #Conflicts: 1026000 | #Constraints: 31122
566.22/567.97 c #Conflicts: 1027000 | #Constraints: 32122
566.22/567.97 c #Conflicts: 1028000 | #Constraints: 33122
566.22/567.97 c #Conflicts: 1029000 | #Constraints: 34122
566.22/567.97 c #Conflicts: 1030000 | #Constraints: 35122
566.22/567.97 c #Conflicts: 1031000 | #Constraints: 36122
566.22/567.97 c #Conflicts: 1032000 | #Constraints: 37122
566.22/567.97 c #Conflicts: 1033000 | #Constraints: 38122
566.22/567.97 c #Conflicts: 1034000 | #Constraints: 39122
566.22/567.97 c #Conflicts: 1035000 | #Constraints: 40122
566.22/567.97 c #Conflicts: 1036000 | #Constraints: 41122
566.22/567.97 c #Conflicts: 1037000 | #Constraints: 42122
566.22/567.97 c #Conflicts: 1038000 | #Constraints: 43122
566.22/567.97 c #Conflicts: 1039000 | #Constraints: 44122
566.22/567.97 c #Conflicts: 1040000 | #Constraints: 45122
566.22/567.97 c #Conflicts: 1041000 | #Constraints: 46122
566.22/567.97 c INPROCESSING
566.22/567.97 c GARBAGE COLLECT
566.22/567.97 c rational objective -30
566.62/568.30 c rational objective -30
571.91/573.64 c #Conflicts: 1042000 | #Constraints: 26926
571.91/573.64 c #Conflicts: 1043000 | #Constraints: 27926
571.91/573.64 c #Conflicts: 1044000 | #Constraints: 28926
571.91/573.64 c #Conflicts: 1045000 | #Constraints: 29926
571.91/573.64 c #Conflicts: 1046000 | #Constraints: 30926
571.91/573.64 c #Conflicts: 1047000 | #Constraints: 31926
571.91/573.64 c #Conflicts: 1048000 | #Constraints: 32926
571.91/573.64 c #Conflicts: 1049000 | #Constraints: 33926
571.91/573.64 c #Conflicts: 1050000 | #Constraints: 34926
571.91/573.64 c #Conflicts: 1051000 | #Constraints: 35926
571.91/573.64 c #Conflicts: 1052000 | #Constraints: 36926
571.91/573.64 c #Conflicts: 1053000 | #Constraints: 37926
571.91/573.64 c #Conflicts: 1054000 | #Constraints: 38926
571.91/573.64 c #Conflicts: 1055000 | #Constraints: 39926
571.91/573.64 c #Conflicts: 1056000 | #Constraints: 40926
571.91/573.64 c #Conflicts: 1057000 | #Constraints: 41926
571.91/573.64 c #Conflicts: 1058000 | #Constraints: 42926
571.91/573.64 c #Conflicts: 1059000 | #Constraints: 43926
571.91/573.64 c #Conflicts: 1060000 | #Constraints: 44926
571.91/573.64 c #Conflicts: 1061000 | #Constraints: 45926
571.91/573.64 c #Conflicts: 1062000 | #Constraints: 46926
571.91/573.64 c INPROCESSING
571.91/573.64 c GARBAGE COLLECT
571.91/573.64 c rational objective -30
572.21/573.93 c rational objective -30
577.59/579.40 c #Conflicts: 1063000 | #Constraints: 27523
577.59/579.40 c #Conflicts: 1064000 | #Constraints: 28523
577.59/579.40 c #Conflicts: 1065000 | #Constraints: 29523
577.59/579.40 c #Conflicts: 1066000 | #Constraints: 30523
577.59/579.40 c #Conflicts: 1067000 | #Constraints: 31523
577.59/579.40 c #Conflicts: 1068000 | #Constraints: 32523
577.59/579.40 c #Conflicts: 1069000 | #Constraints: 33523
577.59/579.40 c #Conflicts: 1070000 | #Constraints: 34523
577.59/579.40 c #Conflicts: 1071000 | #Constraints: 35523
577.59/579.40 c #Conflicts: 1072000 | #Constraints: 36523
577.59/579.40 c #Conflicts: 1073000 | #Constraints: 37523
577.59/579.40 c #Conflicts: 1074000 | #Constraints: 38523
577.59/579.40 c #Conflicts: 1075000 | #Constraints: 39523
577.59/579.40 c #Conflicts: 1076000 | #Constraints: 40523
577.59/579.40 c #Conflicts: 1077000 | #Constraints: 41523
577.59/579.40 c #Conflicts: 1078000 | #Constraints: 42523
577.59/579.40 c #Conflicts: 1079000 | #Constraints: 43523
577.59/579.40 c #Conflicts: 1080000 | #Constraints: 44523
577.59/579.40 c #Conflicts: 1081000 | #Constraints: 45523
577.59/579.40 c #Conflicts: 1082000 | #Constraints: 46523
577.59/579.40 c #Conflicts: 1083000 | #Constraints: 47523
577.59/579.40 c INPROCESSING
577.59/579.40 c GARBAGE COLLECT
577.59/579.40 c rational objective -30
577.99/579.76 c rational objective -30
583.38/585.13 c #Conflicts: 1084000 | #Constraints: 27923
583.38/585.13 c #Conflicts: 1085000 | #Constraints: 28923
583.38/585.13 c #Conflicts: 1086000 | #Constraints: 29923
583.38/585.13 c #Conflicts: 1087000 | #Constraints: 30923
583.38/585.13 c #Conflicts: 1088000 | #Constraints: 31923
583.38/585.13 c #Conflicts: 1089000 | #Constraints: 32923
583.38/585.13 c #Conflicts: 1090000 | #Constraints: 33923
583.38/585.13 c #Conflicts: 1091000 | #Constraints: 34923
583.38/585.13 c #Conflicts: 1092000 | #Constraints: 35923
583.38/585.13 c #Conflicts: 1093000 | #Constraints: 36923
583.38/585.13 c #Conflicts: 1094000 | #Constraints: 37923
583.38/585.13 c #Conflicts: 1095000 | #Constraints: 38923
583.38/585.13 c #Conflicts: 1096000 | #Constraints: 39923
583.38/585.13 c #Conflicts: 1097000 | #Constraints: 40923
583.38/585.13 c #Conflicts: 1098000 | #Constraints: 41923
583.38/585.13 c #Conflicts: 1099000 | #Constraints: 42923
583.38/585.13 c #Conflicts: 1100000 | #Constraints: 43923
583.38/585.13 c #Conflicts: 1101000 | #Constraints: 44923
583.38/585.13 c #Conflicts: 1102000 | #Constraints: 45923
583.38/585.13 c #Conflicts: 1103000 | #Constraints: 46923
583.38/585.13 c #Conflicts: 1104000 | #Constraints: 47923
583.38/585.13 c INPROCESSING
583.38/585.13 c GARBAGE COLLECT
583.38/585.13 c rational objective -30
583.77/585.52 c rational objective -30
589.45/591.29 c #Conflicts: 1105000 | #Constraints: 28122
589.45/591.29 c #Conflicts: 1106000 | #Constraints: 29122
589.45/591.29 c #Conflicts: 1107000 | #Constraints: 30122
589.45/591.29 c #Conflicts: 1108000 | #Constraints: 31122
589.45/591.29 c #Conflicts: 1109000 | #Constraints: 32122
589.45/591.29 c #Conflicts: 1110000 | #Constraints: 33122
589.45/591.29 c #Conflicts: 1111000 | #Constraints: 34122
589.45/591.29 c #Conflicts: 1112000 | #Constraints: 35122
589.45/591.29 c #Conflicts: 1113000 | #Constraints: 36122
589.45/591.29 c #Conflicts: 1114000 | #Constraints: 37122
589.45/591.29 c #Conflicts: 1115000 | #Constraints: 38122
589.45/591.29 c #Conflicts: 1116000 | #Constraints: 39122
589.45/591.29 c #Conflicts: 1117000 | #Constraints: 40122
589.45/591.29 c #Conflicts: 1118000 | #Constraints: 41122
589.45/591.29 c #Conflicts: 1119000 | #Constraints: 42122
589.45/591.29 c #Conflicts: 1120000 | #Constraints: 43122
589.45/591.29 c #Conflicts: 1121000 | #Constraints: 44122
589.45/591.29 c #Conflicts: 1122000 | #Constraints: 45122
589.45/591.29 c #Conflicts: 1123000 | #Constraints: 46122
589.45/591.29 c #Conflicts: 1124000 | #Constraints: 47122
589.45/591.29 c #Conflicts: 1125000 | #Constraints: 48122
589.45/591.29 c INPROCESSING
589.45/591.29 c GARBAGE COLLECT
589.45/591.29 c rational objective -30
589.85/591.68 c rational objective -30
595.64/597.45 c #Conflicts: 1126000 | #Constraints: 28129
595.64/597.45 c #Conflicts: 1127000 | #Constraints: 29129
595.64/597.45 c #Conflicts: 1128000 | #Constraints: 30129
595.64/597.45 c #Conflicts: 1129000 | #Constraints: 31129
595.64/597.45 c #Conflicts: 1130000 | #Constraints: 32129
595.64/597.45 c #Conflicts: 1131000 | #Constraints: 33129
595.64/597.45 c #Conflicts: 1132000 | #Constraints: 34129
595.64/597.45 c #Conflicts: 1133000 | #Constraints: 35129
595.64/597.45 c #Conflicts: 1134000 | #Constraints: 36129
595.64/597.45 c #Conflicts: 1135000 | #Constraints: 37129
595.64/597.45 c #Conflicts: 1136000 | #Constraints: 38130
595.64/597.45 c #Conflicts: 1137000 | #Constraints: 39130
595.64/597.45 c #Conflicts: 1138000 | #Constraints: 40130
595.64/597.45 c #Conflicts: 1139000 | #Constraints: 41130
595.64/597.45 c #Conflicts: 1140000 | #Constraints: 42130
595.64/597.45 c #Conflicts: 1141000 | #Constraints: 43130
595.64/597.45 c #Conflicts: 1142000 | #Constraints: 44130
595.64/597.45 c #Conflicts: 1143000 | #Constraints: 45130
595.64/597.45 c #Conflicts: 1144000 | #Constraints: 46130
595.64/597.45 c #Conflicts: 1145000 | #Constraints: 47130
595.64/597.45 c #Conflicts: 1146000 | #Constraints: 48130
595.64/597.45 c INPROCESSING
595.64/597.45 c GARBAGE COLLECT
595.64/597.45 c rational objective -30
596.04/597.87 c rational objective -30
601.92/603.72 c #Conflicts: 1147000 | #Constraints: 27924
601.92/603.72 c #Conflicts: 1148000 | #Constraints: 28924
601.92/603.72 c #Conflicts: 1149000 | #Constraints: 29924
601.92/603.72 c #Conflicts: 1150000 | #Constraints: 30924
601.92/603.72 c #Conflicts: 1151000 | #Constraints: 31924
601.92/603.72 c #Conflicts: 1152000 | #Constraints: 32924
601.92/603.72 c #Conflicts: 1153000 | #Constraints: 33924
601.92/603.72 c #Conflicts: 1154000 | #Constraints: 34924
601.92/603.72 c #Conflicts: 1155000 | #Constraints: 35924
601.92/603.72 c #Conflicts: 1156000 | #Constraints: 36924
601.92/603.72 c #Conflicts: 1157000 | #Constraints: 37924
601.92/603.72 c #Conflicts: 1158000 | #Constraints: 38924
601.92/603.72 c #Conflicts: 1159000 | #Constraints: 39924
601.92/603.72 c #Conflicts: 1160000 | #Constraints: 40924
601.92/603.72 c #Conflicts: 1161000 | #Constraints: 41924
601.92/603.72 c #Conflicts: 1162000 | #Constraints: 42924
601.92/603.72 c #Conflicts: 1163000 | #Constraints: 43924
601.92/603.72 c #Conflicts: 1164000 | #Constraints: 44924
601.92/603.72 c #Conflicts: 1165000 | #Constraints: 45924
601.92/603.72 c #Conflicts: 1166000 | #Constraints: 46924
601.92/603.72 c #Conflicts: 1167000 | #Constraints: 47925
601.92/603.72 c #Conflicts: 1168000 | #Constraints: 48926
601.92/603.72 c INPROCESSING
601.92/603.72 c GARBAGE COLLECT
601.92/603.72 c rational objective -30
602.24/604.03 c rational objective -30
607.91/609.71 c #Conflicts: 1169000 | #Constraints: 28528
607.91/609.71 c #Conflicts: 1170000 | #Constraints: 29528
607.91/609.71 c #Conflicts: 1171000 | #Constraints: 30528
607.91/609.71 c #Conflicts: 1172000 | #Constraints: 31528
607.91/609.71 c #Conflicts: 1173000 | #Constraints: 32528
607.91/609.71 c #Conflicts: 1174000 | #Constraints: 33528
607.91/609.71 c #Conflicts: 1175000 | #Constraints: 34528
607.91/609.71 c #Conflicts: 1176000 | #Constraints: 35529
607.91/609.71 c #Conflicts: 1177000 | #Constraints: 36533
607.91/609.71 c #Conflicts: 1178000 | #Constraints: 37548
607.91/609.71 c #Conflicts: 1179000 | #Constraints: 38552
607.91/609.71 c #Conflicts: 1180000 | #Constraints: 39558
607.91/609.71 c #Conflicts: 1181000 | #Constraints: 40558
607.91/609.71 c #Conflicts: 1182000 | #Constraints: 41558
607.91/609.71 c #Conflicts: 1183000 | #Constraints: 42594
607.91/609.71 c #Conflicts: 1184000 | #Constraints: 43595
607.91/609.71 c #Conflicts: 1185000 | #Constraints: 44608
607.91/609.71 c #Conflicts: 1186000 | #Constraints: 45631
607.91/609.71 c #Conflicts: 1187000 | #Constraints: 46632
607.91/609.71 c #Conflicts: 1188000 | #Constraints: 47635
607.91/609.71 c #Conflicts: 1189000 | #Constraints: 48638
607.91/609.71 c #Conflicts: 1190000 | #Constraints: 49641
607.91/609.71 c INPROCESSING
607.91/609.71 c GARBAGE COLLECT
607.91/609.71 c rational objective -30
608.51/610.35 c rational objective -30
613.60/615.40 c #Conflicts: 1191000 | #Constraints: 28985
613.60/615.40 c #Conflicts: 1192000 | #Constraints: 29985
613.60/615.40 c #Conflicts: 1193000 | #Constraints: 30985
613.60/615.40 c #Conflicts: 1194000 | #Constraints: 31985
613.60/615.40 c #Conflicts: 1195000 | #Constraints: 32985
613.60/615.40 c #Conflicts: 1196000 | #Constraints: 33985
613.60/615.40 c #Conflicts: 1197000 | #Constraints: 34985
613.60/615.40 c #Conflicts: 1198000 | #Constraints: 35985
613.60/615.40 c #Conflicts: 1199000 | #Constraints: 36985
613.60/615.40 c #Conflicts: 1200000 | #Constraints: 37985
613.60/615.40 c #Conflicts: 1201000 | #Constraints: 38985
613.60/615.40 c #Conflicts: 1202000 | #Constraints: 39985
613.60/615.40 c #Conflicts: 1203000 | #Constraints: 40985
613.60/615.40 c #Conflicts: 1204000 | #Constraints: 41985
613.60/615.40 c #Conflicts: 1205000 | #Constraints: 42985
613.60/615.40 c #Conflicts: 1206000 | #Constraints: 43985
613.60/615.40 c #Conflicts: 1207000 | #Constraints: 44985
613.60/615.40 c #Conflicts: 1208000 | #Constraints: 45985
613.60/615.40 c #Conflicts: 1209000 | #Constraints: 46985
613.60/615.40 c #Conflicts: 1210000 | #Constraints: 47985
613.60/615.40 c #Conflicts: 1211000 | #Constraints: 48985
613.60/615.40 c #Conflicts: 1212000 | #Constraints: 49985
613.60/615.40 c INPROCESSING
613.60/615.40 c GARBAGE COLLECT
613.60/615.40 c rational objective -30
614.10/615.97 c rational objective -30
619.38/621.21 c #Conflicts: 1213000 | #Constraints: 29158
619.38/621.21 c #Conflicts: 1214000 | #Constraints: 30158
619.38/621.21 c #Conflicts: 1215000 | #Constraints: 31158
619.38/621.21 c #Conflicts: 1216000 | #Constraints: 32158
619.38/621.21 c #Conflicts: 1217000 | #Constraints: 33158
619.38/621.21 c #Conflicts: 1218000 | #Constraints: 34158
619.38/621.21 c #Conflicts: 1219000 | #Constraints: 35158
619.38/621.21 c #Conflicts: 1220000 | #Constraints: 36158
619.38/621.21 c #Conflicts: 1221000 | #Constraints: 37158
619.38/621.21 c #Conflicts: 1222000 | #Constraints: 38158
619.38/621.21 c #Conflicts: 1223000 | #Constraints: 39158
619.38/621.21 c #Conflicts: 1224000 | #Constraints: 40158
619.38/621.21 c #Conflicts: 1225000 | #Constraints: 41159
619.38/621.21 c #Conflicts: 1226000 | #Constraints: 42159
619.38/621.21 c #Conflicts: 1227000 | #Constraints: 43159
619.38/621.21 c #Conflicts: 1228000 | #Constraints: 44159
619.38/621.21 c #Conflicts: 1229000 | #Constraints: 45159
619.38/621.21 c #Conflicts: 1230000 | #Constraints: 46159
619.38/621.21 c #Conflicts: 1231000 | #Constraints: 47160
619.38/621.21 c #Conflicts: 1232000 | #Constraints: 48160
619.38/621.21 c #Conflicts: 1233000 | #Constraints: 49160
619.38/621.21 c #Conflicts: 1234000 | #Constraints: 50160
619.38/621.21 c INPROCESSING
619.38/621.21 c GARBAGE COLLECT
619.38/621.21 c rational objective -30
619.88/621.76 c rational objective -30
625.37/627.21 c #Conflicts: 1235000 | #Constraints: 29145
625.37/627.21 c #Conflicts: 1236000 | #Constraints: 30145
625.37/627.21 c #Conflicts: 1237000 | #Constraints: 31145
625.37/627.21 c #Conflicts: 1238000 | #Constraints: 32145
625.37/627.21 c #Conflicts: 1239000 | #Constraints: 33145
625.37/627.21 c #Conflicts: 1240000 | #Constraints: 34145
625.37/627.21 c #Conflicts: 1241000 | #Constraints: 35145
625.37/627.21 c #Conflicts: 1242000 | #Constraints: 36145
625.37/627.21 c #Conflicts: 1243000 | #Constraints: 37145
625.37/627.21 c #Conflicts: 1244000 | #Constraints: 38145
625.37/627.21 c #Conflicts: 1245000 | #Constraints: 39145
625.37/627.21 c #Conflicts: 1246000 | #Constraints: 40145
625.37/627.21 c #Conflicts: 1247000 | #Constraints: 41145
625.37/627.21 c #Conflicts: 1248000 | #Constraints: 42145
625.37/627.21 c #Conflicts: 1249000 | #Constraints: 43145
625.37/627.21 c #Conflicts: 1250000 | #Constraints: 44146
625.37/627.21 c #Conflicts: 1251000 | #Constraints: 45146
625.37/627.21 c #Conflicts: 1252000 | #Constraints: 46146
625.37/627.21 c #Conflicts: 1253000 | #Constraints: 47146
625.37/627.21 c #Conflicts: 1254000 | #Constraints: 48146
625.37/627.21 c #Conflicts: 1255000 | #Constraints: 49146
625.37/627.21 c #Conflicts: 1256000 | #Constraints: 50146
625.37/627.21 c INPROCESSING
625.37/627.21 c GARBAGE COLLECT
625.37/627.21 c rational objective -30
625.96/627.84 c rational objective -30
631.75/633.64 c #Conflicts: 1257000 | #Constraints: 28930
631.75/633.64 c #Conflicts: 1258000 | #Constraints: 29930
631.75/633.64 c #Conflicts: 1259000 | #Constraints: 30930
631.75/633.64 c #Conflicts: 1260000 | #Constraints: 31930
631.75/633.64 c #Conflicts: 1261000 | #Constraints: 32930
631.75/633.64 c #Conflicts: 1262000 | #Constraints: 33930
631.75/633.64 c #Conflicts: 1263000 | #Constraints: 34930
631.75/633.64 c #Conflicts: 1264000 | #Constraints: 35930
631.75/633.64 c #Conflicts: 1265000 | #Constraints: 36930
631.75/633.64 c #Conflicts: 1266000 | #Constraints: 37930
631.75/633.64 c #Conflicts: 1267000 | #Constraints: 38931
631.75/633.64 c #Conflicts: 1268000 | #Constraints: 39932
631.75/633.64 c #Conflicts: 1269000 | #Constraints: 40932
631.75/633.64 c #Conflicts: 1270000 | #Constraints: 41932
631.75/633.64 c #Conflicts: 1271000 | #Constraints: 42933
631.75/633.64 c #Conflicts: 1272000 | #Constraints: 43933
631.75/633.64 c #Conflicts: 1273000 | #Constraints: 44933
631.75/633.64 c #Conflicts: 1274000 | #Constraints: 45933
631.75/633.64 c #Conflicts: 1275000 | #Constraints: 46933
631.75/633.64 c #Conflicts: 1276000 | #Constraints: 47933
631.75/633.64 c #Conflicts: 1277000 | #Constraints: 48933
631.75/633.64 c #Conflicts: 1278000 | #Constraints: 49933
631.75/633.64 c #Conflicts: 1279000 | #Constraints: 50933
631.75/633.64 c INPROCESSING
631.75/633.64 c GARBAGE COLLECT
631.75/633.64 c rational objective -30
632.35/634.22 c rational objective -30
637.82/639.76 c #Conflicts: 1280000 | #Constraints: 29532
637.82/639.76 c #Conflicts: 1281000 | #Constraints: 30532
637.82/639.76 c #Conflicts: 1282000 | #Constraints: 31532
637.82/639.76 c #Conflicts: 1283000 | #Constraints: 32532
637.82/639.76 c #Conflicts: 1284000 | #Constraints: 33532
637.82/639.76 c #Conflicts: 1285000 | #Constraints: 34532
637.82/639.76 c #Conflicts: 1286000 | #Constraints: 35532
637.82/639.76 c #Conflicts: 1287000 | #Constraints: 36532
637.82/639.76 c #Conflicts: 1288000 | #Constraints: 37532
637.82/639.76 c #Conflicts: 1289000 | #Constraints: 38532
637.82/639.76 c #Conflicts: 1290000 | #Constraints: 39532
637.82/639.76 c #Conflicts: 1291000 | #Constraints: 40533
637.82/639.76 c #Conflicts: 1292000 | #Constraints: 41533
637.82/639.76 c #Conflicts: 1293000 | #Constraints: 42533
637.82/639.76 c #Conflicts: 1294000 | #Constraints: 43533
637.82/639.76 c #Conflicts: 1295000 | #Constraints: 44533
637.82/639.76 c #Conflicts: 1296000 | #Constraints: 45533
637.82/639.76 c #Conflicts: 1297000 | #Constraints: 46533
637.82/639.76 c #Conflicts: 1298000 | #Constraints: 47533
637.82/639.76 c #Conflicts: 1299000 | #Constraints: 48533
637.82/639.76 c #Conflicts: 1300000 | #Constraints: 49533
637.82/639.76 c #Conflicts: 1301000 | #Constraints: 50534
637.82/639.76 c #Conflicts: 1302000 | #Constraints: 51534
637.82/639.76 c INPROCESSING
637.82/639.76 c GARBAGE COLLECT
637.82/639.76 c rational objective -30
638.53/640.40 c rational objective -30
644.22/646.16 c #Conflicts: 1303000 | #Constraints: 29926
644.22/646.16 c #Conflicts: 1304000 | #Constraints: 30926
644.22/646.16 c #Conflicts: 1305000 | #Constraints: 31926
644.22/646.16 c #Conflicts: 1306000 | #Constraints: 32926
644.22/646.16 c #Conflicts: 1307000 | #Constraints: 33926
644.22/646.16 c #Conflicts: 1308000 | #Constraints: 34926
644.22/646.16 c #Conflicts: 1309000 | #Constraints: 35926
644.22/646.16 c #Conflicts: 1310000 | #Constraints: 36926
644.22/646.16 c #Conflicts: 1311000 | #Constraints: 37926
644.22/646.16 c #Conflicts: 1312000 | #Constraints: 38926
644.22/646.16 c #Conflicts: 1313000 | #Constraints: 39930
644.22/646.16 c #Conflicts: 1314000 | #Constraints: 40933
644.22/646.16 c #Conflicts: 1315000 | #Constraints: 41933
644.22/646.16 c #Conflicts: 1316000 | #Constraints: 42933
644.22/646.16 c #Conflicts: 1317000 | #Constraints: 43933
644.22/646.16 c #Conflicts: 1318000 | #Constraints: 44933
644.22/646.16 c #Conflicts: 1319000 | #Constraints: 45933
644.22/646.16 c #Conflicts: 1320000 | #Constraints: 46933
644.22/646.16 c #Conflicts: 1321000 | #Constraints: 47933
644.22/646.16 c #Conflicts: 1322000 | #Constraints: 48933
644.22/646.16 c #Conflicts: 1323000 | #Constraints: 49933
644.22/646.16 c #Conflicts: 1324000 | #Constraints: 50933
644.22/646.16 c #Conflicts: 1325000 | #Constraints: 51933
644.22/646.16 c INPROCESSING
644.22/646.16 c GARBAGE COLLECT
644.22/646.16 c rational objective -30
644.91/646.85 c rational objective -30
650.49/652.44 c #Conflicts: 1326000 | #Constraints: 30125
650.49/652.44 c #Conflicts: 1327000 | #Constraints: 31125
650.49/652.44 c #Conflicts: 1328000 | #Constraints: 32125
650.49/652.44 c #Conflicts: 1329000 | #Constraints: 33125
650.49/652.44 c #Conflicts: 1330000 | #Constraints: 34125
650.49/652.44 c #Conflicts: 1331000 | #Constraints: 35125
650.49/652.44 c #Conflicts: 1332000 | #Constraints: 36125
650.49/652.44 c #Conflicts: 1333000 | #Constraints: 37125
650.49/652.44 c #Conflicts: 1334000 | #Constraints: 38125
650.49/652.44 c #Conflicts: 1335000 | #Constraints: 39125
650.49/652.44 c #Conflicts: 1336000 | #Constraints: 40125
650.49/652.44 c #Conflicts: 1337000 | #Constraints: 41125
650.49/652.44 c #Conflicts: 1338000 | #Constraints: 42125
650.49/652.44 c #Conflicts: 1339000 | #Constraints: 43125
650.49/652.44 c #Conflicts: 1340000 | #Constraints: 44125
650.49/652.44 c #Conflicts: 1341000 | #Constraints: 45125
650.49/652.44 c #Conflicts: 1342000 | #Constraints: 46125
650.49/652.44 c #Conflicts: 1343000 | #Constraints: 47125
650.49/652.44 c #Conflicts: 1344000 | #Constraints: 48125
650.49/652.44 c #Conflicts: 1345000 | #Constraints: 49125
650.49/652.44 c #Conflicts: 1346000 | #Constraints: 50125
650.49/652.44 c #Conflicts: 1347000 | #Constraints: 51125
650.49/652.44 c #Conflicts: 1348000 | #Constraints: 52125
650.49/652.44 c INPROCESSING
650.49/652.44 c GARBAGE COLLECT
650.49/652.44 c rational objective -30
651.21/653.11 c rational objective -30
657.19/659.12 c #Conflicts: 1349000 | #Constraints: 30125
657.19/659.12 c #Conflicts: 1350000 | #Constraints: 31125
657.19/659.12 c #Conflicts: 1351000 | #Constraints: 32125
657.19/659.12 c #Conflicts: 1352000 | #Constraints: 33125
657.19/659.12 c #Conflicts: 1353000 | #Constraints: 34125
657.19/659.12 c #Conflicts: 1354000 | #Constraints: 35125
657.19/659.12 c #Conflicts: 1355000 | #Constraints: 36125
657.19/659.12 c #Conflicts: 1356000 | #Constraints: 37125
657.19/659.12 c #Conflicts: 1357000 | #Constraints: 38125
657.19/659.12 c #Conflicts: 1358000 | #Constraints: 39125
657.19/659.12 c #Conflicts: 1359000 | #Constraints: 40125
657.19/659.12 c #Conflicts: 1360000 | #Constraints: 41125
657.19/659.12 c #Conflicts: 1361000 | #Constraints: 42125
657.19/659.12 c #Conflicts: 1362000 | #Constraints: 43125
657.19/659.12 c #Conflicts: 1363000 | #Constraints: 44126
657.19/659.12 c #Conflicts: 1364000 | #Constraints: 45127
657.19/659.12 c #Conflicts: 1365000 | #Constraints: 46127
657.19/659.12 c #Conflicts: 1366000 | #Constraints: 47127
657.19/659.12 c #Conflicts: 1367000 | #Constraints: 48127
657.19/659.12 c #Conflicts: 1368000 | #Constraints: 49127
657.19/659.12 c #Conflicts: 1369000 | #Constraints: 50128
657.19/659.12 c #Conflicts: 1370000 | #Constraints: 51128
657.19/659.12 c #Conflicts: 1371000 | #Constraints: 52128
657.19/659.12 c INPROCESSING
657.19/659.12 c GARBAGE COLLECT
657.19/659.12 c rational objective -30
657.68/659.63 c rational objective -30
663.46/665.43 c #Conflicts: 1372000 | #Constraints: 29928
663.46/665.43 c #Conflicts: 1373000 | #Constraints: 30928
663.46/665.43 c #Conflicts: 1374000 | #Constraints: 31928
663.46/665.43 c #Conflicts: 1375000 | #Constraints: 32928
663.46/665.43 c #Conflicts: 1376000 | #Constraints: 33928
663.46/665.43 c #Conflicts: 1377000 | #Constraints: 34928
663.46/665.43 c #Conflicts: 1378000 | #Constraints: 35928
663.46/665.43 c #Conflicts: 1379000 | #Constraints: 36928
663.46/665.43 c #Conflicts: 1380000 | #Constraints: 37928
663.46/665.43 c #Conflicts: 1381000 | #Constraints: 38928
663.46/665.43 c #Conflicts: 1382000 | #Constraints: 39928
663.46/665.43 c #Conflicts: 1383000 | #Constraints: 40928
663.46/665.43 c #Conflicts: 1384000 | #Constraints: 41928
663.46/665.43 c #Conflicts: 1385000 | #Constraints: 42928
663.46/665.43 c #Conflicts: 1386000 | #Constraints: 43928
663.46/665.43 c #Conflicts: 1387000 | #Constraints: 44928
663.46/665.43 c #Conflicts: 1388000 | #Constraints: 45928
663.46/665.43 c #Conflicts: 1389000 | #Constraints: 46928
663.46/665.43 c #Conflicts: 1390000 | #Constraints: 47928
663.46/665.43 c #Conflicts: 1391000 | #Constraints: 48928
663.46/665.43 c #Conflicts: 1392000 | #Constraints: 49928
663.46/665.43 c #Conflicts: 1393000 | #Constraints: 50928
663.46/665.43 c #Conflicts: 1394000 | #Constraints: 51928
663.46/665.43 c #Conflicts: 1395000 | #Constraints: 52928
663.46/665.43 c INPROCESSING
663.46/665.43 c GARBAGE COLLECT
663.46/665.43 c rational objective -30
664.17/666.13 c rational objective -30
667.35/669.36 c #Conflicts: 1396000 | #Constraints: 30537
667.35/669.36 c #Conflicts: 1397000 | #Constraints: 31537
667.35/669.36 c #Conflicts: 1398000 | #Constraints: 32537
667.35/669.36 c #Conflicts: 1399000 | #Constraints: 33537
667.35/669.36 c #Conflicts: 1400000 | #Constraints: 34537
667.35/669.36 c #Conflicts: 1401000 | #Constraints: 35537
667.35/669.36 c #Conflicts: 1402000 | #Constraints: 36537
667.35/669.36 c #Conflicts: 1403000 | #Constraints: 37537
667.35/669.36 c #Conflicts: 1404000 | #Constraints: 38537
667.35/669.36 c #Conflicts: 1405000 | #Constraints: 39537
667.35/669.36 c #Conflicts: 1406000 | #Constraints: 40538
667.35/669.36 c #Conflicts: 1407000 | #Constraints: 41538
667.35/669.36 c #Conflicts: 1408000 | #Constraints: 42538
667.35/669.36 c #Conflicts: 1409000 | #Constraints: 43538
667.35/669.36 c #Conflicts: 1410000 | #Constraints: 44538
667.35/669.36 c bounds -29 >= -29 @ 653.212
667.35/669.36 c cpu time 653.212 s
667.35/669.36 c deterministic time 46885360246 4.69e+10
667.35/669.36 c optimization time 0.006417 s
667.35/669.36 c total solve time 653.167 s
667.35/669.36 c core-guided solve time 303.836 s
667.35/669.36 c propagation time 464.388 s
667.35/669.36 c conflict analysis time 106.008 s
667.35/669.36 c propagations 143648947
667.35/669.36 c resolve steps 10858078
667.35/669.36 c decisions 6130547
667.35/669.36 c conflicts 1410672
667.35/669.36 c restarts 2713
667.35/669.36 c inprocessing phases 109
667.35/669.36 c garbage collections 109 ,( 100.00 )
667.35/669.36 c input clauses 8488 ,( 96.99 )
667.35/669.36 c input cardinalities 203 ,( 2.32 )
667.35/669.36 c input general constraints 60 ,( 0.69 )
667.35/669.36 c input average constraint length 9.88
667.35/669.36 c input average constraint degree 4.45
667.35/669.36 c learned clauses 1173033 ,( 83.06 )
667.35/669.36 c learned cardinalities 46192 ,( 3.27 )
667.35/669.36 c learned general constraints 193056 ,( 13.67 )
667.35/669.36 c learned average constraint length 239.03
667.35/669.36 c learned average constraint degree 32256304.11
667.35/669.36 c watched CF 32, 64, 128, Arb: 85561 , 0 , 0 , 0
667.35/669.36 c counting CF 32, 64, 128, Arb: 107556 , 0 , 0 , 0
667.35/669.36 c watched constraints 85561 ,( 44.31 )
667.35/669.36 c counting constraints 107555 ,( 55.69 )
667.35/669.36 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 258594752 , 662853333 , 313024152 ,( 159711655 , 153312497 )
667.35/669.36 c gcd simplifications 4769
667.35/669.36 c detected cardinalities 1131
667.35/669.36 c weakened non-implied lits 174560925
667.35/669.36 c weakened non-implying lits 20424
667.35/669.36 c original variables 5647
667.35/669.36 c clausal propagations 73628968
667.35/669.36 c cardinality propagations 33873939
667.35/669.36 c watched propagations 291109
667.35/669.36 c counting propagations 30441405
667.35/669.36 c watch lookups 9068637937
667.35/669.36 c watch backjump lookups 0
667.35/669.36 c watch checks 17014270566
667.35/669.36 c propagation checks 19403273341
667.35/669.36 c constraint additions 1096409097
667.35/669.36 c trail pops 151187978
667.35/669.36 c formula constraints 8583
667.35/669.36 c learned constraints 1409896
667.35/669.36 c bound constraints 83
667.35/669.36 c core-guided constraints 85
667.35/669.36 c encountered formula constraints 6605976
667.35/669.36 c encountered learned constraints 5616396
667.35/669.36 c encountered bound constraints 30
667.35/669.36 c encountered core-guided constraints 34
667.35/669.36 c LP total time 279.628 s
667.35/669.36 c LP solve time 245.24 s
667.35/669.36 c LP constraints added 14551
667.35/669.36 c LP constraints removed 5948
667.35/669.36 c LP pivots internal 1410683
667.35/669.36 c LP pivots root 391149
667.35/669.36 c LP calls 14197
667.35/669.36 c LP optimalities 13301
667.35/669.36 c LP no pivot count 735
667.35/669.36 c LP infeasibilities 892
667.35/669.36 c LP valid Farkas constraints 891
667.35/669.36 c LP learned Farkas constraints 777
667.35/669.36 c LP basis resets 1
667.35/669.36 c LP cycling count 0
667.35/669.36 c LP singular count 0
667.35/669.36 c LP no primal count 0
667.35/669.36 c LP no farkas count 1
667.35/669.36 c LP other issue count 0
667.35/669.36 c LP Gomory cuts 717
667.35/669.36 c LP learned cuts 5251
667.35/669.36 c LP deleted cuts 5948
667.35/669.36 c LP encountered Gomory constraints 4689
667.35/669.36 c LP encountered Farkas constraints 34795
667.35/669.36 c LP encountered learned Farkas constraints 6053
667.35/669.36 c CG auxiliary variables introduced 32
667.35/669.36 c CG solutions found 30
667.35/669.36 c CG cores constructed 53
667.35/669.36 c CG core cardinality constraints returned 30
667.35/669.36 c CG unit cores 0
667.35/669.36 c CG single cores 53
667.35/669.36 c CG blocks removed during cardinality reduction 0
667.35/669.36 c CG first core best 0
667.35/669.36 c CG decision core best 0
667.35/669.36 c CG core reduction tie 0
667.35/669.36 c CG core degree average 16.42
667.35/669.36 c CG core slack average 0.60
667.35/669.36 c CG core upper bound improvements 0
667.35/669.36 c STR number of successful calls 0
667.35/669.36 c STR number of unsuccessful calls 0
667.35/669.36 c STR number of inconclusive calls 0
667.35/669.36 c STR number of successful attempts 0
667.35/669.36 c STR number of unsuccessful attempts 0
667.35/669.36 c STR number of inconclusive attempts 0
667.35/669.36 c STR average degree increase per successful call inf
667.35/669.36 c STR average degree increase per successful attempt inf
667.35/669.36 c STR total number of conflicts for successful attempts 0
667.35/669.36 c STR total number of conflicts for unsuccessful attempts 0
667.35/669.36 c STR total number of conflicts for inconclusive attempts 0
667.35/669.36 c STR average number of conflicts per successful attempt inf
667.35/669.36 c STR average number of conflicts per unsuccessful attempt inf
667.35/669.36 c STR average number of conflicts per inconclusive attempt inf
667.35/669.36 c AVG.sumWPerc 40.36
667.35/669.36 c bigint constraints 0
667.35/669.36 o -29
667.35/669.36 s OPTIMUM FOUND
667.35/669.36 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
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: 63837 MiB (62418 MiB free)
memory of node 1: 64465 MiB (60906 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4519610-1751553920/watcher-4519610-1751553920 -o /tmp/evaluation-result-4519610-1751553920/solver-4519610-1751553920 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751550309-79815 --watchdog 3760 run-opt-break.sh HOME/instance-4519610-1751553920.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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 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
Starting watchdog thread
Starting watchdog thread
Linux 5.14.0-503.14.1.el9_5.x86_64
Current StackSize limit: 8192 KiB
solver pid=80559, runsolver pid=80556
[startup+0.100098 s]*
/proc/loadavg: 4.17 4.14 4.12 5/253 80565
/proc/meminfo: memFree=126275868/131382116 swapFree=33009904/33010684
[pid=80559] ppid=80556 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/80559/stat : 80559 (run-opt-break.s) S 80556 80559 79758 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 71071204 4292608 704 18446744073709551615 94694329458688 94694330353221 140736907198928 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94694330592272 94694330640016 94694348652544 140736907200865 140736907200994 140736907200994 140736907206596 0
/proc/80559/statm: 1048 704 640 219 0 110 0
[pid=80561] ppid=80559 vsize=20028 memory=11920 CPUtime=0.09 cores=5,7
/proc/80561/stat : 80561 (pbsuma) R 80559 80559 79758 0 -1 4194304 2600 0 0 0 9 0 0 0 20 0 1 0 71071205 20508672 2980 18446744073709551615 4210688 4653049 140732515728864 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 13864960 140732515735907 140732515736114 140732515736114 140732515741679 0
/proc/80561/statm: 5007 2980 1024 108 0 2415 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 24220 KiB
Current children cumulated memory: 14736 KiB
[startup+0.214639 s]*
/proc/loadavg: 4.15 4.13 4.12 6/256 80571
/proc/meminfo: memFree=126275820/131382116 swapFree=33009904/33010684
[pid=80559] ppid=80556 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/80559/stat : 80559 (run-opt-break.s) S 80556 80559 79758 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 71071204 4292608 704 18446744073709551615 94694329458688 94694330353221 140736907198928 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94694330592272 94694330640016 94694348652544 140736907200865 140736907200994 140736907200994 140736907206596 0
/proc/80559/statm: 1048 704 640 219 0 110 0
[pid=80561] ppid=80559 vsize=20028 memory=11920 CPUtime=0.2 cores=5,7
/proc/80561/stat : 80561 (pbsuma) R 80559 80559 79758 0 -1 4194304 2600 0 0 0 20 0 0 0 20 0 1 0 71071205 20508672 2980 18446744073709551615 4210688 4653049 140732515728864 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 13864960 140732515735907 140732515736114 140732515736114 140732515741679 0
/proc/80561/statm: 5007 2980 1024 108 0 2415 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 24220 KiB
Current children cumulated memory: 14736 KiB
[startup+0.31306 s]*
/proc/loadavg: 4.15 4.13 4.12 5/256 80571
/proc/meminfo: memFree=126275820/131382116 swapFree=33009904/33010684
[pid=80559] ppid=80556 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/80559/stat : 80559 (run-opt-break.s) S 80556 80559 79758 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 71071204 4292608 704 18446744073709551615 94694329458688 94694330353221 140736907198928 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94694330592272 94694330640016 94694348652544 140736907200865 140736907200994 140736907200994 140736907206596 0
/proc/80559/statm: 1048 704 640 219 0 110 0
[pid=80561] ppid=80559 vsize=20028 memory=11920 CPUtime=0.3 cores=5,7
/proc/80561/stat : 80561 (pbsuma) R 80559 80559 79758 0 -1 4194304 2600 0 0 0 30 0 0 0 20 0 1 0 71071205 20508672 2980 18446744073709551615 4210688 4653049 140732515728864 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 13864960 140732515735907 140732515736114 140732515736114 140732515741679 0
/proc/80561/statm: 5007 2980 1024 108 0 2415 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 24220 KiB
Current children cumulated memory: 14736 KiB
[startup+0.700351 s]
/proc/loadavg: 4.15 4.13 4.12 5/256 80571
/proc/meminfo: memFree=126275820/131382116 swapFree=33009904/33010684
[pid=80559] ppid=80556 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/80559/stat : 80559 (run-opt-break.s) S 80556 80559 79758 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 71071204 4292608 704 18446744073709551615 94694329458688 94694330353221 140736907198928 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94694330592272 94694330640016 94694348652544 140736907200865 140736907200994 140736907200994 140736907206596 0
/proc/80559/statm: 1048 704 640 219 0 110 0
[pid=80561] ppid=80559 vsize=20028 memory=11920 CPUtime=0.67 cores=5,7
/proc/80561/stat : 80561 (pbsuma) R 80559 80559 79758 0 -1 4194304 2600 0 0 0 67 0 0 0 20 0 1 0 71071205 20508672 2980 18446744073709551615 4210688 4653049 140732515728864 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 13864960 140732515735907 140732515736114 140732515736114 140732515741679 0
/proc/80561/statm: 5007 2980 1024 108 0 2415 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 24220 KiB
Current children cumulated memory: 14736 KiB
[startup+1.50033 s]
/proc/loadavg: 4.15 4.13 4.12 5/256 80571
/proc/meminfo: memFree=126276076/131382116 swapFree=33009904/33010684
[pid=80559] ppid=80556 vsize=4192 memory=2816 CPUtime=1.29 cores=5,7
/proc/80559/stat : 80559 (run-opt-break.s) S 80556 80559 79758 0 -1 4194304 234 2683 0 0 0 0 129 0 20 0 1 0 71071204 4292608 704 18446744073709551615 94694329458688 94694330353221 140736907198928 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94694330592272 94694330640016 94694348652544 140736907200865 140736907200994 140736907200994 140736907206596 0
/proc/80559/statm: 1048 704 640 219 0 110 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2816 KiB
[startup+3.1134 s]
/proc/loadavg: 4.15 4.13 4.12 5/256 80620
/proc/meminfo: memFree=128119312/131382116 swapFree=33009904/33010684
[pid=80559] ppid=80556 vsize=4192 memory=2816 CPUtime=1.29 cores=5,7
/proc/80559/stat : 80559 (run-opt-break.s) S 80556 80559 79758 0 -1 4194304 234 2683 0 0 0 0 129 0 20 0 1 0 71071204 4292608 704 18446744073709551615 94694329458688 94694330353221 140736907198928 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94694330592272 94694330640016 94694348652544 140736907200865 140736907200994 140736907200994 140736907206596 0
/proc/80559/statm: 1048 704 640 219 0 110 0
[pid=80572] ppid=80559 vsize=128272 memory=76708 CPUtime=1.77 cores=5,7
/proc/80572/stat : 80572 (roundingsat) R 80559 80559 79758 0 -1 4194304 15174 0 0 0 155 22 0 0 20 0 1 0 71071336 131350528 19177 18446744073709551615 4227072 8923433 140722111683136 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39133184 140722111691108 140722111691304 140722111691304 140722111696874 0
/proc/80572/statm: 32068 19177 2400 1147 0 19495 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 132464 KiB
Current children cumulated memory: 79524 KiB
[startup+6.30032 s]
/proc/loadavg: 4.14 4.13 4.12 5/256 80666
/proc/meminfo: memFree=128061312/131382116 swapFree=33009904/33010684
[pid=80559] ppid=80556 vsize=4192 memory=2816 CPUtime=1.29 cores=5,7
/proc/80559/stat : 80559 (run-opt-break.s) S 80556 80559 79758 0 -1 4194304 234 2683 0 0 0 0 129 0 20 0 1 0 71071204 4292608 704 18446744073709551615 94694329458688 94694330353221 140736907198928 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94694330592272 94694330640016 94694348652544 140736907200865 140736907200994 140736907200994 140736907206596 0
/proc/80559/statm: 1048 704 640 219 0 110 0
[pid=80572] ppid=80559 vsize=140028 memory=91808 CPUtime=4.96 cores=5,7
/proc/80572/stat : 80572 (roundingsat) R 80559 80559 79758 0 -1 4194304 17909 0 0 0 466 30 0 0 20 0 1 0 71071336 143388672 22952 18446744073709551615 4227072 8923433 140722111683136 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39133184 140722111691108 140722111691304 140722111691304 140722111696874 0
/proc/80572/statm: 35007 22952 2400 1147 0 22434 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 144220 KiB
Current children cumulated memory: 94624 KiB
[startup+12.7003 s]
/proc/loadavg: 4.21 4.15 4.12 5/256 80666
/proc/meminfo: memFree=127998148/131382116 swapFree=33009904/33010684
[pid=80559] ppid=80556 vsize=4192 memory=2816 CPUtime=1.29 cores=5,7
/proc/80559/stat : 80559 (run-opt-break.s) S 80556 80559 79758 0 -1 4194304 234 2683 0 0 0 0 129 0 20 0 1 0 71071204 4292608 704 18446744073709551615 94694329458688 94694330353221 140736907198928 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94694330592272 94694330640016 94694348652544 140736907200865 140736907200994 140736907200994 140736907206596 0
/proc/80559/statm: 1048 704 640 219 0 110 0
[pid=80572] ppid=80559 vsize=180840 memory=125408 CPUtime=11.33 cores=5,7
/proc/80572/stat : 80572 (roundingsat) R 80559 80559 79758 0 -1 4194304 24805 0 0 0 1093 40 0 0 20 0 1 0 71071336 185180160 31352 18446744073709551615 4227072 8923433 140722111683136 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39133184 140722111691108 140722111691304 140722111691304 140722111696874 0
/proc/80572/statm: 45210 31352 2400 1147 0 32637 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 185032 KiB
Current children cumulated memory: 128224 KiB
[startup+25.5004 s]
/proc/loadavg: 4.33 4.18 4.13 5/256 80666
/proc/meminfo: memFree=127966684/131382116 swapFree=33009904/33010684
[pid=80559] ppid=80556 vsize=4192 memory=2816 CPUtime=1.29 cores=5,7
/proc/80559/stat : 80559 (run-opt-break.s) S 80556 80559 79758 0 -1 4194304 234 2683 0 0 0 0 129 0 20 0 1 0 71071204 4292608 704 18446744073709551615 94694329458688 94694330353221 140736907198928 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94694330592272 94694330640016 94694348652544 140736907200865 140736907200994 140736907200994 140736907206596 0
/proc/80559/statm: 1048 704 640 219 0 110 0
[pid=80572] ppid=80559 vsize=194044 memory=138720 CPUtime=24.1 cores=5,7
/proc/80572/stat : 80572 (roundingsat) R 80559 80559 79758 0 -1 4194304 28127 0 0 0 2348 62 0 0 20 0 1 0 71071336 198701056 34680 18446744073709551615 4227072 8923433 140722111683136 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39133184 140722111691108 140722111691304 140722111691304 140722111696874 0
/proc/80572/statm: 48511 34680 2400 1147 0 35938 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 198236 KiB
Current children cumulated memory: 141536 KiB
[startup+51.113 s]
/proc/loadavg: 4.44 4.22 4.15 5/256 80668
/proc/meminfo: memFree=127757776/131382116 swapFree=33009904/33010684
[pid=80559] ppid=80556 vsize=4192 memory=2816 CPUtime=1.29 cores=5,7
/proc/80559/stat : 80559 (run-opt-break.s) S 80556 80559 79758 0 -1 4194304 234 2683 0 0 0 0 129 0 20 0 1 0 71071204 4292608 704 18446744073709551615 94694329458688 94694330353221 140736907198928 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94694330592272 94694330640016 94694348652544 140736907200865 140736907200994 140736907200994 140736907206596 0
/proc/80559/statm: 1048 704 640 219 0 110 0
[pid=80572] ppid=80559 vsize=235932 memory=165080 CPUtime=49.64 cores=5,7
/proc/80572/stat : 80572 (roundingsat) R 80559 80559 79758 0 -1 4194304 33718 0 0 0 4865 99 0 0 20 0 1 0 71071336 241594368 41270 18446744073709551615 4227072 8923433 140722111683136 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39133184 140722111691108 140722111691304 140722111691304 140722111696874 0
/proc/80572/statm: 58983 41270 2400 1147 0 46410 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 240124 KiB
Current children cumulated memory: 167896 KiB
[startup+102.3 s]
/proc/loadavg: 4.25 4.20 4.15 5/256 80670
/proc/meminfo: memFree=127540380/131382116 swapFree=33009904/33010684
[pid=80559] ppid=80556 vsize=4192 memory=2816 CPUtime=1.29 cores=5,7
/proc/80559/stat : 80559 (run-opt-break.s) S 80556 80559 79758 0 -1 4194304 234 2683 0 0 0 0 129 0 20 0 1 0 71071204 4292608 704 18446744073709551615 94694329458688 94694330353221 140736907198928 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94694330592272 94694330640016 94694348652544 140736907200865 140736907200994 140736907200994 140736907206596 0
/proc/80559/statm: 1048 704 640 219 0 110 0
[pid=80572] ppid=80559 vsize=249852 memory=188264 CPUtime=100.68 cores=5,7
/proc/80572/stat : 80572 (roundingsat) R 80559 80559 79758 0 -1 4194304 37478 0 0 0 9900 168 0 0 20 0 1 0 71071336 255848448 47066 18446744073709551615 4227072 8923433 140722111683136 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39133184 140722111691108 140722111691304 140722111691304 140722111696874 0
/proc/80572/statm: 62463 47066 2400 1147 0 49890 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 254044 KiB
Current children cumulated memory: 191080 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.18 4.14 5/256 80671
/proc/meminfo: memFree=127389012/131382116 swapFree=33009904/33010684
[pid=80559] ppid=80556 vsize=4192 memory=2816 CPUtime=1.29 cores=5,7
/proc/80559/stat : 80559 (run-opt-break.s) S 80556 80559 79758 0 -1 4194304 234 2683 0 0 0 0 129 0 20 0 1 0 71071204 4292608 704 18446744073709551615 94694329458688 94694330353221 140736907198928 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94694330592272 94694330640016 94694348652544 140736907200865 140736907200994 140736907200994 140736907206596 0
/proc/80559/statm: 1048 704 640 219 0 110 0
[pid=80572] ppid=80559 vsize=266560 memory=208140 CPUtime=160.53 cores=5,7
/proc/80572/stat : 80572 (roundingsat) R 80559 80559 79758 0 -1 4194304 41449 0 0 0 15814 239 0 0 20 0 1 0 71071336 272957440 52035 18446744073709551615 4227072 8923433 140722111683136 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39133184 140722111691108 140722111691304 140722111691304 140722111696874 0
/proc/80572/statm: 66640 52035 2400 1147 0 54067 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 270752 KiB
Current children cumulated memory: 210956 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.17 4.14 5/255 80673
/proc/meminfo: memFree=127207380/131382116 swapFree=33009904/33010684
[pid=80559] ppid=80556 vsize=4192 memory=2816 CPUtime=1.29 cores=5,7
/proc/80559/stat : 80559 (run-opt-break.s) S 80556 80559 79758 0 -1 4194304 234 2683 0 0 0 0 129 0 20 0 1 0 71071204 4292608 704 18446744073709551615 94694329458688 94694330353221 140736907198928 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94694330592272 94694330640016 94694348652544 140736907200865 140736907200994 140736907200994 140736907206596 0
/proc/80559/statm: 1048 704 640 219 0 110 0
[pid=80572] ppid=80559 vsize=276236 memory=223952 CPUtime=220.34 cores=5,7
/proc/80572/stat : 80572 (roundingsat) R 80559 80559 79758 0 -1 4194304 44181 0 0 0 21715 319 0 0 20 0 1 0 71071336 282865664 55988 18446744073709551615 4227072 8923433 140722111683136 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39133184 140722111691108 140722111691304 140722111691304 140722111696874 0
/proc/80572/statm: 69059 55988 2400 1147 0 56486 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 280428 KiB
Current children cumulated memory: 226768 KiB
################
# More data... #
################
/proc/80572/stat : 80572 (roundingsat) R 80559 80559 79758 0 -1 4194304 48255 0 0 0 45286 676 0 0 20 0 1 0 71071336 329420800 62954 18446744073709551615 4227072 8923433 140722111683136 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39133184 140722111691108 140722111691304 140722111691304 140722111696874 0
/proc/80572/statm: 80425 62954 2400 1147 0 67852 0
Current children cumulated CPU time: 460.91 s
Current children cumulated vsize: 325892 KiB
Current children cumulated memory: 254632 KiB
[startup+522.3 s]
/proc/loadavg: 4.14 4.13 4.12 5/256 80693
/proc/meminfo: memFree=126933340/131382116 swapFree=33009904/33010684
[pid=80559] ppid=80556 vsize=4192 memory=2816 CPUtime=1.29 cores=5,7
/proc/80559/stat : 80559 (run-opt-break.s) S 80556 80559 79758 0 -1 4194304 234 2683 0 0 0 0 129 0 20 0 1 0 71071204 4292608 704 18446744073709551615 94694329458688 94694330353221 140736907198928 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94694330592272 94694330640016 94694348652544 140736907200865 140736907200994 140736907200994 140736907206596 0
/proc/80559/statm: 1048 704 640 219 0 110 0
[pid=80572] ppid=80559 vsize=321700 memory=251816 CPUtime=519.45 cores=5,7
/proc/80572/stat : 80572 (roundingsat) R 80559 80559 79758 0 -1 4194304 48255 0 0 0 51111 834 0 0 20 0 1 0 71071336 329420800 62954 18446744073709551615 4227072 8923433 140722111683136 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39133184 140722111691108 140722111691304 140722111691304 140722111696874 0
/proc/80572/statm: 80425 62954 2400 1147 0 67852 0
Current children cumulated CPU time: 520.74 s
Current children cumulated vsize: 325892 KiB
Current children cumulated memory: 254632 KiB
[startup+582.3 s]
/proc/loadavg: 4.14 4.14 4.12 5/256 80695
/proc/meminfo: memFree=126887216/131382116 swapFree=33009904/33010684
[pid=80559] ppid=80556 vsize=4192 memory=2816 CPUtime=1.29 cores=5,7
/proc/80559/stat : 80559 (run-opt-break.s) S 80556 80559 79758 0 -1 4194304 234 2683 0 0 0 0 129 0 20 0 1 0 71071204 4292608 704 18446744073709551615 94694329458688 94694330353221 140736907198928 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94694330592272 94694330640016 94694348652544 140736907200865 140736907200994 140736907200994 140736907206596 0
/proc/80559/statm: 1048 704 640 219 0 110 0
[pid=80572] ppid=80559 vsize=321700 memory=251816 CPUtime=579.29 cores=5,7
/proc/80572/stat : 80572 (roundingsat) R 80559 80559 79758 0 -1 4194304 48261 0 0 0 56919 1010 0 0 20 0 1 0 71071336 329420800 62954 18446744073709551615 4227072 8923433 140722111683136 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39133184 140722111691108 140722111691304 140722111691304 140722111696874 0
/proc/80572/statm: 80425 62954 2400 1147 0 67852 0
Current children cumulated CPU time: 580.58 s
Current children cumulated vsize: 325892 KiB
Current children cumulated memory: 254632 KiB
[startup+642.3 s]
/proc/loadavg: 4.10 4.13 4.12 5/253 80697
/proc/meminfo: memFree=126843604/131382116 swapFree=33009904/33010684
[pid=80559] ppid=80556 vsize=4192 memory=2816 CPUtime=1.29 cores=5,7
/proc/80559/stat : 80559 (run-opt-break.s) S 80556 80559 79758 0 -1 4194304 234 2683 0 0 0 0 129 0 20 0 1 0 71071204 4292608 704 18446744073709551615 94694329458688 94694330353221 140736907198928 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94694330592272 94694330640016 94694348652544 140736907200865 140736907200994 140736907200994 140736907206596 0
/proc/80559/statm: 1048 704 640 219 0 110 0
[pid=80572] ppid=80559 vsize=324592 memory=254632 CPUtime=639.14 cores=5,7
/proc/80572/stat : 80572 (roundingsat) R 80559 80559 79758 0 -1 4194304 48984 0 0 0 62716 1198 0 0 20 0 1 0 71071336 332382208 63658 18446744073709551615 4227072 8923433 140722111683136 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39133184 140722111691108 140722111691304 140722111691304 140722111696874 0
/proc/80572/statm: 81148 63658 2400 1147 0 68575 0
Current children cumulated CPU time: 640.43 s
Current children cumulated vsize: 328784 KiB
Current children cumulated memory: 257448 KiB
[startup+669.365 s]
# the end of solver process 80559 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=654.51 s, system=12.929 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+652.8 s]
/proc/loadavg: 4.08 4.12 4.12 5/253 80697
/proc/meminfo: memFree=126846100/131382116 swapFree=33009904/33010684
[pid=80559] ppid=80556 vsize=4192 memory=2816 CPUtime=1.29 cores=5,7
/proc/80559/stat : 80559 (run-opt-break.s) S 80556 80559 79758 0 -1 4194304 234 2683 0 0 0 0 129 0 20 0 1 0 71071204 4292608 704 18446744073709551615 94694329458688 94694330353221 140736907198928 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94694330592272 94694330640016 94694348652544 140736907200865 140736907200994 140736907200994 140736907206596 0
/proc/80559/statm: 1048 704 640 219 0 110 0
[pid=80572] ppid=80559 vsize=324592 memory=254632 CPUtime=649.6 cores=5,7
/proc/80572/stat : 80572 (roundingsat) R 80559 80559 79758 0 -1 4194304 48985 0 0 0 63729 1231 0 0 20 0 1 0 71071336 332382208 63658 18446744073709551615 4227072 8923433 140722111683136 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39133184 140722111691108 140722111691304 140722111691304 140722111696874 0
/proc/80572/statm: 81148 63658 2400 1147 0 68575 0
Current children cumulated CPU time: 650.89 s
Current children cumulated vsize: 328784 KiB
Current children cumulated memory: 257448 KiB
[startup+659.2 s]
/proc/loadavg: 4.07 4.12 4.11 5/253 80698
/proc/meminfo: memFree=126846352/131382116 swapFree=33009904/33010684
[pid=80559] ppid=80556 vsize=4192 memory=2816 CPUtime=1.29 cores=5,7
/proc/80559/stat : 80559 (run-opt-break.s) S 80556 80559 79758 0 -1 4194304 234 2683 0 0 0 0 129 0 20 0 1 0 71071204 4292608 704 18446744073709551615 94694329458688 94694330353221 140736907198928 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94694330592272 94694330640016 94694348652544 140736907200865 140736907200994 140736907200994 140736907206596 0
/proc/80559/statm: 1048 704 640 219 0 110 0
[pid=80572] ppid=80559 vsize=324592 memory=254632 CPUtime=655.99 cores=5,7
/proc/80572/stat : 80572 (roundingsat) R 80559 80559 79758 0 -1 4194304 48985 0 0 0 64345 1254 0 0 20 0 1 0 71071336 332382208 63658 18446744073709551615 4227072 8923433 140722111683136 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39133184 140722111691108 140722111691304 140722111691304 140722111696874 0
/proc/80572/statm: 81148 63658 2400 1147 0 68575 0
Current children cumulated CPU time: 657.28 s
Current children cumulated vsize: 328784 KiB
Current children cumulated memory: 257448 KiB
[startup+665.6 s]
/proc/loadavg: 4.07 4.12 4.11 5/253 80699
/proc/meminfo: memFree=126845744/131382116 swapFree=33009904/33010684
[pid=80559] ppid=80556 vsize=4192 memory=2816 CPUtime=1.29 cores=5,7
/proc/80559/stat : 80559 (run-opt-break.s) S 80556 80559 79758 0 -1 4194304 234 2683 0 0 0 0 129 0 20 0 1 0 71071204 4292608 704 18446744073709551615 94694329458688 94694330353221 140736907198928 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94694330592272 94694330640016 94694348652544 140736907200865 140736907200994 140736907200994 140736907206596 0
/proc/80559/statm: 1048 704 640 219 0 110 0
[pid=80572] ppid=80559 vsize=324592 memory=254632 CPUtime=662.38 cores=5,7
/proc/80572/stat : 80572 (roundingsat) R 80559 80559 79758 0 -1 4194304 48987 0 0 0 64960 1278 0 0 20 0 1 0 71071336 332382208 63658 18446744073709551615 4227072 8923433 140722111683136 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39133184 140722111691108 140722111691304 140722111691304 140722111696874 0
/proc/80572/statm: 81148 63658 2400 1147 0 68575 0
Current children cumulated CPU time: 663.67 s
Current children cumulated vsize: 328784 KiB
Current children cumulated memory: 257448 KiB
[startup+667.2 s]
/proc/loadavg: 4.06 4.12 4.11 5/253 80699
/proc/meminfo: memFree=126845996/131382116 swapFree=33009904/33010684
[pid=80559] ppid=80556 vsize=4192 memory=2816 CPUtime=1.29 cores=5,7
/proc/80559/stat : 80559 (run-opt-break.s) S 80556 80559 79758 0 -1 4194304 234 2683 0 0 0 0 129 0 20 0 1 0 71071204 4292608 704 18446744073709551615 94694329458688 94694330353221 140736907198928 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94694330592272 94694330640016 94694348652544 140736907200865 140736907200994 140736907200994 140736907206596 0
/proc/80559/statm: 1048 704 640 219 0 110 0
[pid=80572] ppid=80559 vsize=324592 memory=254632 CPUtime=663.97 cores=5,7
/proc/80572/stat : 80572 (roundingsat) R 80559 80559 79758 0 -1 4194304 48987 0 0 0 65113 1284 0 0 20 0 1 0 71071336 332382208 63658 18446744073709551615 4227072 8923433 140722111683136 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39133184 140722111691108 140722111691304 140722111691304 140722111696874 0
/proc/80572/statm: 81148 63658 2400 1147 0 68575 0
Current children cumulated CPU time: 665.26 s
Current children cumulated vsize: 328784 KiB
Current children cumulated memory: 257448 KiB
[startup+668 s]*
/proc/loadavg: 4.06 4.12 4.11 5/253 80699
/proc/meminfo: memFree=126845996/131382116 swapFree=33009904/33010684
[pid=80559] ppid=80556 vsize=4192 memory=2816 CPUtime=1.29 cores=5,7
/proc/80559/stat : 80559 (run-opt-break.s) S 80556 80559 79758 0 -1 4194304 234 2683 0 0 0 0 129 0 20 0 1 0 71071204 4292608 704 18446744073709551615 94694329458688 94694330353221 140736907198928 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94694330592272 94694330640016 94694348652544 140736907200865 140736907200994 140736907200994 140736907206596 0
/proc/80559/statm: 1048 704 640 219 0 110 0
[pid=80572] ppid=80559 vsize=324592 memory=254632 CPUtime=664.78 cores=5,7
/proc/80572/stat : 80572 (roundingsat) R 80559 80559 79758 0 -1 4194304 48987 0 0 0 65191 1287 0 0 20 0 1 0 71071336 332382208 63658 18446744073709551615 4227072 8923433 140722111683136 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39133184 140722111691108 140722111691304 140722111691304 140722111696874 0
/proc/80572/statm: 81148 63658 2400 1147 0 68575 0
Current children cumulated CPU time: 666.07 s
Current children cumulated vsize: 328784 KiB
Current children cumulated memory: 257448 KiB
[startup+668.8 s]
/proc/loadavg: 4.06 4.12 4.11 5/253 80699
/proc/meminfo: memFree=126845996/131382116 swapFree=33009904/33010684
[pid=80559] ppid=80556 vsize=4192 memory=2816 CPUtime=1.29 cores=5,7
/proc/80559/stat : 80559 (run-opt-break.s) S 80556 80559 79758 0 -1 4194304 234 2683 0 0 0 0 129 0 20 0 1 0 71071204 4292608 704 18446744073709551615 94694329458688 94694330353221 140736907198928 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94694330592272 94694330640016 94694348652544 140736907200865 140736907200994 140736907200994 140736907206596 0
/proc/80559/statm: 1048 704 640 219 0 110 0
[pid=80572] ppid=80559 vsize=324592 memory=254632 CPUtime=665.56 cores=5,7
/proc/80572/stat : 80572 (roundingsat) R 80559 80559 79758 0 -1 4194304 48987 0 0 0 65267 1289 0 0 20 0 1 0 71071336 332382208 63658 18446744073709551615 4227072 8923433 140722111683136 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39133184 140722111691108 140722111691304 140722111691304 140722111696874 0
/proc/80572/statm: 81148 63658 2400 1147 0 68575 0
Current children cumulated CPU time: 666.85 s
Current children cumulated vsize: 328784 KiB
Current children cumulated memory: 257448 KiB
[startup+669.2 s]
/proc/loadavg: 4.06 4.12 4.11 5/253 80699
/proc/meminfo: memFree=126845996/131382116 swapFree=33009904/33010684
[pid=80559] ppid=80556 vsize=4192 memory=2816 CPUtime=1.29 cores=5,7
/proc/80559/stat : 80559 (run-opt-break.s) S 80556 80559 79758 0 -1 4194304 234 2683 0 0 0 0 129 0 20 0 1 0 71071204 4292608 704 18446744073709551615 94694329458688 94694330353221 140736907198928 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94694330592272 94694330640016 94694348652544 140736907200865 140736907200994 140736907200994 140736907206596 0
/proc/80559/statm: 1048 704 640 219 0 110 0
[pid=80572] ppid=80559 vsize=324592 memory=254632 CPUtime=665.97 cores=5,7
/proc/80572/stat : 80572 (roundingsat) R 80559 80559 79758 0 -1 4194304 48987 0 0 0 65306 1291 0 0 20 0 1 0 71071336 332382208 63658 18446744073709551615 4227072 8923433 140722111683136 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39133184 140722111691108 140722111691304 140722111691304 140722111696874 0
/proc/80572/statm: 81148 63658 2400 1147 0 68575 0
Current children cumulated CPU time: 667.26 s
Current children cumulated vsize: 328784 KiB
Current children cumulated memory: 257448 KiB
[startup+669.3 s]
/proc/loadavg: 4.06 4.12 4.11 5/253 80699
/proc/meminfo: memFree=126845996/131382116 swapFree=33009904/33010684
[pid=80559] ppid=80556 vsize=4192 memory=2816 CPUtime=1.29 cores=5,7
/proc/80559/stat : 80559 (run-opt-break.s) S 80556 80559 79758 0 -1 4194304 234 2683 0 0 0 0 129 0 20 0 1 0 71071204 4292608 704 18446744073709551615 94694329458688 94694330353221 140736907198928 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94694330592272 94694330640016 94694348652544 140736907200865 140736907200994 140736907200994 140736907206596 0
/proc/80559/statm: 1048 704 640 219 0 110 0
[pid=80572] ppid=80559 vsize=324592 memory=254632 CPUtime=666.06 cores=5,7
/proc/80572/stat : 80572 (roundingsat) R 80559 80559 79758 0 -1 4194304 48987 0 0 0 65315 1291 0 0 20 0 1 0 71071336 332382208 63658 18446744073709551615 4227072 8923433 140722111683136 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39133184 140722111691108 140722111691304 140722111691304 140722111696874 0
/proc/80572/statm: 81148 63658 2400 1147 0 68575 0
Current children cumulated CPU time: 667.35 s
Current children cumulated vsize: 328784 KiB
Current children cumulated memory: 257448 KiB
Child status: 0
Real time (s): 669.365
CPU time (s): 667.439
CPU user time (s): 654.51
CPU system time (s): 12.929
CPU usage (%): 99.7123
Max. virtual memory (cumulated for all children) (KiB): 328784
Max. memory (cumulated for all children) (KiB): 257448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 654.51
system time used= 12.929
maximum resident set size= 254632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51929
page faults= 0
swaps= 0
block input operations= 0
block output operations= 648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 280
involuntary context switches= 731
# summary of solver processes directly reported to runsolver:
# pid: 80559
# total CPU time (s): 667.439
# total CPU user time (s): 654.51
# total CPU system time (s): 12.929
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.58195 second user time and 6.80936 second system time
The end
Begin job on nodeC004 at 2025-07-03 16:45:20
IDJOB=4519610
IDBENCH=177316
IDSOLVER=3359
FILE ID=nodeC004/4519610-1751553920
RUNJOBID= nodeC004-1751550309-79815
SLURM_JOB_ID= 9598729
Free space on /tmp= 431608 MiB
SOLVER NAME= roundingsat+pbsuma-opt 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxfirst_lastlayerdecr1/normalized-injcomp_opt_4layers_maxfirst_lastlayerdecr1_size_30.opb
COMMAND LINE= run-opt-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4519610-1751553920/watcher-4519610-1751553920 -o /tmp/evaluation-result-4519610-1751553920/solver-4519610-1751553920 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751550309-79815 --watchdog 3760 run-opt-break.sh HOME/instance-4519610-1751553920.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f91dbe69118ae72b0214f31a62e5b167
RANDOM SEED=1977990327
nodeC004 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 : 0xb00001f
cpu MHz : 3661.718
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74
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 : 0xb00001f
cpu MHz : 3591.672
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74
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 : 0xb00001f
cpu MHz : 1197.826
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74
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 : 0xb00001f
cpu MHz : 1197.000
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74
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 : 0xb00001f
cpu MHz : 1197.105
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74
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 : 0xb00001f
cpu MHz : 3491.871
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74
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 : 0xb00001f
cpu MHz : 1196.958
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74
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 : 0xb00001f
cpu MHz : 1197.232
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 126284960 kB
MemAvailable: 127142136 kB
Buffers: 2128 kB
Cached: 1606956 kB
SwapCached: 32 kB
Active: 3404496 kB
Inactive: 1012948 kB
Active(anon): 2815544 kB
Inactive(anon): 10748 kB
Active(file): 588952 kB
Inactive(file): 1002200 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7364 kB
Writeback: 4 kB
AnonPages: 2808860 kB
Mapped: 113976 kB
Shmem: 17932 kB
KReclaimable: 211304 kB
Slab: 298444 kB
SReclaimable: 211304 kB
SUnreclaim: 87140 kB
KernelStack: 4032 kB
PageTables: 8636 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 3245268 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149416 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2603008 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: 197448 kB
DirectMap2M: 10190848 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 431592 MiB
End job on nodeC004 at 2025-07-03 16:56:30