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