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-4531850-1752588255.opb'
0.00/0.01 c read 0.01MB (0.17ms)
0.00/0.01 c [cnf: #variables 120 #clauses 11 #duplicates 0 #arr 634]
0.00/0.04 c output proof to 'PROOFDIR/proof-4531850-1752588255'
0.00/0.04 c
0.00/0.04 c make graph and approximate orbits
0.00/0.04 c [group: #orbits ~= 0] (0.22ms)
0.00/0.04 c
0.00/0.04 c detect special group actions
0.00/0.04 c probe for Johnson action (limit=64)
0.00/0.04 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.04 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.04 c (0.04ms)
0.00/0.04 c
0.00/0.04 c detect symmetries on remainder
0.00/0.04 c [graph: #vertices 793 #edges 2592]
0.00/0.04 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.04 c [group: #symmetries 1.00*10^0 #generators 0] (0.06ms)
0.00/0.04 c
0.00/0.04 c finalize break order and special generators
0.00/0.04 c
0.00/0.04 c generation finished
0.00/0.04 c [sbp: #constraints 0 #add_vars 0]
0.00/0.04 c
0.00/0.04 c write result to 'HOME/instance-4531850-1752588255.opb.pre'
0.00/0.04 c wrote 0.01MB (0.07ms)
0.00/0.04 c ------------------------------------------------------------------
0.00/0.04 c 37.23ms 98.49% other
0.00/0.04 c 0.22ms 0.57% approx_orbits
0.00/0.04 c 0.17ms 0.46% parse
0.00/0.04 c 0.07ms 0.18% output
0.00/0.04 c 0.06ms 0.17% detect_generic
0.00/0.04 c 0.04ms 0.12% detect_special
0.00/0.04 c 0.01ms 0.01% finalize_order
0.00/0.04 c ───────────────────────────────────────────────
0.00/0.04 c 37.80ms 100% total
0.00/0.04 c ------------------------------------------------------------------
0.00/0.06 c RoundingSat 2
0.00/0.06 c branch pb25
0.00/0.06 c commit 0f876b3
0.00/0.06 c #variables 120 #constraints 10
0.00/0.06 c objective is ce32
0.00/0.07 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.07 c initial counting CF 32, 64, 128, Arb: 11 , 0 , 0 , 0
0.00/0.07 c bounds 190 >= 0 @ 0.003393
0.00/0.07 c rational objective 0
0.00/0.08 c bounds 186 >= 0 @ 0.016506
0.00/0.08 c bounds 99 >= 0 @ 0.016704
0.00/0.08 c bounds 93 >= 0 @ 0.017564
0.00/0.08 c bounds 65 >= 0 @ 0.019311
0.00/0.09 c bounds 35 >= 0 @ 0.024027
0.23/0.36 c #Conflicts: 1000 | #Constraints: 1034
0.23/0.36 c #Conflicts: 2000 | #Constraints: 2039
0.23/0.36 c INPROCESSING
0.23/0.36 c GARBAGE COLLECT
0.23/0.36 c rational objective 0
0.23/0.37 c bounds 33 >= 0 @ 0.275258
0.23/0.37 c bounds 31 >= 0 @ 0.275809
0.23/0.37 c bounds 29 >= 0 @ 0.276527
0.23/0.37 c bounds 27 >= 0 @ 0.277176
0.23/0.37 c bounds 25 >= 0 @ 0.278077
0.23/0.37 c bounds 23 >= 0 @ 0.278721
0.23/0.37 c bounds 17 >= 0 @ 0.27954
0.23/0.40 c bounds 15 >= 0 @ 0.303812
0.23/0.40 c bounds 13 >= 0 @ 0.304288
0.32/0.47 c bounds 9 >= 0 @ 0.372004
0.32/0.47 c bounds 7 >= 0 @ 0.372515
0.32/0.47 c bounds 5 >= 0 @ 0.373175
0.61/0.70 c #Conflicts: 3000 | #Constraints: 2026
0.61/0.70 c #Conflicts: 4000 | #Constraints: 3039
0.61/0.70 c INPROCESSING
0.61/0.70 c GARBAGE COLLECT
0.61/0.70 c rational objective 0
1.02/1.13 c #Conflicts: 5000 | #Constraints: 2426
1.02/1.13 c #Conflicts: 6000 | #Constraints: 3428
1.02/1.13 c INPROCESSING
1.02/1.13 c GARBAGE COLLECT
1.02/1.13 c rational objective 0
1.41/1.58 c #Conflicts: 7000 | #Constraints: 2429
1.41/1.58 c #Conflicts: 8000 | #Constraints: 3429
1.41/1.58 c #Conflicts: 9000 | #Constraints: 4431
1.41/1.58 c INPROCESSING
1.41/1.58 c GARBAGE COLLECT
1.41/1.58 c rational objective 0
2.01/2.11 c #Conflicts: 10000 | #Constraints: 3128
2.01/2.11 c #Conflicts: 11000 | #Constraints: 4130
2.01/2.11 c #Conflicts: 12000 | #Constraints: 5130
2.01/2.11 c INPROCESSING
2.01/2.11 c GARBAGE COLLECT
2.01/2.11 c rational objective 0
2.50/2.68 c #Conflicts: 13000 | #Constraints: 3582
2.50/2.68 c #Conflicts: 14000 | #Constraints: 4584
2.50/2.68 c #Conflicts: 15000 | #Constraints: 5586
2.50/2.68 c INPROCESSING
2.50/2.68 c GARBAGE COLLECT
2.50/2.68 c rational objective 0
3.20/3.34 c #Conflicts: 16000 | #Constraints: 3807
3.20/3.34 c #Conflicts: 17000 | #Constraints: 4807
3.20/3.34 c #Conflicts: 18000 | #Constraints: 5807
3.20/3.34 c INPROCESSING
3.20/3.34 c GARBAGE COLLECT
3.20/3.34 c rational objective 0
3.90/4.03 c #Conflicts: 19000 | #Constraints: 3818
3.90/4.03 c #Conflicts: 20000 | #Constraints: 4818
3.90/4.03 c #Conflicts: 21000 | #Constraints: 5818
3.90/4.03 c INPROCESSING
3.90/4.03 c GARBAGE COLLECT
3.90/4.03 c rational objective 0
4.70/4.80 c #Conflicts: 22000 | #Constraints: 3623
4.70/4.80 c #Conflicts: 23000 | #Constraints: 4624
4.70/4.80 c #Conflicts: 24000 | #Constraints: 5624
4.70/4.80 c #Conflicts: 25000 | #Constraints: 6624
4.70/4.80 c INPROCESSING
4.70/4.80 c GARBAGE COLLECT
4.70/4.80 c rational objective 0
5.50/5.61 c #Conflicts: 26000 | #Constraints: 4228
5.50/5.61 c #Conflicts: 27000 | #Constraints: 5228
5.50/5.61 c #Conflicts: 28000 | #Constraints: 6228
5.50/5.61 c #Conflicts: 29000 | #Constraints: 7229
5.50/5.61 c INPROCESSING
5.50/5.61 c GARBAGE COLLECT
5.50/5.61 c rational objective 0
6.70/6.85 c #Conflicts: 30000 | #Constraints: 5092
6.70/6.85 c #Conflicts: 31000 | #Constraints: 6388
6.70/6.85 c #Conflicts: 32000 | #Constraints: 7621
6.70/6.85 c #Conflicts: 33000 | #Constraints: 8930
6.70/6.85 c INPROCESSING
6.70/6.85 c GARBAGE COLLECT
6.70/6.85 c rational objective 0
8.19/8.31 c #Conflicts: 34000 | #Constraints: 5982
8.19/8.31 c #Conflicts: 35000 | #Constraints: 7478
8.19/8.31 c #Conflicts: 36000 | #Constraints: 8984
8.19/8.31 c #Conflicts: 37000 | #Constraints: 10504
8.19/8.31 c INPROCESSING
8.19/8.31 c GARBAGE COLLECT
8.19/8.31 c rational objective 0
9.79/9.90 c #Conflicts: 38000 | #Constraints: 6570
9.79/9.90 c #Conflicts: 39000 | #Constraints: 7993
9.79/9.90 c #Conflicts: 40000 | #Constraints: 9472
9.79/9.90 c #Conflicts: 41000 | #Constraints: 10890
9.79/9.90 c INPROCESSING
9.79/9.90 c GARBAGE COLLECT
9.79/9.90 c rational objective 0
11.48/11.61 c #Conflicts: 42000 | #Constraints: 6453
11.48/11.61 c #Conflicts: 43000 | #Constraints: 7929
11.48/11.61 c #Conflicts: 44000 | #Constraints: 9430
11.48/11.61 c #Conflicts: 45000 | #Constraints: 10783
11.48/11.61 c #Conflicts: 46000 | #Constraints: 12165
11.48/11.61 c INPROCESSING
11.48/11.61 c GARBAGE COLLECT
11.48/11.61 c rational objective 0
13.17/13.35 c #Conflicts: 47000 | #Constraints: 7317
13.17/13.35 c #Conflicts: 48000 | #Constraints: 8682
13.17/13.35 c #Conflicts: 49000 | #Constraints: 10137
13.17/13.35 c #Conflicts: 50000 | #Constraints: 11439
13.17/13.35 c #Conflicts: 51000 | #Constraints: 12925
13.17/13.35 c INPROCESSING
13.17/13.35 c GARBAGE COLLECT
13.17/13.35 c rational objective 0
13.77/13.97 c #Conflicts: 52000 | #Constraints: 7663
13.77/13.97 c bounds 4 >= 0 @ 13.3145
14.97/15.17 c #Conflicts: 53000 | #Constraints: 8972
14.97/15.17 c #Conflicts: 54000 | #Constraints: 10262
14.97/15.17 c #Conflicts: 55000 | #Constraints: 11737
14.97/15.17 c #Conflicts: 56000 | #Constraints: 13038
14.97/15.17 c INPROCESSING
14.97/15.17 c GARBAGE COLLECT
14.97/15.17 c rational objective 0
16.87/17.01 c #Conflicts: 57000 | #Constraints: 7768
16.87/17.01 c #Conflicts: 58000 | #Constraints: 9064
16.87/17.01 c #Conflicts: 59000 | #Constraints: 10377
16.87/17.01 c #Conflicts: 60000 | #Constraints: 11858
16.87/17.01 c #Conflicts: 61000 | #Constraints: 13088
16.87/17.01 c INPROCESSING
16.87/17.01 c GARBAGE COLLECT
16.87/17.01 c rational objective 0
18.76/18.99 c #Conflicts: 62000 | #Constraints: 7702
18.76/18.99 c #Conflicts: 63000 | #Constraints: 8935
18.76/18.99 c #Conflicts: 64000 | #Constraints: 10101
18.76/18.99 c #Conflicts: 65000 | #Constraints: 11348
18.76/18.99 c #Conflicts: 66000 | #Constraints: 12795
18.76/18.99 c INPROCESSING
18.76/18.99 c GARBAGE COLLECT
18.76/18.99 c rational objective 0
20.75/20.93 c #Conflicts: 67000 | #Constraints: 7218
20.75/20.93 c #Conflicts: 68000 | #Constraints: 8426
20.75/20.93 c #Conflicts: 69000 | #Constraints: 9855
20.75/20.93 c #Conflicts: 70000 | #Constraints: 10957
20.75/20.93 c #Conflicts: 71000 | #Constraints: 12410
20.75/20.93 c #Conflicts: 72000 | #Constraints: 13643
20.75/20.93 c INPROCESSING
20.75/20.93 c GARBAGE COLLECT
20.75/20.93 c rational objective 0
22.15/22.37 c #Conflicts: 73000 | #Constraints: 8031
22.15/22.37 c #Conflicts: 74000 | #Constraints: 9416
22.15/22.37 c #Conflicts: 75000 | #Constraints: 10653
22.15/22.37 c #Conflicts: 76000 | #Constraints: 11995
22.15/22.37 c bounds 3 >= 0 @ 21.3899
22.95/23.17 c #Conflicts: 77000 | #Constraints: 13269
22.95/23.17 c #Conflicts: 78000 | #Constraints: 14561
22.95/23.17 c INPROCESSING
22.95/23.17 c GARBAGE COLLECT
22.95/23.17 c rational objective 0
25.53/25.76 c #Conflicts: 79000 | #Constraints: 8792
25.53/25.76 c #Conflicts: 80000 | #Constraints: 10316
25.53/25.76 c #Conflicts: 81000 | #Constraints: 11828
25.53/25.76 c #Conflicts: 82000 | #Constraints: 13331
25.53/25.76 c #Conflicts: 83000 | #Constraints: 14848
25.53/25.76 c #Conflicts: 84000 | #Constraints: 16368
25.53/25.76 c INPROCESSING
25.53/25.76 c GARBAGE COLLECT
25.53/25.76 c rational objective 0
28.13/28.39 c #Conflicts: 85000 | #Constraints: 9638
28.13/28.39 c #Conflicts: 86000 | #Constraints: 11113
28.13/28.39 c #Conflicts: 87000 | #Constraints: 12587
28.13/28.39 c #Conflicts: 88000 | #Constraints: 13987
28.13/28.39 c #Conflicts: 89000 | #Constraints: 15265
28.13/28.39 c #Conflicts: 90000 | #Constraints: 16758
28.13/28.39 c INPROCESSING
28.13/28.39 c GARBAGE COLLECT
28.13/28.39 c rational objective 0
31.22/31.43 c #Conflicts: 91000 | #Constraints: 9721
31.22/31.43 c #Conflicts: 92000 | #Constraints: 11212
31.22/31.43 c #Conflicts: 93000 | #Constraints: 12701
31.22/31.43 c #Conflicts: 94000 | #Constraints: 14220
31.22/31.43 c #Conflicts: 95000 | #Constraints: 15713
31.22/31.43 c #Conflicts: 96000 | #Constraints: 17221
31.22/31.43 c INPROCESSING
31.22/31.43 c GARBAGE COLLECT
31.22/31.43 c rational objective 0
34.21/34.46 c #Conflicts: 97000 | #Constraints: 9663
34.21/34.46 c #Conflicts: 98000 | #Constraints: 11064
34.21/34.46 c #Conflicts: 99000 | #Constraints: 12556
34.21/34.46 c #Conflicts: 100000 | #Constraints: 14052
34.21/34.46 c #Conflicts: 101000 | #Constraints: 15550
34.21/34.46 c #Conflicts: 102000 | #Constraints: 17056
34.21/34.46 c #Conflicts: 103000 | #Constraints: 18565
34.21/34.46 c INPROCESSING
34.21/34.46 c GARBAGE COLLECT
34.21/34.46 c rational objective 0
37.40/37.63 c #Conflicts: 104000 | #Constraints: 10520
37.40/37.63 c #Conflicts: 105000 | #Constraints: 12005
37.40/37.63 c #Conflicts: 106000 | #Constraints: 13495
37.40/37.63 c #Conflicts: 107000 | #Constraints: 14975
37.40/37.63 c #Conflicts: 108000 | #Constraints: 16462
37.40/37.63 c #Conflicts: 109000 | #Constraints: 17945
37.40/37.63 c #Conflicts: 110000 | #Constraints: 19437
37.40/37.63 c INPROCESSING
37.40/37.63 c GARBAGE COLLECT
37.40/37.63 c rational objective 0
40.79/41.00 c #Conflicts: 111000 | #Constraints: 11162
40.79/41.00 c #Conflicts: 112000 | #Constraints: 12698
40.79/41.00 c #Conflicts: 113000 | #Constraints: 14024
40.79/41.00 c #Conflicts: 114000 | #Constraints: 15418
40.79/41.00 c #Conflicts: 115000 | #Constraints: 16907
40.79/41.00 c #Conflicts: 116000 | #Constraints: 18101
40.79/41.00 c #Conflicts: 117000 | #Constraints: 19623
40.79/41.00 c INPROCESSING
40.79/41.00 c GARBAGE COLLECT
40.79/41.00 c rational objective 0
44.18/44.41 c #Conflicts: 118000 | #Constraints: 11172
44.18/44.41 c #Conflicts: 119000 | #Constraints: 12660
44.18/44.41 c #Conflicts: 120000 | #Constraints: 13985
44.18/44.41 c #Conflicts: 121000 | #Constraints: 15311
44.18/44.41 c #Conflicts: 122000 | #Constraints: 16780
44.18/44.41 c #Conflicts: 123000 | #Constraints: 18153
44.18/44.41 c #Conflicts: 124000 | #Constraints: 19622
44.18/44.41 c INPROCESSING
44.18/44.41 c GARBAGE COLLECT
44.18/44.41 c rational objective 0
47.66/48.00 c #Conflicts: 125000 | #Constraints: 10885
47.66/48.00 c #Conflicts: 126000 | #Constraints: 12160
47.66/48.00 c #Conflicts: 127000 | #Constraints: 13538
47.66/48.00 c #Conflicts: 128000 | #Constraints: 15008
47.66/48.00 c #Conflicts: 129000 | #Constraints: 16313
47.66/48.00 c #Conflicts: 130000 | #Constraints: 17755
47.66/48.00 c #Conflicts: 131000 | #Constraints: 19281
47.66/48.00 c INPROCESSING
47.66/48.00 c GARBAGE COLLECT
47.66/48.00 c rational objective 0
51.34/51.61 c #Conflicts: 132000 | #Constraints: 10616
51.34/51.61 c #Conflicts: 133000 | #Constraints: 12119
51.34/51.61 c #Conflicts: 134000 | #Constraints: 13630
51.34/51.61 c #Conflicts: 135000 | #Constraints: 15114
51.34/51.61 c #Conflicts: 136000 | #Constraints: 16594
51.34/51.61 c #Conflicts: 137000 | #Constraints: 18088
51.34/51.61 c #Conflicts: 138000 | #Constraints: 19564
51.34/51.61 c #Conflicts: 139000 | #Constraints: 21039
51.34/51.61 c INPROCESSING
51.34/51.61 c GARBAGE COLLECT
51.34/51.61 c rational objective 0
55.43/55.76 c #Conflicts: 140000 | #Constraints: 11636
55.43/55.76 c #Conflicts: 141000 | #Constraints: 13135
55.43/55.76 c #Conflicts: 142000 | #Constraints: 14694
55.43/55.76 c #Conflicts: 143000 | #Constraints: 16224
55.43/55.76 c #Conflicts: 144000 | #Constraints: 17642
55.43/55.76 c #Conflicts: 145000 | #Constraints: 19047
55.43/55.76 c #Conflicts: 146000 | #Constraints: 20577
55.43/55.76 c #Conflicts: 147000 | #Constraints: 22004
55.43/55.76 c INPROCESSING
55.43/55.76 c GARBAGE COLLECT
55.43/55.76 c rational objective 0
59.52/59.84 c #Conflicts: 148000 | #Constraints: 12343
59.52/59.84 c #Conflicts: 149000 | #Constraints: 13563
59.52/59.84 c #Conflicts: 150000 | #Constraints: 14889
59.52/59.84 c #Conflicts: 151000 | #Constraints: 16208
59.52/59.84 c #Conflicts: 152000 | #Constraints: 17289
59.52/59.84 c #Conflicts: 153000 | #Constraints: 18666
59.52/59.84 c #Conflicts: 154000 | #Constraints: 20172
59.52/59.84 c #Conflicts: 155000 | #Constraints: 21667
59.52/59.84 c INPROCESSING
59.52/59.84 c GARBAGE COLLECT
59.52/59.84 c rational objective 0
64.31/64.66 c #Conflicts: 156000 | #Constraints: 12272
64.31/64.66 c #Conflicts: 157000 | #Constraints: 13627
64.31/64.66 c #Conflicts: 158000 | #Constraints: 15021
64.31/64.66 c #Conflicts: 159000 | #Constraints: 16559
64.31/64.66 c #Conflicts: 160000 | #Constraints: 18001
64.31/64.66 c #Conflicts: 161000 | #Constraints: 19260
64.31/64.66 c #Conflicts: 162000 | #Constraints: 20627
64.31/64.66 c #Conflicts: 163000 | #Constraints: 22034
64.31/64.66 c INPROCESSING
64.31/64.66 c GARBAGE COLLECT
64.31/64.66 c rational objective 0
69.39/69.71 c #Conflicts: 164000 | #Constraints: 12377
69.39/69.71 c #Conflicts: 165000 | #Constraints: 13873
69.39/69.71 c #Conflicts: 166000 | #Constraints: 15307
69.39/69.71 c #Conflicts: 167000 | #Constraints: 16812
69.39/69.71 c #Conflicts: 168000 | #Constraints: 18197
69.39/69.71 c #Conflicts: 169000 | #Constraints: 19573
69.39/69.71 c #Conflicts: 170000 | #Constraints: 20893
69.39/69.71 c #Conflicts: 171000 | #Constraints: 22258
69.39/69.71 c INPROCESSING
69.39/69.71 c GARBAGE COLLECT
69.39/69.71 c rational objective 0
74.66/75.01 c #Conflicts: 172000 | #Constraints: 12110
74.66/75.01 c #Conflicts: 173000 | #Constraints: 13416
74.66/75.01 c #Conflicts: 174000 | #Constraints: 14785
74.66/75.01 c #Conflicts: 175000 | #Constraints: 15931
74.66/75.01 c #Conflicts: 176000 | #Constraints: 17397
74.66/75.01 c #Conflicts: 177000 | #Constraints: 18905
74.66/75.01 c #Conflicts: 178000 | #Constraints: 20182
74.66/75.01 c #Conflicts: 179000 | #Constraints: 21463
74.66/75.01 c #Conflicts: 180000 | #Constraints: 22940
74.66/75.01 c INPROCESSING
74.66/75.01 c GARBAGE COLLECT
74.66/75.01 c rational objective 0
79.64/80.05 c #Conflicts: 181000 | #Constraints: 12793
79.64/80.05 c #Conflicts: 182000 | #Constraints: 14171
79.64/80.05 c #Conflicts: 183000 | #Constraints: 15575
79.64/80.05 c #Conflicts: 184000 | #Constraints: 16671
79.64/80.05 c #Conflicts: 185000 | #Constraints: 17907
79.64/80.05 c #Conflicts: 186000 | #Constraints: 18990
79.64/80.05 c #Conflicts: 187000 | #Constraints: 20260
79.64/80.05 c #Conflicts: 188000 | #Constraints: 21755
79.64/80.05 c #Conflicts: 189000 | #Constraints: 22760
79.64/80.05 c INPROCESSING
79.64/80.05 c GARBAGE COLLECT
79.64/80.05 c rational objective 0
80.53/80.98 c #Conflicts: 190000 | #Constraints: 12877
80.53/80.98 c bounds 1 >= 0 @ 78.2049
86.01/86.44 c #Conflicts: 191000 | #Constraints: 14281
86.01/86.44 c #Conflicts: 192000 | #Constraints: 15769
86.01/86.44 c #Conflicts: 193000 | #Constraints: 16945
86.01/86.44 c #Conflicts: 194000 | #Constraints: 18467
86.01/86.44 c #Conflicts: 195000 | #Constraints: 19980
86.01/86.44 c #Conflicts: 196000 | #Constraints: 21510
86.01/86.44 c #Conflicts: 197000 | #Constraints: 23050
86.01/86.44 c #Conflicts: 198000 | #Constraints: 24574
86.01/86.44 c INPROCESSING
86.01/86.44 c GARBAGE COLLECT
86.01/86.44 c rational objective 0
92.98/93.48 c #Conflicts: 199000 | #Constraints: 13791
92.98/93.48 c #Conflicts: 200000 | #Constraints: 15286
92.98/93.48 c #Conflicts: 201000 | #Constraints: 16739
92.98/93.48 c #Conflicts: 202000 | #Constraints: 18213
92.98/93.48 c #Conflicts: 203000 | #Constraints: 19676
92.98/93.48 c #Conflicts: 204000 | #Constraints: 21130
92.98/93.48 c #Conflicts: 205000 | #Constraints: 22567
92.98/93.48 c #Conflicts: 206000 | #Constraints: 24061
92.98/93.48 c #Conflicts: 207000 | #Constraints: 25426
92.98/93.48 c INPROCESSING
92.98/93.48 c GARBAGE COLLECT
92.98/93.48 c rational objective 0
97.87/98.37 c #Conflicts: 208000 | #Constraints: 13632
97.87/98.37 c #Conflicts: 209000 | #Constraints: 14633
97.87/98.37 c #Conflicts: 210000 | #Constraints: 15633
97.87/98.37 c #Conflicts: 211000 | #Constraints: 16633
97.87/98.37 c #Conflicts: 212000 | #Constraints: 17636
97.87/98.37 c #Conflicts: 213000 | #Constraints: 18636
97.87/98.37 c #Conflicts: 214000 | #Constraints: 19636
97.87/98.37 c #Conflicts: 215000 | #Constraints: 20636
97.87/98.37 c #Conflicts: 216000 | #Constraints: 21636
97.87/98.37 c INPROCESSING
97.87/98.37 c GARBAGE COLLECT
97.87/98.37 c rational objective 0
104.25/104.72 c #Conflicts: 217000 | #Constraints: 11734
104.25/104.72 c #Conflicts: 218000 | #Constraints: 13209
104.25/104.72 c #Conflicts: 219000 | #Constraints: 14691
104.25/104.72 c #Conflicts: 220000 | #Constraints: 16191
104.25/104.72 c #Conflicts: 221000 | #Constraints: 17692
104.25/104.72 c #Conflicts: 222000 | #Constraints: 19194
104.25/104.72 c #Conflicts: 223000 | #Constraints: 20697
104.25/104.72 c #Conflicts: 224000 | #Constraints: 22184
104.25/104.72 c #Conflicts: 225000 | #Constraints: 23659
104.25/104.72 c #Conflicts: 226000 | #Constraints: 25149
104.25/104.72 c INPROCESSING
104.25/104.72 c GARBAGE COLLECT
104.25/104.72 c rational objective 0
111.23/111.78 c #Conflicts: 227000 | #Constraints: 13954
111.23/111.78 c #Conflicts: 228000 | #Constraints: 15478
111.23/111.78 c #Conflicts: 229000 | #Constraints: 16994
111.23/111.78 c #Conflicts: 230000 | #Constraints: 18516
111.23/111.78 c #Conflicts: 231000 | #Constraints: 20032
111.23/111.78 c #Conflicts: 232000 | #Constraints: 21558
111.23/111.78 c #Conflicts: 233000 | #Constraints: 23093
111.23/111.78 c #Conflicts: 234000 | #Constraints: 24603
111.23/111.78 c #Conflicts: 235000 | #Constraints: 26015
111.23/111.78 c #Conflicts: 236000 | #Constraints: 27549
111.23/111.78 c INPROCESSING
111.23/111.78 c GARBAGE COLLECT
111.23/111.78 c rational objective 0
118.30/118.82 c #Conflicts: 237000 | #Constraints: 15273
118.30/118.82 c #Conflicts: 238000 | #Constraints: 16780
118.30/118.82 c #Conflicts: 239000 | #Constraints: 18270
118.30/118.82 c #Conflicts: 240000 | #Constraints: 19766
118.30/118.82 c #Conflicts: 241000 | #Constraints: 21249
118.30/118.82 c #Conflicts: 242000 | #Constraints: 22758
118.30/118.82 c #Conflicts: 243000 | #Constraints: 24240
118.30/118.82 c #Conflicts: 244000 | #Constraints: 25725
118.30/118.82 c #Conflicts: 245000 | #Constraints: 27219
118.30/118.82 c #Conflicts: 246000 | #Constraints: 28722
118.30/118.82 c INPROCESSING
118.30/118.82 c GARBAGE COLLECT
118.30/118.82 c rational objective 0
126.07/126.66 c #Conflicts: 247000 | #Constraints: 15913
126.07/126.66 c #Conflicts: 248000 | #Constraints: 17323
126.07/126.66 c #Conflicts: 249000 | #Constraints: 18837
126.07/126.66 c #Conflicts: 250000 | #Constraints: 20357
126.07/126.66 c #Conflicts: 251000 | #Constraints: 21857
126.07/126.66 c #Conflicts: 252000 | #Constraints: 23371
126.07/126.66 c #Conflicts: 253000 | #Constraints: 24898
126.07/126.66 c #Conflicts: 254000 | #Constraints: 26435
126.07/126.66 c #Conflicts: 255000 | #Constraints: 27954
126.07/126.66 c #Conflicts: 256000 | #Constraints: 29479
126.07/126.66 c INPROCESSING
126.07/126.66 c GARBAGE COLLECT
126.07/126.66 c rational objective 0
131.95/132.55 c #Conflicts: 257000 | #Constraints: 15708
131.95/132.55 c #Conflicts: 258000 | #Constraints: 16708
131.95/132.55 c #Conflicts: 259000 | #Constraints: 17708
131.95/132.55 c #Conflicts: 260000 | #Constraints: 18708
131.95/132.55 c #Conflicts: 261000 | #Constraints: 19709
131.95/132.55 c #Conflicts: 262000 | #Constraints: 20709
131.95/132.55 c #Conflicts: 263000 | #Constraints: 21710
131.95/132.55 c #Conflicts: 264000 | #Constraints: 22710
131.95/132.55 c #Conflicts: 265000 | #Constraints: 23710
131.95/132.55 c #Conflicts: 266000 | #Constraints: 24710
131.95/132.55 c INPROCESSING
131.95/132.55 c GARBAGE COLLECT
131.95/132.55 c rational objective 0
138.03/138.69 c #Conflicts: 267000 | #Constraints: 13076
138.03/138.69 c #Conflicts: 268000 | #Constraints: 14077
138.03/138.69 c #Conflicts: 269000 | #Constraints: 15084
138.03/138.69 c #Conflicts: 270000 | #Constraints: 16285
138.03/138.69 c #Conflicts: 271000 | #Constraints: 17390
138.03/138.69 c #Conflicts: 272000 | #Constraints: 18451
138.03/138.69 c #Conflicts: 273000 | #Constraints: 19481
138.03/138.69 c #Conflicts: 274000 | #Constraints: 20514
138.03/138.69 c #Conflicts: 275000 | #Constraints: 21514
138.03/138.69 c #Conflicts: 276000 | #Constraints: 22713
138.03/138.69 c #Conflicts: 277000 | #Constraints: 23760
138.03/138.69 c INPROCESSING
138.03/138.69 c GARBAGE COLLECT
138.03/138.69 c rational objective 0
145.31/146.00 c #Conflicts: 278000 | #Constraints: 13111
145.31/146.00 c #Conflicts: 279000 | #Constraints: 14419
145.31/146.00 c #Conflicts: 280000 | #Constraints: 15657
145.31/146.00 c #Conflicts: 281000 | #Constraints: 16986
145.31/146.00 c #Conflicts: 282000 | #Constraints: 18441
145.31/146.00 c #Conflicts: 283000 | #Constraints: 19629
145.31/146.00 c #Conflicts: 284000 | #Constraints: 21137
145.31/146.00 c #Conflicts: 285000 | #Constraints: 22435
145.31/146.00 c #Conflicts: 286000 | #Constraints: 23931
145.31/146.00 c #Conflicts: 287000 | #Constraints: 25356
145.31/146.00 c #Conflicts: 288000 | #Constraints: 26727
145.31/146.00 c INPROCESSING
145.31/146.00 c GARBAGE COLLECT
145.31/146.00 c rational objective 0
152.88/153.53 c #Conflicts: 289000 | #Constraints: 14473
152.88/153.53 c #Conflicts: 290000 | #Constraints: 15473
152.88/153.53 c #Conflicts: 291000 | #Constraints: 16474
152.88/153.53 c #Conflicts: 292000 | #Constraints: 17700
152.88/153.53 c #Conflicts: 293000 | #Constraints: 19198
152.88/153.53 c #Conflicts: 294000 | #Constraints: 20697
152.88/153.53 c #Conflicts: 295000 | #Constraints: 22191
152.88/153.53 c #Conflicts: 296000 | #Constraints: 23717
152.88/153.53 c #Conflicts: 297000 | #Constraints: 25237
152.88/153.53 c #Conflicts: 298000 | #Constraints: 26754
152.88/153.53 c #Conflicts: 299000 | #Constraints: 28276
152.88/153.53 c INPROCESSING
152.88/153.53 c GARBAGE COLLECT
152.88/153.53 c rational objective 0
160.66/161.31 c #Conflicts: 300000 | #Constraints: 15636
160.66/161.31 c #Conflicts: 301000 | #Constraints: 17130
160.66/161.31 c #Conflicts: 302000 | #Constraints: 18608
160.66/161.31 c #Conflicts: 303000 | #Constraints: 20026
160.66/161.31 c #Conflicts: 304000 | #Constraints: 21030
160.66/161.31 c #Conflicts: 305000 | #Constraints: 22507
160.66/161.31 c #Conflicts: 306000 | #Constraints: 23619
160.66/161.31 c #Conflicts: 307000 | #Constraints: 25074
160.66/161.31 c #Conflicts: 308000 | #Constraints: 26568
160.66/161.31 c #Conflicts: 309000 | #Constraints: 28072
160.66/161.31 c #Conflicts: 310000 | #Constraints: 29570
160.66/161.31 c INPROCESSING
160.66/161.31 c GARBAGE COLLECT
160.66/161.31 c rational objective 0
168.73/169.45 c #Conflicts: 311000 | #Constraints: 15871
168.73/169.45 c #Conflicts: 312000 | #Constraints: 17031
168.73/169.45 c #Conflicts: 313000 | #Constraints: 18283
168.73/169.45 c #Conflicts: 314000 | #Constraints: 19582
168.73/169.45 c #Conflicts: 315000 | #Constraints: 20943
168.73/169.45 c #Conflicts: 316000 | #Constraints: 22405
168.73/169.45 c #Conflicts: 317000 | #Constraints: 23744
168.73/169.45 c #Conflicts: 318000 | #Constraints: 25064
168.73/169.45 c #Conflicts: 319000 | #Constraints: 26210
168.73/169.45 c #Conflicts: 320000 | #Constraints: 27541
168.73/169.45 c #Conflicts: 321000 | #Constraints: 28864
168.73/169.45 c INPROCESSING
168.73/169.45 c GARBAGE COLLECT
168.73/169.45 c rational objective 0
177.00/177.70 c #Conflicts: 322000 | #Constraints: 15460
177.00/177.70 c #Conflicts: 323000 | #Constraints: 16927
177.00/177.70 c #Conflicts: 324000 | #Constraints: 18344
177.00/177.70 c #Conflicts: 325000 | #Constraints: 19560
177.00/177.70 c #Conflicts: 326000 | #Constraints: 20961
177.00/177.70 c #Conflicts: 327000 | #Constraints: 22364
177.00/177.70 c #Conflicts: 328000 | #Constraints: 23840
177.00/177.70 c #Conflicts: 329000 | #Constraints: 25339
177.00/177.70 c #Conflicts: 330000 | #Constraints: 26563
177.00/177.70 c #Conflicts: 331000 | #Constraints: 28001
177.00/177.70 c #Conflicts: 332000 | #Constraints: 29324
177.00/177.70 c #Conflicts: 333000 | #Constraints: 30770
177.00/177.70 c INPROCESSING
177.00/177.70 c GARBAGE COLLECT
177.00/177.70 c rational objective 0
185.67/186.49 c #Conflicts: 334000 | #Constraints: 16488
185.67/186.49 c #Conflicts: 335000 | #Constraints: 17704
185.67/186.49 c #Conflicts: 336000 | #Constraints: 19231
185.67/186.49 c #Conflicts: 337000 | #Constraints: 20734
185.67/186.49 c #Conflicts: 338000 | #Constraints: 22270
185.67/186.49 c #Conflicts: 339000 | #Constraints: 23643
185.67/186.49 c #Conflicts: 340000 | #Constraints: 24852
185.67/186.49 c #Conflicts: 341000 | #Constraints: 26128
185.67/186.49 c #Conflicts: 342000 | #Constraints: 27325
185.67/186.49 c #Conflicts: 343000 | #Constraints: 28743
185.67/186.49 c #Conflicts: 344000 | #Constraints: 30231
185.67/186.49 c #Conflicts: 345000 | #Constraints: 31593
185.67/186.49 c INPROCESSING
185.67/186.49 c GARBAGE COLLECT
185.67/186.49 c rational objective 0
193.84/194.67 c #Conflicts: 346000 | #Constraints: 17066
193.84/194.67 c #Conflicts: 347000 | #Constraints: 18231
193.84/194.67 c #Conflicts: 348000 | #Constraints: 19325
193.84/194.67 c #Conflicts: 349000 | #Constraints: 20618
193.84/194.67 c #Conflicts: 350000 | #Constraints: 21715
193.84/194.67 c #Conflicts: 351000 | #Constraints: 22881
193.84/194.67 c #Conflicts: 352000 | #Constraints: 24358
193.84/194.67 c #Conflicts: 353000 | #Constraints: 25851
193.84/194.67 c #Conflicts: 354000 | #Constraints: 27346
193.84/194.67 c #Conflicts: 355000 | #Constraints: 28836
193.84/194.67 c #Conflicts: 356000 | #Constraints: 30326
193.84/194.67 c #Conflicts: 357000 | #Constraints: 31808
193.84/194.67 c INPROCESSING
193.84/194.67 c GARBAGE COLLECT
193.84/194.67 c rational objective 0
202.81/203.60 c #Conflicts: 358000 | #Constraints: 17218
202.81/203.60 c #Conflicts: 359000 | #Constraints: 18662
202.81/203.60 c #Conflicts: 360000 | #Constraints: 19881
202.81/203.60 c #Conflicts: 361000 | #Constraints: 21396
202.81/203.60 c #Conflicts: 362000 | #Constraints: 22400
202.81/203.60 c #Conflicts: 363000 | #Constraints: 23756
202.81/203.60 c #Conflicts: 364000 | #Constraints: 24756
202.81/203.60 c #Conflicts: 365000 | #Constraints: 26251
202.81/203.60 c #Conflicts: 366000 | #Constraints: 27744
202.81/203.60 c #Conflicts: 367000 | #Constraints: 29248
202.81/203.60 c #Conflicts: 368000 | #Constraints: 30422
202.81/203.60 c #Conflicts: 369000 | #Constraints: 31930
202.81/203.60 c INPROCESSING
202.81/203.60 c GARBAGE COLLECT
202.81/203.60 c rational objective 0
213.67/214.56 c #Conflicts: 370000 | #Constraints: 17265
213.67/214.56 c #Conflicts: 371000 | #Constraints: 18719
213.67/214.56 c #Conflicts: 372000 | #Constraints: 20011
213.67/214.56 c #Conflicts: 373000 | #Constraints: 21362
213.67/214.56 c #Conflicts: 374000 | #Constraints: 22837
213.67/214.56 c #Conflicts: 375000 | #Constraints: 24303
213.67/214.56 c #Conflicts: 376000 | #Constraints: 25807
213.67/214.56 c #Conflicts: 377000 | #Constraints: 27307
213.67/214.56 c #Conflicts: 378000 | #Constraints: 28737
213.67/214.56 c #Conflicts: 379000 | #Constraints: 29997
213.67/214.56 c #Conflicts: 380000 | #Constraints: 31489
213.67/214.56 c #Conflicts: 381000 | #Constraints: 32874
213.67/214.56 c INPROCESSING
213.67/214.56 c GARBAGE COLLECT
213.67/214.56 c rational objective 0
226.14/227.01 c #Conflicts: 382000 | #Constraints: 17336
226.14/227.01 c #Conflicts: 383000 | #Constraints: 18775
226.14/227.01 c #Conflicts: 384000 | #Constraints: 20266
226.14/227.01 c #Conflicts: 385000 | #Constraints: 21778
226.14/227.01 c #Conflicts: 386000 | #Constraints: 23288
226.14/227.01 c #Conflicts: 387000 | #Constraints: 24818
226.14/227.01 c #Conflicts: 388000 | #Constraints: 26283
226.14/227.01 c #Conflicts: 389000 | #Constraints: 27839
226.14/227.01 c #Conflicts: 390000 | #Constraints: 29333
226.14/227.01 c #Conflicts: 391000 | #Constraints: 30736
226.14/227.01 c #Conflicts: 392000 | #Constraints: 32275
226.14/227.01 c #Conflicts: 393000 | #Constraints: 33764
226.14/227.01 c #Conflicts: 394000 | #Constraints: 35286
226.14/227.01 c INPROCESSING
226.14/227.01 c GARBAGE COLLECT
226.14/227.01 c rational objective 0
238.10/239.07 c #Conflicts: 395000 | #Constraints: 18965
238.10/239.07 c #Conflicts: 396000 | #Constraints: 20480
238.10/239.07 c #Conflicts: 397000 | #Constraints: 21956
238.10/239.07 c #Conflicts: 398000 | #Constraints: 23077
238.10/239.07 c #Conflicts: 399000 | #Constraints: 24429
238.10/239.07 c #Conflicts: 400000 | #Constraints: 25926
238.10/239.07 c #Conflicts: 401000 | #Constraints: 27433
238.10/239.07 c #Conflicts: 402000 | #Constraints: 28881
238.10/239.07 c #Conflicts: 403000 | #Constraints: 30385
238.10/239.07 c #Conflicts: 404000 | #Constraints: 31810
238.10/239.07 c #Conflicts: 405000 | #Constraints: 33265
238.10/239.07 c #Conflicts: 406000 | #Constraints: 34769
238.10/239.07 c #Conflicts: 407000 | #Constraints: 36243
238.10/239.07 c INPROCESSING
238.10/239.07 c GARBAGE COLLECT
238.10/239.07 c rational objective 0
251.24/252.21 c #Conflicts: 408000 | #Constraints: 19540
251.24/252.21 c #Conflicts: 409000 | #Constraints: 20887
251.24/252.21 c #Conflicts: 410000 | #Constraints: 22427
251.24/252.21 c #Conflicts: 411000 | #Constraints: 23890
251.24/252.21 c #Conflicts: 412000 | #Constraints: 25360
251.24/252.21 c #Conflicts: 413000 | #Constraints: 26904
251.24/252.21 c #Conflicts: 414000 | #Constraints: 28416
251.24/252.21 c #Conflicts: 415000 | #Constraints: 29934
251.24/252.21 c #Conflicts: 416000 | #Constraints: 31423
251.24/252.21 c #Conflicts: 417000 | #Constraints: 32953
251.24/252.21 c #Conflicts: 418000 | #Constraints: 33953
251.24/252.21 c #Conflicts: 419000 | #Constraints: 35279
251.24/252.21 c #Conflicts: 420000 | #Constraints: 36814
251.24/252.21 c INPROCESSING
251.24/252.21 c GARBAGE COLLECT
251.24/252.21 c rational objective 0
264.29/265.31 c #Conflicts: 421000 | #Constraints: 19771
264.29/265.31 c #Conflicts: 422000 | #Constraints: 21225
264.29/265.31 c #Conflicts: 423000 | #Constraints: 22641
264.29/265.31 c #Conflicts: 424000 | #Constraints: 24116
264.29/265.31 c #Conflicts: 425000 | #Constraints: 25546
264.29/265.31 c #Conflicts: 426000 | #Constraints: 26967
264.29/265.31 c #Conflicts: 427000 | #Constraints: 28432
264.29/265.31 c #Conflicts: 428000 | #Constraints: 29565
264.29/265.31 c #Conflicts: 429000 | #Constraints: 30835
264.29/265.31 c #Conflicts: 430000 | #Constraints: 32248
264.29/265.31 c #Conflicts: 431000 | #Constraints: 33581
264.29/265.31 c #Conflicts: 432000 | #Constraints: 34740
264.29/265.31 c #Conflicts: 433000 | #Constraints: 36198
264.29/265.31 c INPROCESSING
264.29/265.31 c GARBAGE COLLECT
264.29/265.31 c rational objective 0
275.96/277.03 c #Conflicts: 434000 | #Constraints: 19432
275.96/277.03 c #Conflicts: 435000 | #Constraints: 20558
275.96/277.03 c #Conflicts: 436000 | #Constraints: 21746
275.96/277.03 c #Conflicts: 437000 | #Constraints: 23278
275.96/277.03 c #Conflicts: 438000 | #Constraints: 24800
275.96/277.03 c #Conflicts: 439000 | #Constraints: 26320
275.96/277.03 c #Conflicts: 440000 | #Constraints: 27870
275.96/277.03 c #Conflicts: 441000 | #Constraints: 29394
275.96/277.03 c #Conflicts: 442000 | #Constraints: 30915
275.96/277.03 c #Conflicts: 443000 | #Constraints: 32153
275.96/277.03 c #Conflicts: 444000 | #Constraints: 33491
275.96/277.03 c #Conflicts: 445000 | #Constraints: 34804
275.96/277.03 c #Conflicts: 446000 | #Constraints: 36226
275.96/277.03 c INPROCESSING
275.96/277.03 c GARBAGE COLLECT
275.96/277.03 c rational objective 0
287.42/288.57 c #Conflicts: 447000 | #Constraints: 18979
287.42/288.57 c #Conflicts: 448000 | #Constraints: 20284
287.42/288.57 c #Conflicts: 449000 | #Constraints: 21408
287.42/288.57 c #Conflicts: 450000 | #Constraints: 22697
287.42/288.57 c #Conflicts: 451000 | #Constraints: 24070
287.42/288.57 c #Conflicts: 452000 | #Constraints: 25562
287.42/288.57 c #Conflicts: 453000 | #Constraints: 27027
287.42/288.57 c #Conflicts: 454000 | #Constraints: 28446
287.42/288.57 c #Conflicts: 455000 | #Constraints: 29540
287.42/288.57 c #Conflicts: 456000 | #Constraints: 31020
287.42/288.57 c #Conflicts: 457000 | #Constraints: 32309
287.42/288.57 c #Conflicts: 458000 | #Constraints: 33781
287.42/288.57 c #Conflicts: 459000 | #Constraints: 35219
287.42/288.57 c #Conflicts: 460000 | #Constraints: 36702
287.42/288.57 c INPROCESSING
287.42/288.57 c GARBAGE COLLECT
287.42/288.57 c rational objective 0
299.38/300.54 c #Conflicts: 461000 | #Constraints: 19574
299.38/300.54 c #Conflicts: 462000 | #Constraints: 20987
299.38/300.54 c #Conflicts: 463000 | #Constraints: 22329
299.38/300.54 c #Conflicts: 464000 | #Constraints: 23878
299.38/300.54 c #Conflicts: 465000 | #Constraints: 25421
299.38/300.54 c #Conflicts: 466000 | #Constraints: 27002
299.38/300.54 c #Conflicts: 467000 | #Constraints: 28548
299.38/300.54 c #Conflicts: 468000 | #Constraints: 29938
299.38/300.54 c #Conflicts: 469000 | #Constraints: 31395
299.38/300.54 c #Conflicts: 470000 | #Constraints: 32936
299.38/300.54 c #Conflicts: 471000 | #Constraints: 34084
299.38/300.54 c #Conflicts: 472000 | #Constraints: 35623
299.38/300.54 c #Conflicts: 473000 | #Constraints: 37155
299.38/300.54 c #Conflicts: 474000 | #Constraints: 38591
299.38/300.54 c INPROCESSING
299.38/300.54 c GARBAGE COLLECT
299.38/300.54 c rational objective 0
312.93/314.19 c #Conflicts: 475000 | #Constraints: 20637
312.93/314.19 c #Conflicts: 476000 | #Constraints: 22093
312.93/314.19 c #Conflicts: 477000 | #Constraints: 23497
312.93/314.19 c #Conflicts: 478000 | #Constraints: 24988
312.93/314.19 c #Conflicts: 479000 | #Constraints: 26449
312.93/314.19 c #Conflicts: 480000 | #Constraints: 27704
312.93/314.19 c #Conflicts: 481000 | #Constraints: 29073
312.93/314.19 c #Conflicts: 482000 | #Constraints: 30512
312.93/314.19 c #Conflicts: 483000 | #Constraints: 31864
312.93/314.19 c #Conflicts: 484000 | #Constraints: 33242
312.93/314.19 c #Conflicts: 485000 | #Constraints: 34724
312.93/314.19 c #Conflicts: 486000 | #Constraints: 36109
312.93/314.19 c #Conflicts: 487000 | #Constraints: 37594
312.93/314.19 c #Conflicts: 488000 | #Constraints: 39007
312.93/314.19 c INPROCESSING
312.93/314.19 c GARBAGE COLLECT
312.93/314.19 c rational objective 0
327.47/328.72 c #Conflicts: 489000 | #Constraints: 20781
327.47/328.72 c #Conflicts: 490000 | #Constraints: 22267
327.47/328.72 c #Conflicts: 491000 | #Constraints: 23678
327.47/328.72 c #Conflicts: 492000 | #Constraints: 25185
327.47/328.72 c #Conflicts: 493000 | #Constraints: 26699
327.47/328.72 c #Conflicts: 494000 | #Constraints: 28155
327.47/328.72 c #Conflicts: 495000 | #Constraints: 29466
327.47/328.72 c #Conflicts: 496000 | #Constraints: 31001
327.47/328.72 c #Conflicts: 497000 | #Constraints: 32328
327.47/328.72 c #Conflicts: 498000 | #Constraints: 33894
327.47/328.72 c #Conflicts: 499000 | #Constraints: 35435
327.47/328.72 c #Conflicts: 500000 | #Constraints: 36751
327.47/328.72 c #Conflicts: 501000 | #Constraints: 37952
327.47/328.72 c #Conflicts: 502000 | #Constraints: 39256
327.47/328.72 c INPROCESSING
327.47/328.72 c GARBAGE COLLECT
327.47/328.72 c rational objective 0
337.54/338.80 c #Conflicts: 503000 | #Constraints: 20603
337.54/338.80 c #Conflicts: 504000 | #Constraints: 21603
337.54/338.80 c #Conflicts: 505000 | #Constraints: 22603
337.54/338.80 c #Conflicts: 506000 | #Constraints: 23603
337.54/338.80 c #Conflicts: 507000 | #Constraints: 24603
337.54/338.80 c #Conflicts: 508000 | #Constraints: 25603
337.54/338.80 c #Conflicts: 509000 | #Constraints: 26603
337.54/338.80 c #Conflicts: 510000 | #Constraints: 27603
337.54/338.80 c #Conflicts: 511000 | #Constraints: 28604
337.54/338.80 c #Conflicts: 512000 | #Constraints: 29604
337.54/338.80 c #Conflicts: 513000 | #Constraints: 30604
337.54/338.80 c #Conflicts: 514000 | #Constraints: 31605
337.54/338.80 c #Conflicts: 515000 | #Constraints: 32605
337.54/338.80 c #Conflicts: 516000 | #Constraints: 33605
337.54/338.80 c INPROCESSING
337.54/338.80 c GARBAGE COLLECT
337.54/338.80 c rational objective 0
348.90/350.21 c #Conflicts: 517000 | #Constraints: 17523
348.90/350.21 c #Conflicts: 518000 | #Constraints: 18987
348.90/350.21 c #Conflicts: 519000 | #Constraints: 20152
348.90/350.21 c #Conflicts: 520000 | #Constraints: 21485
348.90/350.21 c #Conflicts: 521000 | #Constraints: 22520
348.90/350.21 c #Conflicts: 522000 | #Constraints: 23937
348.90/350.21 c #Conflicts: 523000 | #Constraints: 25449
348.90/350.21 c #Conflicts: 524000 | #Constraints: 26679
348.90/350.21 c #Conflicts: 525000 | #Constraints: 28111
348.90/350.21 c #Conflicts: 526000 | #Constraints: 29462
348.90/350.21 c #Conflicts: 527000 | #Constraints: 30922
348.90/350.21 c #Conflicts: 528000 | #Constraints: 32093
348.90/350.21 c #Conflicts: 529000 | #Constraints: 33556
348.90/350.21 c #Conflicts: 530000 | #Constraints: 35110
348.90/350.21 c #Conflicts: 531000 | #Constraints: 36268
348.90/350.21 c INPROCESSING
348.90/350.21 c GARBAGE COLLECT
348.90/350.21 c rational objective 0
361.36/362.71 c #Conflicts: 532000 | #Constraints: 19467
361.36/362.71 c #Conflicts: 533000 | #Constraints: 20805
361.36/362.71 c #Conflicts: 534000 | #Constraints: 22279
361.36/362.71 c #Conflicts: 535000 | #Constraints: 23789
361.36/362.71 c #Conflicts: 536000 | #Constraints: 25275
361.36/362.71 c #Conflicts: 537000 | #Constraints: 26759
361.36/362.71 c #Conflicts: 538000 | #Constraints: 28228
361.36/362.71 c #Conflicts: 539000 | #Constraints: 29613
361.36/362.71 c #Conflicts: 540000 | #Constraints: 31106
361.36/362.71 c #Conflicts: 541000 | #Constraints: 32584
361.36/362.71 c #Conflicts: 542000 | #Constraints: 34074
361.36/362.71 c #Conflicts: 543000 | #Constraints: 35576
361.36/362.71 c #Conflicts: 544000 | #Constraints: 36709
361.36/362.71 c #Conflicts: 545000 | #Constraints: 37709
361.36/362.71 c Inconsistent objective-improving constraint
361.36/362.71 c bounds 0 >= 0 @ 353.626
361.36/362.71 c cpu time 353.626 s
361.36/362.71 c deterministic time 28451347583 2.85e+10
361.36/362.71 c optimization time 0.004813 s
361.36/362.71 c total solve time 353.62 s
361.36/362.71 c core-guided solve time 179.03 s
361.36/362.71 c propagation time 256.764 s
361.36/362.71 c conflict analysis time 87.8749 s
361.36/362.71 c propagations 8380496
361.36/362.71 c resolve steps 3292746
361.36/362.71 c decisions 614580
361.36/362.71 c conflicts 545389
361.36/362.71 c restarts 1145
361.36/362.71 c inprocessing phases 64
361.36/362.71 c garbage collections 64 ,( 100.00 )
361.36/362.71 c input clauses 0 ,( 0.00 )
361.36/362.71 c input cardinalities 1 ,( 3.23 )
361.36/362.71 c input general constraints 30 ,( 96.77 )
361.36/362.71 c input average constraint length 53.03
361.36/362.71 c input average constraint degree 880.26
361.36/362.71 c learned clauses 252730 ,( 34.34 )
361.36/362.71 c learned cardinalities 4 ,( 0.00 )
361.36/362.71 c learned general constraints 483331 ,( 65.66 )
361.36/362.71 c learned average constraint length 29.42
361.36/362.71 c learned average constraint degree 1327038981.89
361.36/362.71 c watched CF 32, 64, 128, Arb: 79468 , 0 , 0 , 0
361.36/362.71 c counting CF 32, 64, 128, Arb: 403894 , 0 , 0 , 0
361.36/362.71 c watched constraints 79468 ,( 16.44 )
361.36/362.71 c counting constraints 403893 ,( 83.56 )
361.36/362.71 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 35081552 , 33215 , 3770946156 ,( 18646285 , 3752299871 )
361.36/362.71 c gcd simplifications 241305
361.36/362.71 c detected cardinalities 5
361.36/362.71 c weakened non-implied lits 8158784
361.36/362.71 c weakened non-implying lits 242667
361.36/362.71 c original variables 120
361.36/362.71 c clausal propagations 59395
361.36/362.71 c cardinality propagations 6
361.36/362.71 c watched propagations 8838
361.36/362.71 c counting propagations 7759602
361.36/362.71 c watch lookups 13444753184
361.36/362.71 c watch backjump lookups 0
361.36/362.71 c watch checks 175153576
361.36/362.71 c propagation checks 14590307208
361.36/362.71 c constraint additions 222144927
361.36/362.71 c trail pops 9540234
361.36/362.71 c formula constraints 10
361.36/362.71 c learned constraints 545238
361.36/362.71 c bound constraints 21
361.36/362.71 c core-guided constraints 0
361.36/362.71 c encountered formula constraints 139063
361.36/362.71 c encountered learned constraints 625271
361.36/362.71 c encountered bound constraints 261
361.36/362.71 c encountered core-guided constraints 0
361.36/362.71 c LP total time 25.9077 s
361.36/362.71 c LP solve time 10.44 s
361.36/362.71 c LP constraints added 103
361.36/362.71 c LP constraints removed 92
361.36/362.71 c LP pivots internal 452804
361.36/362.71 c LP pivots root 573
361.36/362.71 c LP calls 265263
361.36/362.71 c LP optimalities 74662
361.36/362.71 c LP no pivot count 7958
361.36/362.71 c LP infeasibilities 190599
361.36/362.71 c LP valid Farkas constraints 190599
361.36/362.71 c LP learned Farkas constraints 151
361.36/362.71 c LP basis resets 2
361.36/362.71 c LP cycling count 0
361.36/362.71 c LP singular count 2
361.36/362.71 c LP no primal count 0
361.36/362.71 c LP no farkas count 0
361.36/362.71 c LP other issue count 0
361.36/362.71 c LP Gomory cuts 77
361.36/362.71 c LP learned cuts 16
361.36/362.71 c LP deleted cuts 92
361.36/362.71 c LP encountered Gomory constraints 247
361.36/362.71 c LP encountered Farkas constraints 3063884
361.36/362.71 c LP encountered learned Farkas constraints 9258
361.36/362.71 c CG auxiliary variables introduced 0
361.36/362.71 c CG solutions found 21
361.36/362.71 c CG cores constructed 0
361.36/362.71 c CG core cardinality constraints returned 0
361.36/362.71 c CG unit cores 0
361.36/362.71 c CG single cores 0
361.36/362.71 c CG blocks removed during cardinality reduction 0
361.36/362.71 c CG first core best 0
361.36/362.71 c CG decision core best 0
361.36/362.71 c CG core reduction tie 0
361.36/362.71 c CG core degree average 0.00
361.36/362.71 c CG core slack average 0.00
361.36/362.71 c CG core upper bound improvements 0
361.36/362.71 c STR number of successful calls 0
361.36/362.71 c STR number of unsuccessful calls 0
361.36/362.71 c STR number of inconclusive calls 0
361.36/362.71 c STR number of successful attempts 0
361.36/362.71 c STR number of unsuccessful attempts 0
361.36/362.71 c STR number of inconclusive attempts 0
361.36/362.71 c STR average degree increase per successful call inf
361.36/362.71 c STR average degree increase per successful attempt inf
361.36/362.71 c STR total number of conflicts for successful attempts 0
361.36/362.71 c STR total number of conflicts for unsuccessful attempts 0
361.36/362.71 c STR total number of conflicts for inconclusive attempts 0
361.36/362.71 c STR average number of conflicts per successful attempt inf
361.36/362.71 c STR average number of conflicts per unsuccessful attempt inf
361.36/362.71 c STR average number of conflicts per inconclusive attempt inf
361.36/362.71 c AVG.sumWPerc 63.84
361.36/362.71 c bigint constraints 0
361.36/362.71 o 0
361.36/362.71 s OPTIMUM FOUND
361.39/363.09 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 (32675 MiB free)
memory of node 1: 64465 MiB (45287 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4531850-1752588255/watcher-4531850-1752588255 -o /tmp/evaluation-result-4531850-1752588255/solver-4531850-1752588255 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1752584602-133354 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4531850-1752588255.opb PROOFDIR/proof-4531850-1752588255
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=133950, runsolver pid=133947
Current StackSize limit: 8192 KiB
[startup+0.100041 s]*
/proc/loadavg: 4.09 4.09 4.04 5/273 133953
/proc/meminfo: memFree=79833436/131250000 swapFree=33008356/33010684
[pid=133950] ppid=133947 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/133950/stat : 133950 (run-opt-ls-log.) S 133947 133950 133343 0 -1 4194304 240 251 0 0 0 0 0 0 20 0 1 0 174502090 4292608 704 18446744073709551615 94033066176512 94033067071045 140731192258832 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94033067310096 94033067357840 94033091846144 140731192260889 140731192261087 140731192261087 140731192266691 0
/proc/133950/statm: 1048 704 672 219 0 110 0
[pid=133953] ppid=133950 vsize=55820 memory=10752 CPUtime=0.02 cores=4,6
/proc/133953/stat : 133953 (roundingsat) R 133950 133950 133343 0 -1 4194304 526 0 0 0 2 0 0 0 20 0 1 0 174502095 57159680 2688 18446744073709551615 4227072 8923577 140734883692944 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9827200 9836688 15314944 140734883694836 140734883695142 140734883695142 140734883700714 0
/proc/133953/statm: 13955 2688 2400 1147 0 1381 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 60012 KiB
Current children cumulated memory: 13568 KiB
[startup+0.20529 s]*
/proc/loadavg: 4.09 4.09 4.04 5/273 133953
/proc/meminfo: memFree=79833436/131250000 swapFree=33008356/33010684
[pid=133950] ppid=133947 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/133950/stat : 133950 (run-opt-ls-log.) S 133947 133950 133343 0 -1 4194304 240 251 0 0 0 0 0 0 20 0 1 0 174502090 4292608 704 18446744073709551615 94033066176512 94033067071045 140731192258832 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94033067310096 94033067357840 94033091846144 140731192260889 140731192261087 140731192261087 140731192266691 0
/proc/133950/statm: 1048 704 672 219 0 110 0
[pid=133953] ppid=133950 vsize=56084 memory=13156 CPUtime=0.12 cores=4,6
/proc/133953/stat : 133953 (roundingsat) R 133950 133950 133343 0 -1 4194304 612 0 0 0 12 0 0 0 20 0 1 0 174502095 57430016 3289 18446744073709551615 4227072 8923577 140734883692944 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9827200 9836688 15314944 140734883694836 140734883695142 140734883695142 140734883700714 0
/proc/133953/statm: 14021 3289 2400 1147 0 1447 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 60276 KiB
Current children cumulated memory: 15972 KiB
[startup+0.304841 s]*
/proc/loadavg: 4.09 4.09 4.04 5/273 133953
/proc/meminfo: memFree=79833436/131250000 swapFree=33008356/33010684
[pid=133950] ppid=133947 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/133950/stat : 133950 (run-opt-ls-log.) S 133947 133950 133343 0 -1 4194304 240 251 0 0 0 0 0 0 20 0 1 0 174502090 4292608 704 18446744073709551615 94033066176512 94033067071045 140731192258832 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94033067310096 94033067357840 94033091846144 140731192260889 140731192261087 140731192261087 140731192266691 0
/proc/133950/statm: 1048 704 672 219 0 110 0
[pid=133953] ppid=133950 vsize=56348 memory=13412 CPUtime=0.23 cores=4,6
/proc/133953/stat : 133953 (roundingsat) R 133950 133950 133343 0 -1 4194304 681 0 0 0 22 1 0 0 20 0 1 0 174502095 57700352 3353 18446744073709551615 4227072 8923577 140734883692944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 15314944 140734883694836 140734883695142 140734883695142 140734883700714 0
/proc/133953/statm: 14087 3353 2400 1147 0 1513 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 60540 KiB
Current children cumulated memory: 16228 KiB
[startup+0.700136 s]
/proc/loadavg: 4.09 4.09 4.04 5/273 133953
/proc/meminfo: memFree=79833184/131250000 swapFree=33008356/33010684
[pid=133950] ppid=133947 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/133950/stat : 133950 (run-opt-ls-log.) S 133947 133950 133343 0 -1 4194304 240 251 0 0 0 0 0 0 20 0 1 0 174502090 4292608 704 18446744073709551615 94033066176512 94033067071045 140731192258832 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94033067310096 94033067357840 94033091846144 140731192260889 140731192261087 140731192261087 140731192266691 0
/proc/133950/statm: 1048 704 672 219 0 110 0
[pid=133953] ppid=133950 vsize=57180 memory=14052 CPUtime=0.61 cores=4,6
/proc/133953/stat : 133953 (roundingsat) R 133950 133950 133343 0 -1 4194304 860 0 0 0 58 3 0 0 20 0 1 0 174502095 58552320 3513 18446744073709551615 4227072 8923577 140734883692944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 15314944 140734883694836 140734883695142 140734883695142 140734883700714 0
/proc/133953/statm: 14295 3513 2400 1147 0 1721 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 61372 KiB
Current children cumulated memory: 16868 KiB
[startup+1.50015 s]
/proc/loadavg: 4.09 4.09 4.04 5/273 133953
/proc/meminfo: memFree=79809400/131250000 swapFree=33008356/33010684
[pid=133950] ppid=133947 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/133950/stat : 133950 (run-opt-ls-log.) S 133947 133950 133343 0 -1 4194304 240 251 0 0 0 0 0 0 20 0 1 0 174502090 4292608 704 18446744073709551615 94033066176512 94033067071045 140731192258832 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94033067310096 94033067357840 94033091846144 140731192260889 140731192261087 140731192261087 140731192266691 0
/proc/133950/statm: 1048 704 672 219 0 110 0
[pid=133953] ppid=133950 vsize=57692 memory=14692 CPUtime=1.41 cores=4,6
/proc/133953/stat : 133953 (roundingsat) R 133950 133950 133343 0 -1 4194304 1006 0 0 0 134 7 0 0 20 0 1 0 174502095 59076608 3673 18446744073709551615 4227072 8923577 140734883692944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 15314944 140734883694836 140734883695142 140734883695142 140734883700714 0
/proc/133953/statm: 14423 3673 2400 1147 0 1849 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 61884 KiB
Current children cumulated memory: 17508 KiB
[startup+3.10548 s]
/proc/loadavg: 4.09 4.09 4.04 4/273 133953
/proc/meminfo: memFree=79743976/131250000 swapFree=33008356/33010684
[pid=133950] ppid=133947 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/133950/stat : 133950 (run-opt-ls-log.) S 133947 133950 133343 0 -1 4194304 240 251 0 0 0 0 0 0 20 0 1 0 174502090 4292608 704 18446744073709551615 94033066176512 94033067071045 140731192258832 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94033067310096 94033067357840 94033091846144 140731192260889 140731192261087 140731192261087 140731192266691 0
/proc/133950/statm: 1048 704 672 219 0 110 0
[pid=133953] ppid=133950 vsize=58564 memory=15460 CPUtime=3.01 cores=4,6
/proc/133953/stat : 133953 (roundingsat) R 133950 133950 133343 0 -1 4194304 1196 0 0 0 287 14 0 0 20 0 1 0 174502095 59969536 3865 18446744073709551615 4227072 8923577 140734883692944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 15314944 140734883694836 140734883695142 140734883695142 140734883700714 0
/proc/133953/statm: 14641 3865 2400 1147 0 2067 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 62756 KiB
Current children cumulated memory: 18276 KiB
[startup+6.30013 s]
/proc/loadavg: 4.08 4.09 4.04 5/273 133953
/proc/meminfo: memFree=79655796/131250000 swapFree=33008356/33010684
[pid=133950] ppid=133947 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/133950/stat : 133950 (run-opt-ls-log.) S 133947 133950 133343 0 -1 4194304 240 251 0 0 0 0 0 0 20 0 1 0 174502090 4292608 704 18446744073709551615 94033066176512 94033067071045 140731192258832 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94033067310096 94033067357840 94033091846144 140731192260889 140731192261087 140731192261087 140731192266691 0
/proc/133950/statm: 1048 704 672 219 0 110 0
[pid=133953] ppid=133950 vsize=60548 memory=17124 CPUtime=6.19 cores=4,6
/proc/133953/stat : 133953 (roundingsat) R 133950 133950 133343 0 -1 4194304 1620 0 0 0 592 27 0 0 20 0 1 0 174502095 62001152 4281 18446744073709551615 4227072 8923577 140734883692944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 15314944 140734883694836 140734883695142 140734883695142 140734883700714 0
/proc/133953/statm: 15137 4281 2400 1147 0 2563 0
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 64740 KiB
Current children cumulated memory: 19940 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.09 4.04 5/267 133979
/proc/meminfo: memFree=82860484/131250000 swapFree=33008356/33010684
[pid=133950] ppid=133947 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/133950/stat : 133950 (run-opt-ls-log.) S 133947 133950 133343 0 -1 4194304 240 251 0 0 0 0 0 0 20 0 1 0 174502090 4292608 704 18446744073709551615 94033066176512 94033067071045 140731192258832 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94033067310096 94033067357840 94033091846144 140731192260889 140731192261087 140731192261087 140731192266691 0
/proc/133950/statm: 1048 704 672 219 0 110 0
[pid=133953] ppid=133950 vsize=66124 memory=24076 CPUtime=12.57 cores=4,6
/proc/133953/stat : 133953 (roundingsat) R 133950 133950 133343 0 -1 4194304 2805 0 0 0 1208 49 0 0 20 0 1 0 174502095 67710976 6019 18446744073709551615 4227072 8923577 140734883692944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 15314944 140734883694836 140734883695142 140734883695142 140734883700714 0
/proc/133953/statm: 16531 6019 2464 1147 0 3957 0
Current children cumulated CPU time: 12.57 s
Current children cumulated vsize: 70316 KiB
Current children cumulated memory: 26892 KiB
[startup+25.5002 s]
/proc/loadavg: 3.99 4.07 4.03 4/271 134241
/proc/meminfo: memFree=93435200/131250000 swapFree=33008356/33010684
[pid=133950] ppid=133947 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/133950/stat : 133950 (run-opt-ls-log.) S 133947 133950 133343 0 -1 4194304 240 251 0 0 0 0 0 0 20 0 1 0 174502090 4292608 704 18446744073709551615 94033066176512 94033067071045 140731192258832 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94033067310096 94033067357840 94033091846144 140731192260889 140731192261087 140731192261087 140731192266691 0
/proc/133950/statm: 1048 704 672 219 0 110 0
[pid=133953] ppid=133950 vsize=67692 memory=25740 CPUtime=25.33 cores=4,6
/proc/133953/stat : 133953 (roundingsat) R 133950 133950 133343 0 -1 4194304 3256 0 0 0 2441 92 0 0 20 0 1 0 174502095 69316608 6435 18446744073709551615 4227072 8923577 140734883692944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 15314944 140734883694836 140734883695142 140734883695142 140734883700714 0
/proc/133953/statm: 16923 6435 2496 1147 0 4349 0
Current children cumulated CPU time: 25.33 s
Current children cumulated vsize: 71884 KiB
Current children cumulated memory: 28556 KiB
[startup+51.1055 s]
/proc/loadavg: 4.05 4.08 4.04 5/268 134432
/proc/meminfo: memFree=110195936/131250000 swapFree=33008356/33010684
[pid=133950] ppid=133947 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/133950/stat : 133950 (run-opt-ls-log.) S 133947 133950 133343 0 -1 4194304 240 251 0 0 0 0 0 0 20 0 1 0 174502090 4292608 704 18446744073709551615 94033066176512 94033067071045 140731192258832 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94033067310096 94033067357840 94033091846144 140731192260889 140731192261087 140731192261087 140731192266691 0
/proc/133950/statm: 1048 704 672 219 0 110 0
[pid=133953] ppid=133950 vsize=75064 memory=30828 CPUtime=50.86 cores=4,6
/proc/133953/stat : 133953 (roundingsat) R 133950 133950 133343 0 -1 4194304 4772 0 0 0 4922 164 0 0 20 0 1 0 174502095 76865536 7707 18446744073709551615 4227072 8923577 140734883692944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 15314944 140734883694836 140734883695142 140734883695142 140734883700714 0
/proc/133953/statm: 18766 7707 2496 1147 0 6192 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 79256 KiB
Current children cumulated memory: 33644 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.08 4.04 5/274 134577
/proc/meminfo: memFree=107363916/131250000 swapFree=33008356/33010684
[pid=133950] ppid=133947 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/133950/stat : 133950 (run-opt-ls-log.) S 133947 133950 133343 0 -1 4194304 240 251 0 0 0 0 0 0 20 0 1 0 174502090 4292608 704 18446744073709551615 94033066176512 94033067071045 140731192258832 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94033067310096 94033067357840 94033091846144 140731192260889 140731192261087 140731192261087 140731192266691 0
/proc/133950/statm: 1048 704 672 219 0 110 0
[pid=133953] ppid=133950 vsize=80128 memory=35400 CPUtime=101.86 cores=4,6
/proc/133953/stat : 133953 (roundingsat) R 133950 133950 133343 0 -1 4194304 6639 0 0 0 9893 293 0 0 20 0 1 0 174502095 82051072 8850 18446744073709551615 4227072 8923577 140734883692944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 15314944 140734883694836 140734883695142 140734883695142 140734883700714 0
/proc/133953/statm: 20032 8850 2496 1147 0 7458 0
Current children cumulated CPU time: 101.86 s
Current children cumulated vsize: 84320 KiB
Current children cumulated memory: 38216 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.08 4.04 5/275 134580
/proc/meminfo: memFree=104369612/131250000 swapFree=33008356/33010684
[pid=133950] ppid=133947 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/133950/stat : 133950 (run-opt-ls-log.) S 133947 133950 133343 0 -1 4194304 240 251 0 0 0 0 0 0 20 0 1 0 174502090 4292608 704 18446744073709551615 94033066176512 94033067071045 140731192258832 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94033067310096 94033067357840 94033091846144 140731192260889 140731192261087 140731192261087 140731192266691 0
/proc/133950/statm: 1048 704 672 219 0 110 0
[pid=133953] ppid=133950 vsize=83520 memory=38380 CPUtime=161.66 cores=4,6
/proc/133953/stat : 133953 (roundingsat) R 133950 133950 133343 0 -1 4194304 8110 0 0 0 15745 421 0 0 20 0 1 0 174502095 85524480 9595 18446744073709551615 4227072 8923577 140734883692944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 15314944 140734883694836 140734883695142 140734883695142 140734883700714 0
/proc/133953/statm: 20880 9595 2496 1147 0 8306 0
Current children cumulated CPU time: 161.66 s
Current children cumulated vsize: 87712 KiB
Current children cumulated memory: 41196 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.08 4.04 5/274 134582
/proc/meminfo: memFree=101564360/131250000 swapFree=33008356/33010684
[pid=133950] ppid=133947 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/133950/stat : 133950 (run-opt-ls-log.) S 133947 133950 133343 0 -1 4194304 240 251 0 0 0 0 0 0 20 0 1 0 174502090 4292608 704 18446744073709551615 94033066176512 94033067071045 140731192258832 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94033067310096 94033067357840 94033091846144 140731192260889 140731192261087 140731192261087 140731192266691 0
/proc/133950/statm: 1048 704 672 219 0 110 0
[pid=133953] ppid=133950 vsize=89092 memory=40160 CPUtime=221.45 cores=4,6
/proc/133953/stat : 133953 (roundingsat) R 133950 133950 133343 0 -1 4194304 9016 0 0 0 21609 536 0 0 20 0 1 0 174502095 91230208 10040 18446744073709551615 4227072 8923577 140734883692944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 15314944 140734883694836 140734883695142 140734883695142 140734883700714 0
/proc/133953/statm: 22273 10040 2496 1147 0 9699 0
Current children cumulated CPU time: 221.45 s
Current children cumulated vsize: 93284 KiB
Current children cumulated memory: 42976 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.08 4.04 5/275 134591
/proc/meminfo: memFree=98850064/131250000 swapFree=33008356/33010684
[pid=133950] ppid=133947 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/133950/stat : 133950 (run-opt-ls-log.) S 133947 133950 133343 0 -1 4194304 240 251 0 0 0 0 0 0 20 0 1 0 174502090 4292608 704 18446744073709551615 94033066176512 94033067071045 140731192258832 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94033067310096 94033067357840 94033091846144 140731192260889 140731192261087 140731192261087 140731192266691 0
/proc/133950/statm: 1048 704 672 219 0 110 0
[pid=133953] ppid=133950 vsize=89728 memory=43124 CPUtime=281.24 cores=4,6
/proc/133953/stat : 133953 (roundingsat) R 133950 133950 133343 0 -1 4194304 9727 0 0 0 27487 637 0 0 20 0 1 0 174502095 91881472 10781 18446744073709551615 4227072 8923577 140734883692944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 15314944 140734883694836 140734883695142 140734883695142 140734883700714 0
/proc/133953/statm: 22432 10781 2496 1147 0 9858 0
Current children cumulated CPU time: 281.24 s
Current children cumulated vsize: 93920 KiB
Current children cumulated memory: 45940 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.09 4.04 5/275 134593
/proc/meminfo: memFree=96317920/131250000 swapFree=33008356/33010684
[pid=133950] ppid=133947 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/133950/stat : 133950 (run-opt-ls-log.) S 133947 133950 133343 0 -1 4194304 240 251 0 0 0 0 0 0 20 0 1 0 174502090 4292608 704 18446744073709551615 94033066176512 94033067071045 140731192258832 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94033067310096 94033067357840 94033091846144 140731192260889 140731192261087 140731192261087 140731192266691 0
/proc/133950/statm: 1048 704 672 219 0 110 0
[pid=133953] ppid=133950 vsize=91012 memory=44212 CPUtime=341.03 cores=4,6
/proc/133953/stat : 133953 (roundingsat) R 133950 133950 133343 0 -1 4194304 10429 0 0 0 33362 741 0 0 20 0 1 0 174502095 93196288 11053 18446744073709551615 4227072 8923577 140734883692944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 15314944 140734883694836 140734883695142 140734883695142 140734883700714 0
/proc/133953/statm: 22753 11053 2496 1147 0 10179 0
Current children cumulated CPU time: 341.03 s
Current children cumulated vsize: 95204 KiB
Current children cumulated memory: 47028 KiB
[startup+363.099 s]
# the end of solver process 133950 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=353.632 s, system=7.78784 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+345.6 s]
/proc/loadavg: 4.12 4.09 4.04 5/275 134593
/proc/meminfo: memFree=96185060/131250000 swapFree=33008356/33010684
[pid=133950] ppid=133947 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/133950/stat : 133950 (run-opt-ls-log.) S 133947 133950 133343 0 -1 4194304 240 251 0 0 0 0 0 0 20 0 1 0 174502090 4292608 704 18446744073709551615 94033066176512 94033067071045 140731192258832 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94033067310096 94033067357840 94033091846144 140731192260889 140731192261087 140731192261087 140731192266691 0
/proc/133950/statm: 1048 704 672 219 0 110 0
[pid=133953] ppid=133950 vsize=91012 memory=44212 CPUtime=344.31 cores=4,6
/proc/133953/stat : 133953 (roundingsat) R 133950 133950 133343 0 -1 4194304 10433 0 0 0 33685 746 0 0 20 0 1 0 174502095 93196288 11053 18446744073709551615 4227072 8923577 140734883692944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 15314944 140734883694836 140734883695142 140734883695142 140734883700714 0
/proc/133953/statm: 22753 11053 2496 1147 0 10179 0
Current children cumulated CPU time: 344.31 s
Current children cumulated vsize: 95204 KiB
Current children cumulated memory: 47028 KiB
[startup+352 s]*
/proc/loadavg: 4.11 4.09 4.04 5/275 134593
/proc/meminfo: memFree=94890424/131250000 swapFree=33008356/33010684
[pid=133950] ppid=133947 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/133950/stat : 133950 (run-opt-ls-log.) S 133947 133950 133343 0 -1 4194304 240 251 0 0 0 0 0 0 20 0 1 0 174502090 4292608 704 18446744073709551615 94033066176512 94033067071045 140731192258832 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94033067310096 94033067357840 94033091846144 140731192260889 140731192261087 140731192261087 140731192266691 0
/proc/133950/statm: 1048 704 672 219 0 110 0
[pid=133953] ppid=133950 vsize=91284 memory=44644 CPUtime=350.7 cores=4,6
/proc/133953/stat : 133953 (roundingsat) R 133950 133950 133343 0 -1 4194304 10614 0 0 0 34312 758 0 0 20 0 1 0 174502095 93474816 11161 18446744073709551615 4227072 8923577 140734883692944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 15314944 140734883694836 140734883695142 140734883695142 140734883700714 0
/proc/133953/statm: 22821 11161 2496 1147 0 10247 0
Current children cumulated CPU time: 350.7 s
Current children cumulated vsize: 95476 KiB
Current children cumulated memory: 47460 KiB
[startup+358.4 s]
/proc/loadavg: 4.10 4.09 4.04 5/275 134593
/proc/meminfo: memFree=94285948/131250000 swapFree=33008356/33010684
[pid=133950] ppid=133947 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/133950/stat : 133950 (run-opt-ls-log.) S 133947 133950 133343 0 -1 4194304 240 251 0 0 0 0 0 0 20 0 1 0 174502090 4292608 704 18446744073709551615 94033066176512 94033067071045 140731192258832 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94033067310096 94033067357840 94033091846144 140731192260889 140731192261087 140731192261087 140731192266691 0
/proc/133950/statm: 1048 704 672 219 0 110 0
[pid=133953] ppid=133950 vsize=91284 memory=44644 CPUtime=357.07 cores=4,6
/proc/133953/stat : 133953 (roundingsat) R 133950 133950 133343 0 -1 4194304 10614 0 0 0 34939 768 0 0 20 0 1 0 174502095 93474816 11161 18446744073709551615 4227072 8923577 140734883692944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 15314944 140734883694836 140734883695142 140734883695142 140734883700714 0
/proc/133953/statm: 22821 11161 2496 1147 0 10247 0
Current children cumulated CPU time: 357.07 s
Current children cumulated vsize: 95476 KiB
Current children cumulated memory: 47460 KiB
[startup+361.6 s]
/proc/loadavg: 4.18 4.10 4.05 5/275 134593
/proc/meminfo: memFree=93983864/131250000 swapFree=33008356/33010684
[pid=133950] ppid=133947 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/133950/stat : 133950 (run-opt-ls-log.) S 133947 133950 133343 0 -1 4194304 240 251 0 0 0 0 0 0 20 0 1 0 174502090 4292608 704 18446744073709551615 94033066176512 94033067071045 140731192258832 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94033067310096 94033067357840 94033091846144 140731192260889 140731192261087 140731192261087 140731192266691 0
/proc/133950/statm: 1048 704 672 219 0 110 0
[pid=133953] ppid=133950 vsize=91284 memory=44644 CPUtime=360.26 cores=4,6
/proc/133953/stat : 133953 (roundingsat) R 133950 133950 133343 0 -1 4194304 10615 0 0 0 35253 773 0 0 20 0 1 0 174502095 93474816 11161 18446744073709551615 4227072 8923577 140734883692944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 15314944 140734883694836 140734883695142 140734883695142 140734883700714 0
/proc/133953/statm: 22821 11161 2496 1147 0 10247 0
Current children cumulated CPU time: 360.26 s
Current children cumulated vsize: 95476 KiB
Current children cumulated memory: 47460 KiB
[startup+362.4 s]
/proc/loadavg: 4.18 4.10 4.05 5/275 134593
/proc/meminfo: memFree=93871532/131250000 swapFree=33008356/33010684
[pid=133950] ppid=133947 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/133950/stat : 133950 (run-opt-ls-log.) S 133947 133950 133343 0 -1 4194304 240 251 0 0 0 0 0 0 20 0 1 0 174502090 4292608 704 18446744073709551615 94033066176512 94033067071045 140731192258832 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94033067310096 94033067357840 94033091846144 140731192260889 140731192261087 140731192261087 140731192266691 0
/proc/133950/statm: 1048 704 672 219 0 110 0
[pid=133953] ppid=133950 vsize=91024 memory=44460 CPUtime=361.06 cores=4,6
/proc/133953/stat : 133953 (roundingsat) R 133950 133950 133343 0 -1 4194304 10619 0 0 0 35331 775 0 0 20 0 1 0 174502095 93208576 11115 18446744073709551615 4227072 8923577 140734883692944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 15314944 140734883694836 140734883695142 140734883695142 140734883700714 0
/proc/133953/statm: 22756 11115 2496 1147 0 10182 0
Current children cumulated CPU time: 361.06 s
Current children cumulated vsize: 95216 KiB
Current children cumulated memory: 47276 KiB
[startup+362.8 s]
/proc/loadavg: 4.18 4.10 4.05 5/275 134593
/proc/meminfo: memFree=93871532/131250000 swapFree=33008356/33010684
[pid=133950] ppid=133947 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/133950/stat : 133950 (run-opt-ls-log.) S 133947 133950 133343 0 -1 4194304 240 251 0 0 0 0 0 0 20 0 1 0 174502090 4292608 704 18446744073709551615 94033066176512 94033067071045 140731192258832 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94033067310096 94033067357840 94033091846144 140731192260889 140731192261087 140731192261087 140731192266691 0
/proc/133950/statm: 1048 704 672 219 0 110 0
[pid=133953] ppid=133950 vsize=91024 memory=44460 CPUtime=361.39 cores=4,6
/proc/133953/stat : 133953 (roundingsat) D 133950 133950 133343 0 -1 4194304 10620 0 0 0 35362 777 0 0 20 0 1 0 174502095 93208576 11115 18446744073709551615 4227072 8923577 140734883692944 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9827200 9836688 15314944 140734883694836 140734883695142 140734883695142 140734883700714 0
/proc/133953/statm: 22756 11115 2496 1147 0 10182 0
Current children cumulated CPU time: 361.39 s
Current children cumulated vsize: 95216 KiB
Current children cumulated memory: 47276 KiB
[startup+363 s]*
/proc/loadavg: 4.18 4.10 4.05 6/275 134593
/proc/meminfo: memFree=93764972/131250000 swapFree=33008356/33010684
[pid=133950] ppid=133947 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/133950/stat : 133950 (run-opt-ls-log.) S 133947 133950 133343 0 -1 4194304 240 251 0 0 0 0 0 0 20 0 1 0 174502090 4292608 704 18446744073709551615 94033066176512 94033067071045 140731192258832 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94033067310096 94033067357840 94033091846144 140731192260889 140731192261087 140731192261087 140731192266691 0
/proc/133950/statm: 1048 704 672 219 0 110 0
[pid=133953] ppid=133950 vsize=91024 memory=44460 CPUtime=361.39 cores=4,6
/proc/133953/stat : 133953 (roundingsat) D 133950 133950 133343 0 -1 4194304 10620 0 0 0 35362 777 0 0 20 0 1 0 174502095 93208576 11115 18446744073709551615 4227072 8923577 140734883692944 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9827200 9836688 15314944 140734883694836 140734883695142 140734883695142 140734883700714 0
/proc/133953/statm: 22756 11115 2496 1147 0 10182 0
Current children cumulated CPU time: 361.39 s
Current children cumulated vsize: 95216 KiB
Current children cumulated memory: 47276 KiB
Child status: 0
Real time (s): 363.099
CPU time (s): 361.42
CPU user time (s): 353.632
CPU system time (s): 7.78784
CPU usage (%): 99.5375
Max. virtual memory (cumulated for all children) (KiB): 95476
Max. memory (cumulated for all children) (KiB): 47460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 353.632
system time used= 7.78784
maximum resident set size= 44644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11134
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6365352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8393
involuntary context switches= 518
# summary of solver processes directly reported to runsolver:
# pid: 133950
# total CPU time (s): 361.42
# total CPU user time (s): 353.632
# total CPU system time (s): 7.78784
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.723352 second user time and 1.65198 second system time
The end
Begin job on nodeC014 at 2025-07-15 16:04:15
IDJOB=4531850
IDBENCH=147585
IDSOLVER=3392
FILE ID=nodeC014/4531850-1752588255
RUNJOBID= nodeC014-1752584602-133354
SLURM_JOB_ID= 9684344
Free space on /tmp= 431264 MiB
SOLVER NAME= roundingsat-ls+pbsuma-log 0f876b3
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-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4531850-1752588255/watcher-4531850-1752588255 -o /tmp/evaluation-result-4531850-1752588255/solver-4531850-1752588255 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1752584602-133354 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4531850-1752588255.opb PROOFDIR/proof-4531850-1752588255
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a8470a83b0b0d2a815a3f0ab26202dcb
RANDOM SEED=1427959576
nodeC014 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 : 3600.113
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 : 7000.23
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.464
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 : 7000.23
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 : 3671.051
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 : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.994
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 : 7000.23
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 : 3600.334
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 : 7000.23
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 : 3600.115
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 : 7000.23
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 : 3735.988
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 : 7000.23
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 : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 79833436 kB
MemAvailable: 127580136 kB
Buffers: 696 kB
Cached: 48496124 kB
SwapCached: 1628 kB
Active: 2537976 kB
Inactive: 48125552 kB
Active(anon): 2160392 kB
Inactive(anon): 30988 kB
Active(file): 377584 kB
Inactive(file): 48094564 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33008356 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 112028 kB
Writeback: 0 kB
AnonPages: 2162764 kB
Mapped: 120564 kB
Shmem: 24596 kB
KReclaimable: 227584 kB
Slab: 325904 kB
SReclaimable: 227584 kB
SUnreclaim: 98320 kB
KernelStack: 4400 kB
PageTables: 7680 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 2695944 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150680 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1912832 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431148 MiB
End job on nodeC014 at 2025-07-15 16:10:18