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