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