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