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