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