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