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