(1,10) (2,12) (3,17) (4,20) (5,18) (6,19) (7,9) (8,24) (11,25) (14,30) (15,16) (21,22) (23,27) (28,29) 
nodes: 2692  conflicts: 62  modelTime: 993  solveTime: 11199  totalTime: 12213  modelSize: 72262  readTime: 21 size: 14