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