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