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