(1,18) (2,11) (3,16) (4,27) (5,21) (6,9) (7,14) (8,22) (10,17) (12,23) (13,28) (15,19) (20,29) (24,26) (25,30) 
nodes: 429813  conflicts: 29  modelTime: 1002  solveTime: 1051427  totalTime: 1052448  modelSize: 72275  readTime: 19 size: 15