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