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