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