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