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