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