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