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