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