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