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