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