(1,9) (2,20) (3,6) (4,5) (7,14) (8,13) (10,25) (11,15) (12,26) (16,23) (17,22) (18,30) (19,29) (21,27) (24,28) 
nodes: 99630  conflicts: 39  modelTime: 1609  solveTime: 340621  totalTime: 342249  modelSize: 72262  readTime: 19 size: 15