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