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