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