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 225 #constraints 225
0.00/0.00 c SMALL=int, LARGE=long long
0.00/0.00 c bounds - >= 0 @ 0.000404
0.00/0.00 c stratification level: 0
0.00/0.00 c bounds - >= 1 @ 0.000404
0.00/0.00 c bounds - >= 2 @ 0.000404
0.00/0.00 c bounds - >= 3 @ 0.000404
0.00/0.00 c bounds - >= 4 @ 0.000404
0.00/0.00 c bounds - >= 5 @ 0.000404
0.00/0.00 c bounds - >= 6 @ 0.000404
0.00/0.00 c bounds - >= 7 @ 0.000404
0.00/0.00 c bounds - >= 8 @ 0.00044
0.00/0.00 c bounds - >= 9 @ 0.000479
0.00/0.00 c bounds - >= 10 @ 0.000521
0.00/0.00 c bounds - >= 11 @ 0.000567
0.00/0.00 c bounds - >= 12 @ 0.000611
0.00/0.00 c bounds - >= 13 @ 0.000654
0.00/0.00 c bounds - >= 14 @ 0.000713
0.00/0.00 c bounds - >= 15 @ 0.000755
0.00/0.00 c bounds - >= 16 @ 0.000794
0.00/0.00 c bounds - >= 17 @ 0.000839
0.00/0.00 c bounds - >= 18 @ 0.000884
0.00/0.00 c bounds - >= 19 @ 0.000929
0.00/0.00 c bounds - >= 20 @ 0.000971
0.00/0.00 c bounds - >= 21 @ 0.001013
0.00/0.00 c bounds - >= 22 @ 0.001059
0.00/0.00 c bounds - >= 23 @ 0.001108
0.00/0.00 c bounds - >= 24 @ 0.001155
0.00/0.00 c bounds - >= 25 @ 0.0012
0.00/0.00 c bounds - >= 26 @ 0.001245
0.00/0.00 c bounds - >= 27 @ 0.001289
0.00/0.00 c bounds - >= 28 @ 0.001335
0.00/0.00 c bounds - >= 29 @ 0.001387
0.00/0.00 c bounds - >= 30 @ 0.001401
0.00/0.00 c bounds - >= 31 @ 0.001401
0.00/0.00 c bounds - >= 32 @ 0.001401
0.00/0.00 c bounds - >= 33 @ 0.001401
0.00/0.00 c bounds - >= 34 @ 0.001401
0.00/0.00 c bounds - >= 35 @ 0.001401
0.00/0.00 c bounds - >= 36 @ 0.001401
0.00/0.00 c bounds - >= 37 @ 0.001401
0.00/0.00 c bounds - >= 38 @ 0.001401
0.00/0.00 c bounds - >= 39 @ 0.001401
0.00/0.00 c bounds - >= 40 @ 0.001401
0.00/0.00 c bounds - >= 41 @ 0.001401
0.00/0.00 c bounds - >= 42 @ 0.001401
0.00/0.00 c bounds - >= 43 @ 0.001401
0.00/0.00 c finalizing WCE round: reformulating cores
6.57/6.64 c #Conflicts: 1000 | #Constraints: 1281
6.57/6.64 c #Conflicts: 2000 | #Constraints: 2283
6.57/6.64 c INPROCESSING
6.57/6.64 c GARBAGE COLLECT
6.57/6.64 c #Conflicts: 3000 | #Constraints: 2255
6.57/6.64 c #Conflicts: 4000 | #Constraints: 3257
6.57/6.64 c INPROCESSING
6.57/6.64 c GARBAGE COLLECT
6.57/6.64 c #Conflicts: 5000 | #Constraints: 2667
6.57/6.64 c #Conflicts: 6000 | #Constraints: 3669
6.57/6.64 c INPROCESSING
6.57/6.64 c GARBAGE COLLECT
6.57/6.64 c #Conflicts: 7000 | #Constraints: 2670
6.57/6.64 c #Conflicts: 8000 | #Constraints: 3672
6.57/6.64 c #Conflicts: 9000 | #Constraints: 4676
6.57/6.64 c INPROCESSING
6.57/6.64 c GARBAGE COLLECT
6.57/6.64 c #Conflicts: 10000 | #Constraints: 3380
6.57/6.64 c #Conflicts: 11000 | #Constraints: 4382
6.57/6.64 c #Conflicts: 12000 | #Constraints: 5384
6.57/6.64 c INPROCESSING
6.57/6.64 c GARBAGE COLLECT
6.57/6.64 c #Conflicts: 13000 | #Constraints: 3837
6.57/6.64 c #Conflicts: 14000 | #Constraints: 4839
6.57/6.64 c #Conflicts: 15000 | #Constraints: 5841
6.57/6.64 c INPROCESSING
6.57/6.64 c GARBAGE COLLECT
6.57/6.64 c #Conflicts: 16000 | #Constraints: 4069
6.57/6.64 c #Conflicts: 17000 | #Constraints: 5071
6.57/6.64 c #Conflicts: 18000 | #Constraints: 6073
6.57/6.64 c INPROCESSING
6.57/6.64 c GARBAGE COLLECT
6.57/6.64 c #Conflicts: 19000 | #Constraints: 4094
6.57/6.64 c #Conflicts: 20000 | #Constraints: 5096
6.57/6.64 c #Conflicts: 21000 | #Constraints: 6098
6.57/6.64 c INPROCESSING
6.57/6.64 c GARBAGE COLLECT
6.57/6.64 c #Conflicts: 22000 | #Constraints: 3906
6.57/6.64 c #Conflicts: 23000 | #Constraints: 4908
6.57/6.64 c #Conflicts: 24000 | #Constraints: 5912
6.57/6.64 c #Conflicts: 25000 | #Constraints: 6914
6.57/6.64 c INPROCESSING
6.57/6.64 c GARBAGE COLLECT
6.57/6.64 c #Conflicts: 26000 | #Constraints: 4525
6.57/6.64 c #Conflicts: 27000 | #Constraints: 5527
6.57/6.64 c #Conflicts: 28000 | #Constraints: 6529
6.57/6.64 c #Conflicts: 29000 | #Constraints: 7533
6.57/6.64 c INPROCESSING
6.57/6.64 c GARBAGE COLLECT
6.57/6.64 c #Conflicts: 30000 | #Constraints: 4933
6.57/6.64 c #Conflicts: 31000 | #Constraints: 5935
6.57/6.64 c #Conflicts: 32000 | #Constraints: 6937
6.57/6.64 c #Conflicts: 33000 | #Constraints: 7941
6.57/6.64 c INPROCESSING
6.57/6.64 c GARBAGE COLLECT
6.57/6.64 c bounds 61 >= 43 @ 4.05651
6.57/6.64 c bounds 61 >= 44 @ 4.06102
6.57/6.64 c bounds 61 >= 45 @ 4.07059
6.57/6.64 c #Conflicts: 34000 | #Constraints: 5234
6.57/6.64 c #Conflicts: 35000 | #Constraints: 6234
6.57/6.64 c #Conflicts: 36000 | #Constraints: 7234
6.57/6.64 c #Conflicts: 37000 | #Constraints: 8234
6.57/6.64 c INPROCESSING
6.57/6.64 c GARBAGE COLLECT
6.57/6.64 c #Conflicts: 38000 | #Constraints: 5215
6.57/6.64 c #Conflicts: 39000 | #Constraints: 6215
6.57/6.64 c #Conflicts: 40000 | #Constraints: 7215
6.57/6.64 c #Conflicts: 41000 | #Constraints: 8215
6.57/6.64 c INPROCESSING
6.57/6.64 c GARBAGE COLLECT
6.57/6.64 c #Conflicts: 42000 | #Constraints: 5006
6.57/6.64 c #Conflicts: 43000 | #Constraints: 6006
6.57/6.64 c #Conflicts: 44000 | #Constraints: 7006
6.57/6.64 c #Conflicts: 45000 | #Constraints: 8006
6.57/6.64 c finalizing WCE round: reformulating cores
7.16/7.26 c #Conflicts: 46000 | #Constraints: 9009
7.16/7.26 c INPROCESSING
7.16/7.26 c GARBAGE COLLECT
7.16/7.26 c #Conflicts: 47000 | #Constraints: 5606
7.16/7.26 c bounds 60 >= 45 @ 6.80116
7.16/7.26 c bounds 60 >= 46 @ 6.82069
7.16/7.26 c #Conflicts: 48000 | #Constraints: 6679
7.16/7.26 c bounds 60 >= 47 @ 6.99863
7.16/7.26 c finalizing WCE round: reformulating cores
28.92/29.00 c #Conflicts: 49000 | #Constraints: 7764
28.92/29.00 c bounds 59 >= 47 @ 7.41312
28.92/29.00 c #Conflicts: 50000 | #Constraints: 8766
28.92/29.00 c bounds 59 >= 48 @ 7.54827
28.92/29.00 c #Conflicts: 51000 | #Constraints: 9791
28.92/29.00 c INPROCESSING
28.92/29.00 c GARBAGE COLLECT
28.92/29.00 c #Conflicts: 52000 | #Constraints: 6161
28.92/29.00 c #Conflicts: 53000 | #Constraints: 7161
28.92/29.00 c #Conflicts: 54000 | #Constraints: 8161
28.92/29.00 c #Conflicts: 55000 | #Constraints: 9161
28.92/29.00 c #Conflicts: 56000 | #Constraints: 10161
28.92/29.00 c INPROCESSING
28.92/29.00 c GARBAGE COLLECT
28.92/29.00 c #Conflicts: 57000 | #Constraints: 6353
28.92/29.00 c #Conflicts: 58000 | #Constraints: 7353
28.92/29.00 c #Conflicts: 59000 | #Constraints: 8353
28.92/29.00 c #Conflicts: 60000 | #Constraints: 9353
28.92/29.00 c #Conflicts: 61000 | #Constraints: 10353
28.92/29.00 c INPROCESSING
28.92/29.00 c GARBAGE COLLECT
28.92/29.00 c #Conflicts: 62000 | #Constraints: 6347
28.92/29.00 c #Conflicts: 63000 | #Constraints: 7347
28.92/29.00 c #Conflicts: 64000 | #Constraints: 8347
28.92/29.00 c #Conflicts: 65000 | #Constraints: 9347
28.92/29.00 c #Conflicts: 66000 | #Constraints: 10347
28.92/29.00 c INPROCESSING
28.92/29.00 c GARBAGE COLLECT
28.92/29.00 c #Conflicts: 67000 | #Constraints: 6153
28.92/29.00 c #Conflicts: 68000 | #Constraints: 7153
28.92/29.00 c #Conflicts: 69000 | #Constraints: 8153
28.92/29.00 c bounds 59 >= 49 @ 27.816
28.92/29.00 c #Conflicts: 70000 | #Constraints: 9244
28.92/29.00 c #Conflicts: 71000 | #Constraints: 10244
28.92/29.00 c finalizing WCE round: reformulating cores
145.43/145.82 c #Conflicts: 72000 | #Constraints: 11250
145.43/145.82 c bounds 56 >= 49 @ 29.1299
145.43/145.82 c INPROCESSING
145.43/145.82 c GARBAGE COLLECT
145.43/145.82 c #Conflicts: 73000 | #Constraints: 6813
145.43/145.82 c bounds 56 >= 50 @ 30.3254
145.43/145.82 c #Conflicts: 74000 | #Constraints: 7841
145.43/145.82 c #Conflicts: 75000 | #Constraints: 8841
145.43/145.82 c #Conflicts: 76000 | #Constraints: 9841
145.43/145.82 c #Conflicts: 77000 | #Constraints: 10841
145.43/145.82 c #Conflicts: 78000 | #Constraints: 11841
145.43/145.82 c INPROCESSING
145.43/145.82 c GARBAGE COLLECT
145.43/145.82 c #Conflicts: 79000 | #Constraints: 7215
145.43/145.82 c #Conflicts: 80000 | #Constraints: 8215
145.43/145.82 c #Conflicts: 81000 | #Constraints: 9215
145.43/145.82 c #Conflicts: 82000 | #Constraints: 10215
145.43/145.82 c #Conflicts: 83000 | #Constraints: 11215
145.43/145.82 c #Conflicts: 84000 | #Constraints: 12215
145.43/145.82 c INPROCESSING
145.43/145.82 c GARBAGE COLLECT
145.43/145.82 c #Conflicts: 85000 | #Constraints: 7410
145.43/145.82 c #Conflicts: 86000 | #Constraints: 8410
145.43/145.82 c #Conflicts: 87000 | #Constraints: 9410
145.43/145.82 c #Conflicts: 88000 | #Constraints: 10410
145.43/145.82 c #Conflicts: 89000 | #Constraints: 11410
145.43/145.82 c #Conflicts: 90000 | #Constraints: 12410
145.43/145.82 c INPROCESSING
145.43/145.82 c GARBAGE COLLECT
145.43/145.82 c #Conflicts: 91000 | #Constraints: 7415
145.43/145.82 c #Conflicts: 92000 | #Constraints: 8415
145.43/145.82 c #Conflicts: 93000 | #Constraints: 9415
145.43/145.82 c #Conflicts: 94000 | #Constraints: 10415
145.43/145.82 c #Conflicts: 95000 | #Constraints: 11415
145.43/145.82 c #Conflicts: 96000 | #Constraints: 12415
145.43/145.82 c INPROCESSING
145.43/145.82 c GARBAGE COLLECT
145.43/145.82 c #Conflicts: 97000 | #Constraints: 7214
145.43/145.82 c #Conflicts: 98000 | #Constraints: 8214
145.43/145.82 c #Conflicts: 99000 | #Constraints: 9214
145.43/145.82 c #Conflicts: 100000 | #Constraints: 10214
145.43/145.82 c #Conflicts: 101000 | #Constraints: 11214
145.43/145.82 c #Conflicts: 102000 | #Constraints: 12214
145.43/145.82 c #Conflicts: 103000 | #Constraints: 13214
145.43/145.82 c INPROCESSING
145.43/145.82 c GARBAGE COLLECT
145.43/145.82 c #Conflicts: 104000 | #Constraints: 7815
145.43/145.82 c #Conflicts: 105000 | #Constraints: 8815
145.43/145.82 c #Conflicts: 106000 | #Constraints: 9815
145.43/145.82 c #Conflicts: 107000 | #Constraints: 10815
145.43/145.82 c #Conflicts: 108000 | #Constraints: 11815
145.43/145.82 c #Conflicts: 109000 | #Constraints: 12815
145.43/145.82 c #Conflicts: 110000 | #Constraints: 13815
145.43/145.82 c INPROCESSING
145.43/145.82 c GARBAGE COLLECT
145.43/145.82 c #Conflicts: 111000 | #Constraints: 8216
145.43/145.82 c #Conflicts: 112000 | #Constraints: 9216
145.43/145.82 c #Conflicts: 113000 | #Constraints: 10216
145.43/145.82 c #Conflicts: 114000 | #Constraints: 11216
145.43/145.82 c #Conflicts: 115000 | #Constraints: 12216
145.43/145.82 c #Conflicts: 116000 | #Constraints: 13216
145.43/145.82 c #Conflicts: 117000 | #Constraints: 14216
145.43/145.82 c INPROCESSING
145.43/145.82 c GARBAGE COLLECT
145.43/145.82 c #Conflicts: 118000 | #Constraints: 8418
145.43/145.82 c #Conflicts: 119000 | #Constraints: 9418
145.43/145.82 c #Conflicts: 120000 | #Constraints: 10418
145.43/145.82 c #Conflicts: 121000 | #Constraints: 11418
145.43/145.82 c #Conflicts: 122000 | #Constraints: 12418
145.43/145.82 c #Conflicts: 123000 | #Constraints: 13418
145.43/145.82 c #Conflicts: 124000 | #Constraints: 14418
145.43/145.82 c INPROCESSING
145.43/145.82 c GARBAGE COLLECT
145.43/145.82 c #Conflicts: 125000 | #Constraints: 8419
145.43/145.82 c #Conflicts: 126000 | #Constraints: 9419
145.43/145.82 c #Conflicts: 127000 | #Constraints: 10419
145.43/145.82 c #Conflicts: 128000 | #Constraints: 11419
145.43/145.82 c #Conflicts: 129000 | #Constraints: 12419
145.43/145.82 c #Conflicts: 130000 | #Constraints: 13419
145.43/145.82 c #Conflicts: 131000 | #Constraints: 14419
145.43/145.82 c INPROCESSING
145.43/145.82 c GARBAGE COLLECT
145.43/145.82 c #Conflicts: 132000 | #Constraints: 8215
145.43/145.82 c #Conflicts: 133000 | #Constraints: 9215
145.43/145.82 c #Conflicts: 134000 | #Constraints: 10215
145.43/145.82 c #Conflicts: 135000 | #Constraints: 11215
145.43/145.82 c #Conflicts: 136000 | #Constraints: 12215
145.43/145.82 c #Conflicts: 137000 | #Constraints: 13215
145.43/145.82 c #Conflicts: 138000 | #Constraints: 14215
145.43/145.82 c #Conflicts: 139000 | #Constraints: 15215
145.43/145.82 c INPROCESSING
145.43/145.82 c GARBAGE COLLECT
145.43/145.82 c #Conflicts: 140000 | #Constraints: 8815
145.43/145.82 c #Conflicts: 141000 | #Constraints: 9815
145.43/145.82 c #Conflicts: 142000 | #Constraints: 10815
304.35/305.23 c #Conflicts: 143000 | #Constraints: 11815
304.35/305.23 c #Conflicts: 144000 | #Constraints: 12815
304.35/305.23 c #Conflicts: 145000 | #Constraints: 13815
304.35/305.23 c #Conflicts: 146000 | #Constraints: 14815
304.35/305.23 c #Conflicts: 147000 | #Constraints: 15815
304.35/305.23 c INPROCESSING
304.35/305.23 c GARBAGE COLLECT
304.35/305.23 c #Conflicts: 148000 | #Constraints: 9225
304.35/305.23 c #Conflicts: 149000 | #Constraints: 10225
304.35/305.23 c #Conflicts: 150000 | #Constraints: 11225
304.35/305.23 c #Conflicts: 151000 | #Constraints: 12225
304.35/305.23 c #Conflicts: 152000 | #Constraints: 13225
304.35/305.23 c #Conflicts: 153000 | #Constraints: 14225
304.35/305.23 c #Conflicts: 154000 | #Constraints: 15225
304.35/305.23 c #Conflicts: 155000 | #Constraints: 16225
304.35/305.23 c #Conflicts: 156000 | #Constraints: 17225
304.35/305.23 c #Conflicts: 157000 | #Constraints: 18225
304.35/305.23 c #Conflicts: 158000 | #Constraints: 19225
304.35/305.23 c #Conflicts: 159000 | #Constraints: 20225
304.35/305.23 c #Conflicts: 160000 | #Constraints: 21225
304.35/305.23 c #Conflicts: 161000 | #Constraints: 22225
304.35/305.23 c #Conflicts: 162000 | #Constraints: 23225
304.35/305.23 c #Conflicts: 163000 | #Constraints: 24225
304.35/305.23 c #Conflicts: 164000 | #Constraints: 25225
304.35/305.23 c #Conflicts: 165000 | #Constraints: 26225
304.35/305.23 c #Conflicts: 166000 | #Constraints: 27225
304.35/305.23 c #Conflicts: 167000 | #Constraints: 28225
304.35/305.23 c #Conflicts: 168000 | #Constraints: 29225
304.35/305.23 c #Conflicts: 169000 | #Constraints: 30225
304.35/305.23 c #Conflicts: 170000 | #Constraints: 31225
304.35/305.23 c #Conflicts: 171000 | #Constraints: 32225
304.35/305.23 c #Conflicts: 172000 | #Constraints: 33225
304.35/305.23 c #Conflicts: 173000 | #Constraints: 34225
304.35/305.23 c #Conflicts: 174000 | #Constraints: 35225
304.35/305.23 c #Conflicts: 175000 | #Constraints: 36225
304.35/305.23 c finalizing WCE round: reformulating cores
772.21/774.51 c #Conflicts: 176000 | #Constraints: 37228
772.21/774.51 c bounds 53 >= 50 @ 307.176
772.21/774.51 c #Conflicts: 177000 | #Constraints: 38228
772.21/774.51 c #Conflicts: 178000 | #Constraints: 39228
772.21/774.51 c #Conflicts: 179000 | #Constraints: 40228
772.21/774.51 c #Conflicts: 180000 | #Constraints: 41228
772.21/774.51 c #Conflicts: 181000 | #Constraints: 42228
772.21/774.51 c #Conflicts: 182000 | #Constraints: 43228
772.21/774.51 c INPROCESSING
772.21/774.51 c GARBAGE COLLECT
772.21/774.51 c #Conflicts: 183000 | #Constraints: 22471
772.21/774.51 c #Conflicts: 184000 | #Constraints: 23471
772.21/774.51 c #Conflicts: 185000 | #Constraints: 24471
772.21/774.51 c #Conflicts: 186000 | #Constraints: 25471
772.21/774.51 c #Conflicts: 187000 | #Constraints: 26471
772.21/774.51 c #Conflicts: 188000 | #Constraints: 27471
772.21/774.51 c #Conflicts: 189000 | #Constraints: 28471
772.21/774.51 c #Conflicts: 190000 | #Constraints: 29471
772.21/774.51 c #Conflicts: 191000 | #Constraints: 30471
772.21/774.51 c #Conflicts: 192000 | #Constraints: 31471
772.21/774.51 c INPROCESSING
772.21/774.51 c GARBAGE COLLECT
772.21/774.51 c #Conflicts: 193000 | #Constraints: 17046
772.21/774.51 c #Conflicts: 194000 | #Constraints: 18046
772.21/774.51 c #Conflicts: 195000 | #Constraints: 19046
772.21/774.51 c #Conflicts: 196000 | #Constraints: 20046
772.21/774.51 c #Conflicts: 197000 | #Constraints: 21046
772.21/774.51 c #Conflicts: 198000 | #Constraints: 22046
772.21/774.51 c #Conflicts: 199000 | #Constraints: 23046
772.21/774.51 c #Conflicts: 200000 | #Constraints: 24046
772.21/774.51 c #Conflicts: 201000 | #Constraints: 25046
772.21/774.51 c INPROCESSING
772.21/774.51 c GARBAGE COLLECT
772.21/774.51 c #Conflicts: 202000 | #Constraints: 13696
772.21/774.51 c #Conflicts: 203000 | #Constraints: 14696
772.21/774.51 c #Conflicts: 204000 | #Constraints: 15696
772.21/774.51 c #Conflicts: 205000 | #Constraints: 16696
772.21/774.51 c #Conflicts: 206000 | #Constraints: 17696
772.21/774.51 c #Conflicts: 207000 | #Constraints: 18696
772.21/774.51 c #Conflicts: 208000 | #Constraints: 19696
772.21/774.51 c #Conflicts: 209000 | #Constraints: 20696
772.21/774.51 c #Conflicts: 210000 | #Constraints: 21696
772.21/774.51 c INPROCESSING
772.21/774.51 c GARBAGE COLLECT
772.21/774.51 c #Conflicts: 211000 | #Constraints: 11755
772.21/774.51 c #Conflicts: 212000 | #Constraints: 12755
772.21/774.51 c #Conflicts: 213000 | #Constraints: 13755
772.21/774.51 c #Conflicts: 214000 | #Constraints: 14755
772.21/774.51 c #Conflicts: 215000 | #Constraints: 15755
772.21/774.51 c #Conflicts: 216000 | #Constraints: 16755
772.21/774.51 c #Conflicts: 217000 | #Constraints: 17755
772.21/774.51 c #Conflicts: 218000 | #Constraints: 18755
772.21/774.51 c #Conflicts: 219000 | #Constraints: 19755
772.21/774.51 c #Conflicts: 220000 | #Constraints: 20755
772.21/774.51 c INPROCESSING
772.21/774.51 c GARBAGE COLLECT
772.21/774.51 c #Conflicts: 221000 | #Constraints: 11448
772.21/774.51 c #Conflicts: 222000 | #Constraints: 12448
772.21/774.51 c #Conflicts: 223000 | #Constraints: 13448
772.21/774.51 c #Conflicts: 224000 | #Constraints: 14448
772.21/774.51 c #Conflicts: 225000 | #Constraints: 15448
772.21/774.51 c #Conflicts: 226000 | #Constraints: 16448
772.21/774.51 c #Conflicts: 227000 | #Constraints: 17448
772.21/774.51 c #Conflicts: 228000 | #Constraints: 18448
772.21/774.51 c #Conflicts: 229000 | #Constraints: 19448
772.21/774.51 c #Conflicts: 230000 | #Constraints: 20448
772.21/774.51 c #Conflicts: 231000 | #Constraints: 21448
772.21/774.51 c #Conflicts: 232000 | #Constraints: 22448
772.21/774.51 c #Conflicts: 233000 | #Constraints: 23448
772.21/774.51 c #Conflicts: 234000 | #Constraints: 24448
772.21/774.51 c #Conflicts: 235000 | #Constraints: 25448
772.21/774.51 c #Conflicts: 236000 | #Constraints: 26448
772.21/774.51 c #Conflicts: 237000 | #Constraints: 27448
772.21/774.51 c #Conflicts: 238000 | #Constraints: 28448
772.21/774.51 c #Conflicts: 239000 | #Constraints: 29448
772.21/774.51 c #Conflicts: 240000 | #Constraints: 30448
772.21/774.51 c #Conflicts: 241000 | #Constraints: 31448
772.21/774.51 c bounds 53 >= 51 @ 737.478
772.21/774.51 c #Conflicts: 242000 | #Constraints: 32473
772.21/774.51 c #Conflicts: 243000 | #Constraints: 33473
772.21/774.51 c #Conflicts: 244000 | #Constraints: 34473
772.21/774.51 c #Conflicts: 245000 | #Constraints: 35473
772.21/774.51 c #Conflicts: 246000 | #Constraints: 36473
772.21/774.51 c #Conflicts: 247000 | #Constraints: 37473
772.21/774.51 c #Conflicts: 248000 | #Constraints: 38473
772.21/774.51 c #Conflicts: 249000 | #Constraints: 39473
772.21/774.51 c #Conflicts: 250000 | #Constraints: 40473
1236.21/1239.69 c #Conflicts: 251000 | #Constraints: 41473
1236.21/1239.69 c #Conflicts: 252000 | #Constraints: 42473
1236.21/1239.69 c #Conflicts: 253000 | #Constraints: 43473
1236.21/1239.69 c #Conflicts: 254000 | #Constraints: 44473
1236.21/1239.69 c #Conflicts: 255000 | #Constraints: 45473
1236.21/1239.69 c #Conflicts: 256000 | #Constraints: 46473
1236.21/1239.69 c #Conflicts: 257000 | #Constraints: 47473
1236.21/1239.69 c #Conflicts: 258000 | #Constraints: 48473
1236.21/1239.69 c #Conflicts: 259000 | #Constraints: 49473
1236.21/1239.69 c #Conflicts: 260000 | #Constraints: 50473
1236.21/1239.69 c #Conflicts: 261000 | #Constraints: 51473
1236.21/1239.69 c #Conflicts: 262000 | #Constraints: 52473
1236.21/1239.69 c INPROCESSING
1236.21/1239.69 c GARBAGE COLLECT
1236.21/1239.69 c #Conflicts: 263000 | #Constraints: 27148
1236.21/1239.69 c #Conflicts: 264000 | #Constraints: 28148
1236.21/1239.69 c #Conflicts: 265000 | #Constraints: 29148
1236.21/1239.69 c #Conflicts: 266000 | #Constraints: 30148
1236.21/1239.69 c #Conflicts: 267000 | #Constraints: 31148
1236.21/1239.69 c #Conflicts: 268000 | #Constraints: 32148
1236.21/1239.69 c #Conflicts: 269000 | #Constraints: 33148
1236.21/1239.69 c #Conflicts: 270000 | #Constraints: 34148
1236.21/1239.69 c #Conflicts: 271000 | #Constraints: 35148
1236.21/1239.69 c #Conflicts: 272000 | #Constraints: 36148
1236.21/1239.69 c #Conflicts: 273000 | #Constraints: 37148
1236.21/1239.69 c INPROCESSING
1236.21/1239.69 c GARBAGE COLLECT
1236.21/1239.69 c #Conflicts: 274000 | #Constraints: 19494
1236.21/1239.69 c #Conflicts: 275000 | #Constraints: 20494
1236.21/1239.69 c #Conflicts: 276000 | #Constraints: 21494
1236.21/1239.69 c #Conflicts: 277000 | #Constraints: 22494
1236.21/1239.69 c #Conflicts: 278000 | #Constraints: 23494
1236.21/1239.69 c #Conflicts: 279000 | #Constraints: 24494
1236.21/1239.69 c #Conflicts: 280000 | #Constraints: 25494
1236.21/1239.69 c #Conflicts: 281000 | #Constraints: 26494
1236.21/1239.69 c #Conflicts: 282000 | #Constraints: 27494
1236.21/1239.69 c #Conflicts: 283000 | #Constraints: 28494
1236.21/1239.69 c #Conflicts: 284000 | #Constraints: 29494
1236.21/1239.69 c #Conflicts: 285000 | #Constraints: 30494
1236.21/1239.69 c INPROCESSING
1236.21/1239.69 c GARBAGE COLLECT
1236.21/1239.69 c #Conflicts: 286000 | #Constraints: 16561
1236.21/1239.69 c #Conflicts: 287000 | #Constraints: 17561
1236.21/1239.69 c #Conflicts: 288000 | #Constraints: 18561
1236.21/1239.69 c #Conflicts: 289000 | #Constraints: 19561
1236.21/1239.69 c #Conflicts: 290000 | #Constraints: 20561
1236.21/1239.69 c #Conflicts: 291000 | #Constraints: 21561
1236.21/1239.69 c #Conflicts: 292000 | #Constraints: 22561
1236.21/1239.69 c #Conflicts: 293000 | #Constraints: 23561
1236.21/1239.69 c #Conflicts: 294000 | #Constraints: 24561
1236.21/1239.69 c #Conflicts: 295000 | #Constraints: 25561
1236.21/1239.69 c #Conflicts: 296000 | #Constraints: 26561
1236.21/1239.69 c INPROCESSING
1236.21/1239.69 c GARBAGE COLLECT
1236.21/1239.69 c #Conflicts: 297000 | #Constraints: 14394
1236.21/1239.69 c #Conflicts: 298000 | #Constraints: 15394
1236.21/1239.69 c #Conflicts: 299000 | #Constraints: 16394
1236.21/1239.69 c #Conflicts: 300000 | #Constraints: 17394
1236.21/1239.69 c #Conflicts: 301000 | #Constraints: 18394
1236.21/1239.69 c #Conflicts: 302000 | #Constraints: 19394
1236.21/1239.69 c #Conflicts: 303000 | #Constraints: 20394
1236.21/1239.69 c #Conflicts: 304000 | #Constraints: 21394
1236.21/1239.69 c #Conflicts: 305000 | #Constraints: 22394
1236.21/1239.69 c #Conflicts: 306000 | #Constraints: 23394
1236.21/1239.69 c #Conflicts: 307000 | #Constraints: 24394
1236.21/1239.69 c #Conflicts: 308000 | #Constraints: 25394
1236.21/1239.69 c #Conflicts: 309000 | #Constraints: 26394
1236.21/1239.69 c #Conflicts: 310000 | #Constraints: 27394
1236.21/1239.69 c #Conflicts: 311000 | #Constraints: 28394
1236.21/1239.69 c #Conflicts: 312000 | #Constraints: 29394
1236.21/1239.69 c #Conflicts: 313000 | #Constraints: 30394
1236.21/1239.69 c #Conflicts: 314000 | #Constraints: 31394
1236.21/1239.69 c #Conflicts: 315000 | #Constraints: 32394
1236.21/1239.69 c #Conflicts: 316000 | #Constraints: 33394
1236.21/1239.69 c #Conflicts: 317000 | #Constraints: 34394
1236.21/1239.69 c #Conflicts: 318000 | #Constraints: 35394
1236.21/1239.69 c #Conflicts: 319000 | #Constraints: 36394
1236.21/1239.69 c #Conflicts: 320000 | #Constraints: 37394
1236.21/1239.69 c #Conflicts: 321000 | #Constraints: 38394
1236.21/1239.69 c #Conflicts: 322000 | #Constraints: 39394
1236.21/1239.69 c #Conflicts: 323000 | #Constraints: 40394
1236.21/1239.69 c #Conflicts: 324000 | #Constraints: 41394
1236.21/1239.69 c #Conflicts: 325000 | #Constraints: 42394
1236.21/1239.69 c #Conflicts: 326000 | #Constraints: 43394
2044.25/2049.83 c #Conflicts: 327000 | #Constraints: 44394
2044.25/2049.83 c #Conflicts: 328000 | #Constraints: 45394
2044.25/2049.83 c #Conflicts: 329000 | #Constraints: 46394
2044.25/2049.83 c #Conflicts: 330000 | #Constraints: 47394
2044.25/2049.83 c #Conflicts: 331000 | #Constraints: 48394
2044.25/2049.83 c #Conflicts: 332000 | #Constraints: 49394
2044.25/2049.83 c #Conflicts: 333000 | #Constraints: 50394
2044.25/2049.83 c #Conflicts: 334000 | #Constraints: 51394
2044.25/2049.83 c #Conflicts: 335000 | #Constraints: 52394
2044.25/2049.83 c #Conflicts: 336000 | #Constraints: 53394
2044.25/2049.83 c #Conflicts: 337000 | #Constraints: 54394
2044.25/2049.83 c #Conflicts: 338000 | #Constraints: 55394
2044.25/2049.83 c #Conflicts: 339000 | #Constraints: 56394
2044.25/2049.83 c #Conflicts: 340000 | #Constraints: 57394
2044.25/2049.83 c #Conflicts: 341000 | #Constraints: 58394
2044.25/2049.83 c #Conflicts: 342000 | #Constraints: 59394
2044.25/2049.83 c #Conflicts: 343000 | #Constraints: 60394
2044.25/2049.83 c #Conflicts: 344000 | #Constraints: 61394
2044.25/2049.83 c INPROCESSING
2044.25/2049.83 c GARBAGE COLLECT
2044.25/2049.83 c #Conflicts: 345000 | #Constraints: 32012
2044.25/2049.83 c #Conflicts: 346000 | #Constraints: 33012
2044.25/2049.83 c #Conflicts: 347000 | #Constraints: 34012
2044.25/2049.83 c #Conflicts: 348000 | #Constraints: 35012
2044.25/2049.83 c #Conflicts: 349000 | #Constraints: 36012
2044.25/2049.83 c #Conflicts: 350000 | #Constraints: 37012
2044.25/2049.83 c #Conflicts: 351000 | #Constraints: 38012
2044.25/2049.83 c #Conflicts: 352000 | #Constraints: 39012
2044.25/2049.83 c #Conflicts: 353000 | #Constraints: 40012
2044.25/2049.83 c #Conflicts: 354000 | #Constraints: 41012
2044.25/2049.83 c #Conflicts: 355000 | #Constraints: 42012
2044.25/2049.83 c #Conflicts: 356000 | #Constraints: 43012
2044.25/2049.83 c INPROCESSING
2044.25/2049.83 c GARBAGE COLLECT
2044.25/2049.83 c #Conflicts: 357000 | #Constraints: 22481
2044.25/2049.83 c #Conflicts: 358000 | #Constraints: 23481
2044.25/2049.83 c #Conflicts: 359000 | #Constraints: 24481
2044.25/2049.83 c #Conflicts: 360000 | #Constraints: 25481
2044.25/2049.83 c #Conflicts: 361000 | #Constraints: 26481
2044.25/2049.83 c #Conflicts: 362000 | #Constraints: 27481
2044.25/2049.83 c #Conflicts: 363000 | #Constraints: 28481
2044.25/2049.83 c #Conflicts: 364000 | #Constraints: 29481
2044.25/2049.83 c #Conflicts: 365000 | #Constraints: 30481
2044.25/2049.83 c #Conflicts: 366000 | #Constraints: 31481
2044.25/2049.83 c #Conflicts: 367000 | #Constraints: 32481
2044.25/2049.83 c #Conflicts: 368000 | #Constraints: 33481
2044.25/2049.83 c #Conflicts: 369000 | #Constraints: 34481
2044.25/2049.83 c INPROCESSING
2044.25/2049.83 c GARBAGE COLLECT
2044.25/2049.83 c #Conflicts: 370000 | #Constraints: 18255
2044.25/2049.83 c #Conflicts: 371000 | #Constraints: 19255
2044.25/2049.83 c #Conflicts: 372000 | #Constraints: 20255
2044.25/2049.83 c #Conflicts: 373000 | #Constraints: 21255
2044.25/2049.83 c #Conflicts: 374000 | #Constraints: 22255
2044.25/2049.83 c #Conflicts: 375000 | #Constraints: 23255
2044.25/2049.83 c #Conflicts: 376000 | #Constraints: 24255
2044.25/2049.83 c #Conflicts: 377000 | #Constraints: 25255
2044.25/2049.83 c #Conflicts: 378000 | #Constraints: 26255
2044.25/2049.83 c #Conflicts: 379000 | #Constraints: 27255
2044.25/2049.83 c #Conflicts: 380000 | #Constraints: 28255
2044.25/2049.83 c #Conflicts: 381000 | #Constraints: 29255
2044.25/2049.83 c #Conflicts: 382000 | #Constraints: 30255
2044.25/2049.83 c INPROCESSING
2044.25/2049.83 c GARBAGE COLLECT
2044.25/2049.83 c #Conflicts: 383000 | #Constraints: 16100
2044.25/2049.83 c #Conflicts: 384000 | #Constraints: 17100
2044.25/2049.83 c #Conflicts: 385000 | #Constraints: 18100
2044.25/2049.83 c #Conflicts: 386000 | #Constraints: 19100
2044.25/2049.83 c #Conflicts: 387000 | #Constraints: 20100
2044.25/2049.83 c #Conflicts: 388000 | #Constraints: 21100
2044.25/2049.83 c #Conflicts: 389000 | #Constraints: 22100
2044.25/2049.83 c #Conflicts: 390000 | #Constraints: 23100
2044.25/2049.83 c #Conflicts: 391000 | #Constraints: 24100
2044.25/2049.83 c #Conflicts: 392000 | #Constraints: 25100
2044.25/2049.83 c #Conflicts: 393000 | #Constraints: 26100
2044.25/2049.83 c #Conflicts: 394000 | #Constraints: 27100
2044.25/2049.83 c #Conflicts: 395000 | #Constraints: 28100
2044.25/2049.83 c #Conflicts: 396000 | #Constraints: 29100
2044.25/2049.83 c #Conflicts: 397000 | #Constraints: 30100
2044.25/2049.83 c #Conflicts: 398000 | #Constraints: 31100
2044.25/2049.83 c #Conflicts: 399000 | #Constraints: 32100
2044.25/2049.83 c #Conflicts: 400000 | #Constraints: 33100
2044.25/2049.83 c #Conflicts: 401000 | #Constraints: 34100
2044.25/2049.83 c #Conflicts: 402000 | #Constraints: 35100
3279.73/3288.38 c #Conflicts: 403000 | #Constraints: 36100
3279.73/3288.38 c #Conflicts: 404000 | #Constraints: 37100
3279.73/3288.38 c #Conflicts: 405000 | #Constraints: 38100
3279.73/3288.38 c #Conflicts: 406000 | #Constraints: 39100
3279.73/3288.38 c #Conflicts: 407000 | #Constraints: 40100
3279.73/3288.38 c #Conflicts: 408000 | #Constraints: 41100
3279.73/3288.38 c #Conflicts: 409000 | #Constraints: 42100
3279.73/3288.38 c #Conflicts: 410000 | #Constraints: 43100
3279.73/3288.38 c #Conflicts: 411000 | #Constraints: 44100
3279.73/3288.38 c #Conflicts: 412000 | #Constraints: 45100
3279.73/3288.38 c #Conflicts: 413000 | #Constraints: 46100
3279.73/3288.38 c #Conflicts: 414000 | #Constraints: 47100
3279.73/3288.38 c #Conflicts: 415000 | #Constraints: 48100
3279.73/3288.38 c #Conflicts: 416000 | #Constraints: 49100
3279.73/3288.38 c #Conflicts: 417000 | #Constraints: 50100
3279.73/3288.38 c #Conflicts: 418000 | #Constraints: 51100
3279.73/3288.38 c #Conflicts: 419000 | #Constraints: 52100
3279.73/3288.38 c #Conflicts: 420000 | #Constraints: 53100
3279.73/3288.38 c #Conflicts: 421000 | #Constraints: 54100
3279.73/3288.38 c #Conflicts: 422000 | #Constraints: 55100
3279.73/3288.38 c #Conflicts: 423000 | #Constraints: 56100
3279.73/3288.38 c #Conflicts: 424000 | #Constraints: 57100
3279.73/3288.38 c #Conflicts: 425000 | #Constraints: 58100
3279.73/3288.38 c #Conflicts: 426000 | #Constraints: 59100
3279.73/3288.38 c #Conflicts: 427000 | #Constraints: 60100
3279.73/3288.38 c #Conflicts: 428000 | #Constraints: 61100
3279.73/3288.38 c #Conflicts: 429000 | #Constraints: 62100
3279.73/3288.38 c #Conflicts: 430000 | #Constraints: 63100
3279.73/3288.38 c #Conflicts: 431000 | #Constraints: 64100
3279.73/3288.38 c #Conflicts: 432000 | #Constraints: 65100
3279.73/3288.38 c #Conflicts: 433000 | #Constraints: 66100
3279.73/3288.38 c #Conflicts: 434000 | #Constraints: 67100
3279.73/3288.38 c #Conflicts: 435000 | #Constraints: 68100
3279.73/3288.38 c INPROCESSING
3279.73/3288.38 c GARBAGE COLLECT
3279.73/3288.38 c #Conflicts: 436000 | #Constraints: 35074
3279.73/3288.38 c #Conflicts: 437000 | #Constraints: 36074
3279.73/3288.38 c #Conflicts: 438000 | #Constraints: 37074
3279.73/3288.38 c #Conflicts: 439000 | #Constraints: 38074
3279.73/3288.38 c #Conflicts: 440000 | #Constraints: 39074
3279.73/3288.38 c #Conflicts: 441000 | #Constraints: 40074
3279.73/3288.38 c #Conflicts: 442000 | #Constraints: 41074
3279.73/3288.38 c #Conflicts: 443000 | #Constraints: 42074
3279.73/3288.38 c #Conflicts: 444000 | #Constraints: 43074
3279.73/3288.38 c #Conflicts: 445000 | #Constraints: 44074
3279.73/3288.38 c #Conflicts: 446000 | #Constraints: 45074
3279.73/3288.38 c #Conflicts: 447000 | #Constraints: 46074
3279.73/3288.38 c #Conflicts: 448000 | #Constraints: 47074
3279.73/3288.38 c #Conflicts: 449000 | #Constraints: 48074
3279.73/3288.38 c #Conflicts: 450000 | #Constraints: 49074
3279.73/3288.38 c INPROCESSING
3279.73/3288.38 c GARBAGE COLLECT
3279.73/3288.38 c #Conflicts: 451000 | #Constraints: 25857
3279.73/3288.38 c #Conflicts: 452000 | #Constraints: 26857
3279.73/3288.38 c #Conflicts: 453000 | #Constraints: 27857
3279.73/3288.38 c #Conflicts: 454000 | #Constraints: 28857
3279.73/3288.38 c #Conflicts: 455000 | #Constraints: 29857
3279.73/3288.38 c #Conflicts: 456000 | #Constraints: 30857
3279.73/3288.38 c #Conflicts: 457000 | #Constraints: 31857
3279.73/3288.38 c #Conflicts: 458000 | #Constraints: 32857
3279.73/3288.38 c #Conflicts: 459000 | #Constraints: 33857
3279.73/3288.38 c #Conflicts: 460000 | #Constraints: 34857
3279.73/3288.38 c #Conflicts: 461000 | #Constraints: 35857
3279.73/3288.38 c #Conflicts: 462000 | #Constraints: 36857
3279.73/3288.38 c #Conflicts: 463000 | #Constraints: 37857
3279.73/3288.38 c #Conflicts: 464000 | #Constraints: 38857
3279.73/3288.38 c INPROCESSING
3279.73/3288.38 c GARBAGE COLLECT
3279.73/3288.38 c #Conflicts: 465000 | #Constraints: 20443
3279.73/3288.38 c #Conflicts: 466000 | #Constraints: 21443
3279.73/3288.38 c #Conflicts: 467000 | #Constraints: 22443
3279.73/3288.38 c #Conflicts: 468000 | #Constraints: 23443
3279.73/3288.38 c #Conflicts: 469000 | #Constraints: 24443
3279.73/3288.38 c #Conflicts: 470000 | #Constraints: 25443
3279.73/3288.38 c #Conflicts: 471000 | #Constraints: 26443
3279.73/3288.38 c #Conflicts: 472000 | #Constraints: 27443
3279.73/3288.38 c #Conflicts: 473000 | #Constraints: 28443
3279.73/3288.38 c #Conflicts: 474000 | #Constraints: 29443
3279.73/3288.38 c #Conflicts: 475000 | #Constraints: 30443
3279.73/3288.38 c #Conflicts: 476000 | #Constraints: 31443
3279.73/3288.38 c #Conflicts: 477000 | #Constraints: 32443
3279.73/3288.38 c #Conflicts: 478000 | #Constraints: 33443
3279.73/3288.38 c #Conflicts: 479000 | #Constraints: 34443
3600.07/3609.40 c #Conflicts: 480000 | #Constraints: 35443
3600.07/3609.40 c #Conflicts: 481000 | #Constraints: 36443
3600.07/3609.40 c #Conflicts: 482000 | #Constraints: 37443
3600.07/3609.40 c #Conflicts: 483000 | #Constraints: 38443
3600.07/3609.40 c #Conflicts: 484000 | #Constraints: 39443
3600.07/3609.40 c #Conflicts: 485000 | #Constraints: 40443
3600.07/3609.40 c #Conflicts: 486000 | #Constraints: 41443
3600.07/3609.40 c #Conflicts: 487000 | #Constraints: 42443
3600.07/3609.40 c #Conflicts: 488000 | #Constraints: 43443
3600.07/3609.40 c #Conflicts: 489000 | #Constraints: 44443
3600.07/3609.40 c #Conflicts: 490000 | #Constraints: 45443
3600.07/3609.40 c #Conflicts: 491000 | #Constraints: 46443
3600.07/3609.40 c #Conflicts: 492000 | #Constraints: 47443
3600.07/3609.40 c #Conflicts: 493000 | #Constraints: 48443
3600.07/3609.40 c #Conflicts: 494000 | #Constraints: 49443
3600.07/3609.40 c #Conflicts: 495000 | #Constraints: 50443
3600.07/3609.40 c #Conflicts: 496000 | #Constraints: 51443
3600.07/3609.40 c Program interrupted by user.
3600.07/3609.40 c cpu time 3591.27 s
3600.07/3609.40 c deterministic time 354166693964 3.54e+11
3600.07/3609.40 c optimization time 485.484 s
3600.07/3609.40 c total solve time 3105.78 s
3600.07/3609.40 c core-guided solve time 3105.78 s
3600.07/3609.40 c propagation time 3326.78 s
3600.07/3609.40 c conflict analysis time 251.64 s
3600.07/3609.40 c propagations 47772856
3600.07/3609.40 c resolve steps 5278324
3600.07/3609.40 c decisions 6142141
3600.07/3609.40 c conflicts 496038
3600.07/3609.40 c restarts 1022
3600.07/3609.40 c inprocessing phases 46
3600.07/3609.40 c input clauses 362
3600.07/3609.40 c input cardinalities 288
3600.07/3609.40 c input general constraints 143
3600.07/3609.40 c input average constraint length 23.84
3600.07/3609.40 c input average constraint degree 6.59
3600.07/3609.40 c learned clauses 119568
3600.07/3609.40 c learned cardinalities 6025
3600.07/3609.40 c learned general constraints 370445
3600.07/3609.40 c learned average constraint length 116.65
3600.07/3609.40 c learned average constraint degree 3663224.90
3600.07/3609.40 c watched constraints 330360
3600.07/3609.40 c counting constraints 40228
3600.07/3609.40 c gcd simplifications 9797
3600.07/3609.40 c detected cardinalities 171
3600.07/3609.40 c weakened non-implied lits 5357646
3600.07/3609.40 c weakened non-implying lits 15534
3600.07/3609.40 c original variables 225
3600.07/3609.40 c clausal propagations 10780248
3600.07/3609.40 c cardinality propagations 1156400
3600.07/3609.40 c watched propagations 13828228
3600.07/3609.40 c counting propagations 21661345
3600.07/3609.40 c watch lookups 76262286113
3600.07/3609.40 c watch backjump lookups 71862539167
3600.07/3609.40 c watch checks 180116381582
3600.07/3609.40 c propagation checks 25563198572
3600.07/3609.40 c constraint additions 253962542
3600.07/3609.40 c trail pops 54410990
3600.07/3609.40 c formula constraints 225
3600.07/3609.40 c learned constraints 496038
3600.07/3609.40 c bound constraints 60
3600.07/3609.40 c core-guided constraints 508
3600.07/3609.40 c encountered formula constraints 251674
3600.07/3609.40 c encountered learned constraints 4492677
3600.07/3609.40 c encountered bound constraints 52
3600.07/3609.40 c encountered core-guided constraints 1029959
3600.07/3609.40 c LP total time 0 s
3600.07/3609.40 c LP solve time 0 s
3600.07/3609.40 c LP constraints added 0
3600.07/3609.40 c LP constraints removed 0
3600.07/3609.40 c LP pivots internal 0
3600.07/3609.40 c LP pivots root 0
3600.07/3609.40 c LP calls 0
3600.07/3609.40 c LP optimalities 0
3600.07/3609.40 c LP no pivot count 0
3600.07/3609.40 c LP infeasibilities 0
3600.07/3609.40 c LP valid Farkas constraints 0
3600.07/3609.40 c LP learned Farkas constraints 0
3600.07/3609.40 c LP basis resets 0
3600.07/3609.40 c LP cycling count 0
3600.07/3609.40 c LP singular count 0
3600.07/3609.40 c LP no primal count 0
3600.07/3609.40 c LP no farkas count 0
3600.07/3609.40 c LP other issue count 0
3600.07/3609.40 c LP Gomory cuts 0
3600.07/3609.40 c LP learned cuts 0
3600.07/3609.40 c LP deleted cuts 0
3600.07/3609.40 c LP encountered Gomory constraints 0
3600.07/3609.40 c LP encountered Farkas constraints 0
3600.07/3609.40 c LP encountered learned Farkas constraints 0
3600.07/3609.40 c CG auxiliary variables introduced 186
3600.07/3609.40 c CG solutions found 5
3600.07/3609.40 c CG cores constructed 51
3600.07/3609.40 c CG core cardinality constraints returned 0
3600.07/3609.40 c CG unit cores 0
3600.07/3609.40 c CG single cores 51
3600.07/3609.40 c CG blocks removed during cardinality reduction 0
3600.07/3609.40 c CG first core best 0
3600.07/3609.40 c CG decision core best 0
3600.07/3609.40 c CG core reduction tie 0
3600.07/3609.40 c CG core degree average 1.00
3600.07/3609.40 c CG core slack average 6.88
3600.07/3609.40 c CG exhausted 0
3600.07/3609.40 c CG exhaust time 10.4091 s
3600.07/3609.40 c CG trimmed 1
3600.07/3609.40 c CG trim time 0.007994 s
3600.07/3609.40 c CG minimized 0
3600.07/3609.40 c CG minimize time 0 s
3600.07/3609.40 c CG am1 prop time 0.004373 s
3600.07/3609.40 c CG # am1s reformulated 0
3600.07/3609.40 c CG lower bound derived from am1s 0
3600.07/3609.40 c CG # clausal cores 51
3600.07/3609.40 c CG # cardinality cores 0
3600.07/3609.40 c CG # pb cores 0
3600.07/3609.40 c CG # pb reforms 0
3600.07/3609.40 c CG # cores discarded because of pb reform 0
3600.07/3609.40 d LOWERBOUND 51
3600.07/3609.40 d NCORES 51
3600.07/3609.40 d NPBCORES 0
3600.07/3609.40 d NPBREFORM 0
3600.07/3609.40 d NTRIMMED 1
3600.07/3609.40 d NEXHAUSTED 0
3600.07/3609.40 d NAM1S 0
3600.07/3609.40 d AM1LB 0
3600.07/3609.40 o 53
3600.07/3609.40 s SATISFIABLE
3600.07/3609.40 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
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: 63968 MiB (61810 MiB free)
memory of node 1: 64473 MiB (63401 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435845-1721083332/watcher-4435845-1721083332 -o /tmp/evaluation-result-4435845-1721083332/solver-4435845-1721083332 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721083344-825195 --watchdog 3760 pb-oll-rs HOME/instance-4435845-1721083332.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=825382, runsolver pid=825379
[startup+0.100832 s]*
/proc/loadavg: 1.26 1.21 1.44 4/255 825408
/proc/meminfo: memFree=128203224/131524600 swapFree=131071996/131071996
[pid=825382] ppid=825379 vsize=41264 memory=10480 CPUtime=0.09 cores=5,7
/proc/825382/stat : 825382 (pb-oll-rs) R 825379 825382 825182 0 -1 4194304 898 0 0 0 8 1 0 0 20 0 1 0 160496670 42254336 2620 134679101440 4194304 5384005 140731544733424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 12492800 140731544740887 140731544740964 140731544740964 140731544747979 0
/proc/825382/statm: 10316 2620 1376 291 0 1850 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41264 KiB
Current children cumulated memory: 10480 KiB
[startup+0.205376 s]*
/proc/loadavg: 1.26 1.21 1.44 4/255 825408
/proc/meminfo: memFree=128199252/131524600 swapFree=131071996/131071996
[pid=825382] ppid=825379 vsize=41840 memory=11212 CPUtime=0.19 cores=5,7
/proc/825382/stat : 825382 (pb-oll-rs) R 825379 825382 825182 0 -1 4194304 1046 0 0 0 18 1 0 0 20 0 1 0 160496670 42844160 2803 134679101440 4194304 5384005 140731544733424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 12492800 140731544740887 140731544740964 140731544740964 140731544747979 0
/proc/825382/statm: 10460 2803 1431 291 0 1994 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 41840 KiB
Current children cumulated memory: 11212 KiB
[startup+0.304686 s]*
/proc/loadavg: 1.26 1.21 1.44 5/253 825428
/proc/meminfo: memFree=128185212/131524600 swapFree=131071996/131071996
[pid=825382] ppid=825379 vsize=43396 memory=14316 CPUtime=0.29 cores=5,7
/proc/825382/stat : 825382 (pb-oll-rs) R 825379 825382 825182 0 -1 4194304 1351 0 0 0 28 1 0 0 20 0 1 0 160496670 44437504 3579 134679101440 4194304 5384005 140731544733424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 12492800 140731544740887 140731544740964 140731544740964 140731544747979 0
/proc/825382/statm: 10849 3579 1431 291 0 2383 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 43396 KiB
Current children cumulated memory: 14316 KiB
[startup+0.700205 s]
/proc/loadavg: 1.26 1.21 1.44 5/258 825440
/proc/meminfo: memFree=128124488/131524600 swapFree=131071996/131071996
[pid=825382] ppid=825379 vsize=44036 memory=15104 CPUtime=0.68 cores=5,7
/proc/825382/stat : 825382 (pb-oll-rs) R 825379 825382 825182 0 -1 4194304 1506 0 0 0 65 3 0 0 20 0 1 0 160496670 45092864 3776 134679101440 4194304 5384005 140731544733424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 12492800 140731544740887 140731544740964 140731544740964 140731544747979 0
/proc/825382/statm: 11009 3776 1431 291 0 2543 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 44036 KiB
Current children cumulated memory: 15104 KiB
[startup+1.50021 s]
/proc/loadavg: 1.26 1.21 1.44 5/258 825440
/proc/meminfo: memFree=128113224/131524600 swapFree=131071996/131071996
[pid=825382] ppid=825379 vsize=45284 memory=16160 CPUtime=1.48 cores=5,7
/proc/825382/stat : 825382 (pb-oll-rs) R 825379 825382 825182 0 -1 4194304 1791 0 0 0 142 6 0 0 20 0 1 0 160496670 46370816 4040 134679101440 4194304 5384005 140731544733424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 12492800 140731544740887 140731544740964 140731544740964 140731544747979 0
/proc/825382/statm: 11321 4040 1431 291 0 2855 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 45284 KiB
Current children cumulated memory: 16160 KiB
[startup+3.1053 s]
/proc/loadavg: 1.26 1.21 1.44 5/258 825578
/proc/meminfo: memFree=128014084/131524600 swapFree=131071996/131071996
[pid=825382] ppid=825379 vsize=55324 memory=22632 CPUtime=3.08 cores=5,7
/proc/825382/stat : 825382 (pb-oll-rs) R 825379 825382 825182 0 -1 4194304 3430 0 0 0 297 11 0 0 20 0 1 0 160496670 56651776 5658 134679101440 4194304 5384005 140731544733424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 12492800 140731544740887 140731544740964 140731544740964 140731544747979 0
/proc/825382/statm: 13831 5658 1431 291 0 5365 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 55324 KiB
Current children cumulated memory: 22632 KiB
[startup+6.3002 s]
/proc/loadavg: 1.48 1.26 1.46 5/258 825718
/proc/meminfo: memFree=127946432/131524600 swapFree=131071996/131071996
[pid=825382] ppid=825379 vsize=58180 memory=26568 CPUtime=6.27 cores=5,7
/proc/825382/stat : 825382 (pb-oll-rs) R 825379 825382 825182 0 -1 4194304 4377 0 0 0 608 19 0 0 20 0 1 0 160496670 59576320 6642 134679101440 4194304 5384005 140731544733424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 12492800 140731544740887 140731544740964 140731544740964 140731544747979 0
/proc/825382/statm: 14545 6642 1431 291 0 6079 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 58180 KiB
Current children cumulated memory: 26568 KiB
[startup+12.7002 s]
/proc/loadavg: 1.68 1.31 1.47 5/258 825718
/proc/meminfo: memFree=127931544/131524600 swapFree=131071996/131071996
[pid=825382] ppid=825379 vsize=61596 memory=30576 CPUtime=12.66 cores=5,7
/proc/825382/stat : 825382 (pb-oll-rs) R 825379 825382 825182 0 -1 4194304 5369 0 0 0 1234 32 0 0 20 0 1 0 160496670 63074304 7644 134679101440 4194304 5384005 140731544733424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 12492800 140731544740887 140731544740964 140731544740964 140731544747979 0
/proc/825382/statm: 15399 7644 1431 291 0 6933 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 61596 KiB
Current children cumulated memory: 30576 KiB
[startup+25.5002 s]
/proc/loadavg: 2.19 1.44 1.51 5/258 825719
/proc/meminfo: memFree=127902940/131524600 swapFree=131071996/131071996
[pid=825382] ppid=825379 vsize=63592 memory=32372 CPUtime=25.42 cores=5,7
/proc/825382/stat : 825382 (pb-oll-rs) R 825379 825382 825182 0 -1 4194304 5838 0 0 0 2497 45 0 0 20 0 1 0 160496670 65118208 8093 134679101440 4194304 5384005 140731544733424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 12492800 140731544740887 140731544740964 140731544740964 140731544747979 0
/proc/825382/statm: 15898 8093 1431 291 0 7432 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 63592 KiB
Current children cumulated memory: 32372 KiB
[startup+51.1053 s]
/proc/loadavg: 2.87 1.66 1.59 5/258 825816
/proc/meminfo: memFree=127784428/131524600 swapFree=131071996/131071996
[pid=825382] ppid=825379 vsize=69684 memory=38328 CPUtime=50.96 cores=5,7
/proc/825382/stat : 825382 (pb-oll-rs) R 825379 825382 825182 0 -1 4194304 6327 0 0 0 5018 78 0 0 20 0 1 0 160496670 71356416 9582 134679101440 4194304 5384005 140731544733424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 12492800 140731544740887 140731544740964 140731544740964 140731544747979 0
/proc/825382/statm: 17421 9582 1431 291 0 8955 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 69684 KiB
Current children cumulated memory: 38328 KiB
[startup+102.3 s]
/proc/loadavg: 3.56 2.04 1.72 5/258 825827
/proc/meminfo: memFree=127676428/131524600 swapFree=131071996/131071996
[pid=825382] ppid=825379 vsize=71008 memory=41504 CPUtime=102.04 cores=5,7
/proc/825382/stat : 825382 (pb-oll-rs) R 825379 825382 825182 0 -1 4194304 6701 0 0 0 10083 121 0 0 20 0 1 0 160496670 72712192 10376 134679101440 4194304 5384005 140731544733424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 12492800 140731544740887 140731544740964 140731544740964 140731544747979 0
/proc/825382/statm: 17752 10376 1431 291 0 9286 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 71008 KiB
Current children cumulated memory: 41504 KiB
[startup+162.3 s]
/proc/loadavg: 3.92 2.43 1.88 5/258 825837
/proc/meminfo: memFree=127574448/131524600 swapFree=131071996/131071996
[pid=825382] ppid=825379 vsize=73032 memory=43688 CPUtime=161.88 cores=5,7
/proc/825382/stat : 825382 (pb-oll-rs) R 825379 825382 825182 0 -1 4194304 7319 0 0 0 16022 166 0 0 20 0 1 0 160496670 74784768 10922 134679101440 4194304 5384005 140731544733424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 12492800 140731544740887 140731544740964 140731544740964 140731544747979 0
/proc/825382/statm: 18258 10922 1431 291 0 9792 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 73032 KiB
Current children cumulated memory: 43688 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 2.75 2.02 5/255 825847
/proc/meminfo: memFree=127505448/131524600 swapFree=131071996/131071996
[pid=825382] ppid=825379 vsize=99572 memory=58604 CPUtime=221.7 cores=5,7
/proc/825382/stat : 825382 (pb-oll-rs) R 825379 825382 825182 0 -1 4194304 10070 0 0 0 21979 191 0 0 20 0 1 0 160496670 101961728 14651 134679101440 4194304 5384005 140731544733424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 12492800 140731544740887 140731544740964 140731544740964 140731544747979 0
/proc/825382/statm: 24893 14651 1431 291 0 16427 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 99572 KiB
Current children cumulated memory: 58604 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 2.99 2.15 5/255 825857
/proc/meminfo: memFree=127427796/131524600 swapFree=131071996/131071996
[pid=825382] ppid=825379 vsize=105984 memory=72272 CPUtime=281.52 cores=5,7
/proc/825382/stat : 825382 (pb-oll-rs) R 825379 825382 825182 0 -1 4194304 11448 0 0 0 27947 205 0 0 20 0 1 0 160496670 108527616 18068 134679101440 4194304 5384005 140731544733424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 12492800 140731544740887 140731544740964 140731544740964 140731544747979 0
/proc/825382/statm: 26496 18068 1431 291 0 18030 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 105984 KiB
Current children cumulated memory: 72272 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 3.21 2.28 5/254 825868
/proc/meminfo: memFree=127312420/131524600 swapFree=131071996/131071996
[pid=825382] ppid=825379 vsize=131240 memory=81072 CPUtime=341.33 cores=5,7
/proc/825382/stat : 825382 (pb-oll-rs) R 825379 825382 825182 0 -1 4194304 13264 0 0 0 33912 221 0 0 20 0 1 0 160496670 134389760 20268 134679101440 4194304 5384005 140731544733424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 12492800 140731544740887 140731544740964 140731544740964 140731544747979 0
/proc/825382/statm: 32810 20268 1431 291 0 24344 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 131240 KiB
Current children cumulated memory: 81072 KiB
[startup+402.3 s]
/proc/loadavg: 4.19 3.39 2.40 5/254 825878
/proc/meminfo: memFree=127250208/131524600 swapFree=131071996/131071996
[pid=825382] ppid=825379 vsize=133572 memory=87492 CPUtime=401.14 cores=5,7
/proc/825382/stat : 825382 (pb-oll-rs) R 825379 825382 825182 0 -1 4194304 13962 0 0 0 39878 236 0 0 20 0 1 0 160496670 136777728 21873 134679101440 4194304 5384005 140731544733424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 12492800 140731544740887 140731544740964 140731544740964 140731544747979 0
/proc/825382/statm: 33393 21873 1431 291 0 24927 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 133572 KiB
Current children cumulated memory: 87492 KiB
[startup+462.3 s]
/proc/loadavg: 4.19 3.53 2.52 5/254 825888
/proc/meminfo: memFree=127181728/131524600 swapFree=131071996/131071996
[pid=825382] ppid=825379 vsize=133572 memory=87492 CPUtime=460.96 cores=5,7
/proc/825382/stat : 825382 (pb-oll-rs) R 825379 825382 825182 0 -1 4194304 13975 0 0 0 45844 252 0 0 20 0 1 0 160496670 136777728 21873 134679101440 4194304 5384005 140731544733424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 12492800 140731544740887 140731544740964 140731544740964 140731544747979 0
/proc/825382/statm: 33393 21873 1431 291 0 24927 0
################
# More data... #
################
Current children cumulated memory: 144160 KiB
[startup+2862.3 s]
/proc/loadavg: 4.06 4.09 4.00 5/258 827446
/proc/meminfo: memFree=125883728/131524600 swapFree=131071996/131071996
[pid=825382] ppid=825379 vsize=197004 memory=144160 CPUtime=2854.72 cores=5,7
/proc/825382/stat : 825382 (pb-oll-rs) R 825379 825382 825182 0 -1 4194304 22567 0 0 0 284711 761 0 0 20 0 1 0 160496670 201732096 36040 134679101440 4194304 5384005 140731544733424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 12492800 140731544740887 140731544740964 140731544740964 140731544747979 0
/proc/825382/statm: 49251 36040 1431 291 0 40785 0
Current children cumulated CPU time: 2854.72 s
Current children cumulated vsize: 197004 KiB
Current children cumulated memory: 144160 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.10 4.01 5/260 827515
/proc/meminfo: memFree=125873472/131524600 swapFree=131071996/131071996
[pid=825382] ppid=825379 vsize=197004 memory=144160 CPUtime=2914.58 cores=5,7
/proc/825382/stat : 825382 (pb-oll-rs) R 825379 825382 825182 0 -1 4194304 22619 0 0 0 290688 770 0 0 20 0 1 0 160496670 201732096 36040 134679101440 4194304 5384005 140731544733424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 12492800 140731544740887 140731544740964 140731544740964 140731544747979 0
/proc/825382/statm: 49251 36040 1431 291 0 40785 0
Current children cumulated CPU time: 2914.58 s
Current children cumulated vsize: 197004 KiB
Current children cumulated memory: 144160 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.11 4.02 5/259 827525
/proc/meminfo: memFree=125858896/131524600 swapFree=131071996/131071996
[pid=825382] ppid=825379 vsize=197524 memory=144476 CPUtime=2974.44 cores=5,7
/proc/825382/stat : 825382 (pb-oll-rs) R 825379 825382 825182 0 -1 4194304 22755 0 0 0 296663 781 0 0 20 0 1 0 160496670 202264576 36119 134679101440 4194304 5384005 140731544733424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 12492800 140731544740887 140731544740964 140731544740964 140731544747979 0
/proc/825382/statm: 49381 36119 1431 291 0 40915 0
Current children cumulated CPU time: 2974.44 s
Current children cumulated vsize: 197524 KiB
Current children cumulated memory: 144476 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.11 4.02 5/259 827536
/proc/meminfo: memFree=125842172/131524600 swapFree=131071996/131071996
[pid=825382] ppid=825379 vsize=197524 memory=144476 CPUtime=3034.3 cores=5,7
/proc/825382/stat : 825382 (pb-oll-rs) R 825379 825382 825182 0 -1 4194304 22801 0 0 0 302639 791 0 0 20 0 1 0 160496670 202264576 36119 134679101440 4194304 5384005 140731544733424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 12492800 140731544740887 140731544740964 140731544740964 140731544747979 0
/proc/825382/statm: 49381 36119 1431 291 0 40915 0
Current children cumulated CPU time: 3034.3 s
Current children cumulated vsize: 197524 KiB
Current children cumulated memory: 144476 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.10 4.02 5/257 827548
/proc/meminfo: memFree=125816400/131524600 swapFree=131071996/131071996
[pid=825382] ppid=825379 vsize=197524 memory=144496 CPUtime=3094.15 cores=5,7
/proc/825382/stat : 825382 (pb-oll-rs) R 825379 825382 825182 0 -1 4194304 22848 0 0 0 308614 801 0 0 20 0 1 0 160496670 202264576 36124 134679101440 4194304 5384005 140731544733424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 12492800 140731544740887 140731544740964 140731544740964 140731544747979 0
/proc/825382/statm: 49381 36124 1431 291 0 40915 0
Current children cumulated CPU time: 3094.15 s
Current children cumulated vsize: 197524 KiB
Current children cumulated memory: 144496 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.09 4.02 5/257 827558
/proc/meminfo: memFree=125801884/131524600 swapFree=131071996/131071996
[pid=825382] ppid=825379 vsize=197524 memory=144496 CPUtime=3154.02 cores=5,7
/proc/825382/stat : 825382 (pb-oll-rs) R 825379 825382 825182 0 -1 4194304 22904 0 0 0 314586 816 0 0 20 0 1 0 160496670 202264576 36124 134679101440 4194304 5384005 140731544733424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 12492800 140731544740887 140731544740964 140731544740964 140731544747979 0
/proc/825382/statm: 49381 36124 1431 291 0 40915 0
Current children cumulated CPU time: 3154.02 s
Current children cumulated vsize: 197524 KiB
Current children cumulated memory: 144496 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.09 4.02 5/255 827568
/proc/meminfo: memFree=125777240/131524600 swapFree=131071996/131071996
[pid=825382] ppid=825379 vsize=197524 memory=144496 CPUtime=3213.88 cores=5,7
/proc/825382/stat : 825382 (pb-oll-rs) R 825379 825382 825182 0 -1 4194304 22947 0 0 0 320558 830 0 0 20 0 1 0 160496670 202264576 36124 134679101440 4194304 5384005 140731544733424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 12492800 140731544740887 140731544740964 140731544740964 140731544747979 0
/proc/825382/statm: 49381 36124 1431 291 0 40915 0
Current children cumulated CPU time: 3213.88 s
Current children cumulated vsize: 197524 KiB
Current children cumulated memory: 144496 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.10 4.02 5/254 827578
/proc/meminfo: memFree=125755208/131524600 swapFree=131071996/131071996
[pid=825382] ppid=825379 vsize=197524 memory=144528 CPUtime=3273.74 cores=5,7
/proc/825382/stat : 825382 (pb-oll-rs) R 825379 825382 825182 0 -1 4194304 22993 0 0 0 326534 840 0 0 20 0 1 0 160496670 202264576 36132 134679101440 4194304 5384005 140731544733424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 12492800 140731544740887 140731544740964 140731544740964 140731544747979 0
/proc/825382/statm: 49381 36132 1431 291 0 40915 0
Current children cumulated CPU time: 3273.74 s
Current children cumulated vsize: 197524 KiB
Current children cumulated memory: 144528 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.09 4.02 5/254 827589
/proc/meminfo: memFree=125745920/131524600 swapFree=131071996/131071996
[pid=825382] ppid=825379 vsize=197524 memory=144528 CPUtime=3333.6 cores=5,7
/proc/825382/stat : 825382 (pb-oll-rs) R 825379 825382 825182 0 -1 4194304 23040 0 0 0 332509 851 0 0 20 0 1 0 160496670 202264576 36132 134679101440 4194304 5384005 140731544733424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 12492800 140731544740887 140731544740964 140731544740964 140731544747979 0
/proc/825382/statm: 49381 36132 1431 291 0 40915 0
Current children cumulated CPU time: 3333.6 s
Current children cumulated vsize: 197524 KiB
Current children cumulated memory: 144528 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.10 4.03 5/254 827599
/proc/meminfo: memFree=125711952/131524600 swapFree=131071996/131071996
[pid=825382] ppid=825379 vsize=197524 memory=144528 CPUtime=3393.46 cores=5,7
/proc/825382/stat : 825382 (pb-oll-rs) R 825379 825382 825182 0 -1 4194304 23090 0 0 0 338488 858 0 0 20 0 1 0 160496670 202264576 36132 134679101440 4194304 5384005 140731544733424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 12492800 140731544740887 140731544740964 140731544740964 140731544747979 0
/proc/825382/statm: 49381 36132 1431 291 0 40915 0
Current children cumulated CPU time: 3393.46 s
Current children cumulated vsize: 197524 KiB
Current children cumulated memory: 144528 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.03 5/254 827609
/proc/meminfo: memFree=125695100/131524600 swapFree=131071996/131071996
[pid=825382] ppid=825379 vsize=197524 memory=144528 CPUtime=3453.32 cores=5,7
/proc/825382/stat : 825382 (pb-oll-rs) R 825379 825382 825182 0 -1 4194304 23141 0 0 0 344467 865 0 0 20 0 1 0 160496670 202264576 36132 134679101440 4194304 5384005 140731544733424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 12492800 140731544740887 140731544740964 140731544740964 140731544747979 0
/proc/825382/statm: 49381 36132 1431 291 0 40915 0
Current children cumulated CPU time: 3453.32 s
Current children cumulated vsize: 197524 KiB
Current children cumulated memory: 144528 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.11 4.03 5/256 827624
/proc/meminfo: memFree=125674432/131524600 swapFree=131071996/131071996
[pid=825382] ppid=825379 vsize=197524 memory=144528 CPUtime=3513.18 cores=5,7
/proc/825382/stat : 825382 (pb-oll-rs) R 825379 825382 825182 0 -1 4194304 23193 0 0 0 350447 871 0 0 20 0 1 0 160496670 202264576 36132 134679101440 4194304 5384005 140731544733424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 12492800 140731544740887 140731544740964 140731544740964 140731544747979 0
/proc/825382/statm: 49381 36132 1431 291 0 40915 0
Current children cumulated CPU time: 3513.18 s
Current children cumulated vsize: 197524 KiB
Current children cumulated memory: 144528 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.10 4.03 5/256 827634
/proc/meminfo: memFree=125639104/131524600 swapFree=131071996/131071996
[pid=825382] ppid=825379 vsize=197524 memory=144528 CPUtime=3573.03 cores=5,7
/proc/825382/stat : 825382 (pb-oll-rs) R 825379 825382 825182 0 -1 4194304 23246 0 0 0 356426 877 0 0 20 0 1 0 160496670 202264576 36132 134679101440 4194304 5384005 140731544733424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 12492800 140731544740887 140731544740964 140731544740964 140731544747979 0
/proc/825382/statm: 49381 36132 1431 291 0 40915 0
Current children cumulated CPU time: 3573.03 s
Current children cumulated vsize: 197524 KiB
Current children cumulated memory: 144528 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 4.15 4.11 4.04 4/253 827652
/proc/meminfo: memFree=126267108/131524600 swapFree=131071996/131071996
[pid=825382] ppid=825379 vsize=197524 memory=144528 CPUtime=3600.07 cores=5,7
/proc/825382/stat : 825382 (pb-oll-rs) R 825379 825382 825182 0 -1 4194304 23300 0 0 0 359126 881 0 0 20 0 1 0 160496670 202264576 36132 134679101440 4194304 5384005 140731544733424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 12492800 140731544740887 140731544740964 140731544740964 140731544747979 0
/proc/825382/statm: 49381 36132 1431 291 0 40915 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 197524 KiB
Current children cumulated memory: 144528 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.4 s]
# the end of solver process 825382 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.27 s, system=8.81517 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.4
CPU time (s): 3600.08
CPU user time (s): 3591.27
CPU system time (s): 8.81517
CPU usage (%): 99.7418
Max. virtual memory (cumulated for all children) (KiB): 197600
Max. memory (cumulated for all children) (KiB): 144528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.27
system time used= 8.81517
maximum resident set size= 144528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23314
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= 49
involuntary context switches= 2083
# summary of solver processes directly reported to runsolver:
# pid: 825382
# total CPU time (s): 3600.08
# total CPU user time (s): 3591.27
# total CPU system time (s): 8.81517
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.51196 second user time and 16.3255 second system time
The end
Begin job on nodeC020 at 2024-07-16 00:42:25
IDJOB=4435845
IDBENCH=147228
IDSOLVER=3067
FILE ID=nodeC020/4435845-1721083332
RUNJOBID= nodeC020-1721083344-825195
SLURM_JOB_ID= 7505569
Free space on /tmp= 890080 MiB
SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/sorensson/garden/normalized-g15x15.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435845-1721083332/watcher-4435845-1721083332 -o /tmp/evaluation-result-4435845-1721083332/solver-4435845-1721083332 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721083344-825195 --watchdog 3760 pb-oll-rs HOME/instance-4435845-1721083332.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 83e8c133f6310d52aedf789f310352e0
RANDOM SEED=1008948840
nodeC020.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 3652.324
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.05
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 : 3559.425
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.84
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 : 3602.120
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.05
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 : 3634.319
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.84
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 : 3657.316
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.05
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 : 3630.211
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.84
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 : 3612.366
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.05
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 : 3372.593
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.84
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128226992 kB
MemAvailable: 129723056 kB
Buffers: 387668 kB
Cached: 1933180 kB
SwapCached: 0 kB
Active: 617292 kB
Inactive: 2064740 kB
Active(anon): 1456 kB
Inactive(anon): 397124 kB
Active(file): 615836 kB
Inactive(file): 1667616 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 6668 kB
Writeback: 0 kB
AnonPages: 360252 kB
Mapped: 105928 kB
Shmem: 37720 kB
KReclaimable: 104868 kB
Slab: 211412 kB
SReclaimable: 104868 kB
SUnreclaim: 106544 kB
KernelStack: 4060 kB
PageTables: 9604 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 684196 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 59168 kB
HardwareCorrupted: 0 kB
AnonHugePages: 231424 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 189140 kB
DirectMap2M: 15312896 kB
DirectMap1G: 120586240 kB
Free space on /tmp at the end= 890048 MiB
End job on nodeC020 at 2024-07-16 01:42:34