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