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