(1,19) (2,21) (3,24) (4,27) (5,26) (6,28) (7,18) (9,23) (10,16) (11,22) (14,30) (15,29) 
nodes: 1435  conflicts: 55  modelTime: 663  solveTime: 1408  totalTime: 2078  modelSize: 41292  readTime: 7 size: 12