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