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