(1,3) (2,20) (4,18) (5,10) (6,29) (7,21) (9,17) (11,14) (12,15) (13,23) (16,25) (19,26) (22,27) (28,30) 
nodes: 25661  conflicts: 55  modelTime: 926  solveTime: 59567  totalTime: 60504  modelSize: 72275  readTime: 11 size: 14