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