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