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