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