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