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