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