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