(1,8) (2,28) (3,13) (4,23) (5,11) (6,19) (7,27) (9,24) (10,29) (12,18) (14,16) (15,26) (20,21) (25,30) 
nodes: 1424  conflicts: 61  modelTime: 1194  solveTime: 6706  totalTime: 7920  modelSize: 72263  readTime: 20 size: 14