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