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