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