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