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