(1,30) (2,3) (4,11) (5,14) (6,19) (8,29) (10,16) (12,28) (13,22) (15,23) (17,25) (21,26) (24,27) 
nodes: 49599  conflicts: 67  modelTime: 1032  solveTime: 100044  totalTime: 101088  modelSize: 72262  readTime: 12 size: 13