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