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