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