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-4486656-1751327216.opb'
0.00/0.01 c read 0.12MB (1.64ms)
0.00/0.01 c [cnf: #variables 498 #clauses 2432 #duplicates 0 #arr 12669]
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.01 c [group: #orbits ~= 332] (1.23ms)
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 found row 3x332, generating row predicate
0.00/0.01 c (1.44ms)
0.00/0.01 c
0.00/0.01 c detect symmetries on remainder
0.00/0.01 c [graph: #vertices 4424 #edges 28326]
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.48ms)
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 1988 #add_vars 662]
0.00/0.01 c
0.00/0.01 c write result to 'HOME/instance-4486656-1751327216.opb.pre'
0.00/0.01 c wrote 0.19MB (0.50ms)
0.00/0.01 c ------------------------------------------------------------------
0.00/0.01 c 1.64ms 30.55% parse
0.00/0.01 c 1.44ms 26.79% detect_special
0.00/0.01 c 1.23ms 22.83% approx_orbits
0.00/0.01 c 0.50ms 9.33% output
0.00/0.01 c 0.48ms 8.84% detect_generic
0.00/0.01 c 0.07ms 1.39% other
0.00/0.01 c 0.01ms 0.27% finalize_order
0.00/0.02 c ───────────────────────────────────────────────
0.00/0.02 c 5.38ms 100% total
0.00/0.02 c ------------------------------------------------------------------
0.00/0.03 c RoundingSat 2
0.00/0.03 c branch pb25
0.00/0.03 c commit 63f22ad
0.00/0.05 c #variables 1160 #constraints 4419
0.00/0.05 c objective is ce32
0.00/0.06 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.06 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.06 c bounds 220 >= 0 @ 0.025969
0.00/0.07 c rational objective 149.5
0.07/0.10 c bounds 219 >= 0 @ 0.062929
0.07/0.10 c bounds 219 >= 1 @ 0.063075
0.07/0.10 c bounds 219 >= 2 @ 0.063146
0.07/0.10 c bounds 219 >= 3 @ 0.06321
0.07/0.10 c bounds 219 >= 4 @ 0.063277
0.07/0.10 c bounds 219 >= 5 @ 0.063343
0.07/0.10 c bounds 219 >= 6 @ 0.063413
0.07/0.10 c bounds 219 >= 7 @ 0.063482
0.07/0.10 c bounds 219 >= 8 @ 0.063555
0.07/0.10 c bounds 219 >= 9 @ 0.063629
0.07/0.10 c bounds 219 >= 10 @ 0.063706
0.07/0.10 c bounds 219 >= 11 @ 0.063784
0.07/0.10 c bounds 219 >= 12 @ 0.063864
0.07/0.10 c bounds 219 >= 13 @ 0.063946
0.07/0.10 c bounds 219 >= 14 @ 0.06403
0.07/0.10 c bounds 219 >= 15 @ 0.064114
0.07/0.10 c bounds 219 >= 16 @ 0.064202
0.07/0.10 c bounds 219 >= 17 @ 0.064291
0.07/0.10 c bounds 219 >= 18 @ 0.064381
0.07/0.10 c bounds 219 >= 19 @ 0.064471
0.07/0.10 c bounds 219 >= 20 @ 0.064563
0.07/0.10 c bounds 219 >= 21 @ 0.064658
0.07/0.10 c bounds 219 >= 22 @ 0.064752
0.07/0.11 c bounds 219 >= 23 @ 0.06485
0.07/0.11 c bounds 219 >= 24 @ 0.064952
0.07/0.11 c bounds 219 >= 25 @ 0.065054
0.07/0.11 c bounds 219 >= 26 @ 0.065155
0.07/0.11 c bounds 219 >= 27 @ 0.065258
0.07/0.11 c bounds 219 >= 28 @ 0.065363
0.07/0.11 c bounds 219 >= 29 @ 0.065471
0.07/0.11 c bounds 219 >= 30 @ 0.06558
0.07/0.11 c bounds 219 >= 31 @ 0.065696
0.07/0.11 c bounds 219 >= 32 @ 0.065838
0.07/0.11 c bounds 219 >= 33 @ 0.065916
0.07/0.11 c bounds 219 >= 34 @ 0.06604
0.07/0.13 c bounds 218 >= 34 @ 0.08453
0.07/0.13 c bounds 218 >= 35 @ 0.084844
0.07/0.13 c bounds 218 >= 36 @ 0.084964
0.07/0.13 c bounds 218 >= 37 @ 0.085068
0.07/0.13 c bounds 218 >= 38 @ 0.08512
0.07/0.13 c bounds 218 >= 39 @ 0.085226
0.07/0.13 c bounds 218 >= 40 @ 0.085306
0.07/0.13 c bounds 218 >= 41 @ 0.085405
0.07/0.13 c bounds 218 >= 42 @ 0.085505
0.07/0.13 c bounds 218 >= 43 @ 0.085603
0.07/0.13 c bounds 218 >= 44 @ 0.085707
0.07/0.13 c bounds 218 >= 45 @ 0.085806
0.07/0.13 c bounds 218 >= 46 @ 0.085908
0.07/0.13 c bounds 218 >= 47 @ 0.08601
0.07/0.13 c bounds 218 >= 48 @ 0.086115
0.07/0.13 c bounds 218 >= 49 @ 0.086225
0.07/0.13 c bounds 218 >= 50 @ 0.086335
0.07/0.13 c bounds 218 >= 51 @ 0.086444
0.07/0.13 c bounds 218 >= 52 @ 0.086556
0.07/0.13 c bounds 218 >= 53 @ 0.086667
0.07/0.13 c bounds 218 >= 54 @ 0.08679
0.07/0.13 c bounds 218 >= 55 @ 0.08679
0.07/0.13 c bounds 218 >= 56 @ 0.08679
0.07/0.13 c bounds 218 >= 57 @ 0.08679
0.07/0.13 c bounds 218 >= 58 @ 0.08679
0.07/0.13 c bounds 218 >= 59 @ 0.08679
0.07/0.13 c bounds 218 >= 60 @ 0.08679
0.07/0.13 c bounds 218 >= 61 @ 0.08679
0.07/0.13 c bounds 218 >= 62 @ 0.08679
0.07/0.13 c bounds 218 >= 63 @ 0.086918
0.07/0.13 c bounds 218 >= 64 @ 0.087041
0.07/0.13 c bounds 218 >= 65 @ 0.087169
0.07/0.13 c bounds 218 >= 66 @ 0.087301
0.07/0.13 c bounds 218 >= 67 @ 0.087437
0.07/0.13 c bounds 218 >= 68 @ 0.087571
0.07/0.13 c bounds 218 >= 69 @ 0.087717
0.07/0.13 c bounds 218 >= 70 @ 0.087877
0.07/0.13 c bounds 218 >= 71 @ 0.087978
0.07/0.13 c bounds 218 >= 72 @ 0.088283
0.07/0.13 c bounds 218 >= 73 @ 0.088449
0.07/0.13 c bounds 218 >= 74 @ 0.088559
0.07/0.13 c bounds 218 >= 75 @ 0.088645
0.07/0.13 c bounds 218 >= 76 @ 0.088745
0.07/0.13 c bounds 218 >= 77 @ 0.088787
0.07/0.13 c bounds 218 >= 78 @ 0.088787
0.07/0.13 c bounds 218 >= 79 @ 0.088787
0.07/0.13 c bounds 218 >= 80 @ 0.088787
0.07/0.13 c bounds 218 >= 81 @ 0.088787
0.07/0.13 c bounds 218 >= 82 @ 0.088787
0.07/0.13 c bounds 218 >= 83 @ 0.088787
0.07/0.13 c bounds 218 >= 84 @ 0.088787
0.07/0.13 c bounds 218 >= 85 @ 0.088787
0.07/0.13 c bounds 218 >= 86 @ 0.088787
0.07/0.13 c bounds 218 >= 87 @ 0.088788
0.07/0.13 c bounds 218 >= 88 @ 0.088788
0.07/0.13 c bounds 218 >= 89 @ 0.088788
0.07/0.13 c bounds 218 >= 90 @ 0.088788
0.07/0.13 c bounds 218 >= 91 @ 0.088788
0.07/0.13 c bounds 218 >= 92 @ 0.088788
0.07/0.13 c bounds 218 >= 93 @ 0.088788
0.07/0.13 c bounds 218 >= 94 @ 0.088788
0.07/0.13 c bounds 218 >= 95 @ 0.088788
0.07/0.13 c bounds 218 >= 96 @ 0.088822
0.07/0.13 c bounds 218 >= 97 @ 0.088933
0.07/0.13 c bounds 218 >= 98 @ 0.089046
0.07/0.13 c bounds 218 >= 99 @ 0.089154
0.07/0.13 c bounds 218 >= 100 @ 0.089265
0.07/0.13 c bounds 218 >= 101 @ 0.089379
0.07/0.13 c bounds 218 >= 102 @ 0.089499
0.07/0.13 c bounds 218 >= 103 @ 0.089617
0.07/0.13 c bounds 218 >= 104 @ 0.089736
0.07/0.13 c bounds 218 >= 105 @ 0.089786
0.07/0.13 c bounds 218 >= 106 @ 0.089786
0.07/0.13 c bounds 218 >= 107 @ 0.089786
0.07/0.17 c bounds 218 >= 108 @ 0.116747
0.07/0.17 c bounds 218 >= 109 @ 0.116889
0.07/0.17 c bounds 218 >= 110 @ 0.117112
0.07/0.17 c bounds 218 >= 111 @ 0.117277
0.07/0.17 c bounds 218 >= 112 @ 0.117458
0.07/0.17 c bounds 218 >= 113 @ 0.117649
0.07/0.17 c bounds 218 >= 114 @ 0.11769
0.07/0.17 c bounds 218 >= 115 @ 0.11769
0.07/0.17 c bounds 218 >= 116 @ 0.11769
0.07/0.17 c bounds 218 >= 117 @ 0.11769
0.07/0.17 c bounds 218 >= 118 @ 0.11769
0.07/0.17 c bounds 218 >= 119 @ 0.11769
0.07/0.17 c bounds 218 >= 120 @ 0.117691
0.07/0.17 c bounds 218 >= 121 @ 0.118306
0.07/0.17 c bounds 218 >= 122 @ 0.11839
0.07/0.17 c bounds 218 >= 123 @ 0.118523
0.07/0.17 c bounds 218 >= 124 @ 0.118635
0.07/0.17 c bounds 218 >= 125 @ 0.118762
0.07/0.17 c bounds 218 >= 126 @ 0.11889
0.07/0.17 c bounds 218 >= 127 @ 0.119037
0.07/0.17 c bounds 218 >= 128 @ 0.119192
0.07/0.19 c bounds 217 >= 128 @ 0.131698
0.07/0.19 c bounds 217 >= 129 @ 0.131895
0.07/0.19 c bounds 217 >= 130 @ 0.132095
0.07/0.19 c bounds 217 >= 131 @ 0.13222
0.07/0.19 c bounds 217 >= 132 @ 0.132395
0.07/0.19 c bounds 217 >= 133 @ 0.132631
0.07/0.19 c bounds 217 >= 134 @ 0.132649
0.07/0.19 c bounds 217 >= 135 @ 0.132649
0.07/0.19 c bounds 217 >= 136 @ 0.132649
0.07/0.19 c bounds 217 >= 137 @ 0.132649
0.07/0.19 c bounds 217 >= 138 @ 0.132649
0.07/0.19 c bounds 217 >= 139 @ 0.132665
0.07/0.19 c bounds 217 >= 140 @ 0.133591
0.07/0.19 c bounds 217 >= 141 @ 0.133924
0.07/0.19 c bounds 217 >= 142 @ 0.13426
0.07/0.19 c bounds 217 >= 143 @ 0.134644
0.07/0.19 c bounds 217 >= 144 @ 0.134752
0.07/0.19 c bounds 217 >= 145 @ 0.135754
0.07/0.19 c bounds 217 >= 146 @ 0.136137
0.07/0.19 c bounds 217 >= 147 @ 0.136954
0.07/0.19 c bounds 217 >= 148 @ 0.13771
0.07/0.20 c bounds 217 >= 149 @ 0.13954
0.07/0.20 c bounds 217 >= 150 @ 0.139631
0.07/0.20 c bounds 217 >= 151 @ 0.139631
0.07/0.20 c bounds 217 >= 152 @ 0.143498
0.17/0.21 c bounds 217 >= 153 @ 0.155559
0.17/0.28 c #Conflicts: 1000 | #Constraints: 6042
0.17/0.28 c bounds 216 >= 153 @ 0.215482
0.17/0.28 c bounds 216 >= 154 @ 0.21579
0.17/0.28 c bounds 216 >= 155 @ 0.216332
0.17/0.28 c bounds 216 >= 156 @ 0.216369
0.17/0.28 c bounds 216 >= 157 @ 0.216382
0.17/0.28 c bounds 216 >= 158 @ 0.216835
0.17/0.28 c bounds 216 >= 159 @ 0.217766
0.37/0.42 c bounds 216 >= 160 @ 0.348386
0.37/0.42 c bounds 216 >= 161 @ 0.350771
0.37/0.43 c bounds 216 >= 162 @ 0.355713
0.37/0.44 c bounds 216 >= 163 @ 0.366508
0.37/0.45 c bounds 216 >= 164 @ 0.376516
0.37/0.45 c bounds 216 >= 165 @ 0.378671
0.37/0.45 c bounds 216 >= 166 @ 0.383251
0.37/0.47 c bounds 215 >= 166 @ 0.397739
0.37/0.47 c bounds 215 >= 167 @ 0.399848
0.37/0.47 c bounds 215 >= 168 @ 0.400718
0.37/0.48 c bounds 215 >= 169 @ 0.408288
0.47/0.54 c #Conflicts: 2000 | #Constraints: 7270
0.47/0.54 c INPROCESSING
0.47/0.54 c GARBAGE COLLECT
0.47/0.54 c rational objective 169
0.47/0.58 c bounds 215 >= 170 @ 0.503451
0.47/0.58 c bounds 215 >= 171 @ 0.508378
0.47/0.60 c bounds 215 >= 172 @ 0.522129
0.56/0.62 c bounds 215 >= 173 @ 0.547184
0.56/0.65 c #Conflicts: 3000 | #Constraints: 7096
0.56/0.65 c bounds 215 >= 174 @ 0.575159
0.66/0.79 c bounds 214 >= 174 @ 0.712126
0.76/0.89 c #Conflicts: 4000 | #Constraints: 8131
0.76/0.89 c INPROCESSING
0.76/0.89 c GARBAGE COLLECT
0.76/0.89 c rational objective 174
0.86/0.94 c bounds 214 >= 175 @ 0.857483
0.86/1.00 c #Conflicts: 5000 | #Constraints: 7491
0.86/1.00 c bounds 214 >= 176 @ 0.911291
0.96/1.07 c bounds 213 >= 176 @ 0.979454
1.26/1.30 c #Conflicts: 6000 | #Constraints: 8531
1.26/1.30 c INPROCESSING
1.26/1.30 c GARBAGE COLLECT
1.26/1.30 c rational objective 176
1.26/1.34 c bounds 212 >= 176 @ 1.24726
1.86/1.92 c #Conflicts: 7000 | #Constraints: 7470
1.86/1.92 c #Conflicts: 8000 | #Constraints: 8480
1.86/1.92 c #Conflicts: 9000 | #Constraints: 9481
1.86/1.92 c INPROCESSING
1.86/1.92 c GARBAGE COLLECT
1.86/1.92 c rational objective 176
1.97/2.01 c bounds 212 >= 177 @ 1.90124
2.06/2.18 c #Conflicts: 10000 | #Constraints: 8215
2.06/2.18 c bounds 212 >= 178 @ 2.05707
2.26/2.37 c #Conflicts: 11000 | #Constraints: 9254
2.26/2.37 WSVECS04 Frhs2[3]: 6 -1.00004 0 shouldn't be
2.26/2.37 WSVECS04 Frhs2[7]: 6 -1.00005 0 shouldn't be
2.26/2.37 WSVECS04 Frhs2[9]: 6 -1.00004 0 shouldn't be
2.26/2.37 WSVECS04 Frhs2[15]: 6 -1.00008 0 shouldn't be
2.26/2.37 WSVECS04 Frhs2[19]: 6 -1.00009 0 shouldn't be
2.26/2.37 WSVECS04 Frhs2[21]: 6 -1.00009 0 shouldn't be
2.26/2.37 WSVECS04 Frhs2[27]: 6 -1.00009 0 shouldn't be
2.26/2.37 WSVECS04 Frhs2[29]: 6 -1.00005 0 shouldn't be
2.26/2.37 WSVECS04 Frhs2[33]: 6 -1.00007 0 shouldn't be
2.26/2.37 WSVECS04 Frhs2[39]: 6 -1.00006 0 shouldn't be
2.26/2.37 WSVECS04 Frhs2[41]: 6 -1.00007 0 shouldn't be
2.26/2.37 WSVECS04 Frhs2[45]: 6 -1.00009 0 shouldn't be
2.26/2.37 WSVECS04 Frhs2[51]: 6 -1.00006 0 shouldn't be
2.26/2.37 WSVECS04 Frhs2[55]: 6 -1.00009 0 shouldn't be
2.26/2.37 WSVECS04 Frhs2[59]: 6 -1.00003 0 shouldn't be
2.26/2.37 WSVECS04 Frhs2[63]: 6 -1.00006 0 shouldn't be
2.26/2.37 WSVECS04 Frhs2[65]: 6 -1.00007 0 shouldn't be
2.26/2.37 WSVECS04 Frhs2[71]: 6 -1.00007 0 shouldn't be
2.26/2.37 WSVECS04 Frhs2[73]: 6 -1.00001 0 shouldn't be
2.26/2.37 WSVECS04 Frhs2[77]: 6 -1.00009 0 shouldn't be
2.26/2.37 WSVECS04 Frhs2[83]: 6 -1.00007 0 shouldn't be
2.26/2.37 WSVECS04 Frhs2[85]: 6 -1.00001 0 shouldn't be
2.26/2.37 WSVECS04 Frhs2[91]: 6 -1.00008 0 shouldn't be
2.26/2.37 WSVECS04 Frhs2[95]: 6 -1.00003 0 shouldn't be
2.26/2.37 WSVECS04 Frhs2[97]: 6 -1.00008 0 shouldn't be
2.26/2.37 WSVECS04 Frhs2[101]: 6 -1.00002 0 shouldn't be
2.26/2.37 WSVECS04 Frhs2[107]: 6 -1.00008 0 shouldn't be
2.26/2.37 WSVECS04 Frhs2[109]: 6 -1.0001 0 shouldn't be
2.26/2.37 WSVECS04 Frhs2[113]: 6 -1.00006 0 shouldn't be
2.26/2.37 WSVECS04 Frhs2[119]: 6 -1.00002 0 shouldn't be
2.26/2.37 WSVECS04 Frhs2[121]: 6 -1.00003 0 shouldn't be
2.26/2.37 WSVECS04 Frhs2[127]: 6 -1.00009 0 shouldn't be
2.26/2.37 WSVECS04 Frhs2[409]: 6 -1.00002 0 shouldn't be
2.26/2.37 WSVECS04 Frhs2[458]: 6 -1.00003 0 shouldn't be
2.26/2.38 c bounds 212 >= 179 @ 2.26003
2.45/2.52 c #Conflicts: 12000 | #Constraints: 10284
2.45/2.52 c INPROCESSING
2.45/2.52 c GARBAGE COLLECT
2.45/2.52 c rational objective 179
2.56/2.64 c bounds 212 >= 180 @ 2.50207
2.86/2.96 c #Conflicts: 13000 | #Constraints: 8734
2.86/2.96 c #Conflicts: 14000 | #Constraints: 9734
2.86/2.96 c bounds 212 >= 181 @ 2.805
2.95/3.05 c #Conflicts: 15000 | #Constraints: 10776
2.95/3.05 c INPROCESSING
2.95/3.05 c GARBAGE COLLECT
2.95/3.05 c rational objective 181
3.15/3.22 c bounds 212 >= 182 @ 3.05482
3.45/3.57 c #Conflicts: 16000 | #Constraints: 9001
3.45/3.57 c #Conflicts: 17000 | #Constraints: 10001
3.45/3.57 c bounds 212 >= 183 @ 3.39585
3.65/3.74 c #Conflicts: 18000 | #Constraints: 11044
3.65/3.74 c INPROCESSING
3.65/3.74 c GARBAGE COLLECT
3.65/3.74 WSVECS04 Frhs2[277]: 6 -1.00003 0 shouldn't be
3.65/3.74 WSVECS04 Frhs2[333]: 6 -1.00003 0 shouldn't be
3.65/3.74 WSVECS04 Frhs2[371]: 6 -1.00008 0 shouldn't be
3.65/3.74 WSVECS04 Frhs2[377]: 6 -1.00006 0 shouldn't be
3.65/3.74 WSVECS04 Frhs2[454]: 6 -1.0001 0 shouldn't be
3.75/3.81 c rational objective 183
4.06/4.18 c #Conflicts: 19000 | #Constraints: 9007
4.06/4.18 c bounds 212 >= 184 @ 3.98986
4.45/4.59 c #Conflicts: 20000 | #Constraints: 10061
4.45/4.59 c #Conflicts: 21000 | #Constraints: 11067
4.45/4.59 c INPROCESSING
4.45/4.59 c GARBAGE COLLECT
4.45/4.59 c rational objective 184
5.45/5.51 c #Conflicts: 22000 | #Constraints: 8872
5.45/5.51 c #Conflicts: 23000 | #Constraints: 9909
5.45/5.51 c #Conflicts: 24000 | #Constraints: 10912
5.45/5.51 c #Conflicts: 25000 | #Constraints: 11912
5.45/5.51 c INPROCESSING
5.45/5.51 c GARBAGE COLLECT
5.45/5.51 c rational objective 184
6.45/6.56 c #Conflicts: 26000 | #Constraints: 9449
6.45/6.56 c #Conflicts: 27000 | #Constraints: 10472
6.45/6.56 c #Conflicts: 28000 | #Constraints: 11493
6.45/6.56 c bounds 211 >= 184 @ 6.31758
6.55/6.69 c #Conflicts: 29000 | #Constraints: 12500
6.55/6.69 c INPROCESSING
6.55/6.69 c GARBAGE COLLECT
6.55/6.69 c rational objective 184
6.95/7.03 c #Conflicts: 30000 | #Constraints: 9850
6.95/7.03 c bounds 211 >= 185 @ 6.77318
7.34/7.49 c #Conflicts: 31000 | #Constraints: 10901
7.34/7.49 c #Conflicts: 32000 | #Constraints: 11901
7.34/7.49 c #Conflicts: 33000 | #Constraints: 12901
7.34/7.49 c INPROCESSING
7.34/7.49 c GARBAGE COLLECT
7.34/7.49 c rational objective 185
7.95/8.04 c #Conflicts: 34000 | #Constraints: 10054
7.95/8.04 c #Conflicts: 35000 | #Constraints: 11054
7.95/8.04 c bounds 211 >= 186 @ 7.75735
8.34/8.49 c #Conflicts: 36000 | #Constraints: 12102
8.34/8.49 c #Conflicts: 37000 | #Constraints: 13102
8.34/8.49 c INPROCESSING
8.34/8.49 c GARBAGE COLLECT
8.34/8.49 c rational objective 186
8.64/8.77 c #Conflicts: 38000 | #Constraints: 10066
8.64/8.77 c bounds 211 >= 187 @ 8.46419
9.24/9.35 c #Conflicts: 39000 | #Constraints: 11105
9.24/9.35 c #Conflicts: 40000 | #Constraints: 12105
9.24/9.35 c bounds 211 >= 188 @ 9.02976
9.84/9.96 c #Conflicts: 41000 | #Constraints: 13138
9.84/9.96 c #Conflicts: 42000 | #Constraints: 14138
9.84/9.96 c #Conflicts: 43000 | #Constraints: 15138
9.84/9.96 c bounds 211 >= 189 @ 9.62473
9.84/9.98 c bounds 210 >= 189 @ 9.64581
10.04/10.14 c bounds 209 >= 189 @ 9.79799
10.34/10.40 c #Conflicts: 44000 | #Constraints: 16169
10.34/10.40 c #Conflicts: 45000 | #Constraints: 17173
10.34/10.40 c bounds 208 >= 189 @ 10.0608
12.43/12.55 c #Conflicts: 46000 | #Constraints: 18177
12.43/12.55 c #Conflicts: 47000 | #Constraints: 19177
12.43/12.55 c #Conflicts: 48000 | #Constraints: 20177
12.43/12.55 c #Conflicts: 49000 | #Constraints: 21177
12.43/12.55 c #Conflicts: 50000 | #Constraints: 22177
12.43/12.55 c bounds 208 >= 190 @ 12.1624
13.63/13.78 c #Conflicts: 51000 | #Constraints: 23214
13.63/13.78 c #Conflicts: 52000 | #Constraints: 24232
13.63/13.78 c #Conflicts: 53000 | #Constraints: 25244
13.63/13.78 c INPROCESSING
13.63/13.78 c GARBAGE COLLECT
13.63/13.78 c rational objective 190
15.32/15.44 c #Conflicts: 54000 | #Constraints: 15999
15.32/15.44 c #Conflicts: 55000 | #Constraints: 17003
15.32/15.44 c #Conflicts: 56000 | #Constraints: 18008
15.32/15.44 c #Conflicts: 57000 | #Constraints: 19010
15.32/15.44 c #Conflicts: 58000 | #Constraints: 20011
15.32/15.44 c INPROCESSING
15.32/15.44 c GARBAGE COLLECT
15.32/15.44 c rational objective 190
16.72/16.88 c #Conflicts: 59000 | #Constraints: 13306
16.72/16.88 c #Conflicts: 60000 | #Constraints: 14306
16.72/16.88 c #Conflicts: 61000 | #Constraints: 15306
16.72/16.88 c #Conflicts: 62000 | #Constraints: 16306
16.72/16.88 c #Conflicts: 63000 | #Constraints: 17306
16.72/16.88 c bounds 208 >= 191 @ 16.4075
17.11/17.23 c #Conflicts: 64000 | #Constraints: 18337
17.11/17.23 c INPROCESSING
17.11/17.23 c GARBAGE COLLECT
17.11/17.23 c rational objective 191
18.61/18.74 c #Conflicts: 65000 | #Constraints: 12567
18.61/18.74 c #Conflicts: 66000 | #Constraints: 13567
18.61/18.74 c #Conflicts: 67000 | #Constraints: 14567
18.61/18.74 c #Conflicts: 68000 | #Constraints: 15567
18.61/18.74 c #Conflicts: 69000 | #Constraints: 16567
18.61/18.74 c bounds 208 >= 192 @ 18.2338
18.91/19.06 c #Conflicts: 70000 | #Constraints: 17620
18.91/19.06 c INPROCESSING
18.91/19.06 c GARBAGE COLLECT
18.91/19.06 c rational objective 192
20.61/20.77 c #Conflicts: 71000 | #Constraints: 12317
20.61/20.77 c #Conflicts: 72000 | #Constraints: 13317
20.61/20.77 c #Conflicts: 73000 | #Constraints: 14318
20.61/20.77 c #Conflicts: 74000 | #Constraints: 15318
20.61/20.77 c #Conflicts: 75000 | #Constraints: 16318
20.61/20.77 c bounds 208 >= 193 @ 20.2178
20.91/21.02 c #Conflicts: 76000 | #Constraints: 17372
20.91/21.02 c INPROCESSING
20.91/21.02 c GARBAGE COLLECT
20.91/21.02 c rational objective 193
24.90/25.05 c #Conflicts: 77000 | #Constraints: 12180
24.90/25.05 c #Conflicts: 78000 | #Constraints: 13183
24.90/25.05 c #Conflicts: 79000 | #Constraints: 14185
24.90/25.05 c #Conflicts: 80000 | #Constraints: 15188
24.90/25.05 c #Conflicts: 81000 | #Constraints: 16194
24.90/25.05 c #Conflicts: 82000 | #Constraints: 17197
24.90/25.05 c #Conflicts: 83000 | #Constraints: 18200
24.90/25.05 c #Conflicts: 84000 | #Constraints: 19206
24.90/25.05 c #Conflicts: 85000 | #Constraints: 20221
24.90/25.05 c #Conflicts: 86000 | #Constraints: 21244
24.90/25.05 c #Conflicts: 87000 | #Constraints: 22255
24.90/25.05 c bounds 207 >= 193 @ 24.4201
29.09/29.24 c #Conflicts: 88000 | #Constraints: 23267
29.09/29.24 c #Conflicts: 89000 | #Constraints: 24267
29.09/29.24 c #Conflicts: 90000 | #Constraints: 25267
29.09/29.24 c #Conflicts: 91000 | #Constraints: 26268
29.09/29.24 c #Conflicts: 92000 | #Constraints: 27268
29.09/29.24 c bounds 207 >= 194 @ 28.5618
34.17/34.32 c #Conflicts: 93000 | #Constraints: 28304
34.17/34.32 c #Conflicts: 94000 | #Constraints: 29309
34.17/34.32 c #Conflicts: 95000 | #Constraints: 30311
34.17/34.32 c #Conflicts: 96000 | #Constraints: 31316
34.17/34.32 c #Conflicts: 97000 | #Constraints: 32324
34.17/34.32 c #Conflicts: 98000 | #Constraints: 33330
34.17/34.32 c #Conflicts: 99000 | #Constraints: 34336
34.17/34.32 c INPROCESSING
34.17/34.32 c GARBAGE COLLECT
34.17/34.32 c rational objective 194
38.66/38.88 c #Conflicts: 100000 | #Constraints: 20927
38.66/38.88 c #Conflicts: 101000 | #Constraints: 21927
38.66/38.88 c #Conflicts: 102000 | #Constraints: 22929
38.66/38.88 c #Conflicts: 103000 | #Constraints: 23930
38.66/38.88 c #Conflicts: 104000 | #Constraints: 24930
38.66/38.88 c #Conflicts: 105000 | #Constraints: 25930
38.66/38.88 c #Conflicts: 106000 | #Constraints: 26930
38.66/38.88 c INPROCESSING
38.66/38.88 c GARBAGE COLLECT
38.66/38.88 c rational objective 194
40.06/40.22 c #Conflicts: 107000 | #Constraints: 16968
40.06/40.22 c #Conflicts: 108000 | #Constraints: 17968
40.06/40.22 c #Conflicts: 109000 | #Constraints: 18968
40.06/40.22 c bounds 207 >= 195 @ 39.4138
40.16/40.34 c #Conflicts: 110000 | #Constraints: 20010
40.16/40.34 WSVECS04 Frhs2[3]: 6 -1.00008 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[7]: 6 -1.00009 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[11]: 6 -1.00009 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[13]: 6 -1.00009 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[19]: 6 -1.0001 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[21]: 6 -1.00003 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[25]: 6 -1.00008 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[29]: 6 -1.00009 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[33]: 6 -1.00009 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[37]: 6 -1.00006 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[43]: 6 -1.00005 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[47]: 6 -1.00004 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[51]: 6 -1.00009 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[53]: 6 -1.00003 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[59]: 6 -1.00007 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[61]: 6 -1.00002 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[67]: 6 -1.00006 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[71]: 6 -1.00009 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[73]: 6 -1.00009 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[77]: 6 -1.00002 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[83]: 6 -1.00005 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[87]: 6 -1.0001 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[89]: 6 -1.00002 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[93]: 6 -1.00004 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[97]: 6 -1.0001 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[103]: 6 -1.00004 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[107]: 6 -1.00005 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[109]: 6 -1.00001 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[115]: 6 -1.00005 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[117]: 6 -1.00005 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[121]: 6 -1.00007 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[127]: 6 -1.00007 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[135]: 6 -1.00005 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[139]: 6 -1.00008 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[143]: 6 -1.00003 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[145]: 6 -1.00003 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[149]: 6 -1.00001 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[153]: 6 -1.00009 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[155]: 6 -1.00002 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[157]: 6 -1.00006 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[163]: 6 -1.0001 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[165]: 6 -1.00008 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[169]: 6 -1.00002 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[175]: 6 -1.00002 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[177]: 6 -1.00005 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[183]: 6 -1.00009 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[187]: 6 -1.00006 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[189]: 6 -1.00001 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[195]: 6 -1.00001 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[199]: 6 -1.00006 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[203]: 6 -1.00006 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[207]: 6 -1.0001 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[209]: 6 -1.00009 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[213]: 6 -1.00005 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[217]: 6 -1.00009 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[221]: 6 -1.0001 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[225]: 6 -1.00002 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[231]: 6 -1.00006 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[235]: 6 -1.00003 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[239]: 6 -1.00008 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[241]: 6 -1.00003 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[245]: 6 -1.00009 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[251]: 6 -1.00009 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[265]: 6 -1.00002 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[271]: 6 -1.00007 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[283]: 6 -1.00003 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[295]: 6 -1.00002 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[297]: 6 -1.00006 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[311]: 6 -1.00002 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[319]: 6 -1.00007 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[321]: 6 -1.00005 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[347]: 6 -1.00002 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[351]: 6 -1.00003 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[357]: 6 -1.00003 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[375]: 6 -1.00007 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[412]: 6 -1.00006 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[413]: 6 -1.00007 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[459]: 6 -1.00003 0 shouldn't be
40.16/40.34 WSVECS04 Frhs2[462]: 6 -1.00004 0 shouldn't be
41.56/41.75 c #Conflicts: 111000 | #Constraints: 21010
41.56/41.75 c #Conflicts: 112000 | #Constraints: 22010
41.56/41.75 c #Conflicts: 113000 | #Constraints: 23010
41.56/41.75 c #Conflicts: 114000 | #Constraints: 24010
41.56/41.75 c INPROCESSING
41.56/41.75 c GARBAGE COLLECT
41.56/41.75 c rational objective 195
44.35/44.58 c #Conflicts: 115000 | #Constraints: 15728
44.35/44.58 c #Conflicts: 116000 | #Constraints: 16731
44.35/44.58 c #Conflicts: 117000 | #Constraints: 17739
44.35/44.58 c #Conflicts: 118000 | #Constraints: 18749
44.35/44.58 c #Conflicts: 119000 | #Constraints: 19758
44.35/44.58 c #Conflicts: 120000 | #Constraints: 20761
44.35/44.58 c #Conflicts: 121000 | #Constraints: 21770
44.35/44.58 c INPROCESSING
44.35/44.58 c GARBAGE COLLECT
44.35/44.58 c rational objective 195
46.74/46.98 c #Conflicts: 122000 | #Constraints: 14255
46.74/46.98 c #Conflicts: 123000 | #Constraints: 15255
46.74/46.98 c #Conflicts: 124000 | #Constraints: 16256
46.74/46.98 c #Conflicts: 125000 | #Constraints: 17258
46.74/46.98 c #Conflicts: 126000 | #Constraints: 18258
46.74/46.98 c #Conflicts: 127000 | #Constraints: 19258
46.74/46.98 c #Conflicts: 128000 | #Constraints: 20258
46.74/46.98 c bounds 207 >= 196 @ 46.0534
47.24/47.44 c #Conflicts: 129000 | #Constraints: 21306
47.24/47.44 c INPROCESSING
47.24/47.44 c GARBAGE COLLECT
47.24/47.44 c rational objective 196
48.63/48.85 c #Conflicts: 130000 | #Constraints: 13992
48.63/48.85 c #Conflicts: 131000 | #Constraints: 14994
48.63/48.85 c #Conflicts: 132000 | #Constraints: 15995
48.63/48.85 c #Conflicts: 133000 | #Constraints: 16995
48.63/48.85 c #Conflicts: 134000 | #Constraints: 17995
48.63/48.85 c bounds 207 >= 197 @ 47.885
52.23/52.41 c #Conflicts: 135000 | #Constraints: 19051
52.23/52.41 c #Conflicts: 136000 | #Constraints: 20051
52.23/52.41 c #Conflicts: 137000 | #Constraints: 21051
52.23/52.41 c #Conflicts: 138000 | #Constraints: 22051
52.23/52.41 c #Conflicts: 139000 | #Constraints: 23051
52.23/52.41 c #Conflicts: 140000 | #Constraints: 24051
52.23/52.41 c #Conflicts: 141000 | #Constraints: 25051
52.23/52.41 c #Conflicts: 142000 | #Constraints: 26053
52.23/52.41 c #Conflicts: 143000 | #Constraints: 27054
52.23/52.41 c bounds 207 >= 198 @ 51.3787
59.82/60.05 c #Conflicts: 144000 | #Constraints: 28100
59.82/60.05 c #Conflicts: 145000 | #Constraints: 29106
59.82/60.05 c #Conflicts: 146000 | #Constraints: 30116
59.82/60.05 c #Conflicts: 147000 | #Constraints: 31119
59.82/60.05 c #Conflicts: 148000 | #Constraints: 32124
59.82/60.05 c #Conflicts: 149000 | #Constraints: 33129
59.82/60.05 c #Conflicts: 150000 | #Constraints: 34132
59.82/60.05 c #Conflicts: 151000 | #Constraints: 35135
59.82/60.05 c #Conflicts: 152000 | #Constraints: 36137
59.82/60.05 c #Conflicts: 153000 | #Constraints: 37144
59.82/60.05 c #Conflicts: 154000 | #Constraints: 38146
59.82/60.05 c #Conflicts: 155000 | #Constraints: 39152
59.82/60.05 c #Conflicts: 156000 | #Constraints: 40156
59.82/60.05 c #Conflicts: 157000 | #Constraints: 41159
59.82/60.05 c #Conflicts: 158000 | #Constraints: 42162
59.82/60.05 c INPROCESSING
59.82/60.05 c GARBAGE COLLECT
59.82/60.05 c rational objective 198
65.29/65.53 c #Conflicts: 159000 | #Constraints: 24556
65.29/65.53 c #Conflicts: 160000 | #Constraints: 25557
65.29/65.53 c #Conflicts: 161000 | #Constraints: 26558
65.29/65.53 c #Conflicts: 162000 | #Constraints: 27558
65.29/65.53 c #Conflicts: 163000 | #Constraints: 28558
65.29/65.53 c #Conflicts: 164000 | #Constraints: 29558
65.29/65.53 c #Conflicts: 165000 | #Constraints: 30558
65.29/65.53 c #Conflicts: 166000 | #Constraints: 31559
65.29/65.53 c #Conflicts: 167000 | #Constraints: 32559
65.29/65.53 c #Conflicts: 168000 | #Constraints: 33560
65.29/65.53 c INPROCESSING
65.29/65.53 c GARBAGE COLLECT
65.29/65.53 c rational objective 198
66.99/67.29 c #Conflicts: 169000 | #Constraints: 20537
66.99/67.29 c #Conflicts: 170000 | #Constraints: 21539
66.99/67.29 c #Conflicts: 171000 | #Constraints: 22539
66.99/67.29 c bounds 207 >= 199 @ 66.0392
67.19/67.45 c #Conflicts: 172000 | #Constraints: 23582
67.19/67.45 WSVECS04 Frhs2[17]: 6 -1.00005 0 shouldn't be
67.19/67.45 WSVECS04 Frhs2[57]: 6 -1.00001 0 shouldn't be
67.19/67.45 WSVECS04 Frhs2[67]: 6 -1.00008 0 shouldn't be
67.19/67.45 WSVECS04 Frhs2[69]: 6 -1.00004 0 shouldn't be
67.19/67.45 WSVECS04 Frhs2[81]: 6 -1.00009 0 shouldn't be
67.19/67.45 WSVECS04 Frhs2[87]: 6 -1.00009 0 shouldn't be
67.19/67.45 WSVECS04 Frhs2[89]: 6 -1.00006 0 shouldn't be
67.19/67.45 WSVECS04 Frhs2[99]: 6 -1.00002 0 shouldn't be
67.19/67.45 WSVECS04 Frhs2[103]: 6 -1.00009 0 shouldn't be
67.19/67.45 WSVECS04 Frhs2[105]: 6 -1.00008 0 shouldn't be
67.19/67.45 WSVECS04 Frhs2[111]: 6 -1.00006 0 shouldn't be
67.19/67.45 WSVECS04 Frhs2[123]: 6 -1.00007 0 shouldn't be
67.19/67.45 WSVECS04 Frhs2[131]: 6 -1.00001 0 shouldn't be
67.19/67.45 WSVECS04 Frhs2[139]: 6 -1.00009 0 shouldn't be
67.19/67.45 WSVECS04 Frhs2[141]: 6 -1.00006 0 shouldn't be
67.19/67.45 WSVECS04 Frhs2[163]: 6 -1.00008 0 shouldn't be
67.19/67.45 WSVECS04 Frhs2[175]: 6 -1.00003 0 shouldn't be
67.19/67.45 WSVECS04 Frhs2[177]: 6 -1.00007 0 shouldn't be
67.19/67.45 WSVECS04 Frhs2[183]: 6 -1.00008 0 shouldn't be
67.19/67.45 WSVECS04 Frhs2[189]: 6 -1.00007 0 shouldn't be
67.19/67.45 WSVECS04 Frhs2[203]: 6 -1.00006 0 shouldn't be
67.19/67.45 WSVECS04 Frhs2[207]: 6 -1.0001 0 shouldn't be
67.19/67.45 WSVECS04 Frhs2[221]: 6 -1.00005 0 shouldn't be
67.19/67.45 WSVECS04 Frhs2[227]: 6 -1.00005 0 shouldn't be
67.19/67.45 WSVECS04 Frhs2[231]: 6 -1.00008 0 shouldn't be
67.19/67.45 WSVECS04 Frhs2[239]: 6 -1.00002 0 shouldn't be
67.19/67.45 WSVECS04 Frhs2[241]: 6 -1.00003 0 shouldn't be
67.19/67.45 WSVECS04 Frhs2[251]: 6 -1.00005 0 shouldn't be
67.19/67.45 WSVECS04 Frhs2[253]: 6 -1.00007 0 shouldn't be
67.19/67.45 WSVECS04 Frhs2[265]: 6 -1.00005 0 shouldn't be
67.19/67.45 WSVECS04 Frhs2[271]: 6 -1.00008 0 shouldn't be
67.19/67.45 WSVECS04 Frhs2[277]: 6 -1.00008 0 shouldn't be
67.19/67.45 WSVECS04 Frhs2[281]: 6 -1.00008 0 shouldn't be
67.19/67.45 WSVECS04 Frhs2[289]: 6 -1.00002 0 shouldn't be
67.19/67.45 WSVECS04 Frhs2[293]: 6 -1.00009 0 shouldn't be
67.19/67.45 WSVECS04 Frhs2[299]: 6 -1.0001 0 shouldn't be
67.19/67.45 WSVECS04 Frhs2[301]: 6 -1.00009 0 shouldn't be
67.19/67.45 WSVECS04 Frhs2[307]: 6 -1.00004 0 shouldn't be
67.19/67.45 WSVECS04 Frhs2[309]: 6 -1.00002 0 shouldn't be
67.19/67.45 WSVECS04 Frhs2[319]: 6 -1.00008 0 shouldn't be
67.19/67.45 WSVECS04 Frhs2[329]: 6 -1.0001 0 shouldn't be
67.19/67.45 WSVECS04 Frhs2[333]: 6 -1.00003 0 shouldn't be
67.19/67.45 WSVECS04 Frhs2[341]: 6 -1.00002 0 shouldn't be
67.19/67.45 WSVECS04 Frhs2[347]: 6 -1.00002 0 shouldn't be
67.19/67.45 WSVECS04 Frhs2[351]: 6 -1.00003 0 shouldn't be
67.19/67.45 WSVECS04 Frhs2[353]: 6 -1.00004 0 shouldn't be
67.19/67.45 WSVECS04 Frhs2[357]: 6 -1.00007 0 shouldn't be
67.19/67.45 WSVECS04 Frhs2[365]: 6 -1.0001 0 shouldn't be
67.19/67.45 WSVECS04 Frhs2[371]: 6 -1.00009 0 shouldn't be
67.19/67.45 WSVECS04 Frhs2[375]: 6 -1.00007 0 shouldn't be
67.19/67.45 WSVECS04 Frhs2[377]: 6 -1.0001 0 shouldn't be
67.19/67.45 WSVECS04 Frhs2[383]: 6 -1.00003 0 shouldn't be
67.19/67.45 WSVECS04 Frhs2[394]: 6 -1.00004 0 shouldn't be
67.19/67.45 WSVECS04 Frhs2[397]: 6 -1.0001 0 shouldn't be
67.19/67.45 WSVECS04 Frhs2[406]: 6 -1.00007 0 shouldn't be
67.19/67.45 WSVECS04 Frhs2[407]: 6 -1.00003 0 shouldn't be
67.19/67.45 WSVECS04 Frhs2[429]: 6 -1.00007 0 shouldn't be
67.19/67.45 WSVECS04 Frhs2[442]: 6 -1.00005 0 shouldn't be
67.19/67.45 WSVECS04 Frhs2[462]: 6 -1.00007 0 shouldn't be
67.19/67.45 WSVECS04 Frhs2[486]: 6 -1.0001 0 shouldn't be
69.59/69.89 c #Conflicts: 173000 | #Constraints: 24582
69.59/69.89 c #Conflicts: 174000 | #Constraints: 25582
69.59/69.89 c #Conflicts: 175000 | #Constraints: 26585
69.59/69.89 c #Conflicts: 176000 | #Constraints: 27585
69.59/69.89 c #Conflicts: 177000 | #Constraints: 28585
69.59/69.89 c INPROCESSING
69.59/69.89 c GARBAGE COLLECT
69.59/69.89 c rational objective 199
72.38/72.61 c #Conflicts: 178000 | #Constraints: 17826
72.38/72.61 c #Conflicts: 179000 | #Constraints: 18827
72.38/72.61 c #Conflicts: 180000 | #Constraints: 19830
72.38/72.61 c #Conflicts: 181000 | #Constraints: 20858
72.38/72.61 c #Conflicts: 182000 | #Constraints: 21859
72.38/72.61 c #Conflicts: 183000 | #Constraints: 22860
72.38/72.61 c #Conflicts: 184000 | #Constraints: 23862
72.38/72.61 c bounds 207 >= 200 @ 71.2623
73.47/73.71 c #Conflicts: 185000 | #Constraints: 25031
73.47/73.71 c #Conflicts: 186000 | #Constraints: 26451
73.47/73.71 c #Conflicts: 187000 | #Constraints: 27654
73.47/73.71 c INPROCESSING
73.47/73.71 c GARBAGE COLLECT
73.47/73.71 c rational objective 200
79.06/79.38 c #Conflicts: 188000 | #Constraints: 17553
79.06/79.38 c #Conflicts: 189000 | #Constraints: 18555
79.06/79.38 c #Conflicts: 190000 | #Constraints: 19557
79.06/79.38 c #Conflicts: 191000 | #Constraints: 20557
79.06/79.38 c #Conflicts: 192000 | #Constraints: 21559
79.06/79.38 c #Conflicts: 193000 | #Constraints: 22559
79.06/79.38 c #Conflicts: 194000 | #Constraints: 23561
79.06/79.38 c #Conflicts: 195000 | #Constraints: 24562
79.06/79.38 c #Conflicts: 196000 | #Constraints: 25562
79.06/79.38 c #Conflicts: 197000 | #Constraints: 26563
79.06/79.38 c #Conflicts: 198000 | #Constraints: 27563
79.06/79.38 c #Conflicts: 199000 | #Constraints: 28564
79.06/79.38 c #Conflicts: 200000 | #Constraints: 29564
79.06/79.38 c bounds 207 >= 201 @ 77.9009
91.74/92.03 c #Conflicts: 201000 | #Constraints: 30607
91.74/92.03 c #Conflicts: 202000 | #Constraints: 31622
91.74/92.03 c #Conflicts: 203000 | #Constraints: 32629
91.74/92.03 c #Conflicts: 204000 | #Constraints: 33635
91.74/92.03 c #Conflicts: 205000 | #Constraints: 34642
91.74/92.03 c #Conflicts: 206000 | #Constraints: 35648
91.74/92.03 c #Conflicts: 207000 | #Constraints: 36656
91.74/92.03 c #Conflicts: 208000 | #Constraints: 37666
91.74/92.03 c #Conflicts: 209000 | #Constraints: 38671
91.74/92.03 c #Conflicts: 210000 | #Constraints: 39679
91.74/92.03 c #Conflicts: 211000 | #Constraints: 40684
91.74/92.03 c #Conflicts: 212000 | #Constraints: 41690
91.74/92.03 c #Conflicts: 213000 | #Constraints: 42695
91.74/92.03 c #Conflicts: 214000 | #Constraints: 43697
91.74/92.03 c #Conflicts: 215000 | #Constraints: 44704
91.74/92.03 c #Conflicts: 216000 | #Constraints: 45704
91.74/92.03 c #Conflicts: 217000 | #Constraints: 46705
91.74/92.03 c #Conflicts: 218000 | #Constraints: 47709
91.74/92.03 c #Conflicts: 219000 | #Constraints: 48716
91.74/92.03 c #Conflicts: 220000 | #Constraints: 49716
91.74/92.03 c #Conflicts: 221000 | #Constraints: 50718
91.74/92.03 c INPROCESSING
91.74/92.03 c GARBAGE COLLECT
91.74/92.03 c rational objective 201
99.21/99.51 c #Conflicts: 222000 | #Constraints: 29017
99.21/99.51 c #Conflicts: 223000 | #Constraints: 30019
99.21/99.51 c #Conflicts: 224000 | #Constraints: 31020
99.21/99.51 c #Conflicts: 225000 | #Constraints: 32021
99.21/99.51 c #Conflicts: 226000 | #Constraints: 33022
99.21/99.51 c #Conflicts: 227000 | #Constraints: 34023
99.21/99.51 c #Conflicts: 228000 | #Constraints: 35025
99.21/99.51 c #Conflicts: 229000 | #Constraints: 36025
99.21/99.51 c #Conflicts: 230000 | #Constraints: 37026
99.21/99.51 c #Conflicts: 231000 | #Constraints: 38026
99.21/99.51 c #Conflicts: 232000 | #Constraints: 39027
99.21/99.51 c INPROCESSING
99.21/99.51 c GARBAGE COLLECT
99.21/99.51 c rational objective 201
102.20/102.52 c #Conflicts: 233000 | #Constraints: 23103
102.20/102.52 c #Conflicts: 234000 | #Constraints: 24104
102.20/102.52 c #Conflicts: 235000 | #Constraints: 25104
102.20/102.52 c #Conflicts: 236000 | #Constraints: 26104
102.20/102.52 c #Conflicts: 237000 | #Constraints: 27106
102.20/102.52 c #Conflicts: 238000 | #Constraints: 28107
102.20/102.52 c #Conflicts: 239000 | #Constraints: 29108
102.20/102.52 c bounds 207 >= 202 @ 100.704
104.20/104.56 c #Conflicts: 240000 | #Constraints: 30153
104.20/104.56 c #Conflicts: 241000 | #Constraints: 31155
104.20/104.56 c #Conflicts: 242000 | #Constraints: 32159
104.20/104.56 c #Conflicts: 243000 | #Constraints: 33162
104.20/104.56 c INPROCESSING
104.20/104.56 c GARBAGE COLLECT
104.20/104.56 c rational objective 202
108.98/109.31 c #Conflicts: 244000 | #Constraints: 20106
108.98/109.31 c #Conflicts: 245000 | #Constraints: 21107
108.98/109.31 c #Conflicts: 246000 | #Constraints: 22107
108.98/109.31 c #Conflicts: 247000 | #Constraints: 23108
108.98/109.31 c #Conflicts: 248000 | #Constraints: 24109
108.98/109.31 c #Conflicts: 249000 | #Constraints: 25110
108.98/109.31 c #Conflicts: 250000 | #Constraints: 26110
108.98/109.31 c #Conflicts: 251000 | #Constraints: 27112
108.98/109.31 c #Conflicts: 252000 | #Constraints: 28112
108.98/109.31 c #Conflicts: 253000 | #Constraints: 29112
108.98/109.31 c #Conflicts: 254000 | #Constraints: 30112
108.98/109.31 c #Conflicts: 255000 | #Constraints: 31113
108.98/109.31 c INPROCESSING
108.98/109.31 c GARBAGE COLLECT
108.98/109.31 c rational objective 202
116.26/116.60 c #Conflicts: 256000 | #Constraints: 19395
116.26/116.60 c #Conflicts: 257000 | #Constraints: 20396
116.26/116.60 c #Conflicts: 258000 | #Constraints: 21396
116.26/116.60 c #Conflicts: 259000 | #Constraints: 22396
116.26/116.60 c #Conflicts: 260000 | #Constraints: 23397
116.26/116.60 c #Conflicts: 261000 | #Constraints: 24397
116.26/116.60 c #Conflicts: 262000 | #Constraints: 25397
116.26/116.60 c #Conflicts: 263000 | #Constraints: 26398
116.26/116.60 c #Conflicts: 264000 | #Constraints: 27399
116.26/116.60 c #Conflicts: 265000 | #Constraints: 28400
116.26/116.60 c #Conflicts: 266000 | #Constraints: 29400
116.26/116.60 c #Conflicts: 267000 | #Constraints: 30400
116.26/116.60 c #Conflicts: 268000 | #Constraints: 31401
116.26/116.60 c #Conflicts: 269000 | #Constraints: 32401
116.26/116.60 c #Conflicts: 270000 | #Constraints: 33401
116.26/116.60 c #Conflicts: 271000 | #Constraints: 34403
116.26/116.60 c bounds 207 >= 203 @ 114.529
131.42/131.81 c #Conflicts: 272000 | #Constraints: 35478
131.42/131.81 c #Conflicts: 273000 | #Constraints: 36484
131.42/131.81 c #Conflicts: 274000 | #Constraints: 37489
131.42/131.81 c #Conflicts: 275000 | #Constraints: 38496
131.42/131.81 c #Conflicts: 276000 | #Constraints: 39505
131.42/131.81 c #Conflicts: 277000 | #Constraints: 40510
131.42/131.81 c #Conflicts: 278000 | #Constraints: 41512
131.42/131.81 c #Conflicts: 279000 | #Constraints: 42516
131.42/131.81 c #Conflicts: 280000 | #Constraints: 43518
131.42/131.81 c #Conflicts: 281000 | #Constraints: 44522
131.42/131.81 c #Conflicts: 282000 | #Constraints: 45525
131.42/131.81 c #Conflicts: 283000 | #Constraints: 46527
131.42/131.81 c #Conflicts: 284000 | #Constraints: 47530
131.42/131.81 c #Conflicts: 285000 | #Constraints: 48532
131.42/131.81 c #Conflicts: 286000 | #Constraints: 49534
131.42/131.81 c #Conflicts: 287000 | #Constraints: 50537
131.42/131.81 c #Conflicts: 288000 | #Constraints: 51538
131.42/131.81 c #Conflicts: 289000 | #Constraints: 52540
131.42/131.81 c #Conflicts: 290000 | #Constraints: 53543
131.42/131.81 c #Conflicts: 291000 | #Constraints: 54545
131.42/131.81 c #Conflicts: 292000 | #Constraints: 55549
131.42/131.81 c #Conflicts: 293000 | #Constraints: 56554
131.42/131.81 c #Conflicts: 294000 | #Constraints: 57557
131.42/131.81 c INPROCESSING
131.42/131.81 c GARBAGE COLLECT
131.42/131.81 c rational objective 203
140.19/140.60 c #Conflicts: 295000 | #Constraints: 32408
140.19/140.60 c #Conflicts: 296000 | #Constraints: 33409
140.19/140.60 c #Conflicts: 297000 | #Constraints: 34410
140.19/140.60 c #Conflicts: 298000 | #Constraints: 35411
140.19/140.60 c #Conflicts: 299000 | #Constraints: 36412
140.19/140.60 c #Conflicts: 300000 | #Constraints: 37413
140.19/140.60 c #Conflicts: 301000 | #Constraints: 38415
140.19/140.60 c #Conflicts: 302000 | #Constraints: 39417
140.19/140.60 c #Conflicts: 303000 | #Constraints: 40419
140.19/140.60 c #Conflicts: 304000 | #Constraints: 41419
140.19/140.60 c #Conflicts: 305000 | #Constraints: 42420
140.19/140.60 c #Conflicts: 306000 | #Constraints: 43421
140.19/140.60 c #Conflicts: 307000 | #Constraints: 44424
140.19/140.60 c INPROCESSING
140.19/140.60 c GARBAGE COLLECT
140.19/140.60 c rational objective 203
146.77/147.29 c #Conflicts: 308000 | #Constraints: 25948
146.77/147.29 c #Conflicts: 309000 | #Constraints: 26949
146.77/147.29 c #Conflicts: 310000 | #Constraints: 27950
146.77/147.29 c #Conflicts: 311000 | #Constraints: 28950
146.77/147.29 c #Conflicts: 312000 | #Constraints: 29953
146.77/147.29 c #Conflicts: 313000 | #Constraints: 30956
146.77/147.29 c #Conflicts: 314000 | #Constraints: 31959
146.77/147.29 c #Conflicts: 315000 | #Constraints: 32960
146.77/147.29 c #Conflicts: 316000 | #Constraints: 33961
146.77/147.29 c #Conflicts: 317000 | #Constraints: 34963
146.77/147.29 c #Conflicts: 318000 | #Constraints: 35965
146.77/147.29 c #Conflicts: 319000 | #Constraints: 36966
146.77/147.29 c #Conflicts: 320000 | #Constraints: 37969
146.77/147.29 c bounds 207 >= 204 @ 144.774
146.87/147.39 c INPROCESSING
146.87/147.39 c GARBAGE COLLECT
146.87/147.39 c rational objective 204
153.05/153.53 c #Conflicts: 321000 | #Constraints: 22828
153.05/153.53 c #Conflicts: 322000 | #Constraints: 23829
153.05/153.53 c #Conflicts: 323000 | #Constraints: 24831
153.05/153.53 c #Conflicts: 324000 | #Constraints: 25835
153.05/153.53 c #Conflicts: 325000 | #Constraints: 26837
153.05/153.53 c #Conflicts: 326000 | #Constraints: 27837
153.05/153.53 c #Conflicts: 327000 | #Constraints: 28838
153.05/153.53 c #Conflicts: 328000 | #Constraints: 29840
153.05/153.53 c #Conflicts: 329000 | #Constraints: 30840
153.05/153.53 c #Conflicts: 330000 | #Constraints: 31841
153.05/153.53 c #Conflicts: 331000 | #Constraints: 32842
153.05/153.53 c #Conflicts: 332000 | #Constraints: 33844
153.05/153.53 c #Conflicts: 333000 | #Constraints: 34845
153.05/153.53 c INPROCESSING
153.05/153.53 c GARBAGE COLLECT
153.05/153.53 c rational objective 204
153.35/153.89 c bounds 207 >= 205 @ 151.275
172.89/173.47 c #Conflicts: 334000 | #Constraints: 21236
172.89/173.47 c #Conflicts: 335000 | #Constraints: 22238
172.89/173.47 c #Conflicts: 336000 | #Constraints: 23238
172.89/173.47 c #Conflicts: 337000 | #Constraints: 24239
172.89/173.47 c #Conflicts: 338000 | #Constraints: 25239
172.89/173.47 c #Conflicts: 339000 | #Constraints: 26240
172.89/173.47 c #Conflicts: 340000 | #Constraints: 27240
172.89/173.47 c #Conflicts: 341000 | #Constraints: 28241
172.89/173.47 c #Conflicts: 342000 | #Constraints: 29243
172.89/173.47 c #Conflicts: 343000 | #Constraints: 30243
172.89/173.47 c #Conflicts: 344000 | #Constraints: 31245
172.89/173.47 c #Conflicts: 345000 | #Constraints: 32246
172.89/173.47 c #Conflicts: 346000 | #Constraints: 33247
172.89/173.47 c #Conflicts: 347000 | #Constraints: 34247
172.89/173.47 c #Conflicts: 348000 | #Constraints: 35248
172.89/173.47 c #Conflicts: 349000 | #Constraints: 36252
172.89/173.47 c #Conflicts: 350000 | #Constraints: 37255
172.89/173.47 c #Conflicts: 351000 | #Constraints: 38257
172.89/173.47 c #Conflicts: 352000 | #Constraints: 39259
172.89/173.47 c #Conflicts: 353000 | #Constraints: 40260
172.89/173.47 c #Conflicts: 354000 | #Constraints: 41263
172.89/173.47 c #Conflicts: 355000 | #Constraints: 42265
172.89/173.47 c #Conflicts: 356000 | #Constraints: 43266
172.89/173.47 c #Conflicts: 357000 | #Constraints: 44267
172.89/173.47 c #Conflicts: 358000 | #Constraints: 45268
172.89/173.47 c #Conflicts: 359000 | #Constraints: 46269
172.89/173.47 c #Conflicts: 360000 | #Constraints: 47270
172.89/173.47 c #Conflicts: 361000 | #Constraints: 48270
172.89/173.47 c #Conflicts: 362000 | #Constraints: 49271
172.89/173.47 c #Conflicts: 363000 | #Constraints: 50271
172.89/173.47 c #Conflicts: 364000 | #Constraints: 51272
172.89/173.47 c #Conflicts: 365000 | #Constraints: 52273
172.89/173.47 c #Conflicts: 366000 | #Constraints: 53273
172.89/173.47 c #Conflicts: 367000 | #Constraints: 54274
172.89/173.47 c #Conflicts: 368000 | #Constraints: 55274
172.89/173.47 c bounds 207 >= 206 @ 170.581
179.77/180.35 c #Conflicts: 369000 | #Constraints: 56336
179.77/180.35 c #Conflicts: 370000 | #Constraints: 57339
179.77/180.35 c #Conflicts: 371000 | #Constraints: 58342
179.77/180.35 c #Conflicts: 372000 | #Constraints: 59343
179.77/180.35 c #Conflicts: 373000 | #Constraints: 60345
179.77/180.35 c #Conflicts: 374000 | #Constraints: 61349
179.77/180.35 c #Conflicts: 375000 | #Constraints: 62352
179.77/180.35 c #Conflicts: 376000 | #Constraints: 63356
179.77/180.35 c #Conflicts: 377000 | #Constraints: 64359
179.77/180.35 c #Conflicts: 378000 | #Constraints: 65363
179.77/180.35 c INPROCESSING
179.77/180.35 c GARBAGE COLLECT
179.77/180.35 c rational objective 206
189.94/190.56 c #Conflicts: 379000 | #Constraints: 36580
189.94/190.56 c #Conflicts: 380000 | #Constraints: 37581
189.94/190.56 c #Conflicts: 381000 | #Constraints: 38586
189.94/190.56 c #Conflicts: 382000 | #Constraints: 39590
189.94/190.56 c #Conflicts: 383000 | #Constraints: 40593
189.94/190.56 c #Conflicts: 384000 | #Constraints: 41595
189.94/190.56 c #Conflicts: 385000 | #Constraints: 42599
189.94/190.56 c #Conflicts: 386000 | #Constraints: 43605
189.94/190.56 c #Conflicts: 387000 | #Constraints: 44610
189.94/190.56 c #Conflicts: 388000 | #Constraints: 45614
189.94/190.56 c #Conflicts: 389000 | #Constraints: 46619
189.94/190.56 c #Conflicts: 390000 | #Constraints: 47625
189.94/190.56 c #Conflicts: 391000 | #Constraints: 48626
189.94/190.56 c #Conflicts: 392000 | #Constraints: 49629
189.94/190.56 c INPROCESSING
189.94/190.56 c GARBAGE COLLECT
189.94/190.56 c rational objective 206
198.31/198.92 c #Conflicts: 393000 | #Constraints: 28539
198.31/198.92 c #Conflicts: 394000 | #Constraints: 29543
198.31/198.92 c #Conflicts: 395000 | #Constraints: 30543
198.31/198.92 c #Conflicts: 396000 | #Constraints: 31543
198.31/198.92 c #Conflicts: 397000 | #Constraints: 32545
198.31/198.92 c #Conflicts: 398000 | #Constraints: 33549
198.31/198.92 c #Conflicts: 399000 | #Constraints: 34551
198.31/198.92 c #Conflicts: 400000 | #Constraints: 35552
198.31/198.92 c #Conflicts: 401000 | #Constraints: 36555
198.31/198.92 c #Conflicts: 402000 | #Constraints: 37556
198.31/198.92 c #Conflicts: 403000 | #Constraints: 38558
198.31/198.92 c #Conflicts: 404000 | #Constraints: 39561
198.31/198.92 c #Conflicts: 405000 | #Constraints: 40561
198.31/198.92 c #Conflicts: 406000 | #Constraints: 41561
198.31/198.92 c #Conflicts: 407000 | #Constraints: 42564
198.31/198.92 c INPROCESSING
198.31/198.92 c GARBAGE COLLECT
198.31/198.92 c rational objective 206
205.50/206.15 c #Conflicts: 408000 | #Constraints: 25148
205.50/206.15 c #Conflicts: 409000 | #Constraints: 26152
205.50/206.15 c #Conflicts: 410000 | #Constraints: 27156
205.50/206.15 c #Conflicts: 411000 | #Constraints: 28158
205.50/206.15 c #Conflicts: 412000 | #Constraints: 29160
205.50/206.15 c #Conflicts: 413000 | #Constraints: 30171
205.50/206.15 c #Conflicts: 414000 | #Constraints: 31172
205.50/206.15 c #Conflicts: 415000 | #Constraints: 32172
205.50/206.15 c #Conflicts: 416000 | #Constraints: 33176
205.50/206.15 c #Conflicts: 417000 | #Constraints: 34184
205.50/206.15 c #Conflicts: 418000 | #Constraints: 35190
205.50/206.15 c #Conflicts: 419000 | #Constraints: 36199
205.50/206.15 c #Conflicts: 420000 | #Constraints: 37206
205.50/206.15 c #Conflicts: 421000 | #Constraints: 38210
205.50/206.15 c INPROCESSING
205.50/206.15 c GARBAGE COLLECT
205.50/206.15 c rational objective 206
214.87/215.53 c #Conflicts: 422000 | #Constraints: 22626
214.87/215.53 c #Conflicts: 423000 | #Constraints: 23629
214.87/215.53 c #Conflicts: 424000 | #Constraints: 24631
214.87/215.53 c #Conflicts: 425000 | #Constraints: 25638
214.87/215.53 c #Conflicts: 426000 | #Constraints: 26639
214.87/215.53 c #Conflicts: 427000 | #Constraints: 27640
214.87/215.53 c #Conflicts: 428000 | #Constraints: 28645
214.87/215.53 c #Conflicts: 429000 | #Constraints: 29647
214.87/215.53 c #Conflicts: 430000 | #Constraints: 30651
214.87/215.53 c #Conflicts: 431000 | #Constraints: 31651
214.87/215.53 c #Conflicts: 432000 | #Constraints: 32653
214.87/215.53 c #Conflicts: 433000 | #Constraints: 33654
214.87/215.53 c #Conflicts: 434000 | #Constraints: 34657
214.87/215.53 c #Conflicts: 435000 | #Constraints: 35660
214.87/215.53 c #Conflicts: 436000 | #Constraints: 36660
214.87/215.53 c #Conflicts: 437000 | #Constraints: 37661
214.87/215.53 c #Conflicts: 438000 | #Constraints: 38662
214.87/215.53 c #Conflicts: 439000 | #Constraints: 39664
214.87/215.53 c bounds 207 >= 207 @ 212.067
214.87/215.53 c cpu time 212.067 s
214.87/215.53 c deterministic time 9486472174 9.49e+09
214.87/215.53 c optimization time 0.025472 s
214.87/215.53 c total solve time 212.026 s
214.87/215.53 c core-guided solve time 133.125 s
214.87/215.53 c propagation time 127.685 s
214.87/215.53 c conflict analysis time 76.5094 s
214.87/215.53 c propagations 79539523
214.87/215.53 c resolve steps 18368014
214.87/215.53 c decisions 859942
214.87/215.53 c conflicts 439524
214.87/215.53 c restarts 1021
214.87/215.53 c inprocessing phases 38
214.87/215.53 c garbage collections 38 ,( 100.00 )
214.87/215.53 c input clauses 5137 ,( 74.93 )
214.87/215.53 c input cardinalities 1105 ,( 16.12 )
214.87/215.53 c input general constraints 614 ,( 8.96 )
214.87/215.53 c input average constraint length 22.79
214.87/215.53 c input average constraint degree 6.41
214.87/215.53 c learned clauses 405849 ,( 91.94 )
214.87/215.53 c learned cardinalities 5566 ,( 1.26 )
214.87/215.53 c learned general constraints 30013 ,( 6.80 )
214.87/215.53 c learned average constraint length 191.40
214.87/215.53 c learned average constraint degree 49745064.12
214.87/215.53 c watched CF 32, 64, 128, Arb: 16059 , 0 , 0 , 0
214.87/215.53 c counting CF 32, 64, 128, Arb: 14569 , 0 , 0 , 0
214.87/215.53 c watched constraints 16059 ,( 52.43 )
214.87/215.53 c counting constraints 14568 ,( 47.57 )
214.87/215.53 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 483802599 , 439279611 , 299335424 ,( 57023564 , 242311860 )
214.87/215.53 c gcd simplifications 28487
214.87/215.53 c detected cardinalities 27
214.87/215.53 c weakened non-implied lits 12830035
214.87/215.53 c weakened non-implying lits 166444
214.87/215.53 c original variables 1160
214.87/215.53 c clausal propagations 53681637
214.87/215.53 c cardinality propagations 5108739
214.87/215.53 c watched propagations 807458
214.87/215.53 c counting propagations 19015020
214.87/215.53 c watch lookups 4517539843
214.87/215.53 c watch backjump lookups 0
214.87/215.53 c watch checks 4117775299
214.87/215.53 c propagation checks 391601769
214.87/215.53 c constraint additions 297867069
214.87/215.53 c trail pops 80837933
214.87/215.53 c formula constraints 4419
214.87/215.53 c learned constraints 438541
214.87/215.53 c bound constraints 247
214.87/215.53 c core-guided constraints 2190
214.87/215.53 c encountered formula constraints 9885850
214.87/215.53 c encountered learned constraints 4652115
214.87/215.53 c encountered bound constraints 287
214.87/215.53 c encountered core-guided constraints 4220590
214.87/215.53 c LP total time 31.7228 s
214.87/215.53 c LP solve time 28.37 s
214.87/215.53 c LP constraints added 4715
214.87/215.53 c LP constraints removed 279
214.87/215.53 c LP pivots internal 439730
214.87/215.53 c LP pivots root 11065
214.87/215.53 c LP calls 2426
214.87/215.53 c LP optimalities 601
214.87/215.53 c LP no pivot count 29
214.87/215.53 c LP infeasibilities 1821
214.87/215.53 c LP valid Farkas constraints 1818
214.87/215.53 c LP learned Farkas constraints 1005
214.87/215.53 c LP basis resets 5
214.87/215.53 c LP cycling count 0
214.87/215.53 c LP singular count 1
214.87/215.53 c LP no primal count 0
214.87/215.53 c LP no farkas count 3
214.87/215.53 c LP other issue count 1
214.87/215.53 c LP Gomory cuts 64
214.87/215.53 c LP learned cuts 232
214.87/215.53 c LP deleted cuts 279
214.87/215.53 c LP encountered Gomory constraints 370
214.87/215.53 c LP encountered Farkas constraints 42909
214.87/215.53 c LP encountered learned Farkas constraints 4412
214.87/215.53 c CG auxiliary variables introduced 797
214.87/215.53 c CG solutions found 13
214.87/215.53 c CG cores constructed 207
214.87/215.53 c CG core cardinality constraints returned 0
214.87/215.53 c CG unit cores 1
214.87/215.53 c CG single cores 205
214.87/215.53 c CG blocks removed during cardinality reduction 0
214.87/215.53 c CG first core best 0
214.87/215.53 c CG decision core best 0
214.87/215.53 c CG core reduction tie 1
214.87/215.53 c CG core degree average 1.00
214.87/215.53 c CG core slack average 5.15
214.87/215.53 c CG core upper bound improvements 1
214.87/215.53 c STR number of successful calls 0
214.87/215.53 c STR number of unsuccessful calls 0
214.87/215.53 c STR number of inconclusive calls 0
214.87/215.53 c STR number of successful attempts 0
214.87/215.53 c STR number of unsuccessful attempts 0
214.87/215.53 c STR number of inconclusive attempts 0
214.87/215.53 c STR average degree increase per successful call inf
214.87/215.53 c STR average degree increase per successful attempt inf
214.87/215.53 c STR total number of conflicts for successful attempts 0
214.87/215.53 c STR total number of conflicts for unsuccessful attempts 0
214.87/215.53 c STR total number of conflicts for inconclusive attempts 0
214.87/215.53 c STR average number of conflicts per successful attempt inf
214.87/215.53 c STR average number of conflicts per unsuccessful attempt inf
214.87/215.53 c STR average number of conflicts per inconclusive attempt inf
214.87/215.53 c AVG.sumWPerc 41.26
214.87/215.53 c bigint constraints 0
214.87/215.53 o 207
214.87/215.53 s OPTIMUM FOUND
214.87/215.53 v -x1 -x2 x3 -x4 -x5 x6 x7 -x8 x9 -x10 x11 -x12 x13 -x14 x15 -x16 x17 -x18 x19 -x20 x21 -x22 x23 -x24 x25 -x26 x27 -x28 x29 -x30 x31 -x32 -x33 -x34 x35 -x36 x37 -x38 x39 -x40 x41 -x42 -x43 x44 -x45 -x46 x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 x55 -x56 x57 -x58 x59 -x60 x61 -x62 -x63 -x64 x65 -x66 x67 -x68 x69 -x70 x71 -x72 -x73 x74 x75 -x76 -x77 -x78 x79 -x80 x81 -x82 x83 -x84 x85 -x86 x87 -x88 x89 -x90 -x91 -x92 x93 -x94 x95 -x96 x97 -x98 x99 -x100 -x101 x102 x103 -x104 -x105 -x106 x107 -x108 -x109 -x110 x111 -x112 x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 x125 -x126 x127 -x128 x129 -x130 -x131 -x132 -x133 x134 x135 -x136 -x137 -x138 x139 -x140 x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 x149 -x150 -x151 -x152 x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 x187 -x188 x189 -x190 -x191 -x192 x193 -x194 -x195 -x196 -x197 x198 x199 -x200 -x201 x202 x203 -x204 -x205 -x206 x207 -x208 x209 -x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 -x218 x219 -x220 x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 -x230 x231 -x232 -x233 -x234 x235 -x236 x237 -x238 -x239 -x240 x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 -x250 x251 -x252 x253 -x254 -x255 -x256 x257 -x258 x259 -x260 -x261 x262 x263 -x264 x265 -x266 x267 -x268 x269 -x270 x271 -x272 x273 -x274 x275 -x276 x277 -x278 x279 -x280 x281 -x282 x283 -x284 x285 -x286 x287 -x288 x289 -x290 x291 -x292 x293 -x294 x295 -x296 x297 -x298 x299 -x300 x301 -x302 x303 -x304 x305 -x306 x307 -x308 x309 -x310 x311 -x312 x313 -x314 x315 -x316 x317 -x318 x319 -x320 x321 -x322 x323 -x324 x325 -x326 x327 -x328 x329 -x330 x331 -x332 x333 -x334 -x335 x336 x337 -x338 x339 -x340 x341 -x342 x343 -x344 x345 -x346 x347 -x348 x349 -x350 x351 -x352 x353 -x354 x355 -x356 x357 -x358 x359 -x360 x361 -x362 x363 -x364 x365 -x366 x367 -x368 x369 -x370 x371 -x372 x373 -x374 x375 -x376 x377 -x378 x379 -x380 -x381 x382 x383 -x384 -x385 x386 -x387 x388 x389 -x390 -x391 x392 -x393 x394 x395 -x396 -x397 x398 -x399 x400 x401 -x402 -x403 x404 -x405 x406 x407 -x408 -x409 x410 -x411 x412 x413 -x414 -x415 x416 -x417 x418 x419 -x420 -x421 x422 x423 -x424 -x425 x426 x427 -x428 -x429 x430 -x431 x432 -x433 x434 -x435 x436 x437 -x438 -x439 x440 -x441 x442 x443 -x444 -x445 x446 -x447 x448 x449 -x450 -x451 x452 -x453 x454 x455 -x456 x457 -x458 -x459 x460 -x461 x462 -x463 x464 -x465 x466 x467 -x468 -x469 x470 -x471 x472 x473 -x474 -x475 x476 -x477 x478 x479 -x480 x481 -x482 -x483 x484 -x485 x486 -x487 x488 -x489 x490 x491 -x492 -x493 x494 -x495 x496 x497 -x498
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 (62900 MiB free)
memory of node 1: 64465 MiB (63822 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4486656-1751327216/watcher-4486656-1751327216 -o /tmp/evaluation-result-4486656-1751327216/solver-4486656-1751327216 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751327214-45660 --watchdog 3760 run-opt-ls.sh HOME/instance-4486656-1751327216.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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.el
Current StackSize limit: 8192 KiB
solver pid=45771, runsolver pid=45768
[startup+0.100057 s]*
/proc/loadavg: 0.94 1.05 1.18 5/267 45774
/proc/meminfo: memFree=129753056/131249996 swapFree=33010684/33010684
[pid=45771] ppid=45768 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/45771/stat : 45771 (run-opt-ls.sh) S 45768 45771 45650 0 -1 4194304 240 760 0 0 0 0 0 0 20 0 1 0 48400064 4292608 768 18446744073709551615 94877495738368 94877496632901 140725546251696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94877496871952 94877496919696 94877504897024 140725546260839 140725546260965 140725546260965 140725546266567 0
/proc/45771/statm: 1048 768 704 219 0 110 0
[pid=45774] ppid=45771 vsize=65788 memory=21444 CPUtime=0.07 cores=0,2
/proc/45774/stat : 45774 (roundingsat) R 45771 45771 45650 0 -1 4194304 3265 0 0 0 6 1 0 0 20 0 1 0 48400066 67366912 5361 18446744073709551615 4227072 8923433 140729934894496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27799552 140729934899526 140729934899752 140729934899752 140729934905322 0
/proc/45774/statm: 16447 5361 2336 1147 0 3874 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 69980 KiB
Current children cumulated memory: 24516 KiB
[startup+0.205528 s]*
/proc/loadavg: 0.94 1.05 1.18 6/267 45774
/proc/meminfo: memFree=129749104/131249996 swapFree=33010684/33010684
[pid=45771] ppid=45768 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/45771/stat : 45771 (run-opt-ls.sh) S 45768 45771 45650 0 -1 4194304 240 760 0 0 0 0 0 0 20 0 1 0 48400064 4292608 768 18446744073709551615 94877495738368 94877496632901 140725546251696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94877496871952 94877496919696 94877504897024 140725546260839 140725546260965 140725546260965 140725546266567 0
/proc/45771/statm: 1048 768 704 219 0 110 0
[pid=45774] ppid=45771 vsize=67824 memory=23748 CPUtime=0.17 cores=0,2
/proc/45774/stat : 45774 (roundingsat) R 45771 45771 45650 0 -1 4194304 3812 0 0 0 14 3 0 0 20 0 1 0 48400066 69451776 5937 18446744073709551615 4227072 8923433 140729934894496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27799552 140729934899526 140729934899752 140729934899752 140729934905322 0
/proc/45774/statm: 16956 5937 2400 1147 0 4383 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 72016 KiB
Current children cumulated memory: 26820 KiB
[startup+0.305275 s]*
/proc/loadavg: 0.94 1.05 1.18 5/267 45774
/proc/meminfo: memFree=129745072/131249996 swapFree=33010684/33010684
[pid=45771] ppid=45768 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/45771/stat : 45771 (run-opt-ls.sh) S 45768 45771 45650 0 -1 4194304 240 760 0 0 0 0 0 0 20 0 1 0 48400064 4292608 768 18446744073709551615 94877495738368 94877496632901 140725546251696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94877496871952 94877496919696 94877504897024 140725546260839 140725546260965 140725546260965 140725546266567 0
/proc/45771/statm: 1048 768 704 219 0 110 0
[pid=45774] ppid=45771 vsize=70896 memory=26436 CPUtime=0.27 cores=0,2
/proc/45774/stat : 45774 (roundingsat) R 45771 45771 45650 0 -1 4194304 4484 0 0 0 23 4 0 0 20 0 1 0 48400066 72597504 6609 18446744073709551615 4227072 8923433 140729934894496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27799552 140729934899526 140729934899752 140729934899752 140729934905322 0
/proc/45774/statm: 17724 6609 2400 1147 0 5151 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 75088 KiB
Current children cumulated memory: 29508 KiB
[startup+0.700137 s]
/proc/loadavg: 0.94 1.05 1.18 5/267 45774
/proc/meminfo: memFree=129745328/131249996 swapFree=33010684/33010684
[pid=45771] ppid=45768 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/45771/stat : 45771 (run-opt-ls.sh) S 45768 45771 45650 0 -1 4194304 240 760 0 0 0 0 0 0 20 0 1 0 48400064 4292608 768 18446744073709551615 94877495738368 94877496632901 140725546251696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94877496871952 94877496919696 94877504897024 140725546260839 140725546260965 140725546260965 140725546266567 0
/proc/45771/statm: 1048 768 704 219 0 110 0
[pid=45774] ppid=45771 vsize=72736 memory=30464 CPUtime=0.66 cores=0,2
/proc/45774/stat : 45774 (roundingsat) R 45771 45771 45650 0 -1 4194304 4975 0 0 0 61 5 0 0 20 0 1 0 48400066 74481664 7616 18446744073709551615 4227072 8923433 140729934894496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27799552 140729934899526 140729934899752 140729934899752 140729934905322 0
/proc/45774/statm: 18184 7616 2400 1147 0 5611 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 76928 KiB
Current children cumulated memory: 33536 KiB
[startup+1.50014 s]
/proc/loadavg: 0.94 1.05 1.18 5/267 45774
/proc/meminfo: memFree=129741232/131249996 swapFree=33010684/33010684
[pid=45771] ppid=45768 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/45771/stat : 45771 (run-opt-ls.sh) S 45768 45771 45650 0 -1 4194304 240 760 0 0 0 0 0 0 20 0 1 0 48400064 4292608 768 18446744073709551615 94877495738368 94877496632901 140725546251696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94877496871952 94877496919696 94877504897024 140725546260839 140725546260965 140725546260965 140725546266567 0
/proc/45771/statm: 1048 768 704 219 0 110 0
[pid=45774] ppid=45771 vsize=73172 memory=30720 CPUtime=1.45 cores=0,2
/proc/45774/stat : 45774 (roundingsat) R 45771 45771 45650 0 -1 4194304 5054 0 0 0 139 6 0 0 20 0 1 0 48400066 74928128 7680 18446744073709551615 4227072 8923433 140729934894496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27799552 140729934899526 140729934899752 140729934899752 140729934905322 0
/proc/45774/statm: 18293 7680 2400 1147 0 5720 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 77364 KiB
Current children cumulated memory: 33792 KiB
[startup+3.10525 s]
/proc/loadavg: 1.19 1.10 1.19 5/267 45774
/proc/meminfo: memFree=129721952/131249996 swapFree=33010684/33010684
[pid=45771] ppid=45768 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/45771/stat : 45771 (run-opt-ls.sh) S 45768 45771 45650 0 -1 4194304 240 760 0 0 0 0 0 0 20 0 1 0 48400064 4292608 768 18446744073709551615 94877495738368 94877496632901 140725546251696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94877496871952 94877496919696 94877504897024 140725546260839 140725546260965 140725546260965 140725546266567 0
/proc/45771/statm: 1048 768 704 219 0 110 0
[pid=45774] ppid=45771 vsize=80008 memory=36360 CPUtime=3.06 cores=0,2
/proc/45774/stat : 45774 (roundingsat) R 45771 45771 45650 0 -1 4194304 5932 0 0 0 294 12 0 0 20 0 1 0 48400066 81928192 9090 18446744073709551615 4227072 8923433 140729934894496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27799552 140729934899526 140729934899752 140729934899752 140729934905322 0
/proc/45774/statm: 20002 9090 2400 1147 0 7429 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 84200 KiB
Current children cumulated memory: 39432 KiB
[startup+6.30014 s]
/proc/loadavg: 1.19 1.10 1.19 5/267 45774
/proc/meminfo: memFree=129720240/131249996 swapFree=33010684/33010684
[pid=45771] ppid=45768 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/45771/stat : 45771 (run-opt-ls.sh) S 45768 45771 45650 0 -1 4194304 240 760 0 0 0 0 0 0 20 0 1 0 48400064 4292608 768 18446744073709551615 94877495738368 94877496632901 140725546251696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94877496871952 94877496919696 94877504897024 140725546260839 140725546260965 140725546260965 140725546266567 0
/proc/45771/statm: 1048 768 704 219 0 110 0
[pid=45774] ppid=45771 vsize=82004 memory=38408 CPUtime=6.25 cores=0,2
/proc/45774/stat : 45774 (roundingsat) R 45771 45771 45650 0 -1 4194304 6464 0 0 0 606 19 0 0 20 0 1 0 48400066 83972096 9602 18446744073709551615 4227072 8923433 140729934894496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27799552 140729934899526 140729934899752 140729934899752 140729934905322 0
/proc/45774/statm: 20501 9602 2400 1147 0 7928 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 86196 KiB
Current children cumulated memory: 41480 KiB
[startup+12.7002 s]
/proc/loadavg: 1.62 1.20 1.22 5/267 45774
/proc/meminfo: memFree=129716776/131249996 swapFree=33010684/33010684
[pid=45771] ppid=45768 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/45771/stat : 45771 (run-opt-ls.sh) S 45768 45771 45650 0 -1 4194304 240 760 0 0 0 0 0 0 20 0 1 0 48400064 4292608 768 18446744073709551615 94877495738368 94877496632901 140725546251696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94877496871952 94877496919696 94877504897024 140725546260839 140725546260965 140725546260965 140725546266567 0
/proc/45771/statm: 1048 768 704 219 0 110 0
[pid=45774] ppid=45771 vsize=87944 memory=43392 CPUtime=12.63 cores=0,2
/proc/45774/stat : 45774 (roundingsat) R 45771 45771 45650 0 -1 4194304 7189 0 0 0 1230 33 0 0 20 0 1 0 48400066 90054656 10848 18446744073709551615 4227072 8923433 140729934894496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27799552 140729934899526 140729934899752 140729934899752 140729934905322 0
/proc/45774/statm: 21986 10848 2400 1147 0 9413 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 92136 KiB
Current children cumulated memory: 46464 KiB
[startup+25.5002 s]
/proc/loadavg: 1.99 1.29 1.25 5/267 45774
/proc/meminfo: memFree=129700228/131249996 swapFree=33010684/33010684
[pid=45771] ppid=45768 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/45771/stat : 45771 (run-opt-ls.sh) S 45768 45771 45650 0 -1 4194304 240 760 0 0 0 0 0 0 20 0 1 0 48400064 4292608 768 18446744073709551615 94877495738368 94877496632901 140725546251696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94877496871952 94877496919696 94877504897024 140725546260839 140725546260965 140725546260965 140725546266567 0
/proc/45771/statm: 1048 768 704 219 0 110 0
[pid=45774] ppid=45771 vsize=101560 memory=55996 CPUtime=25.39 cores=0,2
/proc/45774/stat : 45774 (roundingsat) R 45771 45771 45650 0 -1 4194304 9347 0 0 0 2485 54 0 0 20 0 1 0 48400066 103997440 13999 18446744073709551615 4227072 8923433 140729934894496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27799552 140729934899526 140729934899752 140729934899752 140729934905322 0
/proc/45774/statm: 25390 13999 2400 1147 0 12817 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 105752 KiB
Current children cumulated memory: 59068 KiB
[startup+51.1053 s]
/proc/loadavg: 2.74 1.52 1.33 5/267 45775
/proc/meminfo: memFree=129655052/131249996 swapFree=33010684/33010684
[pid=45771] ppid=45768 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/45771/stat : 45771 (run-opt-ls.sh) S 45768 45771 45650 0 -1 4194304 240 760 0 0 0 0 0 0 20 0 1 0 48400064 4292608 768 18446744073709551615 94877495738368 94877496632901 140725546251696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94877496871952 94877496919696 94877504897024 140725546260839 140725546260965 140725546260965 140725546266567 0
/proc/45771/statm: 1048 768 704 219 0 110 0
[pid=45774] ppid=45771 vsize=122732 memory=71340 CPUtime=50.93 cores=0,2
/proc/45774/stat : 45774 (roundingsat) R 45771 45771 45650 0 -1 4194304 11649 0 0 0 5008 85 0 0 20 0 1 0 48400066 125677568 17835 18446744073709551615 4227072 8923433 140729934894496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27799552 140729934899526 140729934899752 140729934899752 140729934905322 0
/proc/45774/statm: 30683 17835 2400 1147 0 18110 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 126924 KiB
Current children cumulated memory: 74412 KiB
[startup+102.3 s]
/proc/loadavg: 3.55 1.96 1.49 5/267 45776
/proc/meminfo: memFree=129631900/131249996 swapFree=33010684/33010684
[pid=45771] ppid=45768 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/45771/stat : 45771 (run-opt-ls.sh) S 45768 45771 45650 0 -1 4194304 240 760 0 0 0 0 0 0 20 0 1 0 48400064 4292608 768 18446744073709551615 94877495738368 94877496632901 140725546251696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94877496871952 94877496919696 94877504897024 140725546260839 140725546260965 140725546260965 140725546266567 0
/proc/45771/statm: 1048 768 704 219 0 110 0
[pid=45774] ppid=45771 vsize=144108 memory=84772 CPUtime=102.01 cores=0,2
/proc/45774/stat : 45774 (roundingsat) R 45771 45771 45650 0 -1 4194304 12886 0 0 0 10048 153 0 0 20 0 1 0 48400066 147566592 21193 18446744073709551615 4227072 8923433 140729934894496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27799552 140729934899526 140729934899752 140729934899752 140729934905322 0
/proc/45774/statm: 36027 21193 2496 1147 0 23454 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 148300 KiB
Current children cumulated memory: 87844 KiB
[startup+162.3 s]
/proc/loadavg: 3.88 2.35 1.66 5/267 45778
/proc/meminfo: memFree=129608256/131249996 swapFree=33010684/33010684
[pid=45771] ppid=45768 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/45771/stat : 45771 (run-opt-ls.sh) S 45768 45771 45650 0 -1 4194304 240 760 0 0 0 0 0 0 20 0 1 0 48400064 4292608 768 18446744073709551615 94877495738368 94877496632901 140725546251696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94877496871952 94877496919696 94877504897024 140725546260839 140725546260965 140725546260965 140725546266567 0
/proc/45771/statm: 1048 768 704 219 0 110 0
[pid=45774] ppid=45771 vsize=145892 memory=90788 CPUtime=161.83 cores=0,2
/proc/45774/stat : 45774 (roundingsat) R 45771 45771 45650 0 -1 4194304 13366 0 0 0 15955 228 0 0 20 0 1 0 48400066 149393408 22697 18446744073709551615 4227072 8923433 140729934894496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27799552 140729934899526 140729934899752 140729934899752 140729934905322 0
/proc/45774/statm: 36473 22697 2496 1147 0 23900 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 150084 KiB
Current children cumulated memory: 93860 KiB
[startup+215.54 s]
# the end of solver process 45771 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=212.076 s, system=2.84698 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+179.2 s]
/proc/loadavg: 3.91 2.43 1.70 5/267 45779
/proc/meminfo: memFree=129587224/131249996 swapFree=33010684/33010684
[pid=45771] ppid=45768 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/45771/stat : 45771 (run-opt-ls.sh) S 45768 45771 45650 0 -1 4194304 240 760 0 0 0 0 0 0 20 0 1 0 48400064 4292608 768 18446744073709551615 94877495738368 94877496632901 140725546251696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94877496871952 94877496919696 94877504897024 140725546260839 140725546260965 140725546260965 140725546266567 0
/proc/45771/statm: 1048 768 704 219 0 110 0
[pid=45774] ppid=45771 vsize=146156 memory=95184 CPUtime=178.68 cores=0,2
/proc/45774/stat : 45774 (roundingsat) R 45771 45771 45650 0 -1 4194304 13439 0 0 0 17623 245 0 0 20 0 1 0 48400066 149663744 23796 18446744073709551615 4227072 8923433 140729934894496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27799552 140729934899526 140729934899752 140729934899752 140729934905322 0
/proc/45774/statm: 36539 23796 2496 1147 0 23966 0
Current children cumulated CPU time: 178.68 s
Current children cumulated vsize: 150348 KiB
Current children cumulated memory: 98256 KiB
[startup+192 s]*
/proc/loadavg: 3.93 2.51 1.73 5/267 45780
/proc/meminfo: memFree=129610344/131249996 swapFree=33010684/33010684
[pid=45771] ppid=45768 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/45771/stat : 45771 (run-opt-ls.sh) S 45768 45771 45650 0 -1 4194304 240 760 0 0 0 0 0 0 20 0 1 0 48400064 4292608 768 18446744073709551615 94877495738368 94877496632901 140725546251696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94877496871952 94877496919696 94877504897024 140725546260839 140725546260965 140725546260965 140725546266567 0
/proc/45771/statm: 1048 768 704 219 0 110 0
[pid=45774] ppid=45771 vsize=147676 memory=98688 CPUtime=191.44 cores=0,2
/proc/45774/stat : 45774 (roundingsat) R 45771 45771 45650 0 -1 4194304 13803 0 0 0 18887 257 0 0 20 0 1 0 48400066 151220224 24672 18446744073709551615 4227072 8923433 140729934894496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27799552 140729934899526 140729934899752 140729934899752 140729934905322 0
/proc/45774/statm: 36919 24672 2496 1147 0 24346 0
Current children cumulated CPU time: 191.44 s
Current children cumulated vsize: 151868 KiB
Current children cumulated memory: 101760 KiB
[startup+204.8 s]
/proc/loadavg: 4.02 2.57 1.76 5/267 45780
/proc/meminfo: memFree=129610912/131249996 swapFree=33010684/33010684
[pid=45771] ppid=45768 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/45771/stat : 45771 (run-opt-ls.sh) S 45768 45771 45650 0 -1 4194304 240 760 0 0 0 0 0 0 20 0 1 0 48400064 4292608 768 18446744073709551615 94877495738368 94877496632901 140725546251696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94877496871952 94877496919696 94877504897024 140725546260839 140725546260965 140725546260965 140725546266567 0
/proc/45771/statm: 1048 768 704 219 0 110 0
[pid=45774] ppid=45771 vsize=148208 memory=99200 CPUtime=204.19 cores=0,2
/proc/45774/stat : 45774 (roundingsat) R 45771 45771 45650 0 -1 4194304 13936 0 0 0 20148 271 0 0 20 0 1 0 48400066 151764992 24800 18446744073709551615 4227072 8923433 140729934894496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27799552 140729934899526 140729934899752 140729934899752 140729934905322 0
/proc/45774/statm: 37052 24800 2496 1147 0 24479 0
Current children cumulated CPU time: 204.19 s
Current children cumulated vsize: 152400 KiB
Current children cumulated memory: 102272 KiB
[startup+211.2 s]
/proc/loadavg: 4.02 2.60 1.78 5/267 45780
/proc/meminfo: memFree=129611488/131249996 swapFree=33010684/33010684
[pid=45771] ppid=45768 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/45771/stat : 45771 (run-opt-ls.sh) S 45768 45771 45650 0 -1 4194304 240 760 0 0 0 0 0 0 20 0 1 0 48400064 4292608 768 18446744073709551615 94877495738368 94877496632901 140725546251696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94877496871952 94877496919696 94877504897024 140725546260839 140725546260965 140725546260965 140725546266567 0
/proc/45771/statm: 1048 768 704 219 0 110 0
[pid=45774] ppid=45771 vsize=148208 memory=99200 CPUtime=210.58 cores=0,2
/proc/45774/stat : 45774 (roundingsat) R 45771 45771 45650 0 -1 4194304 13936 0 0 0 20779 279 0 0 20 0 1 0 48400066 151764992 24800 18446744073709551615 4227072 8923433 140729934894496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27799552 140729934899526 140729934899752 140729934899752 140729934905322 0
/proc/45774/statm: 37052 24800 2496 1147 0 24479 0
Current children cumulated CPU time: 210.58 s
Current children cumulated vsize: 152400 KiB
Current children cumulated memory: 102272 KiB
[startup+212.8 s]
/proc/loadavg: 4.02 2.62 1.79 5/267 45780
/proc/meminfo: memFree=129611772/131249996 swapFree=33010684/33010684
[pid=45771] ppid=45768 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/45771/stat : 45771 (run-opt-ls.sh) S 45768 45771 45650 0 -1 4194304 240 760 0 0 0 0 0 0 20 0 1 0 48400064 4292608 768 18446744073709551615 94877495738368 94877496632901 140725546251696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94877496871952 94877496919696 94877504897024 140725546260839 140725546260965 140725546260965 140725546266567 0
/proc/45771/statm: 1048 768 704 219 0 110 0
[pid=45774] ppid=45771 vsize=148208 memory=99200 CPUtime=212.17 cores=0,2
/proc/45774/stat : 45774 (roundingsat) R 45771 45771 45650 0 -1 4194304 13936 0 0 0 20936 281 0 0 20 0 1 0 48400066 151764992 24800 18446744073709551615 4227072 8923433 140729934894496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27799552 140729934899526 140729934899752 140729934899752 140729934905322 0
/proc/45774/statm: 37052 24800 2496 1147 0 24479 0
Current children cumulated CPU time: 212.17 s
Current children cumulated vsize: 152400 KiB
Current children cumulated memory: 102272 KiB
[startup+214.4 s]
/proc/loadavg: 4.02 2.62 1.79 5/267 45780
/proc/meminfo: memFree=129609756/131249996 swapFree=33010684/33010684
[pid=45771] ppid=45768 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/45771/stat : 45771 (run-opt-ls.sh) S 45768 45771 45650 0 -1 4194304 240 760 0 0 0 0 0 0 20 0 1 0 48400064 4292608 768 18446744073709551615 94877495738368 94877496632901 140725546251696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94877496871952 94877496919696 94877504897024 140725546260839 140725546260965 140725546260965 140725546266567 0
/proc/45771/statm: 1048 768 704 219 0 110 0
[pid=45774] ppid=45771 vsize=148208 memory=99200 CPUtime=213.77 cores=0,2
/proc/45774/stat : 45774 (roundingsat) R 45771 45771 45650 0 -1 4194304 13936 0 0 0 21094 283 0 0 20 0 1 0 48400066 151764992 24800 18446744073709551615 4227072 8923433 140729934894496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27799552 140729934899526 140729934899752 140729934899752 140729934905322 0
/proc/45774/statm: 37052 24800 2496 1147 0 24479 0
Current children cumulated CPU time: 213.77 s
Current children cumulated vsize: 152400 KiB
Current children cumulated memory: 102272 KiB
[startup+215.2 s]
/proc/loadavg: 4.02 2.62 1.79 5/267 45780
/proc/meminfo: memFree=129609780/131249996 swapFree=33010684/33010684
[pid=45771] ppid=45768 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/45771/stat : 45771 (run-opt-ls.sh) S 45768 45771 45650 0 -1 4194304 240 760 0 0 0 0 0 0 20 0 1 0 48400064 4292608 768 18446744073709551615 94877495738368 94877496632901 140725546251696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94877496871952 94877496919696 94877504897024 140725546260839 140725546260965 140725546260965 140725546266567 0
/proc/45771/statm: 1048 768 704 219 0 110 0
[pid=45774] ppid=45771 vsize=148208 memory=99200 CPUtime=214.56 cores=0,2
/proc/45774/stat : 45774 (roundingsat) R 45771 45771 45650 0 -1 4194304 13936 0 0 0 21173 283 0 0 20 0 1 0 48400066 151764992 24800 18446744073709551615 4227072 8923433 140729934894496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27799552 140729934899526 140729934899752 140729934899752 140729934905322 0
/proc/45774/statm: 37052 24800 2496 1147 0 24479 0
Current children cumulated CPU time: 214.56 s
Current children cumulated vsize: 152400 KiB
Current children cumulated memory: 102272 KiB
[startup+215.4 s]
/proc/loadavg: 4.02 2.62 1.79 5/267 45780
/proc/meminfo: memFree=129609780/131249996 swapFree=33010684/33010684
[pid=45771] ppid=45768 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/45771/stat : 45771 (run-opt-ls.sh) S 45768 45771 45650 0 -1 4194304 240 760 0 0 0 0 0 0 20 0 1 0 48400064 4292608 768 18446744073709551615 94877495738368 94877496632901 140725546251696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94877496871952 94877496919696 94877504897024 140725546260839 140725546260965 140725546260965 140725546266567 0
/proc/45771/statm: 1048 768 704 219 0 110 0
[pid=45774] ppid=45771 vsize=148208 memory=99200 CPUtime=214.77 cores=0,2
/proc/45774/stat : 45774 (roundingsat) R 45771 45771 45650 0 -1 4194304 13936 0 0 0 21193 284 0 0 20 0 1 0 48400066 151764992 24800 18446744073709551615 4227072 8923433 140729934894496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27799552 140729934899526 140729934899752 140729934899752 140729934905322 0
/proc/45774/statm: 37052 24800 2496 1147 0 24479 0
Current children cumulated CPU time: 214.77 s
Current children cumulated vsize: 152400 KiB
Current children cumulated memory: 102272 KiB
[startup+215.5 s]
/proc/loadavg: 4.02 2.62 1.79 5/267 45780
/proc/meminfo: memFree=129609780/131249996 swapFree=33010684/33010684
[pid=45771] ppid=45768 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/45771/stat : 45771 (run-opt-ls.sh) S 45768 45771 45650 0 -1 4194304 240 760 0 0 0 0 0 0 20 0 1 0 48400064 4292608 768 18446744073709551615 94877495738368 94877496632901 140725546251696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94877496871952 94877496919696 94877504897024 140725546260839 140725546260965 140725546260965 140725546266567 0
/proc/45771/statm: 1048 768 704 219 0 110 0
[pid=45774] ppid=45771 vsize=148208 memory=99200 CPUtime=214.87 cores=0,2
/proc/45774/stat : 45774 (roundingsat) R 45771 45771 45650 0 -1 4194304 13936 0 0 0 21203 284 0 0 20 0 1 0 48400066 151764992 24800 18446744073709551615 4227072 8923433 140729934894496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27799552 140729934899526 140729934899752 140729934899752 140729934905322 0
/proc/45774/statm: 37052 24800 2496 1147 0 24479 0
Current children cumulated CPU time: 214.87 s
Current children cumulated vsize: 152400 KiB
Current children cumulated memory: 102272 KiB
Child status: 0
Real time (s): 215.54
CPU time (s): 214.923
CPU user time (s): 212.076
CPU system time (s): 2.84698
CPU usage (%): 99.7138
Max. virtual memory (cumulated for all children) (KiB): 152400
Max. memory (cumulated for all children) (KiB): 102272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 212.076
system time used= 2.84698
maximum resident set size= 99200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14958
page faults= 0
swaps= 0
block input operations= 0
block output operations= 368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 208
involuntary context switches= 496
# summary of solver processes directly reported to runsolver:
# pid: 45771
# total CPU time (s): 214.923
# total CPU user time (s): 212.076
# total CPU system time (s): 2.84698
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.402043 second user time and 0.958845 second system time
The end
Begin job on nodeC029 at 2025-07-01 01:46:56
IDJOB=4486656
IDBENCH=147034
IDSOLVER=3355
FILE ID=nodeC029/4486656-1751327216
RUNJOBID= nodeC029-1751327214-45660
SLURM_JOB_ID= 9594367
Free space on /tmp= 433032 MiB
SOLVER NAME= roundingsat-ls+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32c2.opb
COMMAND LINE= run-opt-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4486656-1751327216/watcher-4486656-1751327216 -o /tmp/evaluation-result-4486656-1751327216/solver-4486656-1751327216 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751327214-45660 --watchdog 3760 run-opt-ls.sh HOME/instance-4486656-1751327216.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0ec52d363b7c61cdd5525674056021d1
RANDOM SEED=1694669730
nodeC029 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 : 3597.459
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.46
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.714
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.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.733
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.46
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 : 3601.090
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.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.717
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.46
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.753
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.46
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 : 3601.040
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.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.153
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.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 129763956 kB
MemAvailable: 129642776 kB
Buffers: 3280 kB
Cached: 686272 kB
SwapCached: 0 kB
Active: 446644 kB
Inactive: 429084 kB
Active(anon): 204248 kB
Inactive(anon): 0 kB
Active(file): 242396 kB
Inactive(file): 429084 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 36464 kB
Writeback: 0 kB
AnonPages: 189156 kB
Mapped: 117052 kB
Shmem: 18060 kB
KReclaimable: 93156 kB
Slab: 179776 kB
SReclaimable: 93156 kB
SUnreclaim: 86620 kB
KernelStack: 4324 kB
PageTables: 3440 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 543236 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 57344 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: 193236 kB
DirectMap2M: 11112448 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 433024 MiB
End job on nodeC029 at 2025-07-01 01:50:32