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