(1,22) (2,6) (3,26) (4,24) (5,18) (7,17) (8,21) (9,19) (10,16) (11,14) (12,25) (13,29) (15,30) (20,23) (27,28) 
nodes: 79107  conflicts: 40  modelTime: 1220  solveTime: 320662  totalTime: 321901  modelSize: 72266  readTime: 19 size: 15