(1,15) (2,30) (3,24) (4,6) (5,25) (7,29) (8,9) (10,22) (11,16) (12,21) (13,14) (17,26) (18,28) (19,27) (20,23) 
nodes: 135175  conflicts: 35  modelTime: 943  solveTime: 693290  totalTime: 694244  modelSize: 72263  readTime: 11 size: 15