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