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