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