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