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