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