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