(1,10) (2,7) (3,27) (4,17) (5,9) (6,22) (8,20) (11,15) (12,29) (13,14) (16,28) (18,23) (19,26) (21,24) (25,30) 
nodes: 42841  conflicts: 20  modelTime: 1392  solveTime: 216405  totalTime: 217815  modelSize: 72285  readTime: 18 size: 15