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