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