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