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