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