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