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