(1,15) (2,8) (3,6) (4,11) (5,25) (7,22) (9,26) (10,14) (12,13) (17,27) (19,23) (20,24) (21,28) (29,30) 
nodes: 4728  conflicts: 67  modelTime: 1893  solveTime: 18543  totalTime: 20481  modelSize: 72263  readTime: 45 size: 14