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