(1,11) (2,27) (3,17) (4,18) (5,6) (7,10) (8,19) (9,25) (12,26) (13,28) (14,16) (15,23) (20,30) (21,22) (24,29) 
nodes: 361889  conflicts: 31  modelTime: 1724  solveTime: 1515043  totalTime: 1516786  modelSize: 72263  readTime: 19 size: 15