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