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