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