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