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