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