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