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