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