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