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