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