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