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