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