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