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