(1,25) (2,29) (4,27) (5,26) (6,28) (8,18) (9,30) (10,24) (11,22) (12,21) (13,20) (15,23) 
nodes: 2107  conflicts: 53  modelTime: 662  solveTime: 2847  totalTime: 3529  modelSize: 41293  readTime: 20 size: 12