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