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