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