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