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