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