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