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-4490382-1751364136.opb'
0.00/0.01 c read 0.01MB (0.19ms)
0.00/0.01 c [cnf: #variables 120 #clauses 11 #duplicates 0 #arr 634]
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.01 c [group: #orbits ~= 0] (0.21ms)
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.01 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.01 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.01 c (0.04ms)
0.00/0.01 c
0.00/0.01 c detect symmetries on remainder
0.00/0.01 c [graph: #vertices 793 #edges 2592]
0.00/0.01 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.01 c [group: #symmetries 1.00*10^0 #generators 0] (0.06ms)
0.00/0.01 c
0.00/0.01 c finalize break order and special generators
0.00/0.01 c
0.00/0.01 c generation finished
0.00/0.01 c [sbp: #constraints 0 #add_vars 0]
0.00/0.01 c
0.00/0.01 c write result to 'HOME/instance-4490382-1751364136.opb.pre'
0.00/0.01 c wrote 0.01MB (0.08ms)
0.00/0.01 c ------------------------------------------------------------------
0.00/0.01 c 0.21ms 32.15% approx_orbits
0.00/0.01 c 0.18ms 28.21% parse
0.00/0.01 c 0.08ms 12.95% output
0.00/0.01 c 0.06ms 9.70% other
0.00/0.01 c 0.06ms 9.67% detect_generic
0.00/0.01 c 0.04ms 6.38% detect_special
0.00/0.01 c 0.01ms 0.94% finalize_order
0.00/0.01 c ───────────────────────────────────────────────
0.00/0.01 c 0.65ms 100% total
0.00/0.01 c ------------------------------------------------------------------
0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.03 c #variables 120 #constraints 10
0.00/0.03 c objective is ce32
0.00/0.03 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.03 c initial counting CF 32, 64, 128, Arb: 11 , 0 , 0 , 0
0.00/0.03 c bounds 190 >= 0 @ 0.003501
0.00/0.03 c rational objective 0
0.00/0.04 c bounds 186 >= 0 @ 0.011052
0.00/0.04 c bounds 99 >= 0 @ 0.011207
0.00/0.04 c bounds 93 >= 0 @ 0.011837
0.00/0.04 c bounds 65 >= 0 @ 0.012956
0.00/0.04 c bounds 35 >= 0 @ 0.015737
0.06/0.19 c #Conflicts: 1000 | #Constraints: 1034
0.06/0.19 c #Conflicts: 2000 | #Constraints: 2039
0.06/0.19 c INPROCESSING
0.06/0.19 c GARBAGE COLLECT
0.06/0.19 c rational objective 0
0.06/0.19 c bounds 33 >= 0 @ 0.153119
0.06/0.19 c bounds 31 >= 0 @ 0.153597
0.06/0.20 c bounds 29 >= 0 @ 0.154195
0.06/0.20 c bounds 27 >= 0 @ 0.154745
0.06/0.20 c bounds 25 >= 0 @ 0.155495
0.06/0.20 c bounds 23 >= 0 @ 0.156051
0.06/0.20 c bounds 17 >= 0 @ 0.156682
0.17/0.22 c bounds 15 >= 0 @ 0.173752
0.17/0.22 c bounds 13 >= 0 @ 0.174131
0.17/0.26 c bounds 9 >= 0 @ 0.211968
0.17/0.26 c bounds 7 >= 0 @ 0.212288
0.17/0.26 c bounds 5 >= 0 @ 0.212288
0.27/0.39 c #Conflicts: 3000 | #Constraints: 2026
0.27/0.39 c #Conflicts: 4000 | #Constraints: 3039
0.27/0.39 c INPROCESSING
0.27/0.39 c GARBAGE COLLECT
0.27/0.39 c rational objective 0
0.57/0.62 c #Conflicts: 5000 | #Constraints: 2426
0.57/0.62 c #Conflicts: 6000 | #Constraints: 3428
0.57/0.62 c INPROCESSING
0.57/0.62 c GARBAGE COLLECT
0.57/0.62 c rational objective 0
0.86/0.90 c #Conflicts: 7000 | #Constraints: 2429
0.86/0.90 c #Conflicts: 8000 | #Constraints: 3429
0.86/0.90 c #Conflicts: 9000 | #Constraints: 4431
0.86/0.90 c INPROCESSING
0.86/0.90 c GARBAGE COLLECT
0.86/0.90 c rational objective 0
1.15/1.21 c #Conflicts: 10000 | #Constraints: 3128
1.15/1.21 c #Conflicts: 11000 | #Constraints: 4130
1.15/1.21 c #Conflicts: 12000 | #Constraints: 5130
1.15/1.21 c INPROCESSING
1.15/1.21 c GARBAGE COLLECT
1.15/1.21 c rational objective 0
1.46/1.57 c #Conflicts: 13000 | #Constraints: 3582
1.46/1.57 c #Conflicts: 14000 | #Constraints: 4584
1.46/1.57 c #Conflicts: 15000 | #Constraints: 5586
1.46/1.57 c INPROCESSING
1.46/1.57 c GARBAGE COLLECT
1.46/1.57 c rational objective 0
1.86/1.98 c #Conflicts: 16000 | #Constraints: 3807
1.86/1.98 c #Conflicts: 17000 | #Constraints: 4807
1.86/1.98 c #Conflicts: 18000 | #Constraints: 5807
1.86/1.98 c INPROCESSING
1.86/1.98 c GARBAGE COLLECT
1.86/1.98 c rational objective 0
2.35/2.44 c #Conflicts: 19000 | #Constraints: 3818
2.35/2.44 c #Conflicts: 20000 | #Constraints: 4818
2.35/2.44 c #Conflicts: 21000 | #Constraints: 5818
2.35/2.44 c INPROCESSING
2.35/2.44 c GARBAGE COLLECT
2.35/2.44 c rational objective 0
2.85/2.92 c #Conflicts: 22000 | #Constraints: 3623
2.85/2.92 c #Conflicts: 23000 | #Constraints: 4624
2.85/2.92 c #Conflicts: 24000 | #Constraints: 5624
2.85/2.92 c #Conflicts: 25000 | #Constraints: 6624
2.85/2.92 c INPROCESSING
2.85/2.92 c GARBAGE COLLECT
2.85/2.92 c rational objective 0
3.35/3.46 c #Conflicts: 26000 | #Constraints: 4228
3.35/3.46 c #Conflicts: 27000 | #Constraints: 5228
3.35/3.46 c #Conflicts: 28000 | #Constraints: 6228
3.35/3.46 c #Conflicts: 29000 | #Constraints: 7229
3.35/3.46 c INPROCESSING
3.35/3.46 c GARBAGE COLLECT
3.35/3.46 c rational objective 0
4.25/4.33 c #Conflicts: 30000 | #Constraints: 5092
4.25/4.33 c #Conflicts: 31000 | #Constraints: 6388
4.25/4.33 c #Conflicts: 32000 | #Constraints: 7621
4.25/4.33 c #Conflicts: 33000 | #Constraints: 8930
4.25/4.33 c INPROCESSING
4.25/4.33 c GARBAGE COLLECT
4.25/4.33 c rational objective 0
5.35/5.43 c #Conflicts: 34000 | #Constraints: 5982
5.35/5.43 c #Conflicts: 35000 | #Constraints: 7478
5.35/5.43 c #Conflicts: 36000 | #Constraints: 8984
5.35/5.43 c #Conflicts: 37000 | #Constraints: 10504
5.35/5.43 c INPROCESSING
5.35/5.43 c GARBAGE COLLECT
5.35/5.43 c rational objective 0
6.45/6.59 c #Conflicts: 38000 | #Constraints: 6570
6.45/6.59 c #Conflicts: 39000 | #Constraints: 7993
6.45/6.59 c #Conflicts: 40000 | #Constraints: 9472
6.45/6.59 c #Conflicts: 41000 | #Constraints: 10890
6.45/6.59 c INPROCESSING
6.45/6.59 c GARBAGE COLLECT
6.45/6.59 c rational objective 0
7.84/7.90 c #Conflicts: 42000 | #Constraints: 6453
7.84/7.90 c #Conflicts: 43000 | #Constraints: 7929
7.84/7.90 c #Conflicts: 44000 | #Constraints: 9430
7.84/7.90 c #Conflicts: 45000 | #Constraints: 10783
7.84/7.90 c #Conflicts: 46000 | #Constraints: 12165
7.84/7.90 c INPROCESSING
7.84/7.90 c GARBAGE COLLECT
7.84/7.90 c rational objective 0
9.04/9.19 c #Conflicts: 47000 | #Constraints: 7317
9.04/9.19 c #Conflicts: 48000 | #Constraints: 8682
9.04/9.19 c #Conflicts: 49000 | #Constraints: 10137
9.04/9.19 c #Conflicts: 50000 | #Constraints: 11439
9.04/9.19 c #Conflicts: 51000 | #Constraints: 12925
9.04/9.19 c INPROCESSING
9.04/9.19 c GARBAGE COLLECT
9.04/9.19 c rational objective 0
9.53/9.66 c #Conflicts: 52000 | #Constraints: 7663
9.53/9.66 c bounds 4 >= 0 @ 9.25676
10.44/10.56 c #Conflicts: 53000 | #Constraints: 8972
10.44/10.56 c #Conflicts: 54000 | #Constraints: 10262
10.44/10.56 c #Conflicts: 55000 | #Constraints: 11737
10.44/10.56 c #Conflicts: 56000 | #Constraints: 13038
10.44/10.56 c INPROCESSING
10.44/10.56 c GARBAGE COLLECT
10.44/10.56 c rational objective 0
11.83/11.93 c #Conflicts: 57000 | #Constraints: 7768
11.83/11.93 c #Conflicts: 58000 | #Constraints: 9064
11.83/11.93 c #Conflicts: 59000 | #Constraints: 10377
11.83/11.93 c #Conflicts: 60000 | #Constraints: 11858
11.83/11.93 c #Conflicts: 61000 | #Constraints: 13088
11.83/11.93 c INPROCESSING
11.83/11.93 c GARBAGE COLLECT
11.83/11.93 c rational objective 0
13.33/13.41 c #Conflicts: 62000 | #Constraints: 7702
13.33/13.41 c #Conflicts: 63000 | #Constraints: 8935
13.33/13.41 c #Conflicts: 64000 | #Constraints: 10101
13.33/13.41 c #Conflicts: 65000 | #Constraints: 11348
13.33/13.41 c #Conflicts: 66000 | #Constraints: 12795
13.33/13.41 c INPROCESSING
13.33/13.41 c GARBAGE COLLECT
13.33/13.41 c rational objective 0
14.72/14.88 c #Conflicts: 67000 | #Constraints: 7218
14.72/14.88 c #Conflicts: 68000 | #Constraints: 8426
14.72/14.88 c #Conflicts: 69000 | #Constraints: 9855
14.72/14.88 c #Conflicts: 70000 | #Constraints: 10957
14.72/14.88 c #Conflicts: 71000 | #Constraints: 12410
14.72/14.88 c #Conflicts: 72000 | #Constraints: 13643
14.72/14.88 c INPROCESSING
14.72/14.88 c GARBAGE COLLECT
14.72/14.88 c rational objective 0
15.82/15.95 c #Conflicts: 73000 | #Constraints: 8031
15.82/15.95 c #Conflicts: 74000 | #Constraints: 9416
15.82/15.95 c #Conflicts: 75000 | #Constraints: 10653
15.82/15.95 c #Conflicts: 76000 | #Constraints: 11995
15.82/15.95 c bounds 3 >= 0 @ 15.3231
16.41/16.59 c #Conflicts: 77000 | #Constraints: 13269
16.41/16.59 c #Conflicts: 78000 | #Constraints: 14561
16.41/16.59 c INPROCESSING
16.41/16.59 c GARBAGE COLLECT
16.41/16.59 c rational objective 0
18.41/18.57 c #Conflicts: 79000 | #Constraints: 8792
18.41/18.57 c #Conflicts: 80000 | #Constraints: 10316
18.41/18.57 c #Conflicts: 81000 | #Constraints: 11828
18.41/18.57 c #Conflicts: 82000 | #Constraints: 13331
18.41/18.57 c #Conflicts: 83000 | #Constraints: 14848
18.41/18.57 c #Conflicts: 84000 | #Constraints: 16368
18.41/18.57 c INPROCESSING
18.41/18.57 c GARBAGE COLLECT
18.41/18.57 c rational objective 0
20.50/20.64 c #Conflicts: 85000 | #Constraints: 9638
20.50/20.64 c #Conflicts: 86000 | #Constraints: 11113
20.50/20.64 c #Conflicts: 87000 | #Constraints: 12587
20.50/20.64 c #Conflicts: 88000 | #Constraints: 13987
20.50/20.64 c #Conflicts: 89000 | #Constraints: 15265
20.50/20.64 c #Conflicts: 90000 | #Constraints: 16758
20.50/20.64 c INPROCESSING
20.50/20.64 c GARBAGE COLLECT
20.50/20.64 c rational objective 0
22.90/23.05 c #Conflicts: 91000 | #Constraints: 9721
22.90/23.05 c #Conflicts: 92000 | #Constraints: 11212
22.90/23.05 c #Conflicts: 93000 | #Constraints: 12701
22.90/23.05 c #Conflicts: 94000 | #Constraints: 14220
22.90/23.05 c #Conflicts: 95000 | #Constraints: 15713
22.90/23.05 c #Conflicts: 96000 | #Constraints: 17221
22.90/23.05 c INPROCESSING
22.90/23.05 c GARBAGE COLLECT
22.90/23.05 c rational objective 0
25.28/25.44 c #Conflicts: 97000 | #Constraints: 9663
25.28/25.44 c #Conflicts: 98000 | #Constraints: 11064
25.28/25.44 c #Conflicts: 99000 | #Constraints: 12556
25.28/25.44 c #Conflicts: 100000 | #Constraints: 14052
25.28/25.44 c #Conflicts: 101000 | #Constraints: 15550
25.28/25.44 c #Conflicts: 102000 | #Constraints: 17056
25.28/25.44 c #Conflicts: 103000 | #Constraints: 18565
25.28/25.44 c INPROCESSING
25.28/25.44 c GARBAGE COLLECT
25.28/25.44 c rational objective 0
27.89/28.03 c #Conflicts: 104000 | #Constraints: 10520
27.89/28.03 c #Conflicts: 105000 | #Constraints: 12005
27.89/28.03 c #Conflicts: 106000 | #Constraints: 13495
27.89/28.03 c #Conflicts: 107000 | #Constraints: 14975
27.89/28.03 c #Conflicts: 108000 | #Constraints: 16462
27.89/28.03 c #Conflicts: 109000 | #Constraints: 17945
27.89/28.03 c #Conflicts: 110000 | #Constraints: 19437
27.89/28.03 c INPROCESSING
27.89/28.03 c GARBAGE COLLECT
27.89/28.03 c rational objective 0
30.57/30.76 c #Conflicts: 111000 | #Constraints: 11162
30.57/30.76 c #Conflicts: 112000 | #Constraints: 12698
30.57/30.76 c #Conflicts: 113000 | #Constraints: 14024
30.57/30.76 c #Conflicts: 114000 | #Constraints: 15418
30.57/30.76 c #Conflicts: 115000 | #Constraints: 16907
30.57/30.76 c #Conflicts: 116000 | #Constraints: 18101
30.57/30.76 c #Conflicts: 117000 | #Constraints: 19623
30.57/30.76 c INPROCESSING
30.57/30.76 c GARBAGE COLLECT
30.57/30.76 c rational objective 0
33.36/33.54 c #Conflicts: 118000 | #Constraints: 11172
33.36/33.54 c #Conflicts: 119000 | #Constraints: 12660
33.36/33.54 c #Conflicts: 120000 | #Constraints: 13985
33.36/33.54 c #Conflicts: 121000 | #Constraints: 15311
33.36/33.54 c #Conflicts: 122000 | #Constraints: 16780
33.36/33.54 c #Conflicts: 123000 | #Constraints: 18153
33.36/33.54 c #Conflicts: 124000 | #Constraints: 19622
33.36/33.54 c INPROCESSING
33.36/33.54 c GARBAGE COLLECT
33.36/33.54 c rational objective 0
36.16/36.37 c #Conflicts: 125000 | #Constraints: 10885
36.16/36.37 c #Conflicts: 126000 | #Constraints: 12160
36.16/36.37 c #Conflicts: 127000 | #Constraints: 13538
36.16/36.37 c #Conflicts: 128000 | #Constraints: 15008
36.16/36.37 c #Conflicts: 129000 | #Constraints: 16313
36.16/36.37 c #Conflicts: 130000 | #Constraints: 17755
36.16/36.37 c #Conflicts: 131000 | #Constraints: 19281
36.16/36.37 c INPROCESSING
36.16/36.37 c GARBAGE COLLECT
36.16/36.37 c rational objective 0
39.04/39.29 c #Conflicts: 132000 | #Constraints: 10616
39.04/39.29 c #Conflicts: 133000 | #Constraints: 12119
39.04/39.29 c #Conflicts: 134000 | #Constraints: 13630
39.04/39.29 c #Conflicts: 135000 | #Constraints: 15114
39.04/39.29 c #Conflicts: 136000 | #Constraints: 16594
39.04/39.29 c #Conflicts: 137000 | #Constraints: 18088
39.04/39.29 c #Conflicts: 138000 | #Constraints: 19564
39.04/39.29 c #Conflicts: 139000 | #Constraints: 21039
39.04/39.29 c INPROCESSING
39.04/39.29 c GARBAGE COLLECT
39.04/39.29 c rational objective 0
42.54/42.73 c #Conflicts: 140000 | #Constraints: 11636
42.54/42.73 c #Conflicts: 141000 | #Constraints: 13135
42.54/42.73 c #Conflicts: 142000 | #Constraints: 14694
42.54/42.73 c #Conflicts: 143000 | #Constraints: 16224
42.54/42.73 c #Conflicts: 144000 | #Constraints: 17642
42.54/42.73 c #Conflicts: 145000 | #Constraints: 19047
42.54/42.73 c #Conflicts: 146000 | #Constraints: 20577
42.54/42.73 c #Conflicts: 147000 | #Constraints: 22004
42.54/42.73 c INPROCESSING
42.54/42.73 c GARBAGE COLLECT
42.54/42.73 c rational objective 0
45.93/46.19 c #Conflicts: 148000 | #Constraints: 12343
45.93/46.19 c #Conflicts: 149000 | #Constraints: 13563
45.93/46.19 c #Conflicts: 150000 | #Constraints: 14889
45.93/46.19 c #Conflicts: 151000 | #Constraints: 16208
45.93/46.19 c #Conflicts: 152000 | #Constraints: 17289
45.93/46.19 c #Conflicts: 153000 | #Constraints: 18666
45.93/46.19 c #Conflicts: 154000 | #Constraints: 20172
45.93/46.19 c #Conflicts: 155000 | #Constraints: 21667
45.93/46.19 c INPROCESSING
45.93/46.19 c GARBAGE COLLECT
45.93/46.19 c rational objective 0
50.01/50.28 c #Conflicts: 156000 | #Constraints: 12272
50.01/50.28 c #Conflicts: 157000 | #Constraints: 13627
50.01/50.28 c #Conflicts: 158000 | #Constraints: 15021
50.01/50.28 c #Conflicts: 159000 | #Constraints: 16559
50.01/50.28 c #Conflicts: 160000 | #Constraints: 18001
50.01/50.28 c #Conflicts: 161000 | #Constraints: 19260
50.01/50.28 c #Conflicts: 162000 | #Constraints: 20627
50.01/50.28 c #Conflicts: 163000 | #Constraints: 22034
50.01/50.28 c INPROCESSING
50.01/50.28 c GARBAGE COLLECT
50.01/50.28 c rational objective 0
54.40/54.66 c #Conflicts: 164000 | #Constraints: 12377
54.40/54.66 c #Conflicts: 165000 | #Constraints: 13873
54.40/54.66 c #Conflicts: 166000 | #Constraints: 15307
54.40/54.66 c #Conflicts: 167000 | #Constraints: 16812
54.40/54.66 c #Conflicts: 168000 | #Constraints: 18197
54.40/54.66 c #Conflicts: 169000 | #Constraints: 19573
54.40/54.66 c #Conflicts: 170000 | #Constraints: 20893
54.40/54.66 c #Conflicts: 171000 | #Constraints: 22258
54.40/54.66 c INPROCESSING
54.40/54.66 c GARBAGE COLLECT
54.40/54.66 c rational objective 0
58.99/59.21 c #Conflicts: 172000 | #Constraints: 12110
58.99/59.21 c #Conflicts: 173000 | #Constraints: 13416
58.99/59.21 c #Conflicts: 174000 | #Constraints: 14785
58.99/59.21 c #Conflicts: 175000 | #Constraints: 15931
58.99/59.21 c #Conflicts: 176000 | #Constraints: 17397
58.99/59.21 c #Conflicts: 177000 | #Constraints: 18905
58.99/59.21 c #Conflicts: 178000 | #Constraints: 20182
58.99/59.21 c #Conflicts: 179000 | #Constraints: 21463
58.99/59.21 c #Conflicts: 180000 | #Constraints: 22940
58.99/59.21 c INPROCESSING
58.99/59.21 c GARBAGE COLLECT
58.99/59.21 c rational objective 0
63.38/63.60 c #Conflicts: 181000 | #Constraints: 12793
63.38/63.60 c #Conflicts: 182000 | #Constraints: 14171
63.38/63.60 c #Conflicts: 183000 | #Constraints: 15575
63.38/63.60 c #Conflicts: 184000 | #Constraints: 16671
63.38/63.60 c #Conflicts: 185000 | #Constraints: 17907
63.38/63.60 c #Conflicts: 186000 | #Constraints: 18990
63.38/63.60 c #Conflicts: 187000 | #Constraints: 20260
63.38/63.60 c #Conflicts: 188000 | #Constraints: 21755
63.38/63.60 c #Conflicts: 189000 | #Constraints: 22760
63.38/63.60 c INPROCESSING
63.38/63.60 c GARBAGE COLLECT
63.38/63.60 c rational objective 0
64.07/64.34 c #Conflicts: 190000 | #Constraints: 12877
64.07/64.34 c bounds 1 >= 0 @ 62.7019
68.86/69.19 c #Conflicts: 191000 | #Constraints: 14281
68.86/69.19 c #Conflicts: 192000 | #Constraints: 15769
68.86/69.19 c #Conflicts: 193000 | #Constraints: 16945
68.86/69.19 c #Conflicts: 194000 | #Constraints: 18467
68.86/69.19 c #Conflicts: 195000 | #Constraints: 19980
68.86/69.19 c #Conflicts: 196000 | #Constraints: 21510
68.86/69.19 c #Conflicts: 197000 | #Constraints: 23050
68.86/69.19 c #Conflicts: 198000 | #Constraints: 24574
68.86/69.19 c INPROCESSING
68.86/69.19 c GARBAGE COLLECT
68.86/69.19 c rational objective 0
75.04/75.36 c #Conflicts: 199000 | #Constraints: 13791
75.04/75.36 c #Conflicts: 200000 | #Constraints: 15286
75.04/75.36 c #Conflicts: 201000 | #Constraints: 16739
75.04/75.36 c #Conflicts: 202000 | #Constraints: 18213
75.04/75.36 c #Conflicts: 203000 | #Constraints: 19676
75.04/75.36 c #Conflicts: 204000 | #Constraints: 21130
75.04/75.36 c #Conflicts: 205000 | #Constraints: 22567
75.04/75.36 c #Conflicts: 206000 | #Constraints: 24061
75.04/75.36 c #Conflicts: 207000 | #Constraints: 25426
75.04/75.36 c INPROCESSING
75.04/75.36 c GARBAGE COLLECT
75.04/75.36 c rational objective 0
79.23/79.56 c #Conflicts: 208000 | #Constraints: 13632
79.23/79.56 c #Conflicts: 209000 | #Constraints: 14633
79.23/79.56 c #Conflicts: 210000 | #Constraints: 15633
79.23/79.56 c #Conflicts: 211000 | #Constraints: 16633
79.23/79.56 c #Conflicts: 212000 | #Constraints: 17636
79.23/79.56 c #Conflicts: 213000 | #Constraints: 18636
79.23/79.56 c #Conflicts: 214000 | #Constraints: 19636
79.23/79.56 c #Conflicts: 215000 | #Constraints: 20636
79.23/79.56 c #Conflicts: 216000 | #Constraints: 21636
79.23/79.56 c INPROCESSING
79.23/79.56 c GARBAGE COLLECT
79.23/79.56 c rational objective 0
84.62/84.97 c #Conflicts: 217000 | #Constraints: 11734
84.62/84.97 c #Conflicts: 218000 | #Constraints: 13209
84.62/84.97 c #Conflicts: 219000 | #Constraints: 14691
84.62/84.97 c #Conflicts: 220000 | #Constraints: 16191
84.62/84.97 c #Conflicts: 221000 | #Constraints: 17692
84.62/84.97 c #Conflicts: 222000 | #Constraints: 19194
84.62/84.97 c #Conflicts: 223000 | #Constraints: 20697
84.62/84.97 c #Conflicts: 224000 | #Constraints: 22184
84.62/84.97 c #Conflicts: 225000 | #Constraints: 23659
84.62/84.97 c #Conflicts: 226000 | #Constraints: 25149
84.62/84.97 c INPROCESSING
84.62/84.97 c GARBAGE COLLECT
84.62/84.97 c rational objective 0
90.80/91.10 c #Conflicts: 227000 | #Constraints: 13954
90.80/91.10 c #Conflicts: 228000 | #Constraints: 15478
90.80/91.10 c #Conflicts: 229000 | #Constraints: 16994
90.80/91.10 c #Conflicts: 230000 | #Constraints: 18516
90.80/91.10 c #Conflicts: 231000 | #Constraints: 20032
90.80/91.10 c #Conflicts: 232000 | #Constraints: 21558
90.80/91.10 c #Conflicts: 233000 | #Constraints: 23093
90.80/91.10 c #Conflicts: 234000 | #Constraints: 24603
90.80/91.10 c #Conflicts: 235000 | #Constraints: 26015
90.80/91.10 c #Conflicts: 236000 | #Constraints: 27549
90.80/91.10 c INPROCESSING
90.80/91.10 c GARBAGE COLLECT
90.80/91.10 c rational objective 0
96.89/97.28 c #Conflicts: 237000 | #Constraints: 15273
96.89/97.28 c #Conflicts: 238000 | #Constraints: 16780
96.89/97.28 c #Conflicts: 239000 | #Constraints: 18270
96.89/97.28 c #Conflicts: 240000 | #Constraints: 19766
96.89/97.28 c #Conflicts: 241000 | #Constraints: 21249
96.89/97.28 c #Conflicts: 242000 | #Constraints: 22758
96.89/97.28 c #Conflicts: 243000 | #Constraints: 24240
96.89/97.28 c #Conflicts: 244000 | #Constraints: 25725
96.89/97.28 c #Conflicts: 245000 | #Constraints: 27219
96.89/97.28 c #Conflicts: 246000 | #Constraints: 28722
96.89/97.28 c INPROCESSING
96.89/97.28 c GARBAGE COLLECT
96.89/97.28 c rational objective 0
103.87/104.23 c #Conflicts: 247000 | #Constraints: 15913
103.87/104.23 c #Conflicts: 248000 | #Constraints: 17323
103.87/104.23 c #Conflicts: 249000 | #Constraints: 18837
103.87/104.23 c #Conflicts: 250000 | #Constraints: 20357
103.87/104.23 c #Conflicts: 251000 | #Constraints: 21857
103.87/104.23 c #Conflicts: 252000 | #Constraints: 23371
103.87/104.23 c #Conflicts: 253000 | #Constraints: 24898
103.87/104.23 c #Conflicts: 254000 | #Constraints: 26435
103.87/104.23 c #Conflicts: 255000 | #Constraints: 27954
103.87/104.23 c #Conflicts: 256000 | #Constraints: 29479
103.87/104.23 c INPROCESSING
103.87/104.23 c GARBAGE COLLECT
103.87/104.23 c rational objective 0
109.05/109.45 c #Conflicts: 257000 | #Constraints: 15708
109.05/109.45 c #Conflicts: 258000 | #Constraints: 16708
109.05/109.45 c #Conflicts: 259000 | #Constraints: 17708
109.05/109.45 c #Conflicts: 260000 | #Constraints: 18708
109.05/109.45 c #Conflicts: 261000 | #Constraints: 19709
109.05/109.45 c #Conflicts: 262000 | #Constraints: 20709
109.05/109.45 c #Conflicts: 263000 | #Constraints: 21710
109.05/109.45 c #Conflicts: 264000 | #Constraints: 22710
109.05/109.45 c #Conflicts: 265000 | #Constraints: 23710
109.05/109.45 c #Conflicts: 266000 | #Constraints: 24710
109.05/109.45 c INPROCESSING
109.05/109.45 c GARBAGE COLLECT
109.05/109.45 c rational objective 0
114.53/114.91 c #Conflicts: 267000 | #Constraints: 13076
114.53/114.91 c #Conflicts: 268000 | #Constraints: 14077
114.53/114.91 c #Conflicts: 269000 | #Constraints: 15084
114.53/114.91 c #Conflicts: 270000 | #Constraints: 16285
114.53/114.91 c #Conflicts: 271000 | #Constraints: 17390
114.53/114.91 c #Conflicts: 272000 | #Constraints: 18451
114.53/114.91 c #Conflicts: 273000 | #Constraints: 19481
114.53/114.91 c #Conflicts: 274000 | #Constraints: 20514
114.53/114.91 c #Conflicts: 275000 | #Constraints: 21514
114.53/114.91 c #Conflicts: 276000 | #Constraints: 22713
114.53/114.91 c #Conflicts: 277000 | #Constraints: 23760
114.53/114.91 c INPROCESSING
114.53/114.91 c GARBAGE COLLECT
114.53/114.91 c rational objective 0
121.01/121.47 c #Conflicts: 278000 | #Constraints: 13111
121.01/121.47 c #Conflicts: 279000 | #Constraints: 14419
121.01/121.47 c #Conflicts: 280000 | #Constraints: 15657
121.01/121.47 c #Conflicts: 281000 | #Constraints: 16986
121.01/121.47 c #Conflicts: 282000 | #Constraints: 18441
121.01/121.47 c #Conflicts: 283000 | #Constraints: 19629
121.01/121.47 c #Conflicts: 284000 | #Constraints: 21137
121.01/121.47 c #Conflicts: 285000 | #Constraints: 22435
121.01/121.47 c #Conflicts: 286000 | #Constraints: 23931
121.01/121.47 c #Conflicts: 287000 | #Constraints: 25356
121.01/121.47 c #Conflicts: 288000 | #Constraints: 26727
121.01/121.47 c INPROCESSING
121.01/121.47 c GARBAGE COLLECT
121.01/121.47 c rational objective 0
127.89/128.34 c #Conflicts: 289000 | #Constraints: 14473
127.89/128.34 c #Conflicts: 290000 | #Constraints: 15473
127.89/128.34 c #Conflicts: 291000 | #Constraints: 16474
127.89/128.34 c #Conflicts: 292000 | #Constraints: 17700
127.89/128.34 c #Conflicts: 293000 | #Constraints: 19198
127.89/128.34 c #Conflicts: 294000 | #Constraints: 20697
127.89/128.34 c #Conflicts: 295000 | #Constraints: 22191
127.89/128.34 c #Conflicts: 296000 | #Constraints: 23717
127.89/128.34 c #Conflicts: 297000 | #Constraints: 25237
127.89/128.34 c #Conflicts: 298000 | #Constraints: 26754
127.89/128.34 c #Conflicts: 299000 | #Constraints: 28276
127.89/128.34 c INPROCESSING
127.89/128.34 c GARBAGE COLLECT
127.89/128.34 c rational objective 0
134.97/135.45 c #Conflicts: 300000 | #Constraints: 15636
134.97/135.45 c #Conflicts: 301000 | #Constraints: 17130
134.97/135.45 c #Conflicts: 302000 | #Constraints: 18608
134.97/135.45 c #Conflicts: 303000 | #Constraints: 20026
134.97/135.45 c #Conflicts: 304000 | #Constraints: 21030
134.97/135.45 c #Conflicts: 305000 | #Constraints: 22507
134.97/135.45 c #Conflicts: 306000 | #Constraints: 23619
134.97/135.45 c #Conflicts: 307000 | #Constraints: 25074
134.97/135.45 c #Conflicts: 308000 | #Constraints: 26568
134.97/135.45 c #Conflicts: 309000 | #Constraints: 28072
134.97/135.45 c #Conflicts: 310000 | #Constraints: 29570
134.97/135.45 c INPROCESSING
134.97/135.45 c GARBAGE COLLECT
134.97/135.45 c rational objective 0
142.56/143.03 c #Conflicts: 311000 | #Constraints: 15871
142.56/143.03 c #Conflicts: 312000 | #Constraints: 17031
142.56/143.03 c #Conflicts: 313000 | #Constraints: 18283
142.56/143.03 c #Conflicts: 314000 | #Constraints: 19582
142.56/143.03 c #Conflicts: 315000 | #Constraints: 20943
142.56/143.03 c #Conflicts: 316000 | #Constraints: 22405
142.56/143.03 c #Conflicts: 317000 | #Constraints: 23744
142.56/143.03 c #Conflicts: 318000 | #Constraints: 25064
142.56/143.03 c #Conflicts: 319000 | #Constraints: 26210
142.56/143.03 c #Conflicts: 320000 | #Constraints: 27541
142.56/143.03 c #Conflicts: 321000 | #Constraints: 28864
142.56/143.03 c INPROCESSING
142.56/143.03 c GARBAGE COLLECT
142.56/143.03 c rational objective 0
150.02/150.56 c #Conflicts: 322000 | #Constraints: 15460
150.02/150.56 c #Conflicts: 323000 | #Constraints: 16927
150.02/150.56 c #Conflicts: 324000 | #Constraints: 18344
150.02/150.56 c #Conflicts: 325000 | #Constraints: 19560
150.02/150.56 c #Conflicts: 326000 | #Constraints: 20961
150.02/150.56 c #Conflicts: 327000 | #Constraints: 22364
150.02/150.56 c #Conflicts: 328000 | #Constraints: 23840
150.02/150.56 c #Conflicts: 329000 | #Constraints: 25339
150.02/150.56 c #Conflicts: 330000 | #Constraints: 26563
150.02/150.56 c #Conflicts: 331000 | #Constraints: 28001
150.02/150.56 c #Conflicts: 332000 | #Constraints: 29324
150.02/150.56 c #Conflicts: 333000 | #Constraints: 30770
150.02/150.56 c INPROCESSING
150.02/150.56 c GARBAGE COLLECT
150.02/150.56 c rational objective 0
157.80/158.39 c #Conflicts: 334000 | #Constraints: 16488
157.80/158.39 c #Conflicts: 335000 | #Constraints: 17704
157.80/158.39 c #Conflicts: 336000 | #Constraints: 19231
157.80/158.39 c #Conflicts: 337000 | #Constraints: 20734
157.80/158.39 c #Conflicts: 338000 | #Constraints: 22270
157.80/158.39 c #Conflicts: 339000 | #Constraints: 23643
157.80/158.39 c #Conflicts: 340000 | #Constraints: 24852
157.80/158.39 c #Conflicts: 341000 | #Constraints: 26128
157.80/158.39 c #Conflicts: 342000 | #Constraints: 27325
157.80/158.39 c #Conflicts: 343000 | #Constraints: 28743
157.80/158.39 c #Conflicts: 344000 | #Constraints: 30231
157.80/158.39 c #Conflicts: 345000 | #Constraints: 31593
157.80/158.39 c INPROCESSING
157.80/158.39 c GARBAGE COLLECT
157.80/158.39 c rational objective 0
165.08/165.60 c #Conflicts: 346000 | #Constraints: 17066
165.08/165.60 c #Conflicts: 347000 | #Constraints: 18231
165.08/165.60 c #Conflicts: 348000 | #Constraints: 19325
165.08/165.60 c #Conflicts: 349000 | #Constraints: 20618
165.08/165.60 c #Conflicts: 350000 | #Constraints: 21715
165.08/165.60 c #Conflicts: 351000 | #Constraints: 22881
165.08/165.60 c #Conflicts: 352000 | #Constraints: 24358
165.08/165.60 c #Conflicts: 353000 | #Constraints: 25851
165.08/165.60 c #Conflicts: 354000 | #Constraints: 27346
165.08/165.60 c #Conflicts: 355000 | #Constraints: 28836
165.08/165.60 c #Conflicts: 356000 | #Constraints: 30326
165.08/165.60 c #Conflicts: 357000 | #Constraints: 31808
165.08/165.60 c INPROCESSING
165.08/165.60 c GARBAGE COLLECT
165.08/165.60 c rational objective 0
173.16/173.76 c #Conflicts: 358000 | #Constraints: 17218
173.16/173.76 c #Conflicts: 359000 | #Constraints: 18662
173.16/173.76 c #Conflicts: 360000 | #Constraints: 19881
173.16/173.76 c #Conflicts: 361000 | #Constraints: 21396
173.16/173.76 c #Conflicts: 362000 | #Constraints: 22400
173.16/173.76 c #Conflicts: 363000 | #Constraints: 23756
173.16/173.76 c #Conflicts: 364000 | #Constraints: 24756
173.16/173.76 c #Conflicts: 365000 | #Constraints: 26251
173.16/173.76 c #Conflicts: 366000 | #Constraints: 27744
173.16/173.76 c #Conflicts: 367000 | #Constraints: 29248
173.16/173.76 c #Conflicts: 368000 | #Constraints: 30422
173.16/173.76 c #Conflicts: 369000 | #Constraints: 31930
173.16/173.76 c INPROCESSING
173.16/173.76 c GARBAGE COLLECT
173.16/173.76 c rational objective 0
183.23/183.85 c #Conflicts: 370000 | #Constraints: 17265
183.23/183.85 c #Conflicts: 371000 | #Constraints: 18719
183.23/183.85 c #Conflicts: 372000 | #Constraints: 20011
183.23/183.85 c #Conflicts: 373000 | #Constraints: 21362
183.23/183.85 c #Conflicts: 374000 | #Constraints: 22837
183.23/183.85 c #Conflicts: 375000 | #Constraints: 24303
183.23/183.85 c #Conflicts: 376000 | #Constraints: 25807
183.23/183.85 c #Conflicts: 377000 | #Constraints: 27307
183.23/183.85 c #Conflicts: 378000 | #Constraints: 28737
183.23/183.85 c #Conflicts: 379000 | #Constraints: 29997
183.23/183.85 c #Conflicts: 380000 | #Constraints: 31489
183.23/183.85 c #Conflicts: 381000 | #Constraints: 32874
183.23/183.85 c INPROCESSING
183.23/183.85 c GARBAGE COLLECT
183.23/183.85 c rational objective 0
194.50/195.17 c #Conflicts: 382000 | #Constraints: 17336
194.50/195.17 c #Conflicts: 383000 | #Constraints: 18775
194.50/195.17 c #Conflicts: 384000 | #Constraints: 20266
194.50/195.17 c #Conflicts: 385000 | #Constraints: 21778
194.50/195.17 c #Conflicts: 386000 | #Constraints: 23288
194.50/195.17 c #Conflicts: 387000 | #Constraints: 24818
194.50/195.17 c #Conflicts: 388000 | #Constraints: 26283
194.50/195.17 c #Conflicts: 389000 | #Constraints: 27839
194.50/195.17 c #Conflicts: 390000 | #Constraints: 29333
194.50/195.17 c #Conflicts: 391000 | #Constraints: 30736
194.50/195.17 c #Conflicts: 392000 | #Constraints: 32275
194.50/195.17 c #Conflicts: 393000 | #Constraints: 33764
194.50/195.17 c #Conflicts: 394000 | #Constraints: 35286
194.50/195.17 c INPROCESSING
194.50/195.17 c GARBAGE COLLECT
194.50/195.17 c rational objective 0
205.57/206.21 c #Conflicts: 395000 | #Constraints: 18965
205.57/206.21 c #Conflicts: 396000 | #Constraints: 20480
205.57/206.21 c #Conflicts: 397000 | #Constraints: 21956
205.57/206.21 c #Conflicts: 398000 | #Constraints: 23077
205.57/206.21 c #Conflicts: 399000 | #Constraints: 24429
205.57/206.21 c #Conflicts: 400000 | #Constraints: 25926
205.57/206.21 c #Conflicts: 401000 | #Constraints: 27433
205.57/206.21 c #Conflicts: 402000 | #Constraints: 28881
205.57/206.21 c #Conflicts: 403000 | #Constraints: 30385
205.57/206.21 c #Conflicts: 404000 | #Constraints: 31810
205.57/206.21 c #Conflicts: 405000 | #Constraints: 33265
205.57/206.21 c #Conflicts: 406000 | #Constraints: 34769
205.57/206.21 c #Conflicts: 407000 | #Constraints: 36243
205.57/206.21 c INPROCESSING
205.57/206.21 c GARBAGE COLLECT
205.57/206.21 c rational objective 0
217.34/218.09 c #Conflicts: 408000 | #Constraints: 19540
217.34/218.09 c #Conflicts: 409000 | #Constraints: 20887
217.34/218.09 c #Conflicts: 410000 | #Constraints: 22427
217.34/218.09 c #Conflicts: 411000 | #Constraints: 23890
217.34/218.09 c #Conflicts: 412000 | #Constraints: 25360
217.34/218.09 c #Conflicts: 413000 | #Constraints: 26904
217.34/218.09 c #Conflicts: 414000 | #Constraints: 28416
217.34/218.09 c #Conflicts: 415000 | #Constraints: 29934
217.34/218.09 c #Conflicts: 416000 | #Constraints: 31423
217.34/218.09 c #Conflicts: 417000 | #Constraints: 32953
217.34/218.09 c #Conflicts: 418000 | #Constraints: 33953
217.34/218.09 c #Conflicts: 419000 | #Constraints: 35279
217.34/218.09 c #Conflicts: 420000 | #Constraints: 36814
217.34/218.09 c INPROCESSING
217.34/218.09 c GARBAGE COLLECT
217.34/218.09 c rational objective 0
229.30/230.02 c #Conflicts: 421000 | #Constraints: 19771
229.30/230.02 c #Conflicts: 422000 | #Constraints: 21225
229.30/230.02 c #Conflicts: 423000 | #Constraints: 22641
229.30/230.02 c #Conflicts: 424000 | #Constraints: 24116
229.30/230.02 c #Conflicts: 425000 | #Constraints: 25546
229.30/230.02 c #Conflicts: 426000 | #Constraints: 26967
229.30/230.02 c #Conflicts: 427000 | #Constraints: 28432
229.30/230.02 c #Conflicts: 428000 | #Constraints: 29565
229.30/230.02 c #Conflicts: 429000 | #Constraints: 30835
229.30/230.02 c #Conflicts: 430000 | #Constraints: 32248
229.30/230.02 c #Conflicts: 431000 | #Constraints: 33581
229.30/230.02 c #Conflicts: 432000 | #Constraints: 34740
229.30/230.02 c #Conflicts: 433000 | #Constraints: 36198
229.30/230.02 c INPROCESSING
229.30/230.02 c GARBAGE COLLECT
229.30/230.02 c rational objective 0
239.67/240.46 c #Conflicts: 434000 | #Constraints: 19432
239.67/240.46 c #Conflicts: 435000 | #Constraints: 20558
239.67/240.46 c #Conflicts: 436000 | #Constraints: 21746
239.67/240.46 c #Conflicts: 437000 | #Constraints: 23278
239.67/240.46 c #Conflicts: 438000 | #Constraints: 24800
239.67/240.46 c #Conflicts: 439000 | #Constraints: 26320
239.67/240.46 c #Conflicts: 440000 | #Constraints: 27870
239.67/240.46 c #Conflicts: 441000 | #Constraints: 29394
239.67/240.46 c #Conflicts: 442000 | #Constraints: 30915
239.67/240.46 c #Conflicts: 443000 | #Constraints: 32153
239.67/240.46 c #Conflicts: 444000 | #Constraints: 33491
239.67/240.46 c #Conflicts: 445000 | #Constraints: 34804
239.67/240.46 c #Conflicts: 446000 | #Constraints: 36226
239.67/240.46 c INPROCESSING
239.67/240.46 c GARBAGE COLLECT
239.67/240.46 c rational objective 0
249.74/250.54 c #Conflicts: 447000 | #Constraints: 18979
249.74/250.54 c #Conflicts: 448000 | #Constraints: 20284
249.74/250.54 c #Conflicts: 449000 | #Constraints: 21408
249.74/250.54 c #Conflicts: 450000 | #Constraints: 22697
249.74/250.54 c #Conflicts: 451000 | #Constraints: 24070
249.74/250.54 c #Conflicts: 452000 | #Constraints: 25562
249.74/250.54 c #Conflicts: 453000 | #Constraints: 27027
249.74/250.54 c #Conflicts: 454000 | #Constraints: 28446
249.74/250.54 c #Conflicts: 455000 | #Constraints: 29540
249.74/250.54 c #Conflicts: 456000 | #Constraints: 31020
249.74/250.54 c #Conflicts: 457000 | #Constraints: 32309
249.74/250.54 c #Conflicts: 458000 | #Constraints: 33781
249.74/250.54 c #Conflicts: 459000 | #Constraints: 35219
249.74/250.54 c #Conflicts: 460000 | #Constraints: 36702
249.74/250.54 c INPROCESSING
249.74/250.54 c GARBAGE COLLECT
249.74/250.54 c rational objective 0
260.61/261.44 c #Conflicts: 461000 | #Constraints: 19574
260.61/261.44 c #Conflicts: 462000 | #Constraints: 20987
260.61/261.44 c #Conflicts: 463000 | #Constraints: 22329
260.61/261.44 c #Conflicts: 464000 | #Constraints: 23878
260.61/261.44 c #Conflicts: 465000 | #Constraints: 25421
260.61/261.44 c #Conflicts: 466000 | #Constraints: 27002
260.61/261.44 c #Conflicts: 467000 | #Constraints: 28548
260.61/261.44 c #Conflicts: 468000 | #Constraints: 29938
260.61/261.44 c #Conflicts: 469000 | #Constraints: 31395
260.61/261.44 c #Conflicts: 470000 | #Constraints: 32936
260.61/261.44 c #Conflicts: 471000 | #Constraints: 34084
260.61/261.44 c #Conflicts: 472000 | #Constraints: 35623
260.61/261.44 c #Conflicts: 473000 | #Constraints: 37155
260.61/261.44 c #Conflicts: 474000 | #Constraints: 38591
260.61/261.44 c INPROCESSING
260.61/261.44 c GARBAGE COLLECT
260.61/261.44 c rational objective 0
273.07/273.97 c #Conflicts: 475000 | #Constraints: 20637
273.07/273.97 c #Conflicts: 476000 | #Constraints: 22093
273.07/273.97 c #Conflicts: 477000 | #Constraints: 23497
273.07/273.97 c #Conflicts: 478000 | #Constraints: 24988
273.07/273.97 c #Conflicts: 479000 | #Constraints: 26449
273.07/273.97 c #Conflicts: 480000 | #Constraints: 27704
273.07/273.97 c #Conflicts: 481000 | #Constraints: 29073
273.07/273.97 c #Conflicts: 482000 | #Constraints: 30512
273.07/273.97 c #Conflicts: 483000 | #Constraints: 31864
273.07/273.97 c #Conflicts: 484000 | #Constraints: 33242
273.07/273.97 c #Conflicts: 485000 | #Constraints: 34724
273.07/273.97 c #Conflicts: 486000 | #Constraints: 36109
273.07/273.97 c #Conflicts: 487000 | #Constraints: 37594
273.07/273.97 c #Conflicts: 488000 | #Constraints: 39007
273.07/273.97 c INPROCESSING
273.07/273.97 c GARBAGE COLLECT
273.07/273.97 c rational objective 0
286.23/287.14 c #Conflicts: 489000 | #Constraints: 20781
286.23/287.14 c #Conflicts: 490000 | #Constraints: 22267
286.23/287.14 c #Conflicts: 491000 | #Constraints: 23678
286.23/287.14 c #Conflicts: 492000 | #Constraints: 25185
286.23/287.14 c #Conflicts: 493000 | #Constraints: 26699
286.23/287.14 c #Conflicts: 494000 | #Constraints: 28155
286.23/287.14 c #Conflicts: 495000 | #Constraints: 29466
286.23/287.14 c #Conflicts: 496000 | #Constraints: 31001
286.23/287.14 c #Conflicts: 497000 | #Constraints: 32328
286.23/287.14 c #Conflicts: 498000 | #Constraints: 33894
286.23/287.14 c #Conflicts: 499000 | #Constraints: 35435
286.23/287.14 c #Conflicts: 500000 | #Constraints: 36751
286.23/287.14 c #Conflicts: 501000 | #Constraints: 37952
286.23/287.14 c #Conflicts: 502000 | #Constraints: 39256
286.23/287.14 c INPROCESSING
286.23/287.14 c GARBAGE COLLECT
286.23/287.14 c rational objective 0
295.70/296.62 c #Conflicts: 503000 | #Constraints: 20603
295.70/296.62 c #Conflicts: 504000 | #Constraints: 21603
295.70/296.62 c #Conflicts: 505000 | #Constraints: 22603
295.70/296.62 c #Conflicts: 506000 | #Constraints: 23603
295.70/296.62 c #Conflicts: 507000 | #Constraints: 24603
295.70/296.62 c #Conflicts: 508000 | #Constraints: 25603
295.70/296.62 c #Conflicts: 509000 | #Constraints: 26603
295.70/296.62 c #Conflicts: 510000 | #Constraints: 27603
295.70/296.62 c #Conflicts: 511000 | #Constraints: 28604
295.70/296.62 c #Conflicts: 512000 | #Constraints: 29604
295.70/296.62 c #Conflicts: 513000 | #Constraints: 30604
295.70/296.62 c #Conflicts: 514000 | #Constraints: 31605
295.70/296.62 c #Conflicts: 515000 | #Constraints: 32605
295.70/296.62 c #Conflicts: 516000 | #Constraints: 33605
295.70/296.62 c INPROCESSING
295.70/296.62 c GARBAGE COLLECT
295.70/296.62 c rational objective 0
306.47/307.40 c #Conflicts: 517000 | #Constraints: 17523
306.47/307.40 c #Conflicts: 518000 | #Constraints: 18987
306.47/307.40 c #Conflicts: 519000 | #Constraints: 20152
306.47/307.40 c #Conflicts: 520000 | #Constraints: 21485
306.47/307.40 c #Conflicts: 521000 | #Constraints: 22520
306.47/307.40 c #Conflicts: 522000 | #Constraints: 23937
306.47/307.40 c #Conflicts: 523000 | #Constraints: 25449
306.47/307.40 c #Conflicts: 524000 | #Constraints: 26679
306.47/307.40 c #Conflicts: 525000 | #Constraints: 28111
306.47/307.40 c #Conflicts: 526000 | #Constraints: 29462
306.47/307.40 c #Conflicts: 527000 | #Constraints: 30922
306.47/307.40 c #Conflicts: 528000 | #Constraints: 32093
306.47/307.40 c #Conflicts: 529000 | #Constraints: 33556
306.47/307.40 c #Conflicts: 530000 | #Constraints: 35110
306.47/307.40 c #Conflicts: 531000 | #Constraints: 36268
306.47/307.40 c INPROCESSING
306.47/307.40 c GARBAGE COLLECT
306.47/307.40 c rational objective 0
318.44/319.46 c #Conflicts: 532000 | #Constraints: 19467
318.44/319.46 c #Conflicts: 533000 | #Constraints: 20805
318.44/319.46 c #Conflicts: 534000 | #Constraints: 22279
318.44/319.46 c #Conflicts: 535000 | #Constraints: 23789
318.44/319.46 c #Conflicts: 536000 | #Constraints: 25275
318.44/319.46 c #Conflicts: 537000 | #Constraints: 26759
318.44/319.46 c #Conflicts: 538000 | #Constraints: 28228
318.44/319.46 c #Conflicts: 539000 | #Constraints: 29613
318.44/319.46 c #Conflicts: 540000 | #Constraints: 31106
318.44/319.46 c #Conflicts: 541000 | #Constraints: 32584
318.44/319.46 c #Conflicts: 542000 | #Constraints: 34074
318.44/319.46 c #Conflicts: 543000 | #Constraints: 35576
318.44/319.46 c #Conflicts: 544000 | #Constraints: 36709
318.44/319.46 c #Conflicts: 545000 | #Constraints: 37709
318.44/319.46 c Inconsistent objective-improving constraint
318.44/319.46 c bounds 0 >= 0 @ 313.964
318.44/319.46 c cpu time 313.964 s
318.44/319.46 c deterministic time 28451347583 2.85e+10
318.44/319.46 c optimization time 0.00352 s
318.44/319.46 c total solve time 313.96 s
318.44/319.46 c core-guided solve time 159.178 s
318.44/319.46 c propagation time 255.041 s
318.44/319.46 c conflict analysis time 53.2665 s
318.44/319.46 c propagations 8380496
318.44/319.46 c resolve steps 3292746
318.44/319.46 c decisions 614580
318.44/319.46 c conflicts 545389
318.44/319.46 c restarts 1145
318.44/319.46 c inprocessing phases 64
318.44/319.46 c garbage collections 64 ,( 100.00 )
318.44/319.46 c input clauses 0 ,( 0.00 )
318.44/319.46 c input cardinalities 1 ,( 3.23 )
318.44/319.46 c input general constraints 30 ,( 96.77 )
318.44/319.46 c input average constraint length 53.03
318.44/319.46 c input average constraint degree 880.26
318.44/319.46 c learned clauses 252730 ,( 34.34 )
318.44/319.46 c learned cardinalities 4 ,( 0.00 )
318.44/319.46 c learned general constraints 483331 ,( 65.66 )
318.44/319.46 c learned average constraint length 29.42
318.44/319.46 c learned average constraint degree 1327038981.89
318.44/319.46 c watched CF 32, 64, 128, Arb: 79468 , 0 , 0 , 0
318.44/319.46 c counting CF 32, 64, 128, Arb: 403894 , 0 , 0 , 0
318.44/319.46 c watched constraints 79468 ,( 16.44 )
318.44/319.46 c counting constraints 403893 ,( 83.56 )
318.44/319.46 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 35081552 , 33215 , 3770946156 ,( 18646285 , 3752299871 )
318.44/319.46 c gcd simplifications 241305
318.44/319.46 c detected cardinalities 5
318.44/319.46 c weakened non-implied lits 8158784
318.44/319.46 c weakened non-implying lits 242667
318.44/319.46 c original variables 120
318.44/319.46 c clausal propagations 59395
318.44/319.46 c cardinality propagations 6
318.44/319.46 c watched propagations 8838
318.44/319.46 c counting propagations 7759602
318.44/319.46 c watch lookups 13444753184
318.44/319.46 c watch backjump lookups 0
318.44/319.46 c watch checks 175153576
318.44/319.46 c propagation checks 14590307208
318.44/319.46 c constraint additions 222144927
318.44/319.46 c trail pops 9540234
318.44/319.46 c formula constraints 10
318.44/319.46 c learned constraints 545238
318.44/319.46 c bound constraints 21
318.44/319.46 c core-guided constraints 0
318.44/319.46 c encountered formula constraints 139063
318.44/319.46 c encountered learned constraints 625271
318.44/319.46 c encountered bound constraints 261
318.44/319.46 c encountered core-guided constraints 0
318.44/319.46 c LP total time 17.61 s
318.44/319.46 c LP solve time 10.52 s
318.44/319.46 c LP constraints added 103
318.44/319.46 c LP constraints removed 92
318.44/319.46 c LP pivots internal 452804
318.44/319.46 c LP pivots root 573
318.44/319.46 c LP calls 265263
318.44/319.46 c LP optimalities 74662
318.44/319.46 c LP no pivot count 7958
318.44/319.46 c LP infeasibilities 190599
318.44/319.46 c LP valid Farkas constraints 190599
318.44/319.46 c LP learned Farkas constraints 151
318.44/319.46 c LP basis resets 2
318.44/319.46 c LP cycling count 0
318.44/319.46 c LP singular count 2
318.44/319.46 c LP no primal count 0
318.44/319.46 c LP no farkas count 0
318.44/319.46 c LP other issue count 0
318.44/319.46 c LP Gomory cuts 77
318.44/319.46 c LP learned cuts 16
318.44/319.46 c LP deleted cuts 92
318.44/319.46 c LP encountered Gomory constraints 247
318.44/319.46 c LP encountered Farkas constraints 3063884
318.44/319.46 c LP encountered learned Farkas constraints 9258
318.44/319.46 c CG auxiliary variables introduced 0
318.44/319.46 c CG solutions found 21
318.44/319.46 c CG cores constructed 0
318.44/319.46 c CG core cardinality constraints returned 0
318.44/319.46 c CG unit cores 0
318.44/319.46 c CG single cores 0
318.44/319.46 c CG blocks removed during cardinality reduction 0
318.44/319.46 c CG first core best 0
318.44/319.46 c CG decision core best 0
318.44/319.46 c CG core reduction tie 0
318.44/319.46 c CG core degree average 0.00
318.44/319.46 c CG core slack average 0.00
318.44/319.46 c CG core upper bound improvements 0
318.44/319.46 c STR number of successful calls 0
318.44/319.46 c STR number of unsuccessful calls 0
318.44/319.46 c STR number of inconclusive calls 0
318.44/319.46 c STR number of successful attempts 0
318.44/319.46 c STR number of unsuccessful attempts 0
318.44/319.46 c STR number of inconclusive attempts 0
318.44/319.46 c STR average degree increase per successful call inf
318.44/319.46 c STR average degree increase per successful attempt inf
318.44/319.46 c STR total number of conflicts for successful attempts 0
318.44/319.46 c STR total number of conflicts for unsuccessful attempts 0
318.44/319.46 c STR total number of conflicts for inconclusive attempts 0
318.44/319.46 c STR average number of conflicts per successful attempt inf
318.44/319.46 c STR average number of conflicts per unsuccessful attempt inf
318.44/319.46 c STR average number of conflicts per inconclusive attempt inf
318.44/319.46 c AVG.sumWPerc 63.84
318.44/319.46 c bigint constraints 0
318.44/319.46 o 0
318.44/319.46 s OPTIMUM FOUND
318.44/319.46 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
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: 63708 MiB (60664 MiB free)
memory of node 1: 64465 MiB (62268 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4490382-1751364136/watcher-4490382-1751364136 -o /tmp/evaluation-result-4490382-1751364136/solver-4490382-1751364136 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751363764-51137 --watchdog 3760 run-opt-ls.sh HOME/instance-4490382-1751364136.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=51654, runsolver pid=51651
[startup+0.100062 s]*
/proc/loadavg: 4.11 3.23 2.56 5/271 51657
/proc/meminfo: memFree=125882860/131249996 swapFree=33005272/33010684
[pid=51654] ppid=51651 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/51654/stat : 51654 (run-opt-ls.sh) S 51651 51654 51126 0 -1 4194304 237 245 0 0 0 0 0 0 20 0 1 0 52091460 4292608 768 18446744073709551615 94547126042624 94547126937157 140735953775968 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94547127176208 94547127223952 94547143270400 140735953779047 140735953779173 140735953779173 140735953784775 0
/proc/51654/statm: 1048 768 704 219 0 110 0
[pid=51657] ppid=51654 vsize=56060 memory=13228 CPUtime=0.06 cores=4,6
/proc/51657/stat : 51657 (roundingsat) R 51654 51654 51126 0 -1 4194304 594 0 0 0 6 0 0 0 20 0 1 0 52091462 57405440 3307 18446744073709551615 4227072 8923433 140720895010768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35807232 140720895015238 140720895015464 140720895015464 140720895021034 0
/proc/51657/statm: 14015 3307 2432 1147 0 1442 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 60252 KiB
Current children cumulated memory: 16300 KiB
[startup+0.205878 s]*
/proc/loadavg: 4.11 3.23 2.56 5/271 51657
/proc/meminfo: memFree=125878884/131249996 swapFree=33005272/33010684
[pid=51654] ppid=51651 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/51654/stat : 51654 (run-opt-ls.sh) S 51651 51654 51126 0 -1 4194304 237 245 0 0 0 0 0 0 20 0 1 0 52091460 4292608 768 18446744073709551615 94547126042624 94547126937157 140735953775968 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94547127176208 94547127223952 94547143270400 140735953779047 140735953779173 140735953779173 140735953784775 0
/proc/51654/statm: 1048 768 704 219 0 110 0
[pid=51657] ppid=51654 vsize=56444 memory=13612 CPUtime=0.17 cores=4,6
/proc/51657/stat : 51657 (roundingsat) R 51654 51654 51126 0 -1 4194304 710 0 0 0 16 1 0 0 20 0 1 0 52091462 57798656 3403 18446744073709551615 4227072 8923433 140720895010768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35807232 140720895015238 140720895015464 140720895015464 140720895021034 0
/proc/51657/statm: 14111 3403 2432 1147 0 1538 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 60636 KiB
Current children cumulated memory: 16684 KiB
[startup+0.305873 s]*
/proc/loadavg: 4.11 3.23 2.56 5/271 51657
/proc/meminfo: memFree=125878884/131249996 swapFree=33005272/33010684
[pid=51654] ppid=51651 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/51654/stat : 51654 (run-opt-ls.sh) S 51651 51654 51126 0 -1 4194304 237 245 0 0 0 0 0 0 20 0 1 0 52091460 4292608 768 18446744073709551615 94547126042624 94547126937157 140735953775968 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94547127176208 94547127223952 94547143270400 140735953779047 140735953779173 140735953779173 140735953784775 0
/proc/51654/statm: 1048 768 704 219 0 110 0
[pid=51657] ppid=51654 vsize=56716 memory=13868 CPUtime=0.27 cores=4,6
/proc/51657/stat : 51657 (roundingsat) R 51654 51654 51126 0 -1 4194304 765 0 0 0 25 2 0 0 20 0 1 0 52091462 58077184 3467 18446744073709551615 4227072 8923433 140720895010768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35807232 140720895015238 140720895015464 140720895015464 140720895021034 0
/proc/51657/statm: 14179 3467 2432 1147 0 1606 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 60908 KiB
Current children cumulated memory: 16940 KiB
[startup+0.700197 s]
/proc/loadavg: 4.11 3.23 2.56 5/271 51657
/proc/meminfo: memFree=125870820/131249996 swapFree=33005272/33010684
[pid=51654] ppid=51651 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/51654/stat : 51654 (run-opt-ls.sh) S 51651 51654 51126 0 -1 4194304 237 245 0 0 0 0 0 0 20 0 1 0 52091460 4292608 768 18446744073709551615 94547126042624 94547126937157 140735953775968 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94547127176208 94547127223952 94547143270400 140735953779047 140735953779173 140735953779173 140735953784775 0
/proc/51654/statm: 1048 768 704 219 0 110 0
[pid=51657] ppid=51654 vsize=57284 memory=14380 CPUtime=0.66 cores=4,6
/proc/51657/stat : 51657 (roundingsat) R 51654 51654 51126 0 -1 4194304 889 0 0 0 63 3 0 0 20 0 1 0 52091462 58658816 3595 18446744073709551615 4227072 8923433 140720895010768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35807232 140720895015238 140720895015464 140720895015464 140720895021034 0
/proc/51657/statm: 14321 3595 2432 1147 0 1748 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 61476 KiB
Current children cumulated memory: 17452 KiB
[startup+1.50021 s]
/proc/loadavg: 4.11 3.23 2.56 5/271 51657
/proc/meminfo: memFree=125862628/131249996 swapFree=33005272/33010684
[pid=51654] ppid=51651 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/51654/stat : 51654 (run-opt-ls.sh) S 51651 51654 51126 0 -1 4194304 237 245 0 0 0 0 0 0 20 0 1 0 52091460 4292608 768 18446744073709551615 94547126042624 94547126937157 140735953775968 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94547127176208 94547127223952 94547143270400 140735953779047 140735953779173 140735953779173 140735953784775 0
/proc/51654/statm: 1048 768 704 219 0 110 0
[pid=51657] ppid=51654 vsize=58132 memory=15020 CPUtime=1.46 cores=4,6
/proc/51657/stat : 51657 (roundingsat) R 51654 51654 51126 0 -1 4194304 1065 0 0 0 140 6 0 0 20 0 1 0 52091462 59527168 3755 18446744073709551615 4227072 8923433 140720895010768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35807232 140720895015238 140720895015464 140720895015464 140720895021034 0
/proc/51657/statm: 14533 3755 2432 1147 0 1960 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 62324 KiB
Current children cumulated memory: 18092 KiB
[startup+3.10575 s]
/proc/loadavg: 4.11 3.23 2.56 5/271 51657
/proc/meminfo: memFree=125831968/131249996 swapFree=33005272/33010684
[pid=51654] ppid=51651 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/51654/stat : 51654 (run-opt-ls.sh) S 51651 51654 51126 0 -1 4194304 237 245 0 0 0 0 0 0 20 0 1 0 52091460 4292608 768 18446744073709551615 94547126042624 94547126937157 140735953775968 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94547127176208 94547127223952 94547143270400 140735953779047 140735953779173 140735953779173 140735953784775 0
/proc/51654/statm: 1048 768 704 219 0 110 0
[pid=51657] ppid=51654 vsize=58740 memory=15788 CPUtime=3.06 cores=4,6
/proc/51657/stat : 51657 (roundingsat) R 51654 51654 51126 0 -1 4194304 1246 0 0 0 293 13 0 0 20 0 1 0 52091462 60149760 3947 18446744073709551615 4227072 8923433 140720895010768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35807232 140720895015238 140720895015464 140720895015464 140720895021034 0
/proc/51657/statm: 14685 3947 2432 1147 0 2112 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 62932 KiB
Current children cumulated memory: 18860 KiB
[startup+6.30022 s]
/proc/loadavg: 4.10 3.24 2.57 5/270 51657
/proc/meminfo: memFree=125809708/131249996 swapFree=33005272/33010684
[pid=51654] ppid=51651 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/51654/stat : 51654 (run-opt-ls.sh) S 51651 51654 51126 0 -1 4194304 237 245 0 0 0 0 0 0 20 0 1 0 52091460 4292608 768 18446744073709551615 94547126042624 94547126937157 140735953775968 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94547127176208 94547127223952 94547143270400 140735953779047 140735953779173 140735953779173 140735953784775 0
/proc/51654/statm: 1048 768 704 219 0 110 0
[pid=51657] ppid=51654 vsize=63332 memory=21840 CPUtime=6.24 cores=4,6
/proc/51657/stat : 51657 (roundingsat) R 51654 51654 51126 0 -1 4194304 2235 0 0 0 600 24 0 0 20 0 1 0 52091462 64851968 5460 18446744073709551615 4227072 8923433 140720895010768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35807232 140720895015238 140720895015464 140720895015464 140720895021034 0
/proc/51657/statm: 15833 5460 2464 1147 0 3260 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 67524 KiB
Current children cumulated memory: 24912 KiB
[startup+12.7002 s]
/proc/loadavg: 4.18 3.27 2.58 5/270 51657
/proc/meminfo: memFree=125792316/131249996 swapFree=33005272/33010684
[pid=51654] ppid=51651 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/51654/stat : 51654 (run-opt-ls.sh) S 51651 51654 51126 0 -1 4194304 237 245 0 0 0 0 0 0 20 0 1 0 52091460 4292608 768 18446744073709551615 94547126042624 94547126937157 140735953775968 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94547127176208 94547127223952 94547143270400 140735953779047 140735953779173 140735953779173 140735953784775 0
/proc/51654/statm: 1048 768 704 219 0 110 0
[pid=51657] ppid=51654 vsize=65884 memory=23888 CPUtime=12.63 cores=4,6
/proc/51657/stat : 51657 (roundingsat) R 51654 51654 51126 0 -1 4194304 2747 0 0 0 1219 44 0 0 20 0 1 0 52091462 67465216 5972 18446744073709551615 4227072 8923433 140720895010768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35807232 140720895015238 140720895015464 140720895015464 140720895021034 0
/proc/51657/statm: 16471 5972 2464 1147 0 3898 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 70076 KiB
Current children cumulated memory: 26960 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 3.31 2.60 5/270 51657
/proc/meminfo: memFree=125801276/131249996 swapFree=33005272/33010684
[pid=51654] ppid=51651 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/51654/stat : 51654 (run-opt-ls.sh) S 51651 51654 51126 0 -1 4194304 237 245 0 0 0 0 0 0 20 0 1 0 52091460 4292608 768 18446744073709551615 94547126042624 94547126937157 140735953775968 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94547127176208 94547127223952 94547143270400 140735953779047 140735953779173 140735953779173 140735953784775 0
/proc/51654/statm: 1048 768 704 219 0 110 0
[pid=51657] ppid=51654 vsize=73028 memory=28496 CPUtime=25.39 cores=4,6
/proc/51657/stat : 51657 (roundingsat) R 51654 51654 51126 0 -1 4194304 3926 0 0 0 2463 76 0 0 20 0 1 0 52091462 74780672 7124 18446744073709551615 4227072 8923433 140720895010768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35807232 140720895015238 140720895015464 140720895015464 140720895021034 0
/proc/51657/statm: 18257 7124 2496 1147 0 5684 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 77220 KiB
Current children cumulated memory: 31568 KiB
[startup+51.1057 s]
/proc/loadavg: 4.17 3.38 2.65 5/270 51657
/proc/meminfo: memFree=125510344/131249996 swapFree=33005272/33010684
[pid=51654] ppid=51651 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/51654/stat : 51654 (run-opt-ls.sh) S 51651 51654 51126 0 -1 4194304 237 245 0 0 0 0 0 0 20 0 1 0 52091460 4292608 768 18446744073709551615 94547126042624 94547126937157 140735953775968 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94547127176208 94547127223952 94547143270400 140735953779047 140735953779173 140735953779173 140735953784775 0
/proc/51654/statm: 1048 768 704 219 0 110 0
[pid=51657] ppid=51654 vsize=76916 memory=31932 CPUtime=50.92 cores=4,6
/proc/51657/stat : 51657 (roundingsat) R 51654 51654 51126 0 -1 4194304 5310 0 0 0 4973 119 0 0 20 0 1 0 52091462 78761984 7983 18446744073709551615 4227072 8923433 140720895010768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35807232 140720895015238 140720895015464 140720895015464 140720895021034 0
/proc/51657/statm: 19229 7983 2496 1147 0 6656 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 81108 KiB
Current children cumulated memory: 35004 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 3.49 2.73 5/268 51660
/proc/meminfo: memFree=125414712/131249996 swapFree=33005272/33010684
[pid=51654] ppid=51651 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/51654/stat : 51654 (run-opt-ls.sh) S 51651 51654 51126 0 -1 4194304 237 245 0 0 0 0 0 0 20 0 1 0 52091460 4292608 768 18446744073709551615 94547126042624 94547126937157 140735953775968 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94547127176208 94547127223952 94547143270400 140735953779047 140735953779173 140735953779173 140735953784775 0
/proc/51654/statm: 1048 768 704 219 0 110 0
[pid=51657] ppid=51654 vsize=81172 memory=35348 CPUtime=101.97 cores=4,6
/proc/51657/stat : 51657 (roundingsat) R 51654 51654 51126 0 -1 4194304 6609 0 0 0 9999 198 0 0 20 0 1 0 52091462 83120128 8837 18446744073709551615 4227072 8923433 140720895010768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35807232 140720895015238 140720895015464 140720895015464 140720895021034 0
/proc/51657/statm: 20293 8837 2496 1147 0 7720 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 85364 KiB
Current children cumulated memory: 38420 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 3.60 2.81 5/268 51662
/proc/meminfo: memFree=125294212/131249996 swapFree=33005272/33010684
[pid=51654] ppid=51651 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/51654/stat : 51654 (run-opt-ls.sh) S 51651 51654 51126 0 -1 4194304 237 245 0 0 0 0 0 0 20 0 1 0 52091460 4292608 768 18446744073709551615 94547126042624 94547126937157 140735953775968 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94547127176208 94547127223952 94547143270400 140735953779047 140735953779173 140735953779173 140735953784775 0
/proc/51654/statm: 1048 768 704 219 0 110 0
[pid=51657] ppid=51654 vsize=82856 memory=37312 CPUtime=161.79 cores=4,6
/proc/51657/stat : 51657 (roundingsat) R 51654 51654 51126 0 -1 4194304 7274 0 0 0 15897 282 0 0 20 0 1 0 52091462 84844544 9328 18446744073709551615 4227072 8923433 140720895010768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35807232 140720895015238 140720895015464 140720895015464 140720895021034 0
/proc/51657/statm: 20714 9328 2496 1147 0 8141 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 87048 KiB
Current children cumulated memory: 40384 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 3.69 2.90 5/268 51664
/proc/meminfo: memFree=125115696/131249996 swapFree=33005272/33010684
[pid=51654] ppid=51651 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/51654/stat : 51654 (run-opt-ls.sh) S 51651 51654 51126 0 -1 4194304 237 245 0 0 0 0 0 0 20 0 1 0 52091460 4292608 768 18446744073709551615 94547126042624 94547126937157 140735953775968 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94547127176208 94547127223952 94547143270400 140735953779047 140735953779173 140735953779173 140735953784775 0
/proc/51654/statm: 1048 768 704 219 0 110 0
[pid=51657] ppid=51654 vsize=88520 memory=39868 CPUtime=221.62 cores=4,6
/proc/51657/stat : 51657 (roundingsat) R 51654 51654 51126 0 -1 4194304 8333 0 0 0 21816 346 0 0 20 0 1 0 52091462 90644480 9967 18446744073709551615 4227072 8923433 140720895010768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35807232 140720895015238 140720895015464 140720895015464 140720895021034 0
/proc/51657/statm: 22130 9967 2496 1147 0 9557 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 92712 KiB
Current children cumulated memory: 42940 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 3.77 2.97 5/268 51666
/proc/meminfo: memFree=124535340/131249996 swapFree=33005272/33010684
[pid=51654] ppid=51651 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/51654/stat : 51654 (run-opt-ls.sh) S 51651 51654 51126 0 -1 4194304 237 245 0 0 0 0 0 0 20 0 1 0 52091460 4292608 768 18446744073709551615 94547126042624 94547126937157 140735953775968 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94547127176208 94547127223952 94547143270400 140735953779047 140735953779173 140735953779173 140735953784775 0
/proc/51654/statm: 1048 768 704 219 0 110 0
[pid=51657] ppid=51654 vsize=89060 memory=42872 CPUtime=281.44 cores=4,6
/proc/51657/stat : 51657 (roundingsat) R 51654 51654 51126 0 -1 4194304 8796 0 0 0 27736 408 0 0 20 0 1 0 52091462 91197440 10718 18446744073709551615 4227072 8923433 140720895010768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35807232 140720895015238 140720895015464 140720895015464 140720895021034 0
/proc/51657/statm: 22265 10718 2496 1147 0 9692 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 93252 KiB
Current children cumulated memory: 45944 KiB
[startup+319.468 s]
# the end of solver process 51654 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=313.966 s, system=4.55121 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+294.4 s]
/proc/loadavg: 4.05 3.77 2.99 5/268 51666
/proc/meminfo: memFree=124525256/131249996 swapFree=33005272/33010684
[pid=51654] ppid=51651 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/51654/stat : 51654 (run-opt-ls.sh) S 51651 51654 51126 0 -1 4194304 237 245 0 0 0 0 0 0 20 0 1 0 52091460 4292608 768 18446744073709551615 94547126042624 94547126937157 140735953775968 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94547127176208 94547127223952 94547143270400 140735953779047 140735953779173 140735953779173 140735953784775 0
/proc/51654/statm: 1048 768 704 219 0 110 0
[pid=51657] ppid=51654 vsize=89832 memory=43260 CPUtime=293.51 cores=4,6
/proc/51657/stat : 51657 (roundingsat) R 51654 51654 51126 0 -1 4194304 9033 0 0 0 28927 424 0 0 20 0 1 0 52091462 91987968 10815 18446744073709551615 4227072 8923433 140720895010768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35807232 140720895015238 140720895015464 140720895015464 140720895021034 0
/proc/51657/statm: 22458 10815 2496 1147 0 9885 0
Current children cumulated CPU time: 293.51 s
Current children cumulated vsize: 94024 KiB
Current children cumulated memory: 46332 KiB
[startup+307.2 s]
/proc/loadavg: 4.12 3.80 3.01 5/268 51673
/proc/meminfo: memFree=124484132/131249996 swapFree=33005272/33010684
[pid=51654] ppid=51651 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/51654/stat : 51654 (run-opt-ls.sh) S 51651 51654 51126 0 -1 4194304 237 245 0 0 0 0 0 0 20 0 1 0 52091460 4292608 768 18446744073709551615 94547126042624 94547126937157 140735953775968 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94547127176208 94547127223952 94547143270400 140735953779047 140735953779173 140735953779173 140735953784775 0
/proc/51654/statm: 1048 768 704 219 0 110 0
[pid=51657] ppid=51654 vsize=90068 memory=43772 CPUtime=306.27 cores=4,6
/proc/51657/stat : 51657 (roundingsat) R 51654 51654 51126 0 -1 4194304 9164 0 0 0 30186 441 0 0 20 0 1 0 52091462 92229632 10943 18446744073709551615 4227072 8923433 140720895010768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35807232 140720895015238 140720895015464 140720895015464 140720895021034 0
/proc/51657/statm: 22517 10943 2496 1147 0 9944 0
Current children cumulated CPU time: 306.27 s
Current children cumulated vsize: 94260 KiB
Current children cumulated memory: 46844 KiB
[startup+313.6 s]
/proc/loadavg: 4.11 3.81 3.01 5/268 51673
/proc/meminfo: memFree=124498472/131249996 swapFree=33005272/33010684
[pid=51654] ppid=51651 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/51654/stat : 51654 (run-opt-ls.sh) S 51651 51654 51126 0 -1 4194304 237 245 0 0 0 0 0 0 20 0 1 0 52091460 4292608 768 18446744073709551615 94547126042624 94547126937157 140735953775968 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94547127176208 94547127223952 94547143270400 140735953779047 140735953779173 140735953779173 140735953784775 0
/proc/51654/statm: 1048 768 704 219 0 110 0
[pid=51657] ppid=51654 vsize=90324 memory=43880 CPUtime=312.66 cores=4,6
/proc/51657/stat : 51657 (roundingsat) R 51654 51654 51126 0 -1 4194304 9233 0 0 0 30815 451 0 0 20 0 1 0 52091462 92491776 10970 18446744073709551615 4227072 8923433 140720895010768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35807232 140720895015238 140720895015464 140720895015464 140720895021034 0
/proc/51657/statm: 22581 10970 2496 1147 0 10008 0
Current children cumulated CPU time: 312.66 s
Current children cumulated vsize: 94516 KiB
Current children cumulated memory: 46952 KiB
[startup+316.8 s]
/proc/loadavg: 4.10 3.81 3.02 5/268 51673
/proc/meminfo: memFree=124486184/131249996 swapFree=33005272/33010684
[pid=51654] ppid=51651 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/51654/stat : 51654 (run-opt-ls.sh) S 51651 51654 51126 0 -1 4194304 237 245 0 0 0 0 0 0 20 0 1 0 52091460 4292608 768 18446744073709551615 94547126042624 94547126937157 140735953775968 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94547127176208 94547127223952 94547143270400 140735953779047 140735953779173 140735953779173 140735953784775 0
/proc/51654/statm: 1048 768 704 219 0 110 0
[pid=51657] ppid=51654 vsize=90324 memory=43880 CPUtime=315.85 cores=4,6
/proc/51657/stat : 51657 (roundingsat) R 51654 51654 51126 0 -1 4194304 9241 0 0 0 31132 453 0 0 20 0 1 0 52091462 92491776 10970 18446744073709551615 4227072 8923433 140720895010768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35807232 140720895015238 140720895015464 140720895015464 140720895021034 0
/proc/51657/statm: 22581 10970 2496 1147 0 10008 0
Current children cumulated CPU time: 315.85 s
Current children cumulated vsize: 94516 KiB
Current children cumulated memory: 46952 KiB
[startup+318.4 s]
/proc/loadavg: 4.10 3.81 3.02 5/268 51673
/proc/meminfo: memFree=124486184/131249996 swapFree=33005272/33010684
[pid=51654] ppid=51651 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/51654/stat : 51654 (run-opt-ls.sh) S 51651 51654 51126 0 -1 4194304 237 245 0 0 0 0 0 0 20 0 1 0 52091460 4292608 768 18446744073709551615 94547126042624 94547126937157 140735953775968 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94547127176208 94547127223952 94547143270400 140735953779047 140735953779173 140735953779173 140735953784775 0
/proc/51654/statm: 1048 768 704 219 0 110 0
[pid=51657] ppid=51654 vsize=90580 memory=43844 CPUtime=317.44 cores=4,6
/proc/51657/stat : 51657 (roundingsat) R 51654 51654 51126 0 -1 4194304 9309 0 0 0 31290 454 0 0 20 0 1 0 52091462 92753920 10961 18446744073709551615 4227072 8923433 140720895010768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35807232 140720895015238 140720895015464 140720895015464 140720895021034 0
/proc/51657/statm: 22645 10961 2496 1147 0 10072 0
Current children cumulated CPU time: 317.44 s
Current children cumulated vsize: 94772 KiB
Current children cumulated memory: 46916 KiB
[startup+319.2 s]
/proc/loadavg: 4.10 3.81 3.02 5/268 51673
/proc/meminfo: memFree=124486184/131249996 swapFree=33005272/33010684
[pid=51654] ppid=51651 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/51654/stat : 51654 (run-opt-ls.sh) S 51651 51654 51126 0 -1 4194304 237 245 0 0 0 0 0 0 20 0 1 0 52091460 4292608 768 18446744073709551615 94547126042624 94547126937157 140735953775968 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94547127176208 94547127223952 94547143270400 140735953779047 140735953779173 140735953779173 140735953784775 0
/proc/51654/statm: 1048 768 704 219 0 110 0
[pid=51657] ppid=51654 vsize=90580 memory=43844 CPUtime=318.24 cores=4,6
/proc/51657/stat : 51657 (roundingsat) R 51654 51654 51126 0 -1 4194304 9312 0 0 0 31370 454 0 0 20 0 1 0 52091462 92753920 10961 18446744073709551615 4227072 8923433 140720895010768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35807232 140720895015238 140720895015464 140720895015464 140720895021034 0
/proc/51657/statm: 22645 10961 2496 1147 0 10072 0
Current children cumulated CPU time: 318.24 s
Current children cumulated vsize: 94772 KiB
Current children cumulated memory: 46916 KiB
[startup+319.4 s]
/proc/loadavg: 4.10 3.81 3.02 5/268 51673
/proc/meminfo: memFree=124486184/131249996 swapFree=33005272/33010684
[pid=51654] ppid=51651 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/51654/stat : 51654 (run-opt-ls.sh) S 51651 51654 51126 0 -1 4194304 237 245 0 0 0 0 0 0 20 0 1 0 52091460 4292608 768 18446744073709551615 94547126042624 94547126937157 140735953775968 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94547127176208 94547127223952 94547143270400 140735953779047 140735953779173 140735953779173 140735953784775 0
/proc/51654/statm: 1048 768 704 219 0 110 0
[pid=51657] ppid=51654 vsize=90580 memory=43844 CPUtime=318.44 cores=4,6
/proc/51657/stat : 51657 (roundingsat) R 51654 51654 51126 0 -1 4194304 9313 0 0 0 31390 454 0 0 20 0 1 0 52091462 92753920 10961 18446744073709551615 4227072 8923433 140720895010768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35807232 140720895015238 140720895015464 140720895015464 140720895021034 0
/proc/51657/statm: 22645 10961 2496 1147 0 10072 0
Current children cumulated CPU time: 318.44 s
Current children cumulated vsize: 94772 KiB
Current children cumulated memory: 46916 KiB
Child status: 0
Real time (s): 319.468
CPU time (s): 318.517
CPU user time (s): 313.966
CPU system time (s): 4.55121
CPU usage (%): 99.7024
Max. virtual memory (cumulated for all children) (KiB): 94772
Max. memory (cumulated for all children) (KiB): 46952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 313.966
system time used= 4.55121
maximum resident set size= 44028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9818
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 207
involuntary context switches= 312
# summary of solver processes directly reported to runsolver:
# pid: 51654
# total CPU time (s): 318.517
# total CPU user time (s): 313.966
# total CPU system time (s): 4.55121
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.581689 second user time and 1.67457 second system time
The end
Begin job on nodeC023 at 2025-07-01 12:02:16
IDJOB=4490382
IDBENCH=147585
IDSOLVER=3355
FILE ID=nodeC023/4490382-1751364136
RUNJOBID= nodeC023-1751363764-51137
SLURM_JOB_ID= 9598180
Free space on /tmp= 432976 MiB
SOLVER NAME= roundingsat-ls+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_3.opb
COMMAND LINE= run-opt-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4490382-1751364136/watcher-4490382-1751364136 -o /tmp/evaluation-result-4490382-1751364136/solver-4490382-1751364136 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751363764-51137 --watchdog 3760 run-opt-ls.sh HOME/instance-4490382-1751364136.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a8470a83b0b0d2a815a3f0ab26202dcb
RANDOM SEED=449825364
nodeC023 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.882
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.930
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.562
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3640.317
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3596.605
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.885
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.888
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 125882860 kB
MemAvailable: 125591884 kB
Buffers: 1328 kB
Cached: 507980 kB
SwapCached: 444 kB
Active: 4403900 kB
Inactive: 351612 kB
Active(anon): 4204928 kB
Inactive(anon): 54640 kB
Active(file): 198972 kB
Inactive(file): 296972 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33005272 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7128 kB
Writeback: 0 kB
AnonPages: 4248724 kB
Mapped: 112548 kB
Shmem: 13364 kB
KReclaimable: 104636 kB
Slab: 192352 kB
SReclaimable: 104636 kB
SUnreclaim: 87716 kB
KernelStack: 4416 kB
PageTables: 11920 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 5434284 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150680 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2095104 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: 197332 kB
DirectMap2M: 9011200 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432968 MiB
End job on nodeC023 at 2025-07-01 12:07:36