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