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