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