(1,26) (3,21) (4,29) (5,19) (6,28) (7,16) (8,24) (9,22) (10,25) (11,27) (14,30) (15,23) 
nodes: 1805  conflicts: 50  modelTime: 693  solveTime: 1713  totalTime: 2413  modelSize: 41292  readTime: 7 size: 12