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