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