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