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