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