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