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