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