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