(1,2) (3,23) (5,15) (6,16) (7,29) (8,14) (9,10) (11,18) (12,17) (13,30) (19,24) (20,21) (22,25) (26,27) 
nodes: 2339  conflicts: 83  modelTime: 934  solveTime: 5496  totalTime: 6441  modelSize: 72263  readTime: 11 size: 14