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