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