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