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