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