(1,30) (2,17) (3,20) (4,12) (5,24) (6,26) (7,15) (8,25) (9,29) (10,11) (13,22) (14,27) (16,23) (18,28) (19,21) 
nodes: 210573  conflicts: 11  modelTime: 1741  solveTime: 1337415  totalTime: 1339188  modelSize: 72268  readTime: 31 size: 15