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