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