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