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