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