(1,18) (2,26) (3,11) (4,24) (5,8) (6,27) (7,29) (9,30) (10,13) (12,19) (14,20) (15,22) (16,21) (17,23) (25,28) 
nodes: 223066  conflicts: 43  modelTime: 944  solveTime: 812327  totalTime: 813282  modelSize: 72265  readTime: 11 size: 15