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