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