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