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