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