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