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