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