(1,19) (2,14) (3,7) (4,17) (5,20) (6,22) (8,13) (9,10) (12,23) (15,30) (18,21) (24,29) (25,26) (27,28) 
nodes: 59942  conflicts: 59  modelTime: 1719  solveTime: 188435  totalTime: 190174  modelSize: 72263  readTime: 20 size: 14