(1,4) (2,26) (3,17) (5,22) (6,15) (8,11) (9,12) (10,28) (13,27) (14,29) (16,23) (18,25) (19,20) (21,30) 
nodes: 70649  conflicts: 29  modelTime: 1783  solveTime: 296038  totalTime: 297840  modelSize: 72268  readTime: 19 size: 14