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