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