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