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