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