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