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