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