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