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