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