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