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