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