(1,26) (4,19) (5,22) (7,21) (8,20) (9,30) (10,29) (11,16) (12,28) (13,27) (14,23) (15,25) 
nodes: 810  conflicts: 44  modelTime: 662  solveTime: 1453  totalTime: 2121  modelSize: 41293  readTime: 6 size: 12