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