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