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