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