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