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