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