(2,26) (3,29) (4,23) (5,21) (6,20) (8,19) (9,30) (11,24) (12,22) (13,28) (15,25) 
nodes: 2022  conflicts: 49  modelTime: 659  solveTime: 3153  totalTime: 3818  modelSize: 41293  readTime: 6 size: 11