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