0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.00/0.00 c [STEP] solving
0.00/0.00 c #variables 300 #constraints 300
0.00/0.00 c SMALL=int, LARGE=long long
0.00/0.00 c bounds - >= 0 @ 0.001189
0.00/0.00 c stratification level: 0
0.00/0.01 c bounds - >= 1 @ 0.001893
0.00/0.01 c bounds - >= 2 @ 0.001949
0.00/0.01 c bounds - >= 3 @ 0.001996
0.00/0.01 c bounds - >= 4 @ 0.002046
0.00/0.01 c bounds - >= 5 @ 0.002098
0.00/0.01 c bounds - >= 6 @ 0.002144
0.00/0.01 c bounds - >= 7 @ 0.002159
0.00/0.01 c bounds - >= 8 @ 0.002159
0.00/0.01 c bounds - >= 9 @ 0.002159
0.00/0.01 c bounds - >= 10 @ 0.002159
0.00/0.01 c bounds - >= 11 @ 0.002159
0.00/0.01 c bounds - >= 12 @ 0.002159
0.00/0.01 c bounds - >= 13 @ 0.002159
0.00/0.01 c bounds - >= 14 @ 0.002159
0.00/0.01 c bounds - >= 15 @ 0.002159
0.00/0.01 c bounds - >= 16 @ 0.002159
0.00/0.01 c bounds - >= 17 @ 0.002159
0.00/0.01 c bounds - >= 18 @ 0.002159
0.00/0.01 c bounds - >= 19 @ 0.002159
0.00/0.01 c bounds - >= 20 @ 0.002159
0.00/0.01 c bounds - >= 21 @ 0.002159
0.00/0.01 c bounds - >= 22 @ 0.002159
0.00/0.01 c bounds - >= 23 @ 0.002159
0.00/0.01 c bounds - >= 24 @ 0.002159
0.00/0.01 c bounds - >= 25 @ 0.002159
0.00/0.01 c bounds - >= 26 @ 0.002159
0.00/0.01 c bounds - >= 27 @ 0.002159
0.00/0.01 c bounds - >= 28 @ 0.002198
0.00/0.01 c bounds - >= 29 @ 0.002233
0.00/0.01 c bounds - >= 30 @ 0.002269
0.00/0.01 c bounds - >= 31 @ 0.002306
0.00/0.01 c bounds - >= 32 @ 0.002343
0.00/0.01 c bounds - >= 33 @ 0.002379
0.00/0.01 c bounds - >= 34 @ 0.002418
0.00/0.01 c bounds - >= 35 @ 0.002455
0.00/0.01 c bounds - >= 36 @ 0.002488
0.00/0.01 c bounds - >= 37 @ 0.002524
0.00/0.01 c bounds - >= 38 @ 0.00256
0.00/0.01 c bounds - >= 39 @ 0.002594
0.00/0.01 c bounds - >= 40 @ 0.00263
0.00/0.01 c bounds - >= 41 @ 0.002666
0.00/0.01 c bounds - >= 42 @ 0.0027
0.00/0.01 c bounds - >= 43 @ 0.002735
0.00/0.01 c bounds - >= 44 @ 0.002768
0.00/0.01 c bounds - >= 45 @ 0.002803
0.00/0.01 c bounds - >= 46 @ 0.002838
0.00/0.01 c bounds - >= 47 @ 0.00287
0.00/0.01 c bounds - >= 48 @ 0.002903
0.00/0.01 c bounds - >= 49 @ 0.002937
0.00/0.01 c bounds - >= 50 @ 0.002969
0.00/0.01 c bounds - >= 51 @ 0.002978
0.00/0.01 c bounds - >= 52 @ 0.002978
0.00/0.01 c bounds - >= 53 @ 0.002978
0.00/0.01 c bounds - >= 54 @ 0.002978
0.00/0.01 c bounds - >= 55 @ 0.002978
0.00/0.01 c bounds - >= 56 @ 0.002978
0.00/0.01 c bounds - >= 57 @ 0.002978
0.00/0.01 c bounds - >= 58 @ 0.002978
0.00/0.01 c bounds - >= 59 @ 0.002978
0.00/0.01 c bounds - >= 60 @ 0.002978
0.00/0.01 c bounds - >= 61 @ 0.002978
0.00/0.01 c bounds - >= 62 @ 0.002978
0.00/0.01 c bounds - >= 63 @ 0.002978
0.00/0.01 c bounds - >= 64 @ 0.002978
0.00/0.01 c bounds - >= 65 @ 0.002978
0.00/0.01 c bounds - >= 66 @ 0.002978
0.00/0.01 c bounds - >= 67 @ 0.002978
0.00/0.01 c bounds - >= 68 @ 0.002978
0.00/0.01 c bounds - >= 69 @ 0.002978
0.00/0.01 c bounds - >= 70 @ 0.002978
0.00/0.01 c bounds - >= 71 @ 0.002978
0.00/0.01 c bounds - >= 72 @ 0.002978
0.00/0.01 c finalizing WCE round: reformulating cores
12.75/12.86 c #Conflicts: 1000 | #Constraints: 1379
12.75/12.86 c #Conflicts: 2000 | #Constraints: 2381
12.75/12.86 c INPROCESSING
12.75/12.86 c GARBAGE COLLECT
12.75/12.86 c #Conflicts: 3000 | #Constraints: 2331
12.75/12.86 c #Conflicts: 4000 | #Constraints: 3333
12.75/12.86 c INPROCESSING
12.75/12.86 c GARBAGE COLLECT
12.75/12.86 c #Conflicts: 5000 | #Constraints: 2753
12.75/12.86 c #Conflicts: 6000 | #Constraints: 3755
12.75/12.86 c INPROCESSING
12.75/12.86 c GARBAGE COLLECT
12.75/12.86 c #Conflicts: 7000 | #Constraints: 2758
12.75/12.86 c #Conflicts: 8000 | #Constraints: 3760
12.75/12.86 c #Conflicts: 9000 | #Constraints: 4764
12.75/12.86 c INPROCESSING
12.75/12.86 c GARBAGE COLLECT
12.75/12.86 c #Conflicts: 10000 | #Constraints: 3466
12.75/12.86 c #Conflicts: 11000 | #Constraints: 4468
12.75/12.86 c #Conflicts: 12000 | #Constraints: 5470
12.75/12.86 c INPROCESSING
12.75/12.86 c GARBAGE COLLECT
12.75/12.86 c #Conflicts: 13000 | #Constraints: 3922
12.75/12.86 c #Conflicts: 14000 | #Constraints: 4924
12.75/12.86 c #Conflicts: 15000 | #Constraints: 5926
12.75/12.86 c INPROCESSING
12.75/12.86 c GARBAGE COLLECT
12.75/12.86 c #Conflicts: 16000 | #Constraints: 4160
12.75/12.86 c #Conflicts: 17000 | #Constraints: 5162
12.75/12.86 c #Conflicts: 18000 | #Constraints: 6164
12.75/12.86 c INPROCESSING
12.75/12.86 c GARBAGE COLLECT
12.75/12.86 c #Conflicts: 19000 | #Constraints: 4179
12.75/12.86 c #Conflicts: 20000 | #Constraints: 5181
12.75/12.86 c #Conflicts: 21000 | #Constraints: 6183
12.75/12.86 c INPROCESSING
12.75/12.86 c GARBAGE COLLECT
12.75/12.86 c #Conflicts: 22000 | #Constraints: 3987
12.75/12.86 c #Conflicts: 23000 | #Constraints: 4989
12.75/12.86 c #Conflicts: 24000 | #Constraints: 5993
12.75/12.86 c #Conflicts: 25000 | #Constraints: 6995
12.75/12.86 c INPROCESSING
12.75/12.86 c GARBAGE COLLECT
12.75/12.86 c #Conflicts: 26000 | #Constraints: 4603
12.75/12.86 c #Conflicts: 27000 | #Constraints: 5605
12.75/12.86 c #Conflicts: 28000 | #Constraints: 6607
12.75/12.86 c #Conflicts: 29000 | #Constraints: 7611
12.75/12.86 c INPROCESSING
12.75/12.86 c GARBAGE COLLECT
12.75/12.86 c #Conflicts: 30000 | #Constraints: 5011
12.75/12.86 c #Conflicts: 31000 | #Constraints: 6013
12.75/12.86 c #Conflicts: 32000 | #Constraints: 7015
12.75/12.86 c #Conflicts: 33000 | #Constraints: 8019
12.75/12.86 c INPROCESSING
12.75/12.86 c GARBAGE COLLECT
12.75/12.86 c #Conflicts: 34000 | #Constraints: 5222
12.75/12.86 c #Conflicts: 35000 | #Constraints: 6224
12.75/12.86 c #Conflicts: 36000 | #Constraints: 7226
12.75/12.86 c #Conflicts: 37000 | #Constraints: 8230
12.75/12.86 c INPROCESSING
12.75/12.86 c GARBAGE COLLECT
12.75/12.86 c #Conflicts: 38000 | #Constraints: 5237
12.75/12.86 c #Conflicts: 39000 | #Constraints: 6239
12.75/12.86 c #Conflicts: 40000 | #Constraints: 7241
12.75/12.86 c #Conflicts: 41000 | #Constraints: 8245
12.75/12.86 c INPROCESSING
12.75/12.86 c GARBAGE COLLECT
12.75/12.86 c #Conflicts: 42000 | #Constraints: 5047
12.75/12.86 c #Conflicts: 43000 | #Constraints: 6049
12.75/12.86 c #Conflicts: 44000 | #Constraints: 7053
12.75/12.86 c #Conflicts: 45000 | #Constraints: 8055
12.75/12.86 c #Conflicts: 46000 | #Constraints: 9057
12.75/12.86 c INPROCESSING
12.75/12.86 c GARBAGE COLLECT
12.75/12.86 c #Conflicts: 47000 | #Constraints: 5665
12.75/12.86 c #Conflicts: 48000 | #Constraints: 6667
12.75/12.86 c #Conflicts: 49000 | #Constraints: 7669
12.75/12.86 c #Conflicts: 50000 | #Constraints: 8673
12.75/12.86 c #Conflicts: 51000 | #Constraints: 9675
12.75/12.86 c INPROCESSING
12.75/12.86 c GARBAGE COLLECT
12.75/12.86 c #Conflicts: 52000 | #Constraints: 6075
12.75/12.86 c #Conflicts: 53000 | #Constraints: 7077
12.75/12.86 c #Conflicts: 54000 | #Constraints: 8079
12.75/12.86 c #Conflicts: 55000 | #Constraints: 9083
12.75/12.86 c #Conflicts: 56000 | #Constraints: 10085
12.75/12.86 c INPROCESSING
12.75/12.86 c GARBAGE COLLECT
12.75/12.86 c #Conflicts: 57000 | #Constraints: 6285
12.75/12.86 c #Conflicts: 58000 | #Constraints: 7287
12.75/12.86 c #Conflicts: 59000 | #Constraints: 8289
12.75/12.86 c bounds 81 >= 72 @ 10.1562
12.75/12.86 c bounds 81 >= 73 @ 10.1629
12.75/12.86 c #Conflicts: 60000 | #Constraints: 9371
12.75/12.86 c #Conflicts: 61000 | #Constraints: 10371
12.75/12.86 c INPROCESSING
12.75/12.86 c GARBAGE COLLECT
12.75/12.86 c #Conflicts: 62000 | #Constraints: 6357
12.75/12.86 c #Conflicts: 63000 | #Constraints: 7357
12.75/12.86 c #Conflicts: 64000 | #Constraints: 8357
12.75/12.86 c finalizing WCE round: reformulating cores
72.19/72.40 c #Conflicts: 65000 | #Constraints: 9360
72.19/72.40 c bounds 80 >= 73 @ 12.9712
72.19/72.40 c bounds 80 >= 74 @ 12.9891
72.19/72.40 c #Conflicts: 66000 | #Constraints: 10484
72.19/72.40 c INPROCESSING
72.19/72.40 c GARBAGE COLLECT
72.19/72.40 c #Conflicts: 67000 | #Constraints: 6249
72.19/72.40 c #Conflicts: 68000 | #Constraints: 7249
72.19/72.40 c #Conflicts: 69000 | #Constraints: 8249
72.19/72.40 c #Conflicts: 70000 | #Constraints: 9249
72.19/72.40 c #Conflicts: 71000 | #Constraints: 10249
72.19/72.40 c #Conflicts: 72000 | #Constraints: 11249
72.19/72.40 c INPROCESSING
72.19/72.40 c GARBAGE COLLECT
72.19/72.40 c #Conflicts: 73000 | #Constraints: 6826
72.19/72.40 c #Conflicts: 74000 | #Constraints: 7826
72.19/72.40 c #Conflicts: 75000 | #Constraints: 8826
72.19/72.40 c #Conflicts: 76000 | #Constraints: 9826
72.19/72.40 c #Conflicts: 77000 | #Constraints: 10826
72.19/72.40 c #Conflicts: 78000 | #Constraints: 11826
72.19/72.40 c INPROCESSING
72.19/72.40 c GARBAGE COLLECT
72.19/72.40 c #Conflicts: 79000 | #Constraints: 7212
72.19/72.40 c #Conflicts: 80000 | #Constraints: 8212
72.19/72.40 c #Conflicts: 81000 | #Constraints: 9212
72.19/72.40 c #Conflicts: 82000 | #Constraints: 10212
72.19/72.40 c #Conflicts: 83000 | #Constraints: 11212
72.19/72.40 c #Conflicts: 84000 | #Constraints: 12212
72.19/72.40 c INPROCESSING
72.19/72.40 c GARBAGE COLLECT
72.19/72.40 c #Conflicts: 85000 | #Constraints: 7405
72.19/72.40 c #Conflicts: 86000 | #Constraints: 8405
72.19/72.40 c #Conflicts: 87000 | #Constraints: 9405
72.19/72.40 c #Conflicts: 88000 | #Constraints: 10405
72.19/72.40 c #Conflicts: 89000 | #Constraints: 11405
72.19/72.40 c #Conflicts: 90000 | #Constraints: 12405
72.19/72.40 c INPROCESSING
72.19/72.40 c GARBAGE COLLECT
72.19/72.40 c #Conflicts: 91000 | #Constraints: 7412
72.19/72.40 c #Conflicts: 92000 | #Constraints: 8412
72.19/72.40 c #Conflicts: 93000 | #Constraints: 9412
72.19/72.40 c #Conflicts: 94000 | #Constraints: 10412
72.19/72.40 c #Conflicts: 95000 | #Constraints: 11412
72.19/72.40 c #Conflicts: 96000 | #Constraints: 12412
72.19/72.40 c INPROCESSING
72.19/72.40 c GARBAGE COLLECT
72.19/72.40 c #Conflicts: 97000 | #Constraints: 7216
72.19/72.40 c #Conflicts: 98000 | #Constraints: 8216
72.19/72.40 c #Conflicts: 99000 | #Constraints: 9216
72.19/72.40 c #Conflicts: 100000 | #Constraints: 10216
72.19/72.40 c #Conflicts: 101000 | #Constraints: 11216
72.19/72.40 c #Conflicts: 102000 | #Constraints: 12216
72.19/72.40 c #Conflicts: 103000 | #Constraints: 13216
72.19/72.40 c INPROCESSING
72.19/72.40 c GARBAGE COLLECT
72.19/72.40 c #Conflicts: 104000 | #Constraints: 7814
72.19/72.40 c #Conflicts: 105000 | #Constraints: 8814
72.19/72.40 c #Conflicts: 106000 | #Constraints: 9814
72.19/72.40 c #Conflicts: 107000 | #Constraints: 10814
72.19/72.40 c #Conflicts: 108000 | #Constraints: 11814
72.19/72.40 c #Conflicts: 109000 | #Constraints: 12814
72.19/72.40 c #Conflicts: 110000 | #Constraints: 13814
72.19/72.40 c INPROCESSING
72.19/72.40 c GARBAGE COLLECT
72.19/72.40 c #Conflicts: 111000 | #Constraints: 8211
72.19/72.40 c #Conflicts: 112000 | #Constraints: 9211
72.19/72.40 c #Conflicts: 113000 | #Constraints: 10211
72.19/72.40 c #Conflicts: 114000 | #Constraints: 11211
72.19/72.40 c #Conflicts: 115000 | #Constraints: 12211
72.19/72.40 c #Conflicts: 116000 | #Constraints: 13211
72.19/72.40 c #Conflicts: 117000 | #Constraints: 14211
72.19/72.40 c INPROCESSING
72.19/72.40 c GARBAGE COLLECT
72.19/72.40 c #Conflicts: 118000 | #Constraints: 8413
72.19/72.40 c #Conflicts: 119000 | #Constraints: 9413
72.19/72.40 c #Conflicts: 120000 | #Constraints: 10413
72.19/72.40 c #Conflicts: 121000 | #Constraints: 11413
72.19/72.40 c #Conflicts: 122000 | #Constraints: 12413
72.19/72.40 c #Conflicts: 123000 | #Constraints: 13413
72.19/72.40 c #Conflicts: 124000 | #Constraints: 14413
72.19/72.40 c INPROCESSING
72.19/72.40 c GARBAGE COLLECT
72.19/72.40 c #Conflicts: 125000 | #Constraints: 8404
72.19/72.40 c #Conflicts: 126000 | #Constraints: 9404
72.19/72.40 c #Conflicts: 127000 | #Constraints: 10404
72.19/72.40 c #Conflicts: 128000 | #Constraints: 11404
72.19/72.40 c #Conflicts: 129000 | #Constraints: 12404
72.19/72.40 c #Conflicts: 130000 | #Constraints: 13404
72.19/72.40 c #Conflicts: 131000 | #Constraints: 14404
72.19/72.40 c INPROCESSING
72.19/72.40 c GARBAGE COLLECT
72.19/72.40 c #Conflicts: 132000 | #Constraints: 8210
72.19/72.40 c #Conflicts: 133000 | #Constraints: 9210
72.19/72.40 c #Conflicts: 134000 | #Constraints: 10210
72.19/72.40 c #Conflicts: 135000 | #Constraints: 11210
305.55/306.48 c #Conflicts: 136000 | #Constraints: 12210
305.55/306.48 c #Conflicts: 137000 | #Constraints: 13210
305.55/306.48 c #Conflicts: 138000 | #Constraints: 14210
305.55/306.48 c #Conflicts: 139000 | #Constraints: 15210
305.55/306.48 c INPROCESSING
305.55/306.48 c GARBAGE COLLECT
305.55/306.48 c #Conflicts: 140000 | #Constraints: 8811
305.55/306.48 c #Conflicts: 141000 | #Constraints: 9811
305.55/306.48 c #Conflicts: 142000 | #Constraints: 10811
305.55/306.48 c #Conflicts: 143000 | #Constraints: 11811
305.55/306.48 c #Conflicts: 144000 | #Constraints: 12811
305.55/306.48 c #Conflicts: 145000 | #Constraints: 13811
305.55/306.48 c #Conflicts: 146000 | #Constraints: 14811
305.55/306.48 c #Conflicts: 147000 | #Constraints: 15811
305.55/306.48 c INPROCESSING
305.55/306.48 c GARBAGE COLLECT
305.55/306.48 c #Conflicts: 148000 | #Constraints: 9212
305.55/306.48 c #Conflicts: 149000 | #Constraints: 10212
305.55/306.48 c #Conflicts: 150000 | #Constraints: 11212
305.55/306.48 c #Conflicts: 151000 | #Constraints: 12212
305.55/306.48 c #Conflicts: 152000 | #Constraints: 13212
305.55/306.48 c #Conflicts: 153000 | #Constraints: 14212
305.55/306.48 c #Conflicts: 154000 | #Constraints: 15212
305.55/306.48 c #Conflicts: 155000 | #Constraints: 16212
305.55/306.48 c INPROCESSING
305.55/306.48 c GARBAGE COLLECT
305.55/306.48 c #Conflicts: 156000 | #Constraints: 9405
305.55/306.48 c #Conflicts: 157000 | #Constraints: 10405
305.55/306.48 c #Conflicts: 158000 | #Constraints: 11405
305.55/306.48 c #Conflicts: 159000 | #Constraints: 12405
305.55/306.48 c #Conflicts: 160000 | #Constraints: 13405
305.55/306.48 c #Conflicts: 161000 | #Constraints: 14405
305.55/306.48 c #Conflicts: 162000 | #Constraints: 15405
305.55/306.48 c #Conflicts: 163000 | #Constraints: 16405
305.55/306.48 c INPROCESSING
305.55/306.48 c GARBAGE COLLECT
305.55/306.48 c #Conflicts: 164000 | #Constraints: 9412
305.55/306.48 c #Conflicts: 165000 | #Constraints: 10412
305.55/306.48 c #Conflicts: 166000 | #Constraints: 11412
305.55/306.48 c #Conflicts: 167000 | #Constraints: 12412
305.55/306.48 c #Conflicts: 168000 | #Constraints: 13412
305.55/306.48 c #Conflicts: 169000 | #Constraints: 14412
305.55/306.48 c #Conflicts: 170000 | #Constraints: 15412
305.55/306.48 c #Conflicts: 171000 | #Constraints: 16412
305.55/306.48 c INPROCESSING
305.55/306.48 c GARBAGE COLLECT
305.55/306.48 c #Conflicts: 172000 | #Constraints: 9215
305.55/306.48 c #Conflicts: 173000 | #Constraints: 10215
305.55/306.48 c #Conflicts: 174000 | #Constraints: 11215
305.55/306.48 c #Conflicts: 175000 | #Constraints: 12215
305.55/306.48 c #Conflicts: 176000 | #Constraints: 13215
305.55/306.48 c #Conflicts: 177000 | #Constraints: 14215
305.55/306.48 c #Conflicts: 178000 | #Constraints: 15215
305.55/306.48 c #Conflicts: 179000 | #Constraints: 16215
305.55/306.48 c #Conflicts: 180000 | #Constraints: 17215
305.55/306.48 c INPROCESSING
305.55/306.48 c GARBAGE COLLECT
305.55/306.48 c #Conflicts: 181000 | #Constraints: 9799
305.55/306.48 c #Conflicts: 182000 | #Constraints: 10799
305.55/306.48 c #Conflicts: 183000 | #Constraints: 11799
305.55/306.48 c #Conflicts: 184000 | #Constraints: 12799
305.55/306.48 c #Conflicts: 185000 | #Constraints: 13799
305.55/306.48 c #Conflicts: 186000 | #Constraints: 14799
305.55/306.48 c #Conflicts: 187000 | #Constraints: 15799
305.55/306.48 c #Conflicts: 188000 | #Constraints: 16799
305.55/306.48 c #Conflicts: 189000 | #Constraints: 17799
305.55/306.48 c INPROCESSING
305.55/306.48 c GARBAGE COLLECT
305.55/306.48 c #Conflicts: 190000 | #Constraints: 10210
305.55/306.48 c #Conflicts: 191000 | #Constraints: 11210
305.55/306.48 c #Conflicts: 192000 | #Constraints: 12210
305.55/306.48 c #Conflicts: 193000 | #Constraints: 13210
305.55/306.48 c #Conflicts: 194000 | #Constraints: 14210
305.55/306.48 c #Conflicts: 195000 | #Constraints: 15210
305.55/306.48 c #Conflicts: 196000 | #Constraints: 16210
305.55/306.48 c #Conflicts: 197000 | #Constraints: 17210
305.55/306.48 c #Conflicts: 198000 | #Constraints: 18210
305.55/306.48 c INPROCESSING
305.55/306.48 c GARBAGE COLLECT
305.55/306.48 c #Conflicts: 199000 | #Constraints: 10419
305.55/306.48 c #Conflicts: 200000 | #Constraints: 11419
305.55/306.48 c #Conflicts: 201000 | #Constraints: 12419
305.55/306.48 c #Conflicts: 202000 | #Constraints: 13419
305.55/306.48 c #Conflicts: 203000 | #Constraints: 14419
305.55/306.48 c #Conflicts: 204000 | #Constraints: 15419
305.55/306.48 c #Conflicts: 205000 | #Constraints: 16419
305.55/306.48 c #Conflicts: 206000 | #Constraints: 17419
305.55/306.48 c #Conflicts: 207000 | #Constraints: 18419
305.55/306.48 c INPROCESSING
305.55/306.48 c GARBAGE COLLECT
305.55/306.48 c #Conflicts: 208000 | #Constraints: 10418
1870.40/1875.85 c #Conflicts: 209000 | #Constraints: 11418
1870.40/1875.85 c #Conflicts: 210000 | #Constraints: 12418
1870.40/1875.85 c #Conflicts: 211000 | #Constraints: 13418
1870.40/1875.85 c #Conflicts: 212000 | #Constraints: 14418
1870.40/1875.85 c #Conflicts: 213000 | #Constraints: 15418
1870.40/1875.85 c #Conflicts: 214000 | #Constraints: 16418
1870.40/1875.85 c #Conflicts: 215000 | #Constraints: 17418
1870.40/1875.85 c #Conflicts: 216000 | #Constraints: 18418
1870.40/1875.85 c INPROCESSING
1870.40/1875.85 c GARBAGE COLLECT
1870.40/1875.85 c #Conflicts: 217000 | #Constraints: 10212
1870.40/1875.85 c #Conflicts: 218000 | #Constraints: 11212
1870.40/1875.85 c #Conflicts: 219000 | #Constraints: 12212
1870.40/1875.85 c #Conflicts: 220000 | #Constraints: 13212
1870.40/1875.85 c #Conflicts: 221000 | #Constraints: 14212
1870.40/1875.85 c #Conflicts: 222000 | #Constraints: 15212
1870.40/1875.85 c #Conflicts: 223000 | #Constraints: 16212
1870.40/1875.85 c #Conflicts: 224000 | #Constraints: 17212
1870.40/1875.85 c #Conflicts: 225000 | #Constraints: 18212
1870.40/1875.85 c #Conflicts: 226000 | #Constraints: 19212
1870.40/1875.85 c INPROCESSING
1870.40/1875.85 c GARBAGE COLLECT
1870.40/1875.85 c #Conflicts: 227000 | #Constraints: 10812
1870.40/1875.85 c #Conflicts: 228000 | #Constraints: 11812
1870.40/1875.85 c #Conflicts: 229000 | #Constraints: 12812
1870.40/1875.85 c #Conflicts: 230000 | #Constraints: 13812
1870.40/1875.85 c #Conflicts: 231000 | #Constraints: 14812
1870.40/1875.85 c #Conflicts: 232000 | #Constraints: 15812
1870.40/1875.85 c #Conflicts: 233000 | #Constraints: 16812
1870.40/1875.85 c #Conflicts: 234000 | #Constraints: 17812
1870.40/1875.85 c #Conflicts: 235000 | #Constraints: 18812
1870.40/1875.85 c #Conflicts: 236000 | #Constraints: 19812
1870.40/1875.85 c INPROCESSING
1870.40/1875.85 c GARBAGE COLLECT
1870.40/1875.85 c #Conflicts: 237000 | #Constraints: 11216
1870.40/1875.85 c #Conflicts: 238000 | #Constraints: 12216
1870.40/1875.85 c #Conflicts: 239000 | #Constraints: 13216
1870.40/1875.85 c #Conflicts: 240000 | #Constraints: 14216
1870.40/1875.85 c #Conflicts: 241000 | #Constraints: 15216
1870.40/1875.85 c #Conflicts: 242000 | #Constraints: 16216
1870.40/1875.85 c #Conflicts: 243000 | #Constraints: 17216
1870.40/1875.85 c #Conflicts: 244000 | #Constraints: 18216
1870.40/1875.85 c #Conflicts: 245000 | #Constraints: 19216
1870.40/1875.85 c #Conflicts: 246000 | #Constraints: 20216
1870.40/1875.85 c INPROCESSING
1870.40/1875.85 c GARBAGE COLLECT
1870.40/1875.85 c #Conflicts: 247000 | #Constraints: 11426
1870.40/1875.85 c #Conflicts: 248000 | #Constraints: 12426
1870.40/1875.85 c #Conflicts: 249000 | #Constraints: 13426
1870.40/1875.85 c #Conflicts: 250000 | #Constraints: 14426
1870.40/1875.85 c #Conflicts: 251000 | #Constraints: 15426
1870.40/1875.85 c #Conflicts: 252000 | #Constraints: 16426
1870.40/1875.85 c #Conflicts: 253000 | #Constraints: 17426
1870.40/1875.85 c #Conflicts: 254000 | #Constraints: 18426
1870.40/1875.85 c #Conflicts: 255000 | #Constraints: 19426
1870.40/1875.85 c #Conflicts: 256000 | #Constraints: 20426
1870.40/1875.85 c INPROCESSING
1870.40/1875.85 c GARBAGE COLLECT
1870.40/1875.85 c #Conflicts: 257000 | #Constraints: 11422
1870.40/1875.85 c #Conflicts: 258000 | #Constraints: 12422
1870.40/1875.85 c #Conflicts: 259000 | #Constraints: 13422
1870.40/1875.85 c #Conflicts: 260000 | #Constraints: 14422
1870.40/1875.85 c #Conflicts: 261000 | #Constraints: 15422
1870.40/1875.85 c #Conflicts: 262000 | #Constraints: 16422
1870.40/1875.85 c #Conflicts: 263000 | #Constraints: 17422
1870.40/1875.85 c #Conflicts: 264000 | #Constraints: 18422
1870.40/1875.85 c #Conflicts: 265000 | #Constraints: 19422
1870.40/1875.85 c #Conflicts: 266000 | #Constraints: 20422
1870.40/1875.85 c INPROCESSING
1870.40/1875.85 c GARBAGE COLLECT
1870.40/1875.85 c #Conflicts: 267000 | #Constraints: 11217
1870.40/1875.85 c #Conflicts: 268000 | #Constraints: 12217
1870.40/1875.85 c #Conflicts: 269000 | #Constraints: 13217
1870.40/1875.85 c #Conflicts: 270000 | #Constraints: 14217
1870.40/1875.85 c #Conflicts: 271000 | #Constraints: 15217
1870.40/1875.85 c #Conflicts: 272000 | #Constraints: 16217
1870.40/1875.85 c #Conflicts: 273000 | #Constraints: 17217
1870.40/1875.85 c #Conflicts: 274000 | #Constraints: 18217
1870.40/1875.85 c #Conflicts: 275000 | #Constraints: 19217
1870.40/1875.85 c #Conflicts: 276000 | #Constraints: 20217
1870.40/1875.85 c #Conflicts: 277000 | #Constraints: 21217
1870.40/1875.85 c INPROCESSING
1870.40/1875.85 c GARBAGE COLLECT
1870.40/1875.85 c #Conflicts: 278000 | #Constraints: 11828
1870.40/1875.85 c #Conflicts: 279000 | #Constraints: 12828
1870.40/1875.85 c #Conflicts: 280000 | #Constraints: 13828
1870.40/1875.85 c #Conflicts: 281000 | #Constraints: 14828
1870.40/1875.85 c #Conflicts: 282000 | #Constraints: 15828
1870.40/1875.85 c #Conflicts: 283000 | #Constraints: 16828
3600.00/3610.30 c #Conflicts: 284000 | #Constraints: 17828
3600.00/3610.30 c #Conflicts: 285000 | #Constraints: 18828
3600.00/3610.30 c #Conflicts: 286000 | #Constraints: 19828
3600.00/3610.30 c #Conflicts: 287000 | #Constraints: 20828
3600.00/3610.30 c #Conflicts: 288000 | #Constraints: 21828
3600.00/3610.30 c INPROCESSING
3600.00/3610.30 c GARBAGE COLLECT
3600.00/3610.30 c #Conflicts: 289000 | #Constraints: 12219
3600.00/3610.30 c #Conflicts: 290000 | #Constraints: 13219
3600.00/3610.30 c #Conflicts: 291000 | #Constraints: 14219
3600.00/3610.30 c #Conflicts: 292000 | #Constraints: 15219
3600.00/3610.30 c #Conflicts: 293000 | #Constraints: 16219
3600.00/3610.30 c #Conflicts: 294000 | #Constraints: 17219
3600.00/3610.30 c #Conflicts: 295000 | #Constraints: 18219
3600.00/3610.30 c #Conflicts: 296000 | #Constraints: 19219
3600.00/3610.30 c #Conflicts: 297000 | #Constraints: 20219
3600.00/3610.30 c #Conflicts: 298000 | #Constraints: 21219
3600.00/3610.30 c #Conflicts: 299000 | #Constraints: 22219
3600.00/3610.30 c INPROCESSING
3600.00/3610.30 c GARBAGE COLLECT
3600.00/3610.30 c #Conflicts: 300000 | #Constraints: 12427
3600.00/3610.30 c #Conflicts: 301000 | #Constraints: 13427
3600.00/3610.30 c #Conflicts: 302000 | #Constraints: 14427
3600.00/3610.30 c #Conflicts: 303000 | #Constraints: 15427
3600.00/3610.30 c #Conflicts: 304000 | #Constraints: 16427
3600.00/3610.30 c #Conflicts: 305000 | #Constraints: 17427
3600.00/3610.30 c #Conflicts: 306000 | #Constraints: 18427
3600.00/3610.30 c #Conflicts: 307000 | #Constraints: 19427
3600.00/3610.30 c #Conflicts: 308000 | #Constraints: 20427
3600.00/3610.30 c #Conflicts: 309000 | #Constraints: 21427
3600.00/3610.30 c #Conflicts: 310000 | #Constraints: 22427
3600.00/3610.30 c INPROCESSING
3600.00/3610.30 c GARBAGE COLLECT
3600.00/3610.30 c #Conflicts: 311000 | #Constraints: 12420
3600.00/3610.30 c #Conflicts: 312000 | #Constraints: 13420
3600.00/3610.30 c #Conflicts: 313000 | #Constraints: 14420
3600.00/3610.30 c #Conflicts: 314000 | #Constraints: 15420
3600.00/3610.30 c #Conflicts: 315000 | #Constraints: 16420
3600.00/3610.30 c #Conflicts: 316000 | #Constraints: 17420
3600.00/3610.30 c #Conflicts: 317000 | #Constraints: 18420
3600.00/3610.30 c #Conflicts: 318000 | #Constraints: 19420
3600.00/3610.30 c #Conflicts: 319000 | #Constraints: 20420
3600.00/3610.30 c #Conflicts: 320000 | #Constraints: 21420
3600.00/3610.30 c #Conflicts: 321000 | #Constraints: 22420
3600.00/3610.30 c INPROCESSING
3600.00/3610.30 c GARBAGE COLLECT
3600.00/3610.30 c #Conflicts: 322000 | #Constraints: 12212
3600.00/3610.30 c #Conflicts: 323000 | #Constraints: 13212
3600.00/3610.30 c #Conflicts: 324000 | #Constraints: 14212
3600.00/3610.30 c #Conflicts: 325000 | #Constraints: 15212
3600.00/3610.30 c #Conflicts: 326000 | #Constraints: 16212
3600.00/3610.30 c #Conflicts: 327000 | #Constraints: 17212
3600.00/3610.30 c #Conflicts: 328000 | #Constraints: 18212
3600.00/3610.30 c #Conflicts: 329000 | #Constraints: 19212
3600.00/3610.30 c #Conflicts: 330000 | #Constraints: 20212
3600.00/3610.30 c #Conflicts: 331000 | #Constraints: 21212
3600.00/3610.30 c #Conflicts: 332000 | #Constraints: 22212
3600.00/3610.30 c #Conflicts: 333000 | #Constraints: 23212
3600.00/3610.30 c INPROCESSING
3600.00/3610.30 c GARBAGE COLLECT
3600.00/3610.30 c #Conflicts: 334000 | #Constraints: 12814
3600.00/3610.30 c #Conflicts: 335000 | #Constraints: 13814
3600.00/3610.30 c #Conflicts: 336000 | #Constraints: 14814
3600.00/3610.30 c #Conflicts: 337000 | #Constraints: 15814
3600.00/3610.30 c #Conflicts: 338000 | #Constraints: 16814
3600.00/3610.30 c #Conflicts: 339000 | #Constraints: 17814
3600.00/3610.30 c #Conflicts: 340000 | #Constraints: 18814
3600.00/3610.30 c #Conflicts: 341000 | #Constraints: 19814
3600.00/3610.30 c Program interrupted by user.
3600.00/3610.30 c cpu time 3583.59 s
3600.00/3610.30 c deterministic time 189824000366 1.90e+11
3600.00/3610.30 c optimization time 230.068 s
3600.00/3610.30 c total solve time 3353.52 s
3600.00/3610.30 c core-guided solve time 3353.52 s
3600.00/3610.30 c propagation time 3498.15 s
3600.00/3610.30 c conflict analysis time 65.4113 s
3600.00/3610.30 c propagations 33868418
3600.00/3610.30 c resolve steps 1666070
3600.00/3610.30 c decisions 14156029
3600.00/3610.30 c conflicts 341450
3600.00/3610.30 c restarts 801
3600.00/3610.30 c inprocessing phases 49
3600.00/3610.30 c input clauses 369
3600.00/3610.30 c input cardinalities 218
3600.00/3610.30 c input general constraints 140
3600.00/3610.30 c input average constraint length 35.90
3600.00/3610.30 c input average constraint degree 6.38
3600.00/3610.30 c learned clauses 35336
3600.00/3610.30 c learned cardinalities 10979
3600.00/3610.30 c learned general constraints 295135
3600.00/3610.30 c learned average constraint length 177.04
3600.00/3610.30 c learned average constraint degree 2694.00
3600.00/3610.30 c watched constraints 76795
3600.00/3610.30 c counting constraints 218480
3600.00/3610.30 c gcd simplifications 2429
3600.00/3610.30 c detected cardinalities 403
3600.00/3610.30 c weakened non-implied lits 7595613
3600.00/3610.30 c weakened non-implying lits 5711
3600.00/3610.30 c original variables 300
3600.00/3610.30 c clausal propagations 4094331
3600.00/3610.30 c cardinality propagations 2256919
3600.00/3610.30 c watched propagations 1512341
3600.00/3610.30 c counting propagations 25366965
3600.00/3610.30 c watch lookups 83067629752
3600.00/3610.30 c watch backjump lookups 82787602091
3600.00/3610.30 c watch checks 14154957216
3600.00/3610.30 c propagation checks 9552447173
3600.00/3610.30 c constraint additions 164974010
3600.00/3610.30 c trail pops 48365676
3600.00/3610.30 c formula constraints 300
3600.00/3610.30 c learned constraints 341450
3600.00/3610.30 c bound constraints 77
3600.00/3610.30 c core-guided constraints 350
3600.00/3610.30 c encountered formula constraints 654091
3600.00/3610.30 c encountered learned constraints 1163559
3600.00/3610.30 c encountered bound constraints 200
3600.00/3610.30 c encountered core-guided constraints 189670
3600.00/3610.30 c LP total time 0 s
3600.00/3610.30 c LP solve time 0 s
3600.00/3610.30 c LP constraints added 0
3600.00/3610.30 c LP constraints removed 0
3600.00/3610.30 c LP pivots internal 0
3600.00/3610.30 c LP pivots root 0
3600.00/3610.30 c LP calls 0
3600.00/3610.30 c LP optimalities 0
3600.00/3610.30 c LP no pivot count 0
3600.00/3610.30 c LP infeasibilities 0
3600.00/3610.30 c LP valid Farkas constraints 0
3600.00/3610.30 c LP learned Farkas constraints 0
3600.00/3610.30 c LP basis resets 0
3600.00/3610.30 c LP cycling count 0
3600.00/3610.30 c LP singular count 0
3600.00/3610.30 c LP no primal count 0
3600.00/3610.30 c LP no farkas count 0
3600.00/3610.30 c LP other issue count 0
3600.00/3610.30 c LP Gomory cuts 0
3600.00/3610.30 c LP learned cuts 0
3600.00/3610.30 c LP deleted cuts 0
3600.00/3610.30 c LP encountered Gomory constraints 0
3600.00/3610.30 c LP encountered Farkas constraints 0
3600.00/3610.30 c LP encountered learned Farkas constraints 0
3600.00/3610.30 c CG auxiliary variables introduced 141
3600.00/3610.30 c CG solutions found 2
3600.00/3610.30 c CG cores constructed 74
3600.00/3610.30 c CG core cardinality constraints returned 0
3600.00/3610.30 c CG unit cores 0
3600.00/3610.30 c CG single cores 74
3600.00/3610.30 c CG blocks removed during cardinality reduction 0
3600.00/3610.30 c CG first core best 0
3600.00/3610.30 c CG decision core best 0
3600.00/3610.30 c CG core reduction tie 0
3600.00/3610.30 c CG core degree average 1.00
3600.00/3610.30 c CG core slack average 3.97
3600.00/3610.30 c CG exhausted 0
3600.00/3610.30 c CG exhaust time 10.5342 s
3600.00/3610.30 c CG trimmed 0
3600.00/3610.30 c CG trim time 0.005627 s
3600.00/3610.30 c CG minimized 0
3600.00/3610.30 c CG minimize time 0 s
3600.00/3610.30 c CG am1 prop time 0.003951 s
3600.00/3610.30 c CG # am1s reformulated 0
3600.00/3610.30 c CG lower bound derived from am1s 0
3600.00/3610.30 c CG # clausal cores 73
3600.00/3610.30 c CG # cardinality cores 0
3600.00/3610.30 c CG # pb cores 1
3600.00/3610.30 c CG # pb reforms 0
3600.00/3610.30 c CG # cores discarded because of pb reform 0
3600.00/3610.30 d LOWERBOUND 74
3600.00/3610.30 d NCORES 74
3600.00/3610.30 d NPBCORES 1
3600.00/3610.30 d NPBREFORM 0
3600.00/3610.30 d NTRIMMED 0
3600.00/3610.30 d NEXHAUSTED 0
3600.00/3610.30 d NAM1S 0
3600.00/3610.30 d AM1LB 0
3600.00/3610.30 o 80
3600.00/3610.30 s SATISFIABLE
3600.00/3610.30 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
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 (61189 MiB free)
memory of node 1: 64465 MiB (60328 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4520522-1751570369/watcher-4520522-1751570369 -o /tmp/evaluation-result-4520522-1751570369/solver-4520522-1751570369 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751565852-81860 --watchdog 3760 pb-oll-rs HOME/instance-4520522-1751570369.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Starting watchdog thread
solver pid=82551, runsolver pid=82548
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.12 4.10 4.08 5/264 82552
/proc/meminfo: memFree=124429760/131249996 swapFree=33006296/33010684
[pid=82551] ppid=82548 vsize=22672 memory=9728 CPUtime=0.09 cores=0,2
/proc/82551/stat : 82551 (pb-oll-rs) R 82548 82551 81850 0 -1 4194304 1236 0 0 0 8 1 0 0 20 0 1 0 72714355 23216128 2432 18446744073709551615 4218880 5211445 140733232587872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 20054016 140733232593308 140733232593385 140733232593385 140733232598987 0
/proc/82551/statm: 5668 2432 1376 243 0 1917 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 22672 KiB
Current children cumulated memory: 9728 KiB
[startup+0.205554 s]*
/proc/loadavg: 4.12 4.10 4.08 5/264 82552
/proc/meminfo: memFree=124421632/131249996 swapFree=33006296/33010684
[pid=82551] ppid=82548 vsize=23376 memory=12672 CPUtime=0.19 cores=0,2
/proc/82551/stat : 82551 (pb-oll-rs) R 82548 82551 81850 0 -1 4194304 1474 0 0 0 18 1 0 0 20 0 1 0 72714355 23937024 3168 18446744073709551615 4218880 5211445 140733232587872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 20054016 140733232593308 140733232593385 140733232593385 140733232598987 0
/proc/82551/statm: 5844 3168 1376 243 0 2093 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 23376 KiB
Current children cumulated memory: 12672 KiB
[startup+0.305456 s]*
/proc/loadavg: 4.12 4.10 4.08 5/264 82552
/proc/meminfo: memFree=124421632/131249996 swapFree=33006296/33010684
[pid=82551] ppid=82548 vsize=24452 memory=13568 CPUtime=0.3 cores=0,2
/proc/82551/stat : 82551 (pb-oll-rs) R 82548 82551 81850 0 -1 4194304 1689 0 0 0 28 2 0 0 20 0 1 0 72714355 25038848 3392 18446744073709551615 4218880 5211445 140733232587872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 20054016 140733232593308 140733232593385 140733232593385 140733232598987 0
/proc/82551/statm: 6113 3392 1376 243 0 2362 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 24452 KiB
Current children cumulated memory: 13568 KiB
[startup+0.700177 s]
/proc/loadavg: 4.12 4.10 4.08 5/264 82552
/proc/meminfo: memFree=124421632/131249996 swapFree=33006296/33010684
[pid=82551] ppid=82548 vsize=26212 memory=14976 CPUtime=0.68 cores=0,2
/proc/82551/stat : 82551 (pb-oll-rs) R 82548 82551 81850 0 -1 4194304 2060 0 0 0 65 3 0 0 20 0 1 0 72714355 26841088 3744 18446744073709551615 4218880 5211445 140733232587872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 20054016 140733232593308 140733232593385 140733232593385 140733232598987 0
/proc/82551/statm: 6553 3744 1376 243 0 2802 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 26212 KiB
Current children cumulated memory: 14976 KiB
[startup+1.50018 s]
/proc/loadavg: 4.12 4.10 4.08 5/264 82552
/proc/meminfo: memFree=124421632/131249996 swapFree=33006296/33010684
[pid=82551] ppid=82548 vsize=26988 memory=16512 CPUtime=1.48 cores=0,2
/proc/82551/stat : 82551 (pb-oll-rs) R 82548 82551 81850 0 -1 4194304 2443 0 0 0 143 5 0 0 20 0 1 0 72714355 27635712 4128 18446744073709551615 4218880 5211445 140733232587872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 20054016 140733232593308 140733232593385 140733232593385 140733232598987 0
/proc/82551/statm: 6747 4128 1376 243 0 2996 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 26988 KiB
Current children cumulated memory: 16512 KiB
[startup+3.10532 s]
/proc/loadavg: 4.11 4.10 4.08 5/264 82552
/proc/meminfo: memFree=124405532/131249996 swapFree=33006296/33010684
[pid=82551] ppid=82548 vsize=31244 memory=20140 CPUtime=3.08 cores=0,2
/proc/82551/stat : 82551 (pb-oll-rs) R 82548 82551 81850 0 -1 4194304 2839 0 0 0 298 10 0 0 20 0 1 0 72714355 31993856 5035 18446744073709551615 4218880 5211445 140733232587872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 20054016 140733232593308 140733232593385 140733232593385 140733232598987 0
/proc/82551/statm: 7811 5035 1376 243 0 4060 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 31244 KiB
Current children cumulated memory: 20140 KiB
[startup+6.30018 s]
/proc/loadavg: 4.11 4.10 4.08 5/265 82554
/proc/meminfo: memFree=124405036/131249996 swapFree=33006296/33010684
[pid=82551] ppid=82548 vsize=33900 memory=22060 CPUtime=6.26 cores=0,2
/proc/82551/stat : 82551 (pb-oll-rs) R 82548 82551 81850 0 -1 4194304 3310 0 0 0 609 17 0 0 20 0 1 0 72714355 34713600 5515 18446744073709551615 4218880 5211445 140733232587872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 20054016 140733232593308 140733232593385 140733232593385 140733232598987 0
/proc/82551/statm: 8475 5515 1376 243 0 4724 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 33900 KiB
Current children cumulated memory: 22060 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.10 4.08 5/265 82554
/proc/meminfo: memFree=124356504/131249996 swapFree=33006296/33010684
[pid=82551] ppid=82548 vsize=41308 memory=27896 CPUtime=12.65 cores=0,2
/proc/82551/stat : 82551 (pb-oll-rs) R 82548 82551 81850 0 -1 4194304 4282 0 0 0 1236 29 0 0 20 0 1 0 72714355 42299392 6974 18446744073709551615 4218880 5211445 140733232587872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 20054016 140733232593308 140733232593385 140733232593385 140733232598987 0
/proc/82551/statm: 10327 6974 1376 243 0 6576 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 41308 KiB
Current children cumulated memory: 27896 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.09 4.08 5/265 82554
/proc/meminfo: memFree=124320276/131249996 swapFree=33006296/33010684
[pid=82551] ppid=82548 vsize=54824 memory=40292 CPUtime=25.42 cores=0,2
/proc/82551/stat : 82551 (pb-oll-rs) R 82548 82551 81850 0 -1 4194304 6347 0 0 0 2495 47 0 0 20 0 1 0 72714355 56139776 10073 18446744073709551615 4218880 5211445 140733232587872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 20054016 140733232593308 140733232593385 140733232593385 140733232598987 0
/proc/82551/statm: 13706 10073 1376 243 0 9955 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 54824 KiB
Current children cumulated memory: 40292 KiB
[startup+51.1056 s]
/proc/loadavg: 4.20 4.12 4.09 5/265 82554
/proc/meminfo: memFree=124320024/131249996 swapFree=33006296/33010684
[pid=82551] ppid=82548 vsize=63328 memory=45540 CPUtime=50.95 cores=0,2
/proc/82551/stat : 82551 (pb-oll-rs) R 82548 82551 81850 0 -1 4194304 7674 0 0 0 5020 75 0 0 20 0 1 0 72714355 64847872 11385 18446744073709551615 4218880 5211445 140733232587872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 20054016 140733232593308 140733232593385 140733232593385 140733232598987 0
/proc/82551/statm: 15832 11385 1376 243 0 12081 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 63328 KiB
Current children cumulated memory: 45540 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 82556
/proc/meminfo: memFree=124312008/131249996 swapFree=33006296/33010684
[pid=82551] ppid=82548 vsize=66488 memory=51204 CPUtime=102.01 cores=0,2
/proc/82551/stat : 82551 (pb-oll-rs) R 82548 82551 81850 0 -1 4194304 8557 0 0 0 10075 126 0 0 20 0 1 0 72714355 68083712 12801 18446744073709551615 4218880 5211445 140733232587872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 20054016 140733232593308 140733232593385 140733232593385 140733232598987 0
/proc/82551/statm: 16622 12801 1376 243 0 12871 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 66488 KiB
Current children cumulated memory: 51204 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 82558
/proc/meminfo: memFree=124272704/131249996 swapFree=33006296/33010684
[pid=82551] ppid=82548 vsize=79528 memory=56752 CPUtime=161.85 cores=0,2
/proc/82551/stat : 82551 (pb-oll-rs) R 82548 82551 81850 0 -1 4194304 9437 0 0 0 16015 170 0 0 20 0 1 0 72714355 81436672 14188 18446744073709551615 4218880 5211445 140733232587872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 20054016 140733232593308 140733232593385 140733232593385 140733232598987 0
/proc/82551/statm: 19882 14188 1376 243 0 16131 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 79528 KiB
Current children cumulated memory: 56752 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/265 82563
/proc/meminfo: memFree=124192236/131249996 swapFree=33006296/33010684
[pid=82551] ppid=82548 vsize=79984 memory=57392 CPUtime=221.69 cores=0,2
/proc/82551/stat : 82551 (pb-oll-rs) R 82548 82551 81850 0 -1 4194304 9628 0 0 0 21962 207 0 0 20 0 1 0 72714355 81903616 14348 18446744073709551615 4218880 5211445 140733232587872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 20054016 140733232593308 140733232593385 140733232593385 140733232598987 0
/proc/82551/statm: 19996 14348 1376 243 0 16245 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 79984 KiB
Current children cumulated memory: 57392 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 82565
/proc/meminfo: memFree=124181932/131249996 swapFree=33006296/33010684
[pid=82551] ppid=82548 vsize=82160 memory=61120 CPUtime=281.52 cores=0,2
/proc/82551/stat : 82551 (pb-oll-rs) R 82548 82551 81850 0 -1 4194304 10037 0 0 0 27913 239 0 0 20 0 1 0 72714355 84131840 15280 18446744073709551615 4218880 5211445 140733232587872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 20054016 140733232593308 140733232593385 140733232593385 140733232598987 0
/proc/82551/statm: 20540 15280 1376 243 0 16789 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 82160 KiB
Current children cumulated memory: 61120 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 82572
/proc/meminfo: memFree=124118156/131249996 swapFree=33006296/33010684
[pid=82551] ppid=82548 vsize=83608 memory=64688 CPUtime=341.36 cores=0,2
/proc/82551/stat : 82551 (pb-oll-rs) R 82548 82551 81850 0 -1 4194304 10431 0 0 0 33866 270 0 0 20 0 1 0 72714355 85614592 16172 18446744073709551615 4218880 5211445 140733232587872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 20054016 140733232593308 140733232593385 140733232593385 140733232598987 0
/proc/82551/statm: 20902 16172 1376 243 0 17151 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 83608 KiB
Current children cumulated memory: 64688 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 82574
/proc/meminfo: memFree=123955544/131249996 swapFree=33006296/33010684
[pid=82551] ppid=82548 vsize=84136 memory=65456 CPUtime=401.2 cores=0,2
/proc/82551/stat : 82551 (pb-oll-rs) R 82548 82551 81850 0 -1 4194304 10618 0 0 0 39820 300 0 0 20 0 1 0 72714355 86155264 16364 18446744073709551615 4218880 5211445 140733232587872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 20054016 140733232593308 140733232593385 140733232593385 140733232598987 0
/proc/82551/statm: 21034 16364 1376 243 0 17283 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 84136 KiB
Current children cumulated memory: 65456 KiB
[startup+462.3 s]
/proc/loadavg: 4.38 4.18 4.12 5/265 82578
/proc/meminfo: memFree=123882756/131249996 swapFree=33006296/33010684
[pid=82551] ppid=82548 vsize=84400 memory=65840 CPUtime=461.02 cores=0,2
/proc/82551/stat : 82551 (pb-oll-rs) R 82548 82551 81850 0 -1 4194304 10726 0 0 0 45778 324 0 0 20 0 1 0 72714355 86425600 16460 18446744073709551615 4218880 5211445 140733232587872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 20054016 140733232593308 140733232593385 140733232593385 140733232598987 0
/proc/82551/statm: 21100 16460 1376 243 0 17349 0
Current children cumulated CPU time: 461.02 s
################
# More data... #
################
Current children cumulated memory: 95292 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/264 82845
/proc/meminfo: memFree=125746752/131249996 swapFree=33006296/33010684
[pid=82551] ppid=82548 vsize=125004 memory=95292 CPUtime=2913.83 cores=0,2
/proc/82551/stat : 82551 (pb-oll-rs) R 82548 82551 81850 0 -1 4194304 17408 0 0 0 289983 1400 0 0 20 0 1 0 72714355 128004096 23823 18446744073709551615 4218880 5211445 140733232587872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 20054016 140733232593308 140733232593385 140733232593385 140733232598987 0
/proc/82551/statm: 31251 23823 1376 243 0 27500 0
Current children cumulated CPU time: 2913.83 s
Current children cumulated vsize: 125004 KiB
Current children cumulated memory: 95292 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 82847
/proc/meminfo: memFree=125435212/131249996 swapFree=33006296/33010684
[pid=82551] ppid=82548 vsize=125004 memory=95292 CPUtime=2973.68 cores=0,2
/proc/82551/stat : 82551 (pb-oll-rs) R 82548 82551 81850 0 -1 4194304 17408 0 0 0 295951 1417 0 0 20 0 1 0 72714355 128004096 23823 18446744073709551615 4218880 5211445 140733232587872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 20054016 140733232593308 140733232593385 140733232593385 140733232598987 0
/proc/82551/statm: 31251 23823 1376 243 0 27500 0
Current children cumulated CPU time: 2973.68 s
Current children cumulated vsize: 125004 KiB
Current children cumulated memory: 95292 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/262 82849
/proc/meminfo: memFree=125134932/131249996 swapFree=33006296/33010684
[pid=82551] ppid=82548 vsize=125652 memory=95676 CPUtime=3033.51 cores=0,2
/proc/82551/stat : 82551 (pb-oll-rs) R 82548 82551 81850 0 -1 4194304 17527 0 0 0 301919 1432 0 0 20 0 1 0 72714355 128667648 23919 18446744073709551615 4218880 5211445 140733232587872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 20054016 140733232593308 140733232593385 140733232593385 140733232598987 0
/proc/82551/statm: 31413 23919 1376 243 0 27662 0
Current children cumulated CPU time: 3033.51 s
Current children cumulated vsize: 125652 KiB
Current children cumulated memory: 95676 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/263 82853
/proc/meminfo: memFree=125009424/131249996 swapFree=33006296/33010684
[pid=82551] ppid=82548 vsize=125652 memory=95676 CPUtime=3093.36 cores=0,2
/proc/82551/stat : 82551 (pb-oll-rs) R 82548 82551 81850 0 -1 4194304 17549 0 0 0 307871 1465 0 0 20 0 1 0 72714355 128667648 23919 18446744073709551615 4218880 5211445 140733232587872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 20054016 140733232593308 140733232593385 140733232593385 140733232598987 0
/proc/82551/statm: 31413 23919 1376 243 0 27662 0
Current children cumulated CPU time: 3093.36 s
Current children cumulated vsize: 125652 KiB
Current children cumulated memory: 95676 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 82855
/proc/meminfo: memFree=124946716/131249996 swapFree=33006296/33010684
[pid=82551] ppid=82548 vsize=125652 memory=95676 CPUtime=3153.2 cores=0,2
/proc/82551/stat : 82551 (pb-oll-rs) R 82548 82551 81850 0 -1 4194304 17549 0 0 0 313832 1488 0 0 20 0 1 0 72714355 128667648 23919 18446744073709551615 4218880 5211445 140733232587872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 20054016 140733232593308 140733232593385 140733232593385 140733232598987 0
/proc/82551/statm: 31413 23919 1376 243 0 27662 0
Current children cumulated CPU time: 3153.2 s
Current children cumulated vsize: 125652 KiB
Current children cumulated memory: 95676 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 82860
/proc/meminfo: memFree=124902092/131249996 swapFree=33006296/33010684
[pid=82551] ppid=82548 vsize=125652 memory=95676 CPUtime=3213.04 cores=0,2
/proc/82551/stat : 82551 (pb-oll-rs) R 82548 82551 81850 0 -1 4194304 17579 0 0 0 319794 1510 0 0 20 0 1 0 72714355 128667648 23919 18446744073709551615 4218880 5211445 140733232587872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 20054016 140733232593308 140733232593385 140733232593385 140733232598987 0
/proc/82551/statm: 31413 23919 1376 243 0 27662 0
Current children cumulated CPU time: 3213.04 s
Current children cumulated vsize: 125652 KiB
Current children cumulated memory: 95676 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 82862
/proc/meminfo: memFree=124847288/131249996 swapFree=33006296/33010684
[pid=82551] ppid=82548 vsize=125652 memory=95676 CPUtime=3272.88 cores=0,2
/proc/82551/stat : 82551 (pb-oll-rs) R 82548 82551 81850 0 -1 4194304 17582 0 0 0 325760 1528 0 0 20 0 1 0 72714355 128667648 23919 18446744073709551615 4218880 5211445 140733232587872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 20054016 140733232593308 140733232593385 140733232593385 140733232598987 0
/proc/82551/statm: 31413 23919 1376 243 0 27662 0
Current children cumulated CPU time: 3272.88 s
Current children cumulated vsize: 125652 KiB
Current children cumulated memory: 95676 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/266 82870
/proc/meminfo: memFree=124454984/131249996 swapFree=33006296/33010684
[pid=82551] ppid=82548 vsize=125652 memory=95676 CPUtime=3332.72 cores=0,2
/proc/82551/stat : 82551 (pb-oll-rs) R 82548 82551 81850 0 -1 4194304 17587 0 0 0 331729 1543 0 0 20 0 1 0 72714355 128667648 23919 18446744073709551615 4218880 5211445 140733232587872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 20054016 140733232593308 140733232593385 140733232593385 140733232598987 0
/proc/82551/statm: 31413 23919 1376 243 0 27662 0
Current children cumulated CPU time: 3332.72 s
Current children cumulated vsize: 125652 KiB
Current children cumulated memory: 95676 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/265 82872
/proc/meminfo: memFree=124343508/131249996 swapFree=33006296/33010684
[pid=82551] ppid=82548 vsize=126424 memory=98176 CPUtime=3392.56 cores=0,2
/proc/82551/stat : 82551 (pb-oll-rs) R 82548 82551 81850 0 -1 4194304 17826 0 0 0 337694 1562 0 0 20 0 1 0 72714355 129458176 24544 18446744073709551615 4218880 5211445 140733232587872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 20054016 140733232593308 140733232593385 140733232593385 140733232598987 0
/proc/82551/statm: 31606 24544 1376 243 0 27855 0
Current children cumulated CPU time: 3392.56 s
Current children cumulated vsize: 126424 KiB
Current children cumulated memory: 98176 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/265 82874
/proc/meminfo: memFree=124186636/131249996 swapFree=33006296/33010684
[pid=82551] ppid=82548 vsize=126424 memory=98176 CPUtime=3452.41 cores=0,2
/proc/82551/stat : 82551 (pb-oll-rs) R 82548 82551 81850 0 -1 4194304 17826 0 0 0 343651 1590 0 0 20 0 1 0 72714355 129458176 24544 18446744073709551615 4218880 5211445 140733232587872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 20054016 140733232593308 140733232593385 140733232593385 140733232598987 0
/proc/82551/statm: 31606 24544 1376 243 0 27855 0
Current children cumulated CPU time: 3452.41 s
Current children cumulated vsize: 126424 KiB
Current children cumulated memory: 98176 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 82876
/proc/meminfo: memFree=124064392/131249996 swapFree=33006296/33010684
[pid=82551] ppid=82548 vsize=126424 memory=98176 CPUtime=3512.24 cores=0,2
/proc/82551/stat : 82551 (pb-oll-rs) R 82548 82551 81850 0 -1 4194304 17826 0 0 0 349610 1614 0 0 20 0 1 0 72714355 129458176 24544 18446744073709551615 4218880 5211445 140733232587872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 20054016 140733232593308 140733232593385 140733232593385 140733232598987 0
/proc/82551/statm: 31606 24544 1376 243 0 27855 0
Current children cumulated CPU time: 3512.24 s
Current children cumulated vsize: 126424 KiB
Current children cumulated memory: 98176 KiB
[startup+3582.3 s]
/proc/loadavg: 4.19 4.13 4.10 5/265 82879
/proc/meminfo: memFree=123922004/131249996 swapFree=33006296/33010684
[pid=82551] ppid=82548 vsize=126424 memory=98176 CPUtime=3572.08 cores=0,2
/proc/82551/stat : 82551 (pb-oll-rs) R 82548 82551 81850 0 -1 4194304 17829 0 0 0 355576 1632 0 0 20 0 1 0 72714355 129458176 24544 18446744073709551615 4218880 5211445 140733232587872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 20054016 140733232593308 140733232593385 140733232593385 140733232598987 0
/proc/82551/statm: 31606 24544 1376 243 0 27855 0
Current children cumulated CPU time: 3572.08 s
Current children cumulated vsize: 126424 KiB
Current children cumulated memory: 98176 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 4.20 4.13 4.10 5/265 82880
/proc/meminfo: memFree=123783656/131249996 swapFree=33006296/33010684
[pid=82551] ppid=82548 vsize=126424 memory=98176 CPUtime=3600 cores=0,2
/proc/82551/stat : 82551 (pb-oll-rs) R 82548 82551 81850 0 -1 4194304 17829 0 0 0 358359 1641 0 0 20 0 1 0 72714355 129458176 24544 18446744073709551615 4218880 5211445 140733232587872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 20054016 140733232593308 140733232593385 140733232593385 140733232598987 0
/proc/82551/statm: 31606 24544 1376 243 0 27855 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 126424 KiB
Current children cumulated memory: 98176 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.3 s]
# the end of solver process 82551 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.59 s, system=16.4219 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.3 s]
/proc/loadavg: 4.20 4.13 4.10 5/265 82880
/proc/meminfo: memFree=123783656/131249996 swapFree=33006296/33010684
[pid=82551] ppid=82548 vsize=126424 memory=98176 CPUtime=3600 cores=0,2
/proc/82551/stat : 82551 (pb-oll-rs) R 82548 82551 81850 0 -1 4194304 17829 0 0 0 358359 1641 0 0 20 0 1 0 72714355 129458176 24544 18446744073709551615 4218880 5211445 140733232587872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 20054016 140733232593308 140733232593385 140733232593385 140733232598987 0
/proc/82551/statm: 31606 24544 1376 243 0 27855 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 126424 KiB
Current children cumulated memory: 98176 KiB
Child status: 0
Real time (s): 3610.3
CPU time (s): 3600.02
CPU user time (s): 3583.59
CPU system time (s): 16.4219
CPU usage (%): 99.7151
Max. virtual memory (cumulated for all children) (KiB): 126424
Max. memory (cumulated for all children) (KiB): 98176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.6
system time used= 16.4219
maximum resident set size= 98432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17844
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 96
involuntary context switches= 4734
# summary of solver processes directly reported to runsolver:
# pid: 82551
# total CPU time (s): 3600.02
# total CPU user time (s): 3583.59
# total CPU system time (s): 16.4219
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.29813 second user time and 15.6815 second system time
The end
Begin job on nodeC015 at 2025-07-03 21:19:29
IDJOB=4520522
IDBENCH=178081
IDSOLVER=3345
FILE ID=nodeC015/4520522-1751570369
RUNJOBID= nodeC015-1751565852-81860
SLURM_JOB_ID= 9598775
Free space on /tmp= 432364 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/normalized-dominating_set_hexgrid_opt_r6_c50.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4520522-1751570369/watcher-4520522-1751570369 -o /tmp/evaluation-result-4520522-1751570369/solver-4520522-1751570369 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751565852-81860 --watchdog 3760 pb-oll-rs HOME/instance-4520522-1751570369.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7d11159905f6b10a69b89af52605ef85
RANDOM SEED=1439385324
nodeC015 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.058
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3600.132
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3927.260
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3617.258
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.071
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.068
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.099
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3633.650
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 124434544 kB
MemAvailable: 125071296 kB
Buffers: 1508 kB
Cached: 1419716 kB
SwapCached: 3880 kB
Active: 5026284 kB
Inactive: 1181864 kB
Active(anon): 4752268 kB
Inactive(anon): 48808 kB
Active(file): 274016 kB
Inactive(file): 1133056 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33006296 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 1628 kB
Writeback: 0 kB
AnonPages: 4786208 kB
Mapped: 104080 kB
Shmem: 14152 kB
KReclaimable: 137836 kB
Slab: 228588 kB
SReclaimable: 137836 kB
SUnreclaim: 90752 kB
KernelStack: 4272 kB
PageTables: 13288 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 6504836 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1288192 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: 205524 kB
DirectMap2M: 11100160 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432364 MiB
End job on nodeC015 at 2025-07-03 22:19:39