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