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