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