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