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