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