(1,30) (2,14) (3,20) (4,5) (6,19) (7,12) (8,18) (9,26) (10,21) (11,27) (13,25) (15,22) (16,23) (17,24) (28,29) 
nodes: 136594  conflicts: 8  modelTime: 958  solveTime: 875543  totalTime: 876530  modelSize: 72264  readTime: 29 size: 15