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