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