(1,26) (2,25) (3,22) (4,30) (5,11) (6,7) (8,9) (10,13) (12,20) (14,24) (15,29) (16,27) (17,18) (19,21) (23,28) 
nodes: 71835  conflicts: 27  modelTime: 937  solveTime: 186795  totalTime: 187763  modelSize: 72269  readTime: 31 size: 15