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