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