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