(1,14) (2,26) (3,13) (4,28) (5,10) (6,19) (7,18) (8,21) (9,20) (11,22) (12,25) (15,29) (16,30) (17,27) (23,24) 
nodes: 238574  conflicts: 47  modelTime: 970  solveTime: 1053133  totalTime: 1054114  modelSize: 72268  readTime: 11 size: 15