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