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