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