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