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