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