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