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