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