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