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