(1,22) (2,15) (3,21) (4,23) (5,28) (6,19) (7,27) (8,13) (9,24) (11,12) (14,25) (16,18) (17,26) (20,30) 
nodes: 362806  conflicts: 60  modelTime: 1302  solveTime: 1161044  totalTime: 1162365  modelSize: 72270  readTime: 19 size: 14