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